§ | библиотека – мастерская – | Помощь Контакты | Вход — |
Ивин А.А. Логика: Учебник для гуманитарных вузов. -- М.: "ФАИР-ПРЕСС", 1999. - 320 с.
Стр. 162 Достоевский родился либо в Москве, либо в Петербурге. Он родился в Москве. Неверно, что Достоевский родился в Петербурге. Дизъюнкция, входящая в данную схему, является исключающей, она означает: истинно первое или истинно второе, но не оба вместе. Такое же рассуждение, но с неисключающей дизъюнкцией (первое или второе, но возможно, что и первое, и второе), логически неправильно. От истинных посылок оно может вести к ложному заключению: На Южном полюсе был Амундсен или был Скотт. На Южном полюсе был Амундсен. Неверно, что там был Скотт. Обе посылки истинны: и Амундсен, и Скотт достигли Южного полюса, заключение же ложно, Правильным является умозаключение: На Южном полюсе первым был Амундсен или Скотт. На этом полюсе первым был Амундсен. Неверно, что там первым был Скотт. Модус толлендо поненс Этим термином средневековые логики обозначали разделительно-категорическое умозаключение: первое или второе; не первое; значит, второе. Первая посылка умозаключения – разделительное (дизъюнктивное) высказывание, вторая – категорическое высказывание, отрицающее один из членов дизъюнкции; заключением является другой её член: <РИСУНОК В ЭЛЕКТРОННОМ ВИДЕ ОТСУТСТВУЕТ> Или: <РИСУНОК В ЭЛЕКТРОННОМ ВИДЕ ОТСУТСТВУЕТ> Другая форма записи: A или B. Не-A Следовательно, В. A или B. Не-B. Следовательно, А. Например: Множество является конечным или оно бесконечно. Множество не является конечным. Множество бесконечно. Иногда эту схему рассуждения именуют дизъюнктивным силлогизмом. С использованием логической символики умозаключение формулируется так: <РИСУНОК В ЭЛЕКТРОННОМ ВИДЕ ОТСУТСТВУЕТ> Или: <РИСУНОК В ЭЛЕКТРОННОМ ВИДЕ ОТСУТСТВУЕТ> В современной логике модус толлендо поненс называется также правилом удаления дизъюнкции. Ему соответствует логический закон: (A v B) & ~ A → B, |
Реклама
|
||