Logisk firkant

Det logiske torget representerer de logiske motsetningene mellom de forskjellige proposisjonene :

Proposisjon betegnet A , bekreftende universal: "alle x er P"
Proposisjon betegnet med E , universell negativ: "no x is P"
Proposisjon bemerket jeg , bekreftende spesielt: "noe x er P"
Proposisjon bemerket O , negativ spesielt: "noen x er ikke-P"

Klassisk form

To proposisjoner med samme emner og predikat kan motsettes av deres kvalitet og / eller av deres kvantitet . Dermed er motstandene som kan opprettes som følger:

To motstridende proposisjoner er proposisjoner som er imot kvalitet og kvantitet. Det ene er sant hvis og bare hvis det andre er falskt.
To motstridende proposisjoner er universelle proposisjoner som er imot av kvalitet. Begge forslagene kan være falske samtidig, men ikke sanne samtidig.
To motsatte proposisjoner er spesielle proposisjoner som er imot av kvalitet. Begge forslagene kan være sanne samtidig, men ikke falske samtidig.
To underordnede proposisjoner er proposisjoner som er i motsetning til mengden. Hvis den universelle proposisjonen er sant, så er den spesielle proposisjonen også sant.

Vi etablerer dermed den logiske firkanten av opposisjonen til proposisjonene.

A: Alle x-er er P	← Motsatt →	E: Ingen x er P
UbSubaltern	Motstridende	UbSubaltern
I: Visse x er P	← Underkontroll →	O: Visse x er ikke-P

Andre firkanter

Opprettet i middelalderen, presenterer det logiske torget en så regelmessighet at vi i moderne tid prøvde å bruke den på flere formaliserte områder:

i semiotikk ble det semiotiske torget utviklet av Greimas ;
i modal logikk , M. og W. Kneale presenterte logiske kvadratet av modaliteter ifølge Diodorus :

nødvendig (er sant og vil ikke være usant)	← Motsatt →	umulig (er falsk og vil ikke være sant)
UbSubaltern	Motstridende	UbSubaltern
mulig (er sant eller vil være sant)	← Underkontroll →	ikke nødvendig (er feil eller vil være feil)

i epistemisk logikk har vi også, som Pascal Engel , lurt på om vi kan tenke oss et epistemisk kvadrat;
innenfor argumenterende semantikk , nærmere bestemt, innenfor rammen av teorien om semantiske blokker , foreslår Marion Carel og Oswald Ducrot et "argumentativt kvadrat", inspirert av Aristoteles kvadrat, og knytter sammen formelle egenskaper til "argumentative predikater" (i deres terminologi, "argumenterende aspekter ") i" derfor "og" imidlertid ".

Referanser

Roger Caratini, Introduction to Philosophy , L'Archipel (2000), s. 407
The Logic Development , Oxford, Clarendon Press, 1962, s. 125 . Gjengitt av Jules Vuillemin i Nødvendighet eller beredskap , Paris, Minuit, 1984, s. 78 , note 33.
"Hva ville den epistemiske logisk torget ut?" », Opposisjonsplassen , Internasjonal Kongress, Montreux, 2. juni 2007.
jfr. Marion Carel og Oswald Ducrot (1999) “Problemet med paradokset i en argumenterende semantikk”, franske språket n o 123: 6-26. Marion Carel (2005) “The construction of the meaning of statements”, Revue romane , nr . 40-41, s. 79-97 . Se også Kohei Kida (1998) Usannhetlig semantikk av betingede utsagn: et essay om argumentativ prosessering , doktoravhandling (EHESS), s. 262-277 .

Se også

Bibliografi

Robert Blanché , On the inter-positional connectors system , Cahier pouralyse, vol. 10: "La formalization", 1969. Tekst online . Når det gjelder firkanten og den logiske sekskanten.
Robert Blanché, Intellektuelle strukturer (1966). Robert Blanché døde i 1975. Ni år før han døde, i 1966, publiserte han et viktig arbeid med Vrin: Structures intellectuelles . Han snakker om den logiske sekskanten som har seks posisjoner er en kraftigere figur enn den tradisjonelle logiske firkanten som bare har fire.
logisk sekskant i fransk wikipedia og i Encyclopedic Dictionary of Language Sciences , redigert av Le Seuil. Robert Blanchés logiske sekskant legger verdiene Y og U til firkantens fire verdier. I intellektuelle strukturer er Y forbindelsen til I og O, U den eksklusive adskillelsen av A og E.