Противопоставление предикату

-вид непосредственного умозаключения, в котором субъектом вывода является понятие, противоречащее предикату посылки, предикатом является субъект посылки, а связка изменяется на противоположную символически:

S есть Р.

не-Р не есть S.

П. п. представляет собой соединение превращения с обращением, поэтому при его выполнении следует сначала произвести превращение посылки, а затем обратить получившееся суждение: превращаем «S есть Р», получаем «S не есть не-Р», затем обращаем последнее суждение и приходим к выводу «не-Р не есть S». Затруднения здесь носят чисто грамматический характер. Чтобы избежать их, следует формулировать связку в явном виде и фиксировать отрицания. Из общеутвердительного суждения следует общеотрицательный вывод; из общеотрицательного суждения следует частноутвердительный вывод; из частноотрицательного суждения следует частноутвердительный вывод; из частноутвердительного суждения нельзя получить вывод путем П. п.

ПРОТИВОРЕЧИЕ

- два высказывания, из которых одно является отрицанием другого. Напр.: «Латунь - химический элемент» и «Латунь не является химическим элементом», «2 - простое число» и «2 не является простым числом». В одном из противоречащих высказываний что-то утверждается, в другом это же самое отрицается, причем утверждение и отрицание касаются одного и того же объекта, взятого в одно и то же время и рассматриваемого в одном и том же отношении.

П. является одним из центральных понятий логики. Поскольку слово «П.» многозначно, пару отрицающих друг друга высказываний называют иногда «логическим П.» или абсурдом.

П. недопустимо в строгом рассуждении, когда оно смешивает истину с ложью. Но у П. в обычном языке много разных задач. Оно может выступать в качестве основы сюжета, быть средством достижения особой художественной выразительности, комического эффекта и т. д. Реальное мышление — и тем более художественное мышление — не сводится к одной логичности. В нем важны ясность и неясность, доказательность и зыбкость, точное определение и чувственный образ и т. д., может оказаться нужным даже П., если оно стоит на своем месте.

РАВЕНСТВО

— отношение между знаковыми выражениями, обозначающими один и тот же объект, когда все, что можно высказать на языке соответствующей теории об одном из них, можно высказать и о другом, и наоборот, и при этом получать истинные высказывания. Обозначаемые объекты могут быть построены различным способом, напр., один объект может быть представлен как «3•5», а другой как «20-5», но между ними может быть поставлен знак Р.

Отношение Р позволяет заменять одни и те же объекты, построенные различным образом, друг на друга в различных контекстах (правило подстановочности). Выражения (формулы), содержащие предикат Р., могут содержать переменные, или параметры. Если такая формула является истинной при всех значениях переменных (параметров), то отношение Р называют тождеством. Если же она является истинной лишь при некоторых значениях, то ее называют уравнением. Отношение Р обладает свойствами симметричности, транзитивности и рефлексивности.

РАВНОЗНАЧНОСТЬ (равносильность, эквивалентность)

- отношение между высказываниями или формулами, когда они принимают одни и те же истинностные значения. Напр., при любых значениях элементарных высказываний формулы (A v B) и (B v A), (A v (A & В)) и A принимают одни и те же значения, т. е. если одна из них истинна, то и другая истинна, если одна из них ложна, то и другая также ложна. Если два высказывания A и В равнозначны, то формулы А -> В и B -> А будут тождественно истинными.

РАВНООБЪЕМНОСТЬ

- отношение между понятиями, объемы которых совпадают. Напр., понятия «луна» и «естественный спутник Земли» совпадают по своему объему, в который входит только один предмет; понятия «человек» и «разумное существо, владеющее членораздельной речью» равны по своему объему, т. к. обозначают один и тот же класс — людей.

РАЗДЕЛИТЕЛЬНОЕ СУЖДЕНИЕ

-дизъюнктивное (от лат. disjunctio — разобщаю) сложное суждение, образованное из двух или большего числа суждений с помощью логической связки «или». Общая форма Р. с. имеет вид А₁ v A₂ v, ..., v A _n, где А _n — суждение (член дизъюнкции, альтернатива), a v — знак дизъюнкции. Существуют два вида Р. с.: строго разделительные и нестрого разделительные. В строго разделительных суждениях связка «или», «либо» употребляется в строго разделительном смысле (см.: Дизъюнкция), т. е. когда члены дизъюнкции (альтернативы) в двучленном суждении A₁ v A₂ несовместимы (одно из них является истинным, а другое — ложным). Таково суждение: «Этот человек является виновным (A₁) либо этот человек не является виновным (А₂)». Естественно, что данный человек не может быть одновременно виновным и невиновным, имеет место лишь одна из альтернатив. В нестрого разделительных суждениях (см.: Дизъюнкция) альтернативы не являются несовместимыми. Таково суждение «Этот ученик является способным или он является прилежным». В этом суждении не исключается, что ученик может быть одновременно способным и прилежным.

Р. с. в обычном языке формулируются чаще всего в сокращенной форме и имеют, напр., вид: «S есть Р₁ или P₂ или «Р₁ или p₂ принадлежит S». Так, суждение «Данный треугольник прямоугольный или непрямоугольный» означает Р. с. «Данный треугольник прямоугольный или данный треугольник непрямоугольный» Связка «либо» вместо связки «или» используется обычно в строго разделительных суждениях.

РАЗДЕЛИТЕЛЬНО-КАТЕГОРИЧЕСКОЕ УМОЗАКЛЮЧЕНИЕ

-умозаключение, в котором одна из посылок — разделительное суждение, а другая — категорическое. Р.-к. у. имеет два модуса: 1) модус утверждающе-отрицающий; 2) модус отрицающе-утверждающий. Простейшая форма модуса (1) имеет вид: S есть Р₁ или p₂ (первая посылка); S есть Р₁ (вторая посылка); S не есть p₂ (заключение). Такую форму имеет, напр., следующее умозаключение: «Жидкие коллоидные системы бывают эмульсиями либо золями. Данная жидкая коллоидная система является эмульсией. Данная жидкая коллоидная система не является золем». В таком умозаключении для обеспечения его правильности в разделительной посылке союз «или» («либо») должен употребляться в строго разделительном смысле (см.: Дизъюнкция).

Простейшая форма модуса (2) имеет вид: S есть Р₁ или p₂, S не есть р₁; следовательно, S есть Р₂. Пример:

Организмы бывают одноклеточными или многоклеточными.

Данный организм не является одноклеточным.

Данный организм является многоклеточным.

В таком умозаключении для обеспечения его правильности в первой посылке должны быть перечислены все члены дизъюнкции (альтернативы).