Logikus tér

A logikai négyzet a különböző javaslatok közötti logikai ellentéteket jelenti :

Állítás jelöljük A megerősítő egyetemes: „minden x vannak P”
Tétel, amelyet E jelöl , egyetemes negatív: "no x is P"
Az I. megjegyzés felvetése , igenlő, különösen: "némelyik x értéke P"
Az állítás megjegyezte O , negatív, különösen: "némelyik x nem P"

Klasszikus forma

Két azonos témájú és állítmányú állítás minőségével és / vagy mennyiségével szemben állhat . Így a létrehozható ellentétek a következők:

Két ellentmondásos állítás a minőség és a mennyiség ellentéte . Az egyik akkor és akkor igaz, ha a másik hamis.
Két ellentétes állítás egyetemes javaslat, amelyet a minőség szembeállít . Mindkét állítás egyszerre lehet hamis, de nem igaz egyszerre.
Két ellentétes állítás olyan konkrét javaslat, amelyet a minőség szembeállít . Mindkét tétel egyszerre lehet igaz, de nem hamis egyszerre.
Két alárendelt állítás olyan állítás, amelyet a mennyiség szembeállít . Ha az egyetemes tétel igaz, akkor az adott tétel is igaz.

Megállapítjuk tehát a javaslatok ellentétének logikai négyzetét.

V: Minden x P	← Szemben →	E: Nem x értéke P
UbSubaltern	Ellentmondó	UbSubaltern
I: Bizonyos x P	← Subcontrary →	O: Bizonyos x nem P

Egyéb négyzetek

A középkorban létrehozott logikai négyzet olyan törvényszerűséget mutat be, amelyet a modern időkben megpróbáltunk alkalmazni több formalizált területen:

a szemiotikában a szemiotikus négyzetet Greimas fejlesztette ki ;
a modális logikában M. és W. Kneale a modalitások logikai négyzetét mutatták be Diodorus szerint :

szükséges (igaz és nem lesz hamis)	← Szemben →	lehetetlen (hamis és nem lesz igaz)
UbSubaltern	Ellentmondó	UbSubaltern
lehetséges (igaz vagy igaz lesz)	← Subcontrary →	nem szükséges (helytelen vagy rossz lesz)

az episztemikus logikában azon is elgondolkodtunk, mint Pascal Engel , vajon el tudjuk-e képzelni episztemikus négyzetet;
az érvelő szemantikában , pontosabban a szemantikai blokkok elmélete keretében , Marion Carel és Oswald Ducrot Arisztotelész négyzetéből ihletett "érvelő négyzetet" javasol, amely az "érvelő predikátumok" (terminológiájukban "az szempontok ") a" ezért "és" azonban "szavakban.

Hivatkozások

Roger Caratini, Bevezetés a filozófiába , L'Archipel (2000), p. 407
A logika fejlődése , Oxford, Clarendon Press, 1962, p. 125 . Reprodukálta Jules Vuillemin : Szükség vagy eset , Párizs, Minuit, 1984, p. 78. , 33. jegyzet.
"Hogyan nézne ki az episztemikus logikai négyzet?" », Az Ellenzék tere , Nemzetközi Kongresszus, Montreux, 2007. június 2.
vö. Marion Carel és Oswald Ducrot (1999) „A paradoxon problémája egy érvelő szemantikában”, francia nyelv, n o 123: 6-26. Marion Carel (2005) „Az állítások jelentésének felépítése”, Revue romane , n o 40–41, p. 79-97 . Lásd még Kohei Kida (1998) A feltételes állítások valótlan szemantikája: esszé az érvelésfeldolgozásról , doktori disszertáció (EHESS), p. 262-277 .

Lásd is

Bibliográfia

Robert Blanché , Az interpozicionális csatlakozók rendszeréről , Cahier pouralyse, vol. 10: "La formalization", 1969. Szöveg online . A négyzetet és a logikai hatszöget illetően.
Robert Blanché, Szellemi struktúrák (1966). Robert Blanché 1975-ben halt meg. Kilenc évvel halála előtt, 1966-ban, egy fontos művet publikált a Vrinnél: Structures intellektuelles . A hat pozíciójú logikai hatszögről beszél, amely erősebb figura, mint a hagyományos logikai négyzet, amelynek csak négy van.
logikai hatszög a francia wikipédiában és a Le Seuil által szerkesztett Nyelvtudományi Enciklopédikus Szótárban . Robert Blanché logikai hatszöge hozzáadja az Y és U értékeket a négyzet négy értékéhez. A szellemi struktúrákban Y az I és O összekapcsolása, U az A és E kizárólagos diszjunkciója.