Логічний квадрат це що таке логічний квадрат визначення
Логічний КВАДРАТ (квадрат протилежностей)
діаграма, що служить для мнемонічного запам'ятовування деяких логічних співвідношень між Общеутвердітельное (A), Общеотріцательное (Е), Частноутвердітельное (I) і частноотріцательное судженнями (О). Логічний квадрат показаний на малюнку. Ухвалені закони суперечать, контрадікторние судження (А і О; Е і I) не можуть бути одночасно істинними і помилковими: якщо одне з них істинно, то інше брехливо. Так, якщо судження "Всі метали є електропровідними" (A) істинно, то судження "Деякі метали не є електропровідними" помилково. Якщо судження "Деякі метали не є твердими" (О) істинно, то судження "Всі метали є твердими" (А) помилково.
Неприємні судження (A і Е), на відміну від суперечать, можуть обидва виявитися помилковими, але не можуть бути обидва істинними. Так, судження "Усі студенти є шахістами" (A) і "Жоден студент не є шахістом" (Е) обидва хибні. При істинності ж одного з них друге є помилковим. Так, якщо судження "Всі кенгуру є ссавцями" (A) істинно, то судження "Жоден кенгуру не є ссавцем" (Е) помилково. Подпротівние судження (I і О) не можуть бути одночасно хибними. Так, якщо судження "Деякі метали не є електропровідними" (О) помилково, то судження "Деякі метали є електропровідними" (I) (т. Е. "Існують метали, які електропровідні") є істинним. Подпротівние судження можуть виявитися і обидва істинними. Такі судження "Деякі метали є твердими" (O) і "Деякі метали не є твердими" (О). Судження, що перебувають у відношенні підпорядкування (A, I і Е, О), відрізняються, напр. тим важливою властивістю, що при істинності загальних суджень відповідні їм приватні також є істинними. Так, істинність судження "Всі гази є стисливими" (A) тягне істинність підлеглого йому судження (I) "Деякі гази є стисливими".
↑ Відмінне визначення
Неповне визначення ↓
Логічний КВАДРАТ
схема, що характеризує відносини з т. зр. істинності і хибності між общеутвердітельним, общеотріцательним, частноутвердітельним і частноотріцательним судженнями традиц. логіки, що мають один і той же суб'єкт і один і той же предикат і позначаються відповідно буквами А, Е, 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. В. Швирьов. Київ.
↑ Відмінне визначення
Неповне визначення ↓