Mantıksal kare

Mantıksal kare temsil mantıksal karşıtlıklar arasında farklı önermeler :

Önerme A olarak ifade edildi , olumlu evrensel: "tüm x'ler P'dir"
E ile gösterilen önerme , evrensel negatif: "hiçbir x , P değildir"
Önerme kaydetti I "Bazı: Özellikle olumlu x P"
Önerme, O , negatif belirli: "bazı x , P değildir"

Klasik şekil

Aynı öznelere ve yüklemlere sahip iki önermeye , nitelikleri ve / veya miktarları ile karşı çıkabilir . Böylelikle yaratılabilecek karşıtlıklar şunlardır:

İki çelişkili öneri , nitelik ve nicelikle karşıt olan önermelerdir . Biri, ancak ve ancak diğeri yanlışsa doğrudur.
İki karşıt önerme , kalitenin karşı çıktığı evrensel önermelerdir . Her iki önerme de aynı anda yanlış olabilir, ancak aynı anda doğru olmayabilir.
İki alt-karşıt önerme , kalitenin karşı çıktığı belirli önermelerdir . Her iki önerme de aynı anda doğru olabilir, ancak aynı anda yanlış olamaz.
İki alt önerme , niceliğin karşı çıktığı önermelerdir . Evrensel önerme doğruysa, o zaman belirli önerme de doğrudur.

Böylece, önermelerin karşıtlığının mantıksal karesini oluşturuyoruz.

A: Tüm x'ler P'dir	← Ters →	E: x yok , P
↕ Alt sınıf	Çelişkili	↕ Alt sınıf
I: Kesin x , P'dir	← Taşeron →	O: Belirli x , P değildir

Diğer kareler

Orta Çağ'da yaratılan mantıksal kare, modern zamanlarda birkaç resmileştirilmiş alana uygulamaya çalıştığımız bir düzenlilik sunuyor:

içinde göstergebilim , göstergebilim kare tarafından geliştirilen Greimas ;
olarak lojik , M. W. Kneale göre yöntemleri mantıksal kare sunulmuştur Diodorus'un :

gerekli (doğrudur ve yanlış olmayacaktır)	← Ters →	imkansız (yanlıştır ve doğru olmayacaktır)
↕ Alt sınıf	Çelişkili	↕ Alt sınıf
mümkün (doğru veya olacak)	← Taşeron →	gerekli değil (yanlış veya yanlış olacak)

içinde epistemik mantık , biz de böyle, merak etmiş Pascal Engel biz epistemik bir karenin tasavvur eğer;
içinde tartışmacı semantik , daha doğrusu çerçevesinde semantik blokların Teorisi , Marion Carel ve Oswald Ducrot ", kendi terminolojisinde ( "tartışmacı yüklemler" biçimsel özelliklerine göre bağlama, tartışmacı Aristoteles Meydanı esinlenerek "tartışmacı kare", önerme yönleri ")" dolayısıyla "ve" ancak ".

Referanslar

Roger Caratini, Felsefeye Giriş , L'Archipel (2000), s. 407
Mantığın Gelişimi , Oxford, Clarendon Press, 1962, s. 125 . Çoğaltılmıştır Jules Vuillemin içinde gerekliliği veya acil , Paris, Minuit, 1984, s. 78 , not 33.
"Epistemik mantıksal kare nasıl görünürdü?" », Muhalefet Meydanı , Uluslararası Kongre, Montrö, 2 Haziran 2007.
cf. Marion Carel ve Oswald Ducrot (1999) "Tartışmacı bir anlambilimde paradoks sorunu", Fransız dili n o 123: 6-26. Marion Carel (2005) "İfadelerin anlamının inşası", Revue romane , n o 40-41, s. 79-97 . Ayrıca bkz. Kohei Kida (1998) Koşullu önermelerin gerçek dışı anlambilim: tartışmaya dayalı işleme üzerine deneme , doktora tezi (EHESS), s. 262-277 .

Ayrıca görün

Kaynakça

Robert Blanché , Konumlar arası konektörler sistemi hakkında , Cahier pouralyse, cilt. 10: "La formalization", 1969. Çevrimiçi metin . Kare ve mantıksal altıgenle ilgili olarak.
Robert Blanché, Entelektüel Yapılar (1966). Robert Blanché 1975'te öldü. Ölümünden dokuz yıl önce, 1966'da, Vrin: Structures intellectuelles ile önemli bir çalışma yayınladı . Altı konumu olan mantıksal altıgenden , sadece dörtlü olan geleneksel mantıksal kareden daha güçlü bir figür olduğundan bahsediyor .
Fransız wikipedia ve Le Seuil tarafından düzenlenen Ansiklopedik Dil Bilimleri Sözlüğü'nde mantıksal altıgen . Robert Blanché'nin mantıksal altıgeni, karenin dört değerine Y ve U değerlerini ekler. Gelen Fikri Yapılar , Y, I ve O, U, A ve E münhasır ayrılma bölgesinin birlikte olan