Логика Сократа и Евклида (1 янв 470 г. до нашей эры – 1 янв 380 г. до нашей эры)
Описание:
Дальнейшее развитие индуктивного метода наблюдаем у Сократа (470-399). Он использовал индукцию для поиска общего на пути восхождения от единичных высказываний в повседневной жизни, бытовых разговорах ко все более общих понятий. Он разграничил индукцию и сравнения. Вторым способом исследования, которым пользовался Сократ в беседах, является определение (дефиниция) понятий, то есть процесс все более точного выяснения их объема и содержания, чего достигают в дискуссиях. Античный мудрец назвал этот метод "маевтикой", т.е. искусством, которое помогает рождению мысли.
В античной логике заметную роль играла мегарской школы (Мегары - греческий город), основателем которой был Евклид. Представители этой школы разработали теорию эристика (искусства дискуссии), широко использовали метод косвенного доказательства и сформулировали ряд парадоксов ("Лжец", "Покрытый", "Куча" и др.). Логику мегарики трактовали весьма ограниченно - как эристику, т.е. науку о полемику. Для формулировки парадоксов они использовали интенсиональний (лат. - напряжение, намерение) контекст с предикатом "х знает, что ...". Представитель мегарской школы Филон разработал теорию материальной импликации, которая определяет истинность сложного суждения без учета содержания его составляющих - простых суждений, а лишь по характеру связи.
Добавлено на ленту времени:
Дата:
1 янв 470 г. до нашей эры
1 янв 380 г. до нашей эры
~ 90 years