Логика   ::   Ивин Александр Архипович

Страница: 25 из 98

Револьвер сейчас уменя, так что бери лопату». Это рассуждение также опирается на рассматриваемую схему.

Неверно, что есть и первое, и второе; следовательно, нет первого или нет второго; Есть первое или есть второе; значит, неверно, что нет первого и нет второго. Эти и близкие им схемы позволяют переходить от утверждений с союзом «и» к утверждениям с союзом «или», и наоборот. Используя данные схемы, от утверждения «Неверно, что сегодня ветер и дождь» можно перейти к утверждению «Неверно, что сегодня ветер или неверно, что сегодня дождь» и от утверждения «Амундсен или Скотт был первым на Южном полюсе» перейти к утверждению «Неверно, что ни Амундсен, ни Скотт не является первым человеком, побывавшим на Южном полюсе».

Таковы некоторые схемы правильного рассуждения. В дальнейшем эти и другие схемы будут рассмотрены более детально и представлены с использованием специальной логической символики.



6. ТРАДИЦИОННАЯ И СОВРЕМЕННАЯ ЛОГИКА



История логики охватывает около двух с половиной тысячелетий. «Старше» формальной логики, пожалуй, только философия и математика.

В длинной и богатой событиями истории развития логики отчётливо выделяются два основных этапа. Первый — от древнегреческой логики до возникновения во второй половине прошлого века современной логики. Второй — с этого времени до наших дней.

На первом этапе, обычно называемом традиционной логикой , формальная логика развивалась очень медленно.

|< Пред. 23 24 25 26 27 След. >|

Java книги

Контакты: [email protected]