Pătrat logic

Pătrat logic reprezintă logice opozițiile dintre diferitele propuneri :

Propoziție notată A , universal afirmativă: „toate x sunt P”
Propoziție notată E , negativ universal: „nu x este P”
Propoziția menționată I , în special afirmativă: „unele x sunt P”
Propoziția notată O , particular negativ: „unele x nu sunt P”

Formă clasică

Două propoziții având aceleași subiecte și predicat pot fi opuse prin calitatea și / sau cantitatea lor . Astfel, opozițiile care pot fi create sunt următoarele:

Două propoziții contradictorii sunt propoziții cărora li se opun calitatea și cantitatea. Una este adevărată dacă și numai dacă cealaltă este falsă.
Două propoziții contrare sunt propoziții universale cărora li se opune calitatea. Ambele propoziții pot fi false în același timp, dar nu adevărate în același timp.
Două propoziții contrare sunt propoziții particulare cărora li se opune calitatea. Ambele propoziții pot fi adevărate în același timp, dar nu false în același timp.
Două propoziții subordonate sunt propoziții cărora li se opune cantitatea. Dacă propoziția universală este adevărată, atunci și propoziția particulară este adevărată.

Astfel stabilim pătratul logic al opoziției propozițiilor.

A: Toate x-urile sunt P	← Opus →	E: Nu x este P
↕Subaltern	Contradictoriu	↕Subaltern
I: Cert x este P	← Subcontrar →	O: Anumit x nu este P

Alte pătrate

Creat în Evul Mediu, pătratul logic prezintă o astfel de regularitate încât am încercat, în timpurile moderne, să îl aplicăm în mai multe zone formalizate:

în semiotică , pătratul semiotic a fost dezvoltat de Greimas ;
în logica modală , M. și W. Kneale au prezentat pătratul logic al modalităților conform lui Diodorus :

necesar (este adevărat și nu va fi fals)	← Opus →	imposibil (este fals și nu va fi adevărat)
↕Subaltern	Contradictoriu	↕Subaltern
posibil (este adevărat sau va fi adevărat)	← Subcontrar →	nu este necesar (este greșit sau va fi greșit)

în logica epistemică , ne-am întrebat, de asemenea, ca Pascal Engel , dacă putem concepe un pătrat epistemic;
în semantica argumentativă , mai exact, în cadrul teoriei blocurilor semantice , Marion Carel și Oswald Ducrot propun un „pătrat argumentativ”, inspirat din pătratul lui Aristotel, care leagă prin proprietăți formale ale „predicate argumentative” (în terminologia lor, „argumentativ aspecte ") în" prin urmare "și" totuși ".

Referințe

Roger Caratini, Introducere în filosofie , L'Archipel (2000), p. 407
The Development of logic , Oxford, Clarendon Press, 1962, p. 125 . Reprodus de Jules Vuillemin în Necesitate sau contingență , Paris, Minuit, 1984, p. 78 , nota 33.
„Cum ar arăta pătratul logic epistemic?” », Piața Opoziției , Congresul internațional, Montreux, 2 iunie 2007.
cf. Marion Carel și Oswald Ducrot (1999) „Problema paradoxului într-o semantică argumentativă”, limba franceză nr . 123: 6-26. Marion Carel (2005) „Construcția sensului afirmațiilor”, Revue romane , n o 40-41, p. 79-97 . A se vedea, de asemenea, Kohei Kida (1998) Semantică neadevărată a afirmațiilor condiționale: eseu despre procesarea argumentativă , teză de doctorat (EHESS), p. 262-277 .

Vezi și tu

Bibliografie

Robert Blanché , Despre sistemul de conectori interpoziționali, Cahier pouralyse, vol. 10: „La formalization”, 1969. Text online . În ceea ce privește pătratul și hexagonul logic.
Robert Blanché, Structuri intelectuale (1966). Robert Blanché a murit în 1975. Cu nouă ani înainte de moartea sa, în 1966, a publicat o lucrare importantă cu Vrin: Structures intellectuelles . El vorbește despre hexagonul logic care are șase poziții, este o figură mai puternică decât pătratul logic tradițional care are doar patru.
hexagon logic în wikipedia franceză și în Dicționarul enciclopedic al științelor limbajului , editat de Le Seuil. Hexagonul logic al lui Robert Blanché adaugă valorile Y și U la cele patru valori ale pătratului. În structurile intelectuale , Y este conjuncția lui I și O, U disjuncția exclusivă a lui A și E.