0.5.Какова же заслуга Аристотеля в создании логики как науки?

Оценивая свои собственные работы по логике, Аристотель справедливо отмечал, что до появления его логических исследований было мало что известно в этой области за исключение риторики, эристики как искусства ведения спора и изучений коммуникативных особенностей естественного языка как средства выражения чувств, эмоций и мыслей в форме рассуждений, мнений и мудрых принципов.

Собственно говоря, его логические исследования являются, с одной стороны, глубоким философским обоснованием существования общезначимых и обязательных принципов мышления, которые необходимо соблюдать во всех сферах интеллектуальной деятельности человека.

С другой стороны, введение им в логику и теорию познания классическое определение истины, истинного суждения, позволило ему создать исторически первую и фундаментальную дедуктивную логическую теорию законов и правил логического вывода или доказательства, получившей название силлогистики Аристотеля.

Тематика и методология силлогистики Аристотеля определили исторические направления развития логики как науки в целом.

Классическое определение истины, по Аристотелю:

« прав - тот, кто считает разделенное - разделенным и соединенное – соединенным, а в заблуждении – тот, мнение которого противоположно действительным обстоятельствам».

На основе понятии истинного суждения Аристотель подробно исследовал два из основных законов логики (закон непротиворечия и закон исключенного третьего) и использовал два других ранее известных в нелогической интерпретации закона (закон тождества и закон достаточного основания), для создания дедуктивной логической теории логического следования или доказательства.

0.6. Что такое силлогизм?

Силлогизм (от греч. silljgsmos – подытоживание)- это дедуктивное опосредованное умозаключение, в котором из двух посылок простых суждений субъектно-предикатной логической формы следует по определенным правилам и законам логики новое суждение субъектно-предикатной.

В этой система проверка вывода или доказательства осуществляется исключительно формальным образом как в математике.

Для Аристотеля силлогизм- это орудие доказательства или опровержения. Большой заслугой логических работ Аристотеля является постановка проблем, имевших большое значение для развития логики в будущем.

К ним, например, относится различение аподиктических, диалектически и правдоподобных суждений в качества посылок в силлогизме. Первые называются необходимо истинные в силу их логической формы, вторые - истины мудрецов и третьи- истины опыта.

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

Первые суждения, истинные в силу их логического формы, вторые-истины опыта. У немецкого философа И.Канта эта проблема была представлена в его теории познания, как суждения априори (от предыдущего по - латински) и суждения апостериори (от последующего по - латински).

Суть этой проблемы состоит в следующем:

Во-первых, какая информация содержатся в аналитических суждениях и, во-вторых, как эта информация согласуется с данными опыта в синтетических суждениях.

Например, высказывание «Император Наполеон есть император Наполеон» содержит информацию в форме логического закон тождества- «Каждое А есть А ».

Стало быть, это высказывание является аналитическим. В тоже время высказывание « Река Москва впадает в реку Оку» содержит фактическую, опытную информацию.

С развитием логики после Аристотеля можно ознакомиться в статье «Логика» в следующем издании: Ивин А.А. Никифоров А.Л. «Словарь по логике» - изд-во ВЛАДОС. М. 1998.

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

Термин «формальная» логика принадлежит И.Канту. Он обозначал им силлогистику Аристотеля и все логические работы, углубляющие тематику и расширяющие проблематику логических исследований Аристотеля. И.Кант сравнивал логику Аристотеля с Евклидовой геометрий, ошибочно полагая, что как той, так и другой нечего добавить.

Почему он ее назвал формальной?

Потому что в ней исследуются логические формы мышления, законы и правила рассуждений, которые всегда гарантируют вывод истинных следствий из одной или нескольких истинных посылок.

Логика не интересуют конкретные содержания мыслей, а интересуют их универсальные, общие, формы связи мыслей в разнообразных сферах мыслительной деятельности людей. Примеры: Для него слова «революция» и «стол» имеют одну и ту же логическую форму: Они являются понятиями, хотя их информационное содержание является принципиально разным.

Далее, для логика ниже приведенные умозаключения имеют одну и ту же логическую формы вывода, хотя различаются своим информационным содержанием:

«Если эти существа люди, то они смертны. Данное существо « Сократ» является человеком. Следовательно, Сократ смертен». «Если эти существа студенты, то они сдают экзамены. Петров – студент. Следовательно, Петров сдает экзамены».

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

Теи самым проводилась демаркационная линия между созданным образцом дедуктивной логики Аристотелем и попытками создать подобным образом индуктивную логику.

В 1620 году английский философ Ф.Бекон опубликовал труд об индуктивных логических методах под названием «Новый органон». В нем он противопоставлял собственный Органон дедуктивному Органону Аристотеля и считал, что будущее развитие логике принадлежит именно индуктивной логике.

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

0.8.Что такое дедукция и индукция? Первое- это вывод из общих посылок частных следствий на основе законов и правил формальной логики. А индукция- это вывод от частных суждений к общим суждениям или утверждениям. Например, из признания истинным суждения «Все люди смертны» можно сделать вывод, что такой-то человек является смертным. Это будет дедукция.

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