Философия Аристотеля. Логика

Основы философии

 

  
 
Философия Аристотеля

 

логика

 

КАРАГАНДИНСКИЙ ГОСУДАРСТВЕННЫЙ МЕДИЦИНСКИЙ УНИВЕРСИТЕТ  
Кафедра СПД

• Аристо́тель (др.-греч. Ἀριστοτέλης; 384 до н. э.,  Стагира, Фракия — 322 до н. э., Халкида, остров Эвбея) — древнегреческийфилософ. Ученик Платона. С 343 до н. э. — воспитатель Александра Македонского. В 335/4 г. до н. э. основал Ликей (др.-греч. Λύκειο Лицей, или перипатетическую школу). Натуралист классического периода. Наиболее влиятельный из диалектиков древности; основоположник формальной логики. Создал понятийный аппарат, который до сих пор пронизывает философский лексикон и сам стиль научного мышления.

Логика – наука о формах мышления

 

Логика  
(греч. λογική, наука о мышлении, 
от λόγος, слово, понятие) – 
наука о законах, формах и приёмах 
мыслительной познавательной деятельности. 
 
(Термин «логика» ввели, по-видимому, стоики. 
Сам Аристотель своё логическое учение 
называл «аналитикой»).

Логика – наука о формах мышления Содержание и формы мышления

 

Бузина

 

растение

 

Киев

 

город

 

Гаврила

 

хлебопёк

 

Луна

 

спутник 
Земли

 

Киев

 

столица 
Украины

 

Шекспир

 

автор 
«Отелло»

 

В огороде

 

бузина

 

В Киеве

 

дядька

 

В Москве

 

дождь

Логика Аристотеля 
Законы мышления

 

Законы мышления

 

Закон 
тождества

 

Закон исключённого 
третьего

 

A ≡ A

 

~ [A Λ (~A)]

 

Не могут быть 
одновременно истинными 
два  противоположных 
высказывания об 
одном и том же предмете.

 

A V (~A)

 

Из двух 
противоположных 
высказываний об 
одном и том же предмете 
одно непременно истинно.

 

Логические выводы 
надёжны лишь при условии, 
что все понятия (термины) 
в пределах рассуждения 
имеют один и тот же смысл.

 

Закон [запрета]  
противоречия

Законы мышления 
Закон запрета противоречия

 

А самое достоверное из всех начал – 
то, относительно которого невозможно ошибиться,

ибо такое начало должно быть наиболее очевидным  
(ведь все обманываются в том, что не очевидно)

и свободным от всякое предположительности.

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

Таким образом, ясно, что именно такое начало есть 
наиболее достоверное из всех; а что это за начало, 
укажем теперь. А именно: невозможно, чтобы одно и 
то же в одно и то же время было и не было присуще 
одному и тому же в одном и том же отношении (и всё 
другое, что мы могли бы ещё уточнить, пусть будет 
уточнено во избежание словесных затруднений) – 
это, конечно, самое достоверное из всех начал, 
к нему подходит данное выше определение. 

 

Аристотель. 
«Метафизика».

Законы мышления 
Закон запрета противоречия

 

• А самое достоверное из всех начал –  
  то, относительно которого невозможно ошибиться,
• ибо такое начало должно быть наиболее очевидным  
  (ведь все обманываются в том, что не очевидно)
• и свободным от всякое предположительности.
• Действительно, начало, которое необходимо знать всякому постигающему что-либо из существующего, не есть предположение;
• а то, что необходимо уже знать тому, кто познаёт хоть что-нибудь,  
  он должен иметь, уже приступая к рассмотрению.
• Таким образом, ясно, что именно такое начало есть наиболее достоверное из всех; а что это за начало, укажем теперь. А именно:
• невозможно, чтобы одно и то же
• в одно и то же время
• было и не было присуще
• одному и тому же
• в одном и том же отношении
• (и всё другое, что мы могли бы ещё уточнить, пусть будет уточнено во избежание словесных затруднений) –
• это, конечно, самое достоверное из всех начал, к нему подходит данное выше определение.

Законы мышления 
Закон запрета противоречия

 

Невозможно, чтобы 
одно и то же 
в одно и то же время 
было и не было присуще 
одному и тому же 
в одном и том же отношении.

 

Аристотель. 
«Метафизика».

Равным образом 
не может быть ничего промежуточного 
между двумя членами противоречия, 
а относительно чего-то одного 
необходимо что бы то ни было одно 
либо утверждать, либо отрицать.

 

 

