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


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

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

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

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

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

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

    - закон тождества -- понятие должно употребляться в одном и том же значении в ходе рассуждений; - закон противоречия -- "не противоречь сам себе"; - закон исключенного третьего -- "А или не-А истинно, третьего не дано".

Похожие статьи




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

Предыдущая | Следующая