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