Некоторые
S
P
Все
лошади
птицы
Некоторые
лошади
птицы
Все
S
P
Некоторые
S
P
Умозаключение
подчинения
Умозаключение
подчинения
Формы мышления
Умозаключение
- Достоверным может считаться лишь необходимый вывод, а необходимое связано с существенным и общим.
- Общее знание выражается:
- в общих
суждениях, т.е. в суждениях в которых утверждается присущность признака всем предметам данного класса (вида, рода) или их неприсущность ни одному;
- в отрицательных суждениях: отрицая наличие признака у предмета (субъекта высказывания), мы тем самым утверждаем обо всех предметах, обладающих этим признаком, что субъект данного суждения к ним не относится (в их число не входит).
- В общем суждении
во всём объёме берётся (на языке логики
это называется распределённостью) субъект суждения; в отрицательных суждениях – предикат. Таким образом:
- в общеотрицательном
суждении распределены и субъект, и предикат;
- в общеутвердительном
– только субъект;
- в частноотрицательном
– только предикат;
- в частноутвердительном
– ни субъект, ни предикат.
Формы мышления
Умозаключение
- Теперь мы можем сформулировать основное правило логического вывода:
Если термин
не распределён
в посылке,
он не может быть
распределён в
выводе.
Именно поэтому при обращении общеутвердительного суждения
«Все лошади – животные» получается частноутвердительное
суждение «Некоторые животные – лошади»,
тогда как общеотрицательное
суждение «Все лошади – не птицы» обращается
без ограничения.
Учение об умозаключении
Силлогизм
- Главной своей заслугой в логике
Аристотель считал разработку учения
о силлогизме.
Силлогизм
(греч. συλλογισμός) –
разновидность умозаключения,
посредством которого
устанавливается
логическое отношение
между двумя понятиями
на основании их отношения
к некоему третьему понятию.
Силлогизм
Сведение фигур силлогизма к первой фигуре
- Первую фигуру Аристотель считал
наиболее очевидной и убедительной формой
доказательства и называл совершенной
фигурой.
- Именно в первой фигуре наиболее
явно проявляется соответствие рассуждения
требованиям аксиомы силлогизма.
- Только по первой фигуре можно
получить в заключении общеутвердительное
суждение (A).
- Только по первой фигуре можно
доказать суждение любого вида: общеутвердительное (A), общеотрицательное (E), частноутвердительное (I), частноотрицательное (O).
- Наконец, только в первой фигуре
крайние термины занимают в посылках те
же позиции, что и в выводе: меньший термин
(S) является субъектом меньшей, а больший (P) – предикатом большей посылки.
- Вторую и третью фигуры Аристотель
считал несовершенными фигурами, которые
следует сводить к первой
фигуре.
- Сведение осуществляется путём:
- формальных преобразований:
- обращением суждений (простым
или с ограничением);
- перестановкой посылок;
- или «приведением к нелепости»
(reductio ad absurdum).
1
2
3
4
5
6
7