ПРЕВРАЩЕНИЕ
непосредственное умозаключение
в рамках формализма традиционной логики, применяется обычно совместно
с обращением суждений. П. состоит в изменении качества посылки
и
одновременном замещении термина предиката на термин ему противоположный.
Пример: "Книга новая, следовательно, она не старая". Семантической основой
П. служит дихотомическое деление признаков, а логической основой-исключённого
третьего принцип и законы двойного отрицания. Для т. н. "категорических"
силлогистич. посылок правила П. суть следующие: из истинности "Все (или
нек-рые) S суть Р" следует истинность "Никакие (или нек-рые) S не суть
не-Р", и наоборот; из истинности "Никакие (или нек-рые) S не суть Р" следует
истинность "Все (или нек-рые) S суть не-Р", и наоборот.
Как и др. виды непосредственных умозаключений,
П. пользовалось особым вниманием ср.-век. философов, занимавшихся логико-грамматич.
анализом места отрицания в предложении в связи с вопросом о равносильности
высказываний. В формализме математической логики П. самостоятельного значения
не имеет. Это, однако, не умаляет его полезности для практики содержательного
мышления. В частности, П. используется (обычно неявно) в "языке исследователя"
при переводе традиц. символизма категорических суждений на символический
язык совр. логики предикатов.
Лит.: Логика, М., 1956, с. 130-31.
М. М. Новосёлов.
А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я