Logický čtverec

Logický čtverec představuje logické námitky mezi jednotlivými výroky :

Návrh označený A , kladný univerzální: „všechna x jsou P“
Návrh označený E , univerzální zápor: „no x je P“
Návrh poznamenal I , kladně zejména: „některé x je P“
Návrh poznamenal O , záporné konkrétní: „některé x je non-P“

Klasický tvar

Proti dvěma propozicím, které mají stejné předměty a predikát, lze postavit jejich kvalitu a / nebo kvantitu . Opozice, které lze vytvořit, jsou tedy následující:

Dva protichůdné výroky jsou výroky, proti nimž stojí kvalita a kvantita. Jeden je pravdivý právě tehdy, když druhý je nepravdivý.
Dva protikladné výroky jsou univerzální výroky, proti nimž stojí kvalita. Oba výroky mohou být nepravdivé současně, ale nejsou pravdivé současně.
Dvě protikladná tvrzení jsou zvláštní tvrzení, která jsou na rozdíl od kvality. Obě věty mohou být pravdivé současně, ale ne nepravdivé současně.
Dva podřízené výroky jsou výroky, proti nimž stojí kvantita. Pokud je univerzální věta pravdivá, pak platí i konkrétní věta.

Stanovíme tak logický čtverec opozice propozic.

Odpověď: Všechna x jsou P	← Naproti →	E: Ne x je P
Ub Podřízený	Rozporuplné	Ub Podřízený
I: Určité x je P	← dílčí →	O: Určité x je non-P

Ostatní čtverce

Logický čtverec vytvořený ve středověku představuje takovou pravidelnost, že jsme se jej v moderní době pokusili aplikovat na několik formalizovaných oblastí:

V sémiotiky se semiotic čtverec byl vyvinut Greimas ;
v modální logice M. a W. Kneale představili logický čtverec modalit podle Diodora :

nezbytné (je pravdivé a nebude nepravdivé)	← Naproti →	nemožné (je nepravdivé a nebude pravdivé)
Ub Podřízený	Rozporuplné	Ub Podřízený
možné (je pravda nebo bude pravda)	← dílčí →	není nutné (špatně nebo špatně)

v epistemické logice jsme také uvažovali, jako Pascal Engel , zda si můžeme představit epistemický čtverec;
v argumentačních sémantiky , přesněji v rámci teorie sémantických bloků , Marion Carel a Oswald Ducrot navrhnout „argumentativní čtverec“, inspirovaný Aristotelova náměstí, spojující formálními vlastnostmi „argumentačních predikáty“ (v jejich terminologii, „polemický aspekty “) v„ proto “a„ nicméně “.

Reference

Roger Caratini, Úvod do filozofie , L'Archipel (2000), s. 407
Vývoj logiky , Oxford, Clarendon Press, 1962, str. 125 . Reprodukováno Julesem Vuilleminem v knize Nutnost nebo pohotovost , Paris, Minuit, 1984, s. 78 , poznámka 33.
„Jak by vypadal epistemický logický čtverec?“ », Náměstí opozice , mezinárodní kongres, Montreux, 2. června 2007.
srov. Marion Carel a Oswald Ducrot (1999): „Problém paradox v argumentačních sémantiky“, francouzský jazyk n o 123: 6-26. Marion Carel (2005) „Stavba smyslu prohlášení“, Revue Romane , n o 40-41, s. 79-97 . Viz také Kohei Kida (1998) Nepravdivá sémantika podmíněných tvrzení: esej o argumentačním zpracování , disertační práce (EHESS), s. 262-277 .

Podívejte se také

Bibliografie

Robert Blanché , Systém interpolohových konektorů , Cahier pouralyse, sv. 10: „La formisation“, 1969. Text online . Pokud jde o čtverec a logický šestiúhelník.
Robert Blanché, Intelektuální struktury (1966). Robert Blanché zemřel v roce 1975. Devět let před svou smrtí, v roce 1966, vydal důležité dílo s Vrinem: Structures intellectuelles . Mluví o logickém šestiúhelníku, který má šest pozic, je silnější postava než tradiční logický čtverec, který má pouze čtyři.
logický šestiúhelník ve francouzské wikipedii a v Encyklopedickém slovníku jazykových věd , editoval Le Seuil. Logický šestiúhelník Roberta Blanché přidává hodnoty Y a U ke čtyřem hodnotám čtverce. V intelektuálních strukturách je Y spojení I a O, U výlučná disjunkce A a E.