Превращение
 
а б в г д е ж з и й к л м н о п р с т у ф х ц ч ш щ ъ ы ь э ю я
 

Превращение

Превращение, непосредственное умозаключение в рамках формализма традиционной логики; применяется обычно совместно с обращением суждений. П. состоит в изменении качества посылки и одновременном замещении термина предиката на термин ему противоположный, Пример: «Книга новая, следовательно, она не старая». Семантической основой П. служит дихотомическое деление признаков, а логической основой — исключенного третьего принцип и законы двойного отрицания. Для т. н. «категорических» силлогистических посылок правила П. суть следующие: из истинности «Все (или некоторые) S суть Р» следует истинность «Никакие (или некоторые) S не суть не-Р», и наоборот; из истинности «Никакие (или некоторые) S не суть Р» следует истинность «Все (или некоторые) S суть не-Р», и наоборот.

  Как и др. виды непосредственных умозаключений, П. пользовалось особым вниманием средневековых философов, занимавшихся логико-грамматическим анализом места отрицания в предложении в связи с вопросом о равносильности высказываний. В формализме математической логики П. самостоятельного значения не имеет. Это, однако, не умаляет его полезности для практики содержательного мышления. В частности, П. используется (обычно неявно) в «языке исследователя» при переводе традиционного символизма категорических суждений на символический язык современной логики предикатов.

 

  Лит.: Логика, М., 1956, с. 130—31.

  М. М. Новосёлов.