- •Тема 1. Предмет и методы формальной логики
- •Если а, то в.
- •А есть в.
- •Тема 2. Понятие логического закона
- •Тема 3. Теория понятий.
- •Виды понятий
- •По количеству мыслимых предметов:
- •По характеру мыслимых предметов (наша мысль о предмете):
- •Отношения между понятиями
- •Операции с понятиями.
- •Теория простого категорического силлогизма.
- •Отношения между простыми атрибутивными суждениями
- •Выводы (умозаключения) из простых атрибутивных суждениях
- •Правила простого категорического силлогизма
- •Правила терминов:
- •Правила посылок:
- •Фигуры и модусы простого категорического силлогизма
- •Логика высказывания
- •Интерпретация высказывательных форм
- •Логический закон в логике высказываний
Теория простого категорического силлогизма.
Простой категорический силлогизм – особая форма умозаключения. Эту теорию построил Аристотель. Простой категорический силлогизм – это умозаключение, в котором из 2х простых атрибутивных суждений выводится 3-е простое атрибутивное суждение.
Простое атрибутивное суждение – это форма мысли, в которой устанавливаются отношения между предметом или классом предметов и признаком, что выражается в форме связи понятий, т.е. это то, что строится из понятий. Например: простые нераспространенные предложения: Сократ – это человек. Т.е. Сократу приписывается свойство человек. Любое простое атрибутивное суждение состоит из 3х элементов:
Субъект суждения – понятие о предмете или классе предметов, т.е. о чем идет речь в суждение (понятие Сократ). Обозначается буквой “S”.
Предикат – понятие о свойстве, т.е. то, что говорится в суждении (свойство быть человеком). Обозначается буквой “P”.
Субъект и предикат – термины суждения.
Связка (S-P). Связка выражается глаголами «быть», «являться».
Форма простых атрибутивных суждений выглядит: «S-P». Выделяется 2 основания для классификации суждений по способу связи:
По качеству связи:
а) утвердительные. Свойство, выраженное предикатом, приписывается субъекту (S есть Р);
б) отрицательные. Свойство, выраженное предикатом, отрицается субъектом.
2. По количеству суждений:
а) Общие. Предикат охватывает весь объем субъекта («Все люди смертны»)
б) Частные. Предикат охватывает часть объема суждений («Некоторые птицы не летают»).
Сократ – это человек. Это суждение общее, поэтому субъект берется в полном объеме.
Любое простое атрибутивное суждение обладает как качеством, так и количеством. Значит, может быть 4 вида простых атрибутивных суждений:
А. Общеутвердительные суждения (утвердительные по качеству и утвердительные по количеству). Структура: «Все S суть P». Например: «Все люди смертны», «Сократ – это человек». Для удобства записывают такие суждения: S a P. Изобразим связь на диаграмме:
1) Субъект имеет свойство предиката.
Р
S
Субъект и предикат совпадает.
S, P
I. Частноутвердительные суждения. Структура: «Некоторые S суть P». Например: «Некоторые студенты спортсмены». Для удобства записывают: S i P. Изобразим связь на диаграмме:
1) Часть объема суждения
2) Предикат полностью включен в субъект («Некоторые люди брюнеты»).
E. Общеотрицательные суждения. Структура: «Ни один S не суть P». Например: «Ни один кит не является рыбой». Пишут: S e P. Изобразим связь на диаграмме:
1) Несовместимость отношений («Ни один кит не является рыбой»)
О. Частнотрицательные суждения. Структура: Некоторые S не суть P. Например: «Некоторые птицы не летают». Записываю: S o P. Изобразим связь на диаграмме:
1) Часть объема суждения («Некоторые студенты не занимаются спортом»)
2) Предикат полностью включен в субъект («Некоторые люди не брюнеты»).
Распределенность терминов суждения – термин суждения распределен, если он взят в полном объеме. Рассмотрим схему, где если распределен субъект или предикат, то ставим «+», если нет, то «-».
|
A |
I |
E |
O |
S |
«+» |
«-» |
«+» |
«-» |
P |
«-» |
«-» |
«+» |
«+» |
Правило распределенности терминов: субъект распределен в общих суждениях, а предикат – в отрицательных.
