Философия Аристотеля.Теория познания и логика

Страница
3

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

Элементарное умозаключение исходит из одной посылки (такое умозаключение называется непосредственным).

Слайд 15

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

Достоверным может считаться лишь необходимый вывод, а необходимое связано с существенным и общим.

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

Но в общем суждении во всём объёме берётся (на языке логики это называется распределённостью) субъект суждения. А что можно сказать о предикате? Количественная характеристика предиката остаётся неопределённой.

Зато предикаты распределены в отрицательных суждениях, всё равно — общих или частных: отрицая наличие признака у предмета (субъекта высказывания), мы кое-что утверждаем обо всех предметах, обладающих этим признаком, а именно: в их число наш субъект не входит.

Слайд 16

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

Теперь мы можем сформулировать первое правило логического вывода:

Слайд 17

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

Силлогизм

Главной своей заслугой в логике Аристотель считал разработку учения о силлогизме.

Слайд 18

Учение об умозаключении Силлогизм

Слайд 19

Слайд 20

Силлогизм Первая фигура

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

Слайд 21

Правила силлогизма

Правила терминов и правила посылок

q Правила терминов

•В силлогизме имеется три термина — не больше и не меньше.

•Термины, не распределённые в посылках, не могут быть распределены в выводе.

•Средний термин должен быть распределён хотя бы в одной из посылок.

q Правила посылок

•Из двух частных посылок нельзя получить никакого вывода.

•Если одна из посылок — частное суждение, то и вывод (если он вообще возможен) может быть только частным.