Логика
• Логос (др. греч. ) – слово, речь, закон, учение, наука и т. д. биология, зоология, геология, антропология, аксиология и т. д.
Название науки • Диалектика - до 17 -18 вв. • Логика – с 17 -18 вв.
• Диалектика (др. греч. ) – искусство спора, рассуждения • С 19 в. – философское учение о всеобщем развитии бытия и взаимосвязи явлений
Предмет логики • Логика – наука о законах и формах правильного мышления, о логическом выводе.
Основные этапы развития логики • • 1. Древний мир 2. Средневековье 3. начало Новое время (17 в. ) 4. 19 -20 вв.
Зарождение логики Сер. I тыс. до н. э. – зарождение философии Греция Индия Китай логика ?
Зарождение логики • Древняя Индия Классическая логика Неклассическая логика школа Ньяя буддистская логика
2 - и 4 -значная логика Классическая 1. истинно 2. ложно 3. неопределенно 4. ? Буддистская 1. истинно и не ложно 2. ложно и не истинно 3. не истинно и не ложно 4. истинно и ложно
Зарождение логики Древняя Греция 5 в. до н. э. – софистика 4 в. до н. э. – логика Аристотеля конец 4 в. до н. э. – 3 в. н. э. – логика стоиков
Софизмы «Рогатый» 1. Все то, что ты не потерял, ты имеешь.
Софизмы «Рогатый» 1. Все то, что ты не потерял, ты имеешь. 2. Ты не потерял рога.
Софизмы «Рогатый» 1. Все то, что ты не потерял, ты имеешь. 2. Ты не потерял рога. 3. Следовательно, ты имеешь рога (т. е. ты – рогат).
Протагор и Эватл
Протагор и Эватл 1. Если суд решит, что ты должен заплатить, то ты заплатишь по решению суда. 2. Если суд решит, что ты не должен платить, то ты заплатишь по нашему договору.
Протагор и Эватл 1. Если суд решит, что ты должен заплатить, то ты заплатишь по решению суда. 2. Если суд решит, что ты не должен платить, то ты заплатишь по нашему договору. 1. Если суд решит, что я должен платить, то я не заплачу по нашему договору.
Протагор и Эватл 1. Если суд решит, что ты должен заплатить, то ты заплатишь по решению суда. 2. Если суд решит, что ты не должен платить, то ты заплатишь по нашему договору. 1. Если суд решит, что я должен платить, то я не заплачу по нашему договору. 2. А если суд решит, что я не должен платить, то я не заплачу по решению суда.
Парадокс лжеца Данное предложение ложно.
Логика Аристотеля Аристотель (384 -322 гг. до н. э. ) 1. Три закона логики 2. Силлогистика
Законы логики 1. Закон тождества: А=А 2. Закон недопущения противоречия: Неверно, что А и не А ~ (А &~А) 3. Закон исключенного третьего: А или не-А А v ~А