Аристотель. 
«Метафизика».

 

Законы мышления 
Закон исключённого третьего

Законы мышления 
Закон исключённого третьего

 

Если же ложное  
есть не что иное, 
как отрицание истины,  
то всё не может быть ложным,  
ибо один из двух членов  
противоречия 
должен быть истинным.

 

Аристотель. 
«Метафизика».

Логика Аристотеля 
Формы мышления

 

Формы мышления

 

Понятие

 

Суждение

 

Умозаключение

 

Лошадь

 

Животное

 

Лошадь

 

животное

 

Луна

 

Спутник

 

Луна

 

спутник 
Земли

 

Все 
животные

 

нуждаются 
в пище

 

Лошади

 

животные

 

След., 
лошади

 

нуждаются 
в пище

Формы мышления 
Понятие

 

• Понятие, по Аристотелю, – это то общее, что присуще всем предметам данного вида или рода.
• Общим у предметов одного вида (рода) является форма, тогда как материя предмета выступает как принцип индивидуации.
• Материя есть возможность вещи; форма выражает её сущность, т.е. то, что в вещи представляется необходимым.
• Таким образом, в аристотелевской концепции понятия прочно увязываются:
• общее,
• существенное,
• необходимое.

 

... То, что 
сказывается в сути, 
есть общее  
(а общее есть 
необходимое)…

 

Аристотель. 
«Вторая аналитика».

Формы мышления 
Понятие

 

• Понятие применяется, таким образом, к множеству предметов.
• На языке логики это множество именуется классом; мощность множества (число элементов) характеризует объём понятия.
• Если с точки зрения объёма, понятие относится к совокупности предметов (предицируется им), то с точки зрения содержания, его можно охарактеризовать как совокупность признаков (предицируемых данному понятию).
• Чем больше признаков мыслится в понятии, тем меньше его объём, т.е. тем меньше элементов в классе, обозначаемым данным понятием, и наоборот.
• Отвлекаясь (абстрагируясь) от каких-то признаков, мы получаем более общее понятие; эта операция называется «обобщением».
• Обратная операция, заключающаяся в добавлении признаков к общему понятию, именуется «ограничением понятия».
• Объём понятия, характеризуемое набором признаков, входит в объём понятия, характеризуемого только частью этих признаков.
• Напротив, понятие, характеризуемое набором признаков, включает в свой объём объёмы понятий, характеризуемых всеми этими и ещё какими-то (дополнительными) признаками.
• Операция предицирования лежит в основе формы мышления, именуемой суждением.

Формы мышления 
Суждение

 

• Суждение – это такая форма мысли, в которой утверждается или отрицается что-либо относительно предметов и явлений, их свойств, связей и отношений.
• Элементарное суждение можно представить в виде формулы: 
   
   
  
• Суждение выражает либо истину, либо ложь.

 

(не) есть

 

S

 

P

 

Имена же и глаголы сами по себе подобны мысли без связывания 
или разъединения, например «человек» или «белое»; когда 
ничего не прибавляется, нет ни ложного, ни истинного, хотя 
они и обозначают что-то: ведь и «козлоолень» что-то обозначает, 
но ещё не истинно и не ложно, когда не прибавлен [глагол]  
«быть» или «не быть» – либо вообще, либо касательно времени.  

Формы мышления 
Суждение

 

• С точки зрения соответствия содержания суждений действительности, суждения делятся на истинные и ложные.
• С точки зрения формы, Аристотель делит суждения на:
• утвердительные и отрицательные (классификация по качеству);
• общие, частные и неопределённые (классификация по количеству).

 

Общей я называю [посылку] о присущем 
всем или не присущем ни одному,  
частной – о присущем или не присущем 
некоторым или присущем не всем,  
неопределённой – о присущем или 
не присущем без указания того, 
общая ли она или частная, как, например, 
<…>  удовольствие не есть благо.  

 

Аристотель. 
«Первая аналитика».

не суть

 

не суть

 

суть

 

животные

 

Некоторые 
лошади

 

суть

 

животные

 

Все 
лошади

 

Формы мышления 
Умозаключение

 

• Эти подразделения важны для уяснения следующей формы мышления – умозаключения.
• Умозаключение – это такое логическое действие, в результате которого из одного или нескольких – определённым образом связанных – суждений (именуемых посылками) получается новое суждение (вывод), в котором содержится новое знание.
• Элементарное умозаключение исходит из одной посылки (такое умозаключение называется непосредственным).

 

P

 

Все  
S