- •Раздел I. Предмет логики и ее значение
- •Логика как наука и основные этапы ее развития
- •Раздел II. Понятие
- •Понятие как форма мысли
- •Языковая форма выражения понятий
- •Объем и содержание понятия
- •Виды признаков
- •Закон обратного отношения между объемами и содержаниями понятий
- •Приемы формирования понятий
- •Виды понятий
- •Отношения между понятиями
- •Логические операции с понятиями
- •Деление понятий
- •Правила деления
- •Виды деления понятий
- •Определение
- •Виды определений
- •Правила определения.
- •Раздел III. Суждение
- •Логическая структура суждения
- •Виды суждений
- •Простые суждения и их состав
- •Категорические суждения
- •Типы простых атрибутивных суждений
- •Исключающие и выделяющие суждения
- •Ограничения для суждений
- •Семантика традиционной силлогистики
- •2. Предложение «Ни один s не есть р» истинно тогда и только тогда, когда классы s и р находятся в одном из следующих отношений:
- •3. Предложение «Некоторый s есть р» истинно тогда и только тогда, когда s и р находятся в одном из следующих отношений:
- •4. Предложение «Некоторый s не есть р» истинно тогда и только тогда, когда классы s и р находятся в одном из следующих отношений:
- •5. Предложение «а есть р» истинно тогда и только тогда, когда между предметом, обозначенным термином «а», и классом р существует отношение, соответствующее схеме №1:
- •6. Предложение «а не есть р» истинно тогда и только тогда, когда между предметом, обозначенным термином «а», и классом р существует отношение, соответствующее схеме №2:
- •Распределенность терминов в суждениях
- •Сложные суждения и их логическая структура
- •Суждения ассерторические и модальные
- •Язык логики высказываний
- •Семантика логики высказываний
- •Понятие логического следования
- •Основные формально-логические законы
- •Раздел IV. Умозаключение
- •Понятие умозаключения
- •Дедуктивные умозаключения. Силлогистика
- •Непосредственные умозаключения
- •Обращение
- •Превращение
- •Противопоставление
- •Умозаключения по логическому квадрату
- •Простой категорический силлогизм (Умозаключение из двух посылок)
- •Правила терминов:
- •Правила посылок:
- •Энтимемы
- •Умозаключения из сложных суждений
- •Правдоподобные умозаключения
- •Раздел V. Теория доказательства
- •Аргументация
- •Состав доказательства
- •Виды доказательства
- •Ошибки доказательств
- •Приложение 1 Глоссарий
- •Приложение 2 Символы логики
- •Приложение 3
Типы простых атрибутивных суждений
№ |
Наименование |
Логическая форма |
Сокращенная запись |
1. |
Общеутвердительные |
Всякий S есть P |
S а P |
2. |
Общеотрицательные |
Всякий S не есть P |
S е P |
3. |
Частноутвердительные |
Некоторые S есть P |
S i P |
4. |
Частноотрицательные |
Некоторые S не есть P |
S o P |
5. |
Единичноутвердительные |
а есть Р |
S а P |
6. |
Единичноотрицательные |
а не есть Р |
S е P |
В названиях категорических атрибутивных высказываний приведенных выше указываются их количественные и качественные характеристики.
Единичные высказывания не играют самостоятельной роли, самостоятельную роль играют только высказывания первых четырех типов. В средние века высказывания этих последних типов получили специальные обозначения: предложения с логической формой «Всякий S есть Р» стали называться высказываниями типа а (первая буква латинского слова «affirmo» – утверждаю); предложения с логической формой «Некоторый S есть Р» стали называться высказываниями типа i (вторая гласная в том же слове); предложения вида «Всякий S не есть P» относиться к высказываниям типа е (первая гласная буква в слове «nego» – отрицаю), а предложения вида «Некоторый S не есть Р» – к высказываниям типа о (вторая гласная в слове «nego»). Эти обозначения являются удобным средством сокращенного представления в языке категорических высказываний.
Исключающие и выделяющие суждения
Исключающие и выделяющие суждения следует характеризовать скорее всего не как категорические, то есть разновидность простых, а как некоторые сложные суждения.
Общевыделяющие суждения.
«Все S, и только S, суть Р»,
«Все S, но не только S, суть Р»,
«Ни одно S, и только S, не есть Р».
Например, «Все S, и только S, суть Р» означает «Все S есть Р и ни одно не-S не есть Р», то есть два простых высказывания.
Суждение
«Все млекопитающие животные и только млекопитающие являются теплокровными»
имеет смысл:
«Все млекопитающие животные суть теплокровные животные и ни одно не млекопитающее животное не является теплокровным».
Частновыделяющие суждения (вида 1, слово «только» относится к субъекту).
1) «Некоторые S, и только S, суть Р»,
2) «Некоторые S, и только S, не суть Р».
Данные высказывания эквивалентны:
«Некоторые S есть Р и Ни одно не-S не суть Р»
Например, «Некоторые кислоты и только они образуют соли» эквивалентно «Некоторые кислоты образуют соли и ни одна не кислота не образует соли».
«Некоторые S не есть Р и Все не-S есть Р»
Например, «Некоторые лодыри и только они не сдадут этот экзамен» и «Все не-лодыри сдадут его».
Частновыделяющие суждения (вида 2, слово «только» относится к кванторному слову).
1) «Только некоторые S есть Р».
2) «Только некоторые S не есть Р».
Данные высказывания эквивалентны: «Некоторые S есть Р» и «Некоторые S не есть Р». Например, «Только некоторые студенты становятся профессорами» эквивалентно «Некоторые студенты становятся профессорами и некоторые студенты не становятся профессорами».
Исключающие суждения.
1) «Все S, кроме R, суть Р» выражает сложное суждение: «Все S, которые не являются R, есть Р» и «Ни одно R не есть Р». Например, «Все спортсмены, кроме боксеров, вызывают у меня симпатию» эквивалентно «Все спортсмены не-боксеры вызывают у меня симпатию» и «Ни один боксер не вызывает у меня симпатию».
2) «Ни одно S, кроме R, не суть Р».