ЛОГИЧЕСКИЙ КВАДРАТ

ЛОГИЧЕСКИЙ КВАДРАТ
ЛОГИЧЕСКИЙ КВАДРА́Т
схема, выражающая отношения с т. зр. истинности и ложности между общеутвердительным, общеотрицательным, частноутвердительным и частноотрицательным суждениями традиц. логики, имеющими один и тот же субъект и один и тот же предикат и обозначаемыми соответственно буквами А, Е, I, О (рис. 1); предложен в 11 в. Михаилом Пселлом.
Отношение п о д ч и н е н и я характеризуется тем, что истинность подчиняющего суждения (А или Е) обусловливает истинность соответствующего подчиненного суждения (I или О), а ложность подчиненного суждения обусловливает ложность подчиняющего суждения; отношение п о д п р о т и в н о с т и (субконтрарности) характеризуется тем, что ложность одного из подпротивных суждений обусловливает истинность другого.
(Об отношениях противности и противоречия см. Контрарное отношение и Контрадикторное отношение).
ЛОГИЧЕСКИЙ КВАДРАТ
ЛОГИЧЕСКИЙ КВАДРАТ
Л. к. предполагает, что связка "есть" ("суть") суждения употребляется в экзистенциальном смысле, согласно к-рому суждения A, I, E, О предполагают существование предметов класса S (т.е. непустоту субъекта) и слово "нек-рые" имеет смысл "нек-рые, а может быть и все".
Если отказаться от последнего условия и понимать "нек-рые" как "только нек-рые" (что соответствует одному из смыслов употребления этого слова в естеств. языке), то условия истинности I и О совпадают и отношения между А, I, Е, О выражаются уже логич. треугольником (предложенным рус. логиком H. A. Васильевым), в к-ром буквы I и О отмечают одну и ту же вершину (см. рис. 2); здесь отношения между А, Е и О (равнозначного I) характеризуются тем, что из трех суждений одно и только одно может быть истинным.
Схема Л. к. с присущей ей системой отношений истинности и ложности применяется также для выражения отношений между модальными суждениями (см. Модальность) [рис. 3, в к-ром Νp, Ν ЛОГИЧЕСКИЙ КВАДРА́Т p, ЛОГИЧЕСКИЙ КВАДРА́Т Νp и ЛОГИЧЕСКИЙ КВАДРА́Т Ν ЛОГИЧЕСКИЙ КВАДРА́Т p выражают, соответственно, суждения: "Необходимо p" (что равнозначно утверждению "Невозможно не-p"), "Необходимо не-p" ("Невозможно p"), "Не необходимо p" ("Возможно не-p") и "Не необходимо не-p" ("Возможно p") ].
ЛОГИЧЕСКИЙ КВАДРАТ
ЛОГИЧЕСКИЙ КВАДРАТ
Соединение суждений ЛОГИЧЕСКИЙ КВАДРА́Т Νp и ЛОГИЧЕСКИЙ КВАДРА́Т N ЛОГИЧЕСКИЙ КВАДРА́Т p союзом "и" (знак &) порождает суждение случайности ("Случайно, что p") и получающаяся в результате этого система отношений между тремя модальными суждениями выражается логич. треугольником (рис. 4).
Лит.: Асмус В. Ф., Логика, М., 1947, с. 143–46; Mинто В., Дедуктивная и индуктивная логика, пер. с англ., 5 изд., М., 1905, кн. 1, ч. 3, гл. 2; Васильев Η. Α., О частных суждениях, о треугольнике противоположностей, о законе исключенного четвертого, Каз., 1910; Bochenski J. M., Formale Logik, Freiburg – Münch., 1956.
В. Швырев. Москва.

Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия. . 1960—1970.


.

Игры ⚽ Поможем решить контрольную работу

Полезное


Смотреть что такое "ЛОГИЧЕСКИЙ КВАДРАТ" в других словарях:

  • логический квадрат — диаграмма, служащая для мнемонического запоминания некоторых логических соотношений между общеутвердительными (A), общеотрицательными (Е), частноутвердительными (I) и частноотрицательными суждениями (О). Логический квадрат показан на рисунке.… …   Словарь терминов логики

  • квадрат противоположностей — диаграмма, служащая для мнемонического запоминания некоторых логических соотношений между общеутвердительными (A), общеотрицательными (Е), частноутвердительными (I) и частноотрицательными суждениями (О). Логический квадрат показан на рисунке.… …   Словарь терминов логики

  • Категорический силлогизм — Простой категорический силлогизм (греч. συλλογισμός)  рассуждение мысли, состоящее из трёх простых атрибутивных высказываний: двух посылок и одного заключения. Посылки силлогизма разделяются на большую (которая содержит предикат заключения)… …   Википедия

  • Логика — (греч. logike̅́)         наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л …   Большая советская энциклопедия

  • Аниций Манлий Торкват Северин Боэций — О средневековом схоласте см. Боэций Дакийский Боэций Boetius …   Википедия

  • Суждение — Суждение  форма мышления, в которой что либо утверждается или отрицается о предмете, его свойствах или отношениях между предметами. Виды суждений и отношения между ними изучаются в философской логике. В математической логике суждениям… …   Википедия

  • Боэций — Боэций: последний из римлян и первый из схоластов     В Готской войне византийский историк Прокопий Кесарийский рассказывает: Симмах и Боэций, его зять, оба люди античной стати, среди наиболее авторитетных римских сенаторов были отмечены особым… …   Западная философия от истоков до наших дней

  • контрарная противоположность — (от лат. contrarius противоположный) отношение между противными, или противоположными, суждениями (см.: Логический квадрат) …   Словарь терминов логики

  • Силлогизм — умозаключение, в котором на основании нескольких суждений с необходимостью выводится новое суждение, называемое заключением. В отличие от С., как умозаключения посредственного, непосредственным умозаключением называется то, в котором заключение… …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

  • ОККАМ — (Ockkam, Occam) Уильям (ок. 1285 1349) англ. философ, логик и церковно политический писатель, представитель поздней схоластики. Монах францисканец. Учился и преподавал в Оксфорде. В 1323 в связи с обвинением в ереси был вызван папой Иоанном XXII… …   Философская энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»