Аристотель и его вклад в развитие логики

Размещено на http://www.allbest.ru/

Аристотель (др.греч. 384 до н. э., Стагира, Фракия -- 322 до н. э., Халкида, остров Эвбея) --древнегреческий философ. Ученик Платона. С 343 до н. э. -- воспитатель Александра Македонского. В 335/4 г. до н. э. основал Ликей (др. греч. Лэкейп Лицей, или перипатетическую школу). Натуралист классического периода. Наиболее влиятельный из диалектиков древности; основоположник формальной логики. Создал понятийный аппарат, который до сих пор пронизывает философский лексикон и сам стиль научного мышления. Детально и глубоко разобрав теорию познания, Аристотель создал труды по логике «Категории», «Аналитики», «Топика», который сохраняет своё непреходящее значение и поныне. Здесь он разработал теорию мышления и его формы, понятия, суждения и умозаключения. Византийские логики позже объединили все перечисленные работы Аристотеля под общим названием «Органон.

Для Аристотеля истина есть соответствие мысли действительности. Истинным он считал суждение, в котором понятия соединены между собой так, как связаны между собой вещи в природе. А ложным -- суждение, которое соединяет то, что разъединено в природе, или разъединяет то, что связано в ней. Аристотель, опираясь на эту концепцию истины, создал свою логику. аристотель логика силлогизм

Формальная логика -- конструирование и исследование правил преобразования высказываний, сохраняющих их истинностное значение безотносительно к содержанию входящих в эти высказывания понятий. Традиционная формальная логика включала и включает такие разделы, как понятие, суждение, законы (принципы) правильного мышления, умозаключения (дедуктивные, индуктивные, по аналогии), логические основы теории аргументации, гипотеза. Основным содержанием аристотелевской логики является теория дедукции. Формальная логика, в отличие от неформальной, организована как формальная система, обладающая высоким уровнем абстракции и чётко определёнными методами, правилами и законами. Формальная логика как наука занимается выводом нового знания на основе ранее известного без обращения в каждом конкретном случае к опыту, а применением законов и правил мышления. Начальной ступенью формальной логики можно считать традиционную логику, а математическую логику -- её следующей ступенью, использующей математические методы, символический аппарат и логические исчисления.

Автором первой системы формальной логики считается Аристотель, который ввёл понятие силлогизма и переменных. Логика имеет дело с языковым мышлением (или, «языком, взятым в функции мышления»), в котором группы определённым образом связанных между собой знаков по определённым законам замещают реальные объекты и друг друга в отношении к действиям. Исследование категорического силлогизма, осуществленное Аристотелем в «Аналитике», стало наряду с учением о доказательстве центральной частью его логического учения.

Силлогистика (греч.sillogisticos- выводящий умозаключение) - теория логического вывода, исследующая умозаключения, состоящие из простых категорических высказываний. Простой категорический силлогизм -- рассуждение мысли, состоящее из трёх простых атрибутивных высказываний: двух посылок и одного заключения. Посылки силлогизма разделяются на большую (которая содержит предикат заключения) и меньшую (которая содержит субъект заключения). По положению среднего термина силлогизмы делятся на фигуры, а последние по логической форме посылок и заключения -- на модусы.

Аристотель изложил также в своем главном произведении «Метафизика» три основных закона логики:

· закон тождества -- понятие должно употребляться в одном и том же значении в ходе рассуждений;

· закон противоречия -- «не противоречь сам себе»;

· закон исключенного третьего -- «А или не-А истинно, третьего не дано».

Размещено на Allbest.ru