Logisk firkant

Den logiske firkant repræsenterer de logiske modsætninger mellem de forskellige propositioner :

Proposition betegnet A , bekræftende universal: "alle x er P"
Proposition betegnet med E , universelt negativt: "no x er P"
Proposition bemærkede jeg , bekræftende især: "nogle x er P"
Proposition bemærket O , negativ især: "nogle x er ikke-P"

Klassisk form

To propositioner med samme emner og predikat kan modsættes af deres kvalitet og / eller af deres kvantitet . De modsætninger, der kan skabes, er således som følger:

To modstridende propositioner er propositioner, der modsættes kvalitet og kvantitet. Den ene er sand, hvis og kun hvis den anden er falsk.
To modsatte propositioner er universelle propositioner, der modsættes af kvalitet. Begge udsagn kan være falske på samme tid, men ikke sande på samme tid.
To sub-modsatte propositioner er specielle propositioner, der modsættes af kvalitet. Begge udsagn kan være sande på samme tid, men ikke falske på samme tid.
To underordnede propositioner er propositioner, som modsættes af mængden. Hvis den universelle proposition er sand, er den særlige proposition også sand.

Vi etablerer således det logiske kvadrat for modstanden af forslagene.

A: Alle x'er er P	← Modsatte →	E: Intet x er P
↕Subaltern	Modstridende	↕Subaltern
I: Visse x er P	← Underkontrast →	O: Visse x er ikke-P

Andre firkanter

Oprettet i middelalderen præsenterer den logiske firkant en sådan regelmæssighed, at vi i moderne tid forsøgte at anvende den på flere formaliserede områder:

inden for semiotik blev den semiotiske firkant udviklet af Greimas ;
i modallogik , M. og W. Kneale præsenterede logiske kvadratet af modaliteter ifølge Diodorus :

nødvendigt (er sandt og vil ikke være falsk)	← Modsatte →	umuligt (er falsk og vil ikke være sandt)
↕Subaltern	Modstridende	↕Subaltern
muligt (er sandt eller vil være sandt)	← Underkontrast →	ikke nødvendigt (er forkert eller vil være forkert)

i epistemisk logik har vi ligesom Pascal Engel også spekuleret i , om vi kan forestille os en epistemisk firkant;
i argumenterende semantik , mere præcist, inden for rammerne af teorien om semantiske blokke , foreslår Marion Carel og Oswald Ducrot et "argumenterende kvadrat", inspireret af Aristoteles kvadrat, der forbinder med formelle egenskaber af "argumentative predikater" (i deres terminologi, "argumenterende aspekter ") i" derfor "og" dog ".

Referencer

Roger Caratini, Introduktion til filosofi , L'Archipel (2000), s. 407
Udviklingen af logik , Oxford, Clarendon Press, 1962, s. 125 . Gengivet af Jules Vuillemin i Nødvendighed eller beredskab , Paris, Minuit, 1984, s. 78 , note 33.
"Hvad ville det epistemiske logiske firkantet ud?" », Oppositionspladsen , International Congress, Montreux, 2. juni 2007.
jf. Marion Carel og Oswald Ducrot (1999) “Problemet med paradokset i en argumenterende semantik”, fransk sprog nr . 123: 6-26. Marion Carel (2005) “Opbygningen af betydningen af udsagn”, Revue romane , nr . 40-41, s. 79-97 . Se også Kohei Kida (1998) Usandlig semantik af betingede udsagn: et essay om argumentativ behandling , doktorafhandling (EHESS), s. 262-277 .

Se også

Bibliografi

Robert Blanché , On the inter-positional connectors system , Cahier pouralyse, vol. 10: "La formalization", 1969. Tekst online . Med hensyn til firkanten og den logiske sekskant.
Robert Blanché, Intellektuelle strukturer (1966). Robert Blanché døde i 1975. Ni år før sin død, i 1966, udgav han et vigtigt værk med Vrin: Structures intellectuelles . Han taler om den logiske sekskant, der har seks positioner, er en stærkere figur end den traditionelle logiske firkant, der kun har fire.
logisk sekskant på fransk wikipedia og i Encyclopedic Dictionary of Language Sciences , redigeret af Le Seuil. Robert Blanchés logiske sekskant tilføjer værdierne Y og U til kvadratets fire værdier. I intellektuelle strukturer er Y sammenhængen mellem I og O, U den eksklusive adskillelse af A og E.