SQUARE LOGICAL (contrarii pătrate)
Diagrama de servire pentru stocarea mnemonic o relație logică între universal afirmativă (A), negativ universal (E) la des (I) și hotărârile chastnootritsatelnymi (A). Pătratul logic este prezentat în figură. , hotărârile Contrar kontradiktornye (A și D; E și I) nu poate fi atât de adevărat și fals, dacă una dintre ele este adevărat, atunci celălalt este fals. Deci, dacă propoziția „Toate metalele sunt conductoare“ (A) este adevărată, atunci afirmația „Unele metale nu sunt bune conducătoare de electricitate“ este falsă. Dacă propoziția „Unele metale nu sunt solide,“ (O) este adevărată, atunci propoziția „Toate metalele sunt solide“ (A) este falsă.
dezgustător Hotărârea (A și E), în contrast cu dimpotrivă, poate fi atât fals, dar poate să nu fie atât de adevărat. Astfel, hotărârea „Toți elevii sunt jucători de șah“ (A) și „Nici un student nu este un jucător de șah“ (E), ambele false. Când adevărul celui de al doilea una dintre ele este falsă. Astfel, în cazul în care hotărârea este „Toate cangur sunt mamifere“ (A) este adevărată, judecata „Nici cangur mamifer nu este“ (E) este falsă. hotărârile Podprotivnye (I și O) nu pot fi ambele false. Deci, dacă propoziția „Unele metale nu sunt bune conducătoare de electricitate“ (A) este falsă, atunci afirmația „Unele metale sunt conductoare“ (I) (t. E. „Sunt metale care sunt conductive electric“) este adevărată. hotărârile Podprotivnye pot fi ambele adevărate. Asemenea judecăți „Unele metale sunt solide“ (O) și „Unele metale nu sunt greu“ (O). Hotărârile judecătorești sunt în relație de subordonare (A, I și E, G), se disting, de exemplu. proprietatea importantă că adevărul propozițiilor generale privat corespunzătoare sunt, de asemenea, adevărat. Astfel, hotărârea de valabilitate „Toate gazele sunt compresibile“ (A) implică subordonatul judecata de valabilitate a acesteia (I) „Unele gaze sunt compresibile.“
↑ definiție excelentă
↓ definiție incompletă
SQUARE LOGICA
schemă, care exprimă o relație cu t. sp. de adevăr și falsitate dintre universal afirmative, universal negativ, și la adesea chastnootritsatelnym judecăți trad. logic, având același subiect și același predicat și notate cu literele A, E, I, O (Fig 1.); propusă în secolul al 11-lea. Mihailom Psellom. Relația n o n e n h și n și I se caracterizează prin aceea că, subordonând hotărârea validității (A sau E) slave corespunzător determină judecata valabilității (I sau O) și judecata sclav minciună face falsitatea subordonându judecata; raportul dintre d n n t r o și n o s t u (subkontrarnosti) caracterizat prin aceea că una dintre hotărârile falsitate podprotivnyh determină valabilitatea celuilalt. (Dimpotrivă, și relația de contradicție vezi. Kontradiktornoe contrarii atitudine și atitudine). L. a. Se presupune că ligamentul „este“ ( „core“) este folosit în hotărârile sens existențial, potrivit căruia judecata A, I, E, O S sugerează existența unei clase de obiecte (adică, un subiect care nu este gol) și cuvântul " nek- „are sens“ gât-secară, și, eventual, toate. " Dacă vom renunța la ultima condiție și să înțeleagă „nek-“ ca „numai nek-“ (care corespunde uneia dintre sensurile de utilizare a cuvântului în naturile. Limba), condițiile de valabilitate a I și O sunt aceleași și relația dintre A, I, E, Despre exprimat deja logic. delta, în litere-k set I și O marca același vârf (a se vedea figura 2 ..) (rus propus logician H. A. Vasilevym.); Aici relația dintre A, E și D (I echivalent), sunt caracterizate prin aceea că trei propoziții unul și numai unul poate fi adevărat. Conducerea în LA. Cu inerent sistemului său de adevăr și relațiile falsității este, de asemenea, utilizat pentru a exprima relația dintre hotărârile modale (a se vedea. Modality) [fig. 3, într-un rom? P. QUADRA LOGIC? T p, LOGIC QUADRA? T? P și Quadra logic? T. ? QUADRA LOGIC T p este exprimată, respectiv, hotărârea: „Este necesar să se p“ (care este echivalentă cu afirmația „Este imposibil să nu-p“), „Tu nu trebuie să-p“ ( „Nu poți p“), „Nu este necesar p“ ( „Poate că non- p ") și" nu este necesar să nu-p "(" Poate p „)]. Conectați hotărârile QUADRA LOGIC? T? P și Quadra logic? T N Quadra logic? T p prin "și" (semnul ) Dă naștere la judecata hazardului ( „șansa ca p“) și rezultanta unui sistem de relații între cele trei hotărâri modale exprimate logic. triunghi (Fig. 4). Lit:. Asmus V. F. logic, M. 1947, p. 143-46; Minto B. deductivă și logica inductivă, trans. din limba engleză. Ediția a 5. M. 1905, Voi. 1, ch. 3, cap. 2; Vasiliev. Pe judecăți parțiale pe triunghiul opus, legea exclus a patra, Kaz. 1910 Bochenski J. M. Formale Logik, Freiburg - M nch ?. 1956. V. Shvyrev. București.
↑ definiție excelentă
↓ definiție incompletă