- •8 Виды понятий 16
- •13 Определение 33
- •16 Виды суждений 37
- •34 Энтимемы 79
- •37 Аргументация 94
- •Раздел I. Предмет логики и ее значение
- •1Логика как наука и основные этапы ее развития
- •3Языковая форма выражения понятий
- •Раздел II. Понятие
- •2Понятие как форма мысли
- •4Объем и содержание понятия
- •5Виды признаков
- •6Закон обратного отношения между объемами и содержаниями понятий
- •7Приемы формирования понятий
- •8Виды понятий
- •9Отношения между понятиями
- •10Логические операции с понятиями
- •11Деление понятий
- •Правила деления
- •12Виды деления понятий
- •13Определение
- •14Виды определений
- •Правила определения.
- •Раздел III. Суждение
- •15Логическая структура суждения
- •16Виды суждений
- •17Простые суждения и их состав
- •18Категорические суждения
- •19Исключающие и выделяющие суждения
- •20Ограничения для суждений
- •21Семантика традиционной силлогистики
- •2. Предложение «Ни один s не есть р» истинно тогда и только тогда, когда классы s и р находятся в одном из следующих отношений:
- •3. Предложение «Некоторый s есть р» истинно тогда и только тогда, когда s и р находятся в одном из следующих отношений:
- •4. Предложение «Некоторый s не есть р» истинно тогда и только тогда, когда классы s и р находятся в одном из следующих отношений:
- •5. Предложение «а есть р» истинно тогда и только тогда, когда между предметом, обозначенным термином «а», и классом р существует отношение, соответствующее схеме №1:
- •6. Предложение «а не есть р» истинно тогда и только тогда, когда между предметом, обозначенным термином «а», и классом р существует отношение, соответствующее схеме №2:
- •22Распределенность терминов в суждениях
- •23Сложные суждения и их логическая структура
- •24Суждения ассерторические и модальные
- •25Язык логики высказываний
- •26Семантика логики высказываний
- •27Понятие логического следования
- •28Основные формально-логические законы
- •Раздел IV. Умозаключение
- •29Понятие умозаключения
- •30Дедуктивные умозаключения. Силлогистика
- •31Непосредственные умозаключения
- •Обращение
- •Превращение
- •Противопоставление
- •32Умозаключения по логическому квадрату
- •33Простой категорический силлогизм (Умозаключение из двух посылок)
- •Правила терминов:
- •Правила посылок:
- •34Энтимемы
- •35Умозаключения из сложных суждений
- •36Правдоподобные умозаключения
- •Раздел V. Теория доказательства
- •37Аргументация
- •38Состав доказательства
- •39Виды доказательства
- •40Ошибки доказательств
- •Приложение 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 ╡╞ e S |
Всякий S есть Р Всякий не есть S |
2 |
S e Р ╡╞ S a ╞ i S |
Всякий S не есть Р Некоторый есть S |
3 |
S o Р ╡╞ S i ╡╞ i S |
Некоторый S не есть Р Некоторый есть 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 ╡╞ e S ╡╞ а |
Всякий S есть Р Всякий есть |
2 |
S e Р ╡╞ S a ╡╞ i S ╡╞ о |
Всякий S не есть Р Некоторый не есть |
3 |
S o Р ╡╞ S i ╡╞ i S ╡╞ о |
Некоторый S не есть Р Некоторый не есть |
Например: мы можем перейти от высказывания «Все люди – разумные существа» к высказыванию «Все не-разумные существа суть не-люди».
