Логика: конспект лекций

Таким образом, многие философы Древней Греции работали над вопросами логики, однако ее основателем по праву считается Аристотель Стагирский (Аристотель родился в городе Стагир – именно отсюда пошло его прозвище). Он посвятил себя изучению многих наук, таких как философия, логика, физика, астрономия, психология, риторика и др. Этим предметам посвящены многие его сочинения. Именно Аристотель оформил знания о логике в четкую систему и обнаружил, что знания, откуда бы они ни были получены, всегда имеют языковое выражение. Отсюда он делал вывод, что научные знания есть последовательность высказываний, объединенных логическими связями и выводимых одно из другого. Логику Аристотеля называют формальной или традиционной. Она включает такие разделы, как понятие, суждение, законы правильного мышления, умозаключения, аргументация и гипотеза. Важным достижением Аристотеля является то, что он впервые сформулировал законы правильного мышления: закон тождества, закон непротиворечия и закон исключенного третьего, а также стал изучать человеческое мышление с целью вывести его логические формы. Эти законы были сформулированы в важнейшем сочинении Аристотеля «Метафизика».

Аристотель создал теорию силлогизма, рассмотрел теорию определения и деления понятий и теорию доказательства. Главными трудами в этой области являются трактаты «Первая аналитика» и «Вторая аналитика», которые впоследствии наряду с другими работами были объединены в «Органон» – метод, средство или орудие познания действительности.

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

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

В заключение необходимо упомянуть о логике стоиков – системе знаний, разработанных приверженцами мегаро-стоической школы, стоиками Зеноном и Хризиппом и мегариками Диодором, Стилпоном, Филоном и Евбулидом. В результате деятельности этой школы современная логика получила анализ логических понятий отрицания, конъюнкции, дизъюнкции и импликации. Задачей логики они видели избавление от заблуждений и создание возможности правильно судить о вещах. Логика должна изучать не только словесные знаки, но и мысли, выражающиеся в них. Выходя за рамки формальной логики, представители мегаро-стоической школы делили логику на диалектику и риторику.

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

4. Средневековая логика

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