Kıyas - Syllogism

Bir kıyas (Yunan: συλλογισμός, syllogismos, 'sonuç, çıkarım') bir tür mantıksal argüman bu geçerlidir tümdengelim varmak sonuç iki veya daha fazlasına dayalı önermeler doğru olduğu iddia edilen veya kabul edilen.

Bir formda Aristo genel bir önermenin (ana önermenin) ve özel bir önermenin (küçük önermenin) birleşiminden bir sonuç çıkarılır. Örneğin, tüm erkeklerin ölümlü olduğunu bilmek (temel dayanak) ve Sokrates bir adamsa (küçük öncül), Sokrates'in ölümlü olduğu sonucuna varabiliriz. Syllogistic argümanlar genellikle üç satırlık bir biçimde temsil edilir:

Bütün insanlar ölümlüdür.
Sokrates bir adamdır.
Bu nedenle Sokrates ölümlüdür.

Antik çağda, iki rakip kıyas teorisi vardı: Aristotelesçi kıyaslar ve Stoacı kıyaslar.^[1] İtibaren Orta Çağlar ileriye, kategorik kıyas ve kıyas genellikle birbirinin yerine kullanılmıştır. Bu makale sadece bu tarihsel kullanımla ilgilidir. Kıyaslama, tarihin özünde tümdengelim gerçekler, mevcut ifadelerin bir araya getirilmesiyle belirlenir. tümevarımlı akıl yürütme gerçeklerin tekrarlanan gözlemlerle belirlendiği.

Akademik bir bağlamda, kıyasın yerini aldı birinci dereceden yüklem mantığı işini takiben Gottlob Frege özellikle onun Begriffsschrift (Kavram Metni; 1879). Bununla birlikte, kıyaslamalar bazı durumlarda ve mantığa genel izleyici girişleri için yararlı olmaya devam eder.^[2][3]

Erken tarih

Antik çağda, iki rakip kıyas teorisi vardı: Aristotelesçi kıyaslar ve Stoacı kıyaslar.^[1]

Aristo

Aristo Kıyaslamayı, "belirli (belirli) şeylerin varsayıldığı, zorunluluğun sonucu olduğu varsayılan şeylerden farklı bir şey, çünkü bunlar böyledir."^[4] Bu çok genel tanıma rağmen, Önceki Analizler Aristoteles, kendisini üç parçadan oluşan kategorik kıyaslamalarla sınırlandırır. kategorik önermeler kategorik dahil modal kıyaslamalar.^[5]

Kıyaslamaların bir anlayış aracı olarak kullanılması, aşağıdaki mantıksal akıl yürütme tartışmalarına geri götürülebilir. Aristo. 12. yüzyılın ortalarından önce, ortaçağ mantıkçıları, Aristoteles'in eserlerinin yalnızca bir kısmına aşinaydı; Kategoriler ve Yorumlama Üzerine, hakim Eski Mantık'a büyük katkı sağlayan eserler veya logica vetus. Yeni Bir Mantığın başlangıcı veya logica nova yeniden ortaya çıkmasıyla birlikte ortaya çıktı Önceki Analizler, Aristoteles'in kıyas teorisini geliştirdiği çalışma.

Önceki Analizleryeniden keşfedildikten sonra, mantıkçılar tarafından anında "kapalı ve eksiksiz bir doktrin gövdesi" olarak görüldü ve günün düşünürlerine tartışmak ve yeniden organize etmek için çok az şey bıraktı. Aristoteles'in kıyaslama teorisi iddialı Zamanla kavramda sadece küçük sistematik değişiklikler meydana geldiği için cümleler özellikle dikkate değer görüldü. Bu kıyamet teorisi, mantık, 14. yüzyılın ortalarında, genel olarak, benzerleri tarafından yeniden işlenmeye başlayıncaya kadar, daha kapsamlı sonuç mantığı bağlamına girmeyecekti. John Buridan.

Aristoteles'in Önceki Analizler Ancak, bu kadar kapsamlı bir teoriyi modal kıyım- en az bir tane olan bir kıyamet modalize öncül, yani 'zorunlu olarak', 'muhtemelen' veya 'koşullu' modal kelimelerini içeren bir öncül. Aristoteles'in terminolojisi, teorisinin bu yönüyle, belirsiz ve çoğu durumda belirsiz kabul edildi, hatta bazı ifadeleriyle çelişiyordu. Yorumlama Üzerine. Teorinin bu özel bileşeni hakkındaki orijinal iddiaları, önemli miktarda konuşmaya bırakıldı ve bu, günün yorumcuları tarafından ortaya atılan geniş bir çözüm yelpazesiyle sonuçlandı. Aristoteles'in ortaya koyduğu modal kıyaslama sistemi, nihayetinde pratik kullanım için uygun görülmeyecek ve tamamen yeni ayrımlar ve yeni teorilerle değiştirilecektir.

Ortaçağ kıyası

Boethius

Boethius (c. 475 - 526) eski Aristoteles mantığını daha erişilebilir kılma çabasına katkıda bulundu. Latince tercümesi Önceki Analizler 12. yüzyıldan önce kullanılmamıştı, kategorik kıyas üzerine ders kitapları, kıyas tartışmasını genişletmenin merkezinde yer aldı. Boethius'un bu alana kişisel olarak yaptığı herhangi bir eklemeden ziyade, mantıksal mirası, önceki teorileri daha sonraki mantıkçılara etkili bir şekilde aktarmasının yanı sıra, Aristoteles'in katkılarının açık ve öncelikli olarak doğru sunumlarında yatmaktadır.

Peter Abelard

Ortaçağ mantığına Latin Batı'dan ilk katkıda bulunanlardan bir diğeri, Peter Abelard (1079–1142), kıyas kavramı ve ona eşlik eden teori hakkında kendi kapsamlı değerlendirmesini yaptı. Dialectica- Boethius'un yorumlarına ve monografilerine dayanan bir mantık tartışması. Kıyaslamalara bakış açısı başka çalışmalarda da bulunabilir, örneğin Logica Ingredientibus. Abelard'ın arasındaki ayrımın yardımıyla de dicto modal cümleler ve de re modal cümleler, ortaçağ mantıkçıları, Aristoteles'in modal kıyas modelinin daha tutarlı bir kavramını şekillendirmeye başladılar.

John Buridan

John Buridan (c. 1300 - 1361), bazılarının Orta Çağ'ın en önde gelen mantıkçı olduğunu düşündüğü, iki önemli çalışmaya katkıda bulundu: Sonuç Üzerine İnceleme ve Summulae de Dialectica, kıyas kavramını, bileşenlerini ve ayrımlarını ve aracı mantıksal kabiliyetini genişletmek için kullanmanın yollarını tartıştığı. Buridan'ın tartışmalarından sonraki 200 yıl boyunca, kıyas mantığı hakkında çok az şey söylendi. Mantık tarihçileri, Orta Çağ sonrası dönemdeki birincil değişikliklerin, halkın orijinal kaynaklar konusundaki farkındalığına ilişkin değişiklikler, mantığın karmaşıklığı ve karmaşıklığına ilişkin takdirin azalması ve mantıksal cehaletin artması olduğunu değerlendirmişlerdir. 20. yüzyılın başları, tüm sistemi gülünç olarak görmeye başladı.^[6]

Modern tarih

Aristotelesçi kıyas, yüzyıllar boyunca Batı felsefi düşüncesine egemen oldu. Kıyasçılığın kendisi varsayımlardan geçerli sonuçlar çıkarmakla ilgilidir (aksiyomlar ), varsayımları doğrulamaktan ziyade. Bununla birlikte, insanlar varsayımları doğrulamanın önemini unutarak zamanla mantık yönüne odaklandılar.

17. yüzyılda, Francis Bacon aksiyomların deneysel doğrulamasının titizlikle gerçekleştirilmesi gerektiğini ve doğada sonuçlara varmanın en iyi yolu olarak kıyaslamanın kendisini alamayacağını vurguladı.^[7] Bacon, doğanın gözlemlenmesine yönelik, deney yapmayı içeren ve daha genel bir sonuç oluşturmak için aksiyomların keşfedilmesine ve üzerine inşa edilmesine yol açan daha tümevarımsal bir yaklaşım önerdi.^[7] Yine de, doğası gereği sonuçlara varmanın tam bir yöntemi, mantığın veya kıyaslamanın kapsamı değildir.

19. yüzyılda, kıyaslama için değişiklikler yapıldı. ayırıcı ("A veya B") ve şartlı ("eğer A ise B") ifadeleri. Immanuel Kant ünlü olarak iddia edildi Mantık (1800), bu mantık bilimi tamamlayan bir mantıktı ve Aristoteles mantığı, mantıkla ilgili bilinmesi gereken her şeyi aşağı yukarı içeriyordu. (Bu çalışma, genellikle mantığın kendisi için bir yenilik olarak kabul edilen Kant'ın olgun felsefesini temsil etmek zorunda değildir.) Başka yerlerde olduğu gibi alternatif mantık sistemleri olsa da Avicennian mantığı veya Hint mantığı, Kant'ın görüşü Batı'da 1879'a kadar tartışmasız kaldı. Gottlob Frege yayınladı Begriffsschrift (Kavram Metni). Bu, nicelik belirteçleri ve değişkenlerin kullanımıyla kategorik ifadeleri (ve kıyaslamada da sağlanmayan ifadeleri) temsil etme yöntemi olan bir hesaplama getirdi.

Dikkate değer bir istisna, geliştirilen mantıktır. Bernard Bolzano iş Wissenschaftslehre (Bilim Teorisi, 1837), ilkeleri ölümünden sonra yayınlanan eserde Kant'ın doğrudan eleştirisi olarak uygulandı. Yeni Anti-Kant (1850). Bolzano'nun çalışmaları, 20. yüzyılın sonlarına kadar, diğer nedenlerin yanı sıra, o zamanki entelektüel ortam nedeniyle büyük ölçüde göz ardı edilmişti. Bohemya, bu daha sonra Avusturya İmparatorluğu. Son 20 yılda Bolzano'nun çalışmaları yeniden su yüzüne çıktı ve hem çeviriye hem de çağdaş çalışmaya konu oldu.

Bu, hızlı gelişmesine yol açtı. duygusal mantık ve birinci dereceden yüklem mantığı, bu nedenle, 2000 yıl sonra, birçokları tarafından birdenbire modası geçmiş olarak değerlendirilen tasnif muhakemesini içerdi.^{[orjinal araştırma? ]} Aristoteles sistemi, akademik çevrenin modern forumlarında öncelikle giriş niteliğindeki materyal ve tarihsel çalışmalarda açıklanmıştır.

Bu modern küme düşme için dikkate değer bir istisna, Aristoteles mantığının devlet memurları tarafından sürekli olarak uygulanmasıdır. İnanç Doktrini Cemaati ve Apostolik Mahkemesi Roman Rota Avukatlar tarafından hazırlanmış herhangi bir argümanın kıyas biçiminde sunulmasını gerektiren.

Boole'un Aristoteles'i kabulü

George Boole Aristoteles'in mantığının sarsılmaz kabulü, mantık tarihçisi tarafından vurgulanmaktadır. John Corcoran erişilebilir bir girişte Düşünce Kanunları.^[8][9] Corcoran ayrıca bir nokta nokta karşılaştırması yazdı Önceki Analizler ve Düşünce Kanunları.^[10] Corcoran'a göre Boole, Aristoteles'in mantığını tamamen kabul etti ve onayladı. Boole'un hedefleri, Aristoteles'in mantığının "altına, üstüne ve ötesine geçmek" idi:^[10]

1. ona denklemleri içeren matematiksel temeller sağlamak;
2. Denklemlerin çözülmesi değerlendirmeye eklendiğinden, ele alabileceği problem sınıfını genişletmek geçerlilik; ve
3. Yalnızca iki terimin önermelerini keyfi olarak çok olanlara genişletmek gibi işleyebileceği uygulama yelpazesini genişletmek.

Daha spesifik olarak Boole, Aristo dedim; Boole'un 'anlaşmazlıkları', eğer böyle adlandırılabilirlerse, Aristoteles'in söylemediği şeyle ilgilidir. İlk olarak, temeller alanında Boole, Aristoteles'in dört önermesel biçimini tek bir biçime, kendi başına devrimci bir fikir olan denklem biçimine indirgedi. İkincisi, mantık problemleri alanında, Boole'un mantığa denklem çözme eklemesi - bir başka devrimci fikir - Boole'un, Aristoteles'in çıkarım kurallarının ("mükemmel kıyaslamalar") denklem çözme kurallarıyla tamamlanması gerektiği doktrinini içeriyordu. Üçüncüsü, uygulamalar alanında, Boole'un sistemi çok terimli önermeleri ve argümanları işleyebilirken, Aristoteles yalnızca iki terimli özne-yüklem önermelerini ve argümanları ele alabilirdi. Örneğin, Aristoteles'in sistemi şu sonuca varamadı: "Kare olan hiçbir dörtgen, eşkenar dörtgen olan bir dikdörtgen değildir" "Dörtgen olan kare yok, dikdörtgen olan eşkenar dörtgendir" veya "Dikdörtgen olan eşkenar dörtgen yok" bir dörtgen olan bir kare. "

Basit yapı

Kategorik bir kıyas üç bölümden oluşur:

1. Ana öncül
2. Küçük öncül
3. Sonuç

Her bölüm bir kategorik önerme ve her kategorik önerme iki kategorik terim içerir.^[11] Aristoteles'te, öncüllerin her biri "Tüm A, B'dir", "Bazı A, B'dir", "Hiçbir A, B'dir" veya "Bazı A, B değildir" biçimindedir; burada "A" bir terimdir ve "B "başka bir:

• "Tüm A, B'dir" ve "Hiçbir A, B değildir" olarak adlandırılır evrensel önermeler;
• "Bazı A, B'dir" ve "Bazı A, B değildir" olarak adlandırılır belirli önermeler.

Daha modern mantıkçılar bazı değişikliklere izin verir. Her bir öncülün, sonuçla ortak bir terimi vardır: büyük bir önermede, bu, ana terim (yani yüklem sonuç); küçük bir önermede, bu küçük dönem (yani, sonucun konusu). Örneğin:

Ana öncül: Tüm insanlar ölümlüdür.

Küçük öncül: Tüm Yunanlılar insan.

Sonuç: Tüm Yunanlılar ölümlüdür.

Üç farklı terimin her biri bir kategoriyi temsil eder. Yukarıdaki örnekten, insanlar, ölümlü, ve Yunanlılar: ölümlü ana terimdir ve Yunanlılar küçük terim. Tesislerde ayrıca birbirleriyle ortak olan bir terim vardır ve orta vadeli; bu örnekte, insanlar. Sonuç olarak her iki öncül de evrenseldir.

Ana öncül: Tüm ölümlüler ölür.

Küçük öncül: Bütün erkekler ölümlüdür.

Sonuç: Tüm erkekler ölür.

Burada ana terim ölmek, küçük terim erkeklerve orta terim ölümlüler. Yine, her iki öncül de evrenseldir, dolayısıyla sonuç da öyle.

Polisiloloji

Bir polisiloloji veya Soritler, bir dizi tamamlanmamış kıyaslamanın öyle düzenlendiği bir argüman biçimidir ki, her öncülün yüklemi, birincinin öznesi, sonuçta sonun yüklemiyle birleşene kadar bir sonrakinin öznesini oluşturur. Örneğin, tüm aslanların büyük kediler, tüm büyük kedilerin avcı ve tüm avcıların etobur olduğu iddia edilebilir. Bu nedenle, tüm aslanların etobur olduğu sonucuna varmak, bir sorites argümanı oluşturmaktır.

Türler

Bu bölümün birden fazla sorunu var. Lütfen yardım et onu geliştir veya bu konuları konuşma sayfası. (Bu şablon mesajların nasıl ve ne zaman kaldırılacağını öğrenin) Bu bölüm muhtemelen içerir orjinal araştırma. Lütfen onu geliştir tarafından doğrulanıyor iddia edilen ve eklenen satır içi alıntılar. Yalnızca orijinal araştırmadan oluşan ifadeler kaldırılmalıdır. (Temmuz 2020) (Bu şablon mesajını nasıl ve ne zaman kaldıracağınızı öğrenin) (Bu şablon mesajını nasıl ve ne zaman kaldıracağınızı öğrenin)

Dört tür önerme arasındaki ilişkiler muhalefet meydanı

(Siyah alanlar boş,
kırmızı alanlar boş değildir.)

Sonsuz sayıda olası kıyaslama vardır, ancak yalnızca 256 mantıksal olarak farklı tür ve yalnızca 24 geçerli tür (aşağıda sıralanmıştır). Kıyaslama biçimi alır (not: M - Orta, S - özne, P - yüklem.):

Ana öncül: Tüm M'ler P'dir.

Küçük öncül: Tüm S'ler M'dir.

Sonuç: Tüm S'ler P'dir.

Bir kıyaslamanın önermeleri ve sonucu, harflerle etiketlenen dört türden biri olabilir.^[12] aşağıdaki gibi. Harflerin anlamı aşağıdaki tabloda verilmiştir:

İçinde Önceki Analizler Aristoteles çoğunlukla A, B ve C harflerini kullanır (Yunan harfleri alfa, beta, ve gama ) somut örnekler vermek yerine terim yeri sahipleri olarak. Kullanmak gelenekseldir dır-dir ziyade vardır olarak Copula dolayısıyla Tüm A, B'dir ziyade Hepsi B'ler gibi. A, e, i, o kullanmak geleneksel ve uygun bir uygulamadır. infix operatörleri bu nedenle kategorik ifadeler kısa ve öz olarak yazılabilir. Aşağıdaki tablo, yüklem mantığındaki daha uzun biçimi, kısa ve öz ifadeleri ve eşdeğer ifadeleri gösterir:

Form	Kısa gösterim	Yüklem mantığı
Tüm A, B'dir	AaB	${ Displaystyle forall x (A (x) sağ B (x))}$  veya  ${ displaystyle neg var x (A (x) land neg B (x))}$
Hayır A, B'dir	AeB	${ displaystyle neg var x (A (x) arazi B (x))}$  veya  ${ Displaystyle forall x (A (x) sağ neg B (x))}$
Bazı A, B'dir	AiB	${ displaystyle var x (A (x) arazi B (x))}$
Bazı A, B değildir	AoB	${ Displaystyle var x (A (x) arazi neg B (x))}$

Buradaki kural, S harfinin sonucun konusu olması, P'nin sonucun yüklemi ve M'nin orta terim olmasıdır. Ana öncül M'yi P ile bağlar ve küçük öncül M'yi S ile ilişkilendirir. Ancak, orta terim göründüğü her önermenin konusu veya yüklemi olabilir. Ana, küçük ve orta terimlerin farklı pozisyonları, kıyaslamaların başka bir sınıflandırmasına yol açar. şekil. Her durumda sonucun S-P olduğu göz önüne alındığında, dört rakam şöyledir:

(Bununla birlikte, Aristoteles'in rakamları ele almasının ardından bazı mantıkçıların — ör. Peter Abelard ve John Buridan - dördüncü rakamı birinciden farklı bir rakam olarak reddedin.)

Hepsini bir araya getirirsek, 256 olası kıyas türü vardır (ya da büyük ve küçük öncüllerin sırası değiştirilirse 512, ancak bu mantıksal olarak bir fark yaratmaz). Her öncül ve sonuç A, E, I veya O tipinde olabilir ve kıyaslama dört rakamdan herhangi biri olabilir. Bir kıyaslama, öncüller ve sonuç için harfler ve ardından rakam için rakam verilerek kısaca tanımlanabilir. Örneğin, aşağıdaki BARBARA kıyaslaması AAA-1 veya "ilk şekilde A-A-A" dır.

256 olası kıyım biçiminin büyük çoğunluğu geçersizdir (sonuç, mantıklı takip et tesislerden). Aşağıdaki tablo geçerli formları göstermektedir. Hatta bunlardan bazılarının bile bazen varoluşsal yanılgı yani boş bir kategoriden bahsediyorlarsa geçersizdirler. Bu tartışmalı modeller şu şekilde işaretlenmiştir: italik. İtalik olarak yazılan modellerin dördü hariç tümü (felapton, darapti, fesapo ve bamalip) zayıflamış ruh halleridir, yani öncüllerden daha güçlü bir sonuç çıkarmak mümkündür.

A, E, I ve O harfleri, ortaçağ okulları oluşturmak üzere anımsatıcı formların isimleri şu şekildedir: 'Barbara' AAA, 'Celarent' EAE vb. anlamına gelir.

Her önermenin ve sonucun yanında cümlenin kısa bir açıklaması yer alır. Yani AAI-3'te "Tüm kareler dikdörtgendir" önermesi "MaP" olur; semboller, ilk terimin ("kare") orta terim, ikinci terimin ("dikdörtgen") sonucun yüklemi olduğu ve iki terim arasındaki ilişkinin "a" olarak etiketlendiği anlamına gelir (Tüm M'ler P'dir) .

Aşağıdaki tablo, esasen farklı olan tüm kıyaslamaları göstermektedir. Benzer kıyaslamalar, sadece farklı bir şekilde yazılmış aynı önermeleri paylaşır. Örneğin "Bazı evcil hayvanlar kediciktir" (SiM in Darii ) "Bazı yavru kediler evcil hayvandır" (Datisi'de MiS) olarak da yazılabilir.

Venn diyagramlarında, siyah alanlar hiçbir öğeyi belirtmez ve kırmızı alanlar en az bir öğeyi gösterir. Yüklem mantık ifadelerinde, bir ifadenin üzerindeki yatay çubuk, bu ifadenin sonucunu olumsuzlamak ("mantıksal değil") anlamına gelir.

Kullanmak da mümkündür grafikler (köşelerden ve kenarlardan oluşur) kıyaslamaları değerlendirmek için.^[13]

Örnekler

M: erkekler S: Yunanlılar      P: ölümlü

Barbara (AAA-1)

Bütün insanlar ölümlüdür. (Harita)

Tüm Yunanlılar erkektir. (Sam)

∴ Tüm Yunanlılar ölümlüdür. (SaP)

M: sürüngen S: yılan      P: kürk

Celarent (EAE-1)

Benzer: Cesare (EAE-2)

Hiçbir sürüngenin kürkü yoktur. (MeP)

Tüm yılanlar sürüngendir. (Sam)

∴ Hiçbir yılanın kürkü yoktur. (SeP)

Camestres (AEE-2)
M: sürüngen S: kürk      P: yılan Camestres, temelde Celarent ile S ve P'nin değiş tokuşu gibidir. Benzer: Calemes (AEE-4) Tüm yılanlar sürüngendir. (PaM) Kürklü hiçbir hayvan sürüngen değildir. (SeM) ∴ Kürklü hiçbir hayvan yılan değildir. (SeP)

M: tavşan S: evcil hayvan      P: kürk

Darii (AII-1)

Benzer: Datisi (AII-3)

Bütün tavşanların kürkü vardır. (Harita)

Bazı evcil hayvanlar tavşandır. (SiM)

∴ Bazı evcil hayvanların kürkü vardır. (Yudumlamak)

Disamis (IAI-3)
M: tavşan S: kürk      P: evcil hayvan Disamis, esasen S ve P'nin değiş tokuş edildiği Darii gibidir. Benzer: Dimatis (IAI-4) Bazı tavşanlar evcil hayvandır. (MiP) Bütün tavşanların kürkü vardır. (MaS) ∴ Bazı kürklü hayvanlar evcil hayvanlardır. (Yudumlamak)

M: ev ödevi S: okuma      P: eğlence

Ferio (EIO-1)

Benzer: Festino (EIO-2), Ferison (EIO-3), Fresison (EIO-4)

Hiçbir ödev eğlenceli değildir. (MeP)

Biraz okumak ev ödevidir. (SiM)

∴ Biraz okumak eğlenceli değil. (SoP)

M: memeli S: evcil hayvan      P: kedi

Barok (AOO-2)

Bütün kediler memelidir. (PaM)

Bazı evcil hayvanlar memeli değildir. (SoM)

∴ Bazı evcil hayvanlar kedi değildir. (SoP)

M: kedi S: memeli      P: evcil hayvan

Bocardo (OAO-3)

Bazı kediler evcil hayvan değildir. (MoP)

Bütün kediler memelidir. (MaS)

∴ Bazı memeliler evcil hayvan değildir. (SoP)

M: adam S: Yunanca      P: ölümlü

Barbari (AAI-1)

Bütün insanlar ölümlüdür. (Harita)

Tüm Yunanlılar erkektir. (Sam)

∴ Bazı Yunanlılar ölümlüdür. (Yudumlamak)

Bamalip (AAI-4)
M: adam S: ölümlü      P: Yunanca Bamalip aynen şöyle Barbari S ve P değiştirilerek: Tüm Yunanlılar erkektir. (PaM) Bütün insanlar ölümlüdür. (MaS) ∴ Bazı ölümlüler Yunandır. (Yudumlamak)

M: sürüngen S: yılan      P: kürk

Celaront (EAO-1)

Benzer: Cesaro (EAO-2)

Sürüngenlerin hiçbirinin kürkü yoktur. (MeP)

Tüm yılanlar sürüngendir. (Sam)

∴ Bazı yılanların kürkü yoktur. (SoP)

M: toynaklar S: insan      P: at

Camestros (AEO-2)

Benzer: Calemos (AEO-4)

Tüm atların toynakları vardır. (PaM)

Hiçbir insanın toynağı yok. (SeM)

∴ Bazı insanlar at değildir. (SoP)

M: çiçek S: bitki      P: hayvan

Felapton (EAO-3)

Benzer: Fesapo (EAO-4)

Hiçbir çiçek hayvan değildir. (MeP)

Bütün çiçekler bitkidir. (MaS)

∴ Bazı bitkiler hayvan değildir. (SoP)

M: kare S: eşkenar dörtgen      P: dikdörtgen

Darapti (AAI-3)

Herşey kareler vardır dikdörtgenler. (Harita)

Tüm kareler eşkenar dörtgenler. (MaS)

∴ Bazı eşkenar dörtgenler dikdörtgendir. (Yudumlamak)

Tüm kıyasların tablosu

Bu tablo 24 geçerli kıyaslamanın tümünü gösterir. Venn şemaları. Sütunlar benzerliği gösterir ve bina kombinasyonlarına göre gruplandırılır. Sınırlar sonuçlara karşılık gelir. Varoluşsal bir varsayıma sahip olanlar kesik çizgilerle işaretlenmiştir.

şekil	A ∧ A		A ∧ E				Bir ∧ ben		A ∧ O		E ∧ I
1	Barbara	Barbari			Celarent	Celaront	Darii				Ferio
2			Camestres	Camestros	Cesare	Cesaro			Barok		Festino
3		Darapti				Felapton	Datisi	Disamis		Bocardo	Ferison
4		Bamalip	Calemes	Calemos		Fesapo		Dimatis			Fresison

Kıyaslamadaki terimler

Bu bölümün birden fazla sorunu var. Lütfen yardım et onu geliştir veya bu konuları konuşma sayfası. (Bu şablon mesajların nasıl ve ne zaman kaldırılacağını öğrenin) Bu bölüm muhtemelen içerir orjinal araştırma. Lütfen onu geliştir tarafından doğrulanıyor iddia edilen ve eklenen satır içi alıntılar. Yalnızca orijinal araştırmadan oluşan ifadeler kaldırılmalıdır. (Temmuz 2020) (Bu şablon mesajını nasıl ve ne zaman kaldıracağınızı öğrenin) (Bu şablon mesajını nasıl ve ne zaman kaldıracağınızı öğrenin)

Aristoteles ile ayırt edebiliriz tekil terimler, gibi Sokratesve gibi genel terimler Yunanlılar. Aristoteles ayrıca (a) ve (b) türlerini ayırt etti:

Böyle bir tahmin, dağıtım dağıtıcı olmayanın aksine Yunanlılar çoktur. Aristoteles'in kıyaslamasının sadece dağıtımsal tahmin için işe yaradığı açıktır, çünkü Tüm Yunanlılar hayvandır, hayvanlar çoktur, bu nedenle tüm Yunanlılar sayısızdır. Aristoteles'in görüşüne göre, tekil terimler (a) tipi ve (b) tipi genel terimlerdi. Böylece, Erkekler tahmin edilebilir Sokrates fakat Sokrates hiçbir şeye dayandırılamaz. Bu nedenle, bir terimin birbirinin yerine geçebilmesi için - bir kıyaslamadaki bir önermenin öznesi veya yüklem pozisyonunda olması için - terimler genel terimler olmalıdır veya kategorik terimler çağrıldıklarında. Sonuç olarak, bir kıyaslamanın önermeleri kategorik önermeler olmalıdır (her iki terim de genel) ve yalnızca kategorik terimleri kullanan kıyaslamalar kategorik kıyaslamalar.

Açıktır ki, bir kıyaslamada tekil bir terimin ortaya çıkmasını hiçbir şeyin engelleyemeyeceği açıktır - her zaman özne konumunda olduğu sürece - ancak böyle bir kıyaslama, geçerli olsa bile, kategorik bir kıyas değildir. Bir örnek Sokrates bir insandır, tüm insanlar ölümlüdür, bu nedenle Sokrates ölümlüdür. Sezgisel olarak bu, Tüm Yunanlılar erkektir, tüm insanlar ölümlüdür, bu nedenle tüm Yunanlılar ölümlüdür. Kıyaslama teorisinin geçerliliğinin açıklanabileceğini iddia etmek, şunu göstermemizi gerektirir. Sokrates bir adamdır kategorik bir önermeye eşdeğerdir. Tartışılabilir Sokrates bir adamdır eşdeğerdir Sokrates ile özdeş olan her şey erkektirBu nedenle, kategorik olmayan kıyaslamamız, yukarıdaki denklik kullanılarak ve ardından BARBARA'dan alıntı yapılarak gerekçelendirilebilir.

Varoluşsal ithalat

Bu bölümün birden fazla sorunu var. Lütfen yardım et onu geliştir veya bu konuları konuşma sayfası. (Bu şablon mesajların nasıl ve ne zaman kaldırılacağını öğrenin) Bu bölüm muhtemelen içerir orjinal araştırma. Lütfen onu geliştir tarafından doğrulanıyor iddia edilen ve eklenen satır içi alıntılar. Yalnızca orijinal araştırmadan oluşan ifadeler kaldırılmalıdır. (Temmuz 2020) (Bu şablon mesajını nasıl ve ne zaman kaldıracağınızı öğrenin) (Bu şablon mesajını nasıl ve ne zaman kaldıracağınızı öğrenin)

Bir ifade, ifadenin yanlış olduğu bir terim içeriyorsa, terimin örnekleri yoksa, ifadenin o terime göre varoluşsal bir anlamı olduğu söylenir. Formun evrensel bir ifadesi olup olmadığı belirsizdir Tüm A, B'dir As yoksa doğru, yanlış veya hatta anlamsız olarak kabul edilmelidir. Bu gibi durumlarda yanlış kabul edilirse, ifade Tüm A, B'dir A'ya göre varoluşsal önemi vardır.

Aristoteles'in mantık sisteminin, örneklerin olmadığı durumları kapsamadığı iddia ediliyor. Aristoteles'in amacı, bilim için bir yoldaş-mantık geliştirmekti. Deniz kızları ve tek boynuzlu atlar gibi kurguları şiir ve edebiyat alemlerine havale ediyor. bilimin sınırları dışında var olurlar. Bu yüzden mantığında böyle var olmayan varlıklara yer bırakmaz. Bu, düşünceli bir seçimdir, kasıtsız bir karar değildir. Teknik olarak, Aristoteles bilimi, bir tanımın 'bir cümle olduğu' bir tanım arayışıdır. Var olmayan varlıklar hiçbir şey olamayacağından, Aristoteles'in zihninde bir öze sahip değildirler ... Bu yüzden keçi geyiği (veya tek boynuzlu at) gibi kurgusal varlıklara yer bırakmaz. "^[14]Ancak, birçok mantık sistemi yapmak Örneklerin olmayabileceği durumu düşünün.

Bununla birlikte, ortaçağ mantıkçıları varoluşsal önem sorununun farkındaydı ve olumsuz önermelerin varoluşsal önem taşımadığını ve varsaymak yanlıştır.

Aşağıdaki sorunlar ortaya çıkar:

Örneğin, eğer A yoksa ve AaB AiB gerektiriyorsa AiB'nin yanlış olduğu kabul edilirse, AiB'nin A'ya göre varoluşsal içe aktarımı vardır ve AaB de öyle. Ayrıca, AiB'nin BiA gerektirdiği kabul edilirse, AiB ve AaB, B'ye göre de varoluşsal içeriğe sahiptir. Benzer şekilde, eğer A yoksa AoB yanlışsa ve AeB AoB'yi gerektiriyorsa ve AeB BeA'yı gerektiriyorsa (bu da BoA'yı gerektirir) o zaman hem AeB hem de AoB hem A hem de B'ye göre varoluşsal içe aktarmaya sahiptir. kategorik ifadeler her iki terime göre varoluşsal öneme sahiptir. AaB ve AeB, sırasıyla Tüm A B'dir ve Hayır A, B'dir şeklindeki normal doğal dildeki ifadelerin kullanımının adil bir temsiliyse, aşağıdaki örnek sonuçlar ortaya çıkar:

Uçan at yoksa, "tüm uçan atlar efsanedir" yanlıştır.

"Hiç kimse ateş yiyen tavşanlar değildir" doğruysa, "Ateş yiyen tavşanlar vardır" doğrudur; ve benzeri.

Hiçbir evrensel ifadenin varoluşsal önemi olmadığına karar verilirse, karşıtlık karesi birkaç açıdan başarısız olur (örneğin, AaB, AiB'yi gerektirmez) ve bir dizi kıyaslama artık geçerli değildir (örneğin, BaC, AaB-> AiC).

Bu problemler ve paradokslar, hem doğal dil ifadelerinde hem de kıyamet biçimindeki ifadelerde muğlaklık, özellikle Herkese ilişkin muğlaklık nedeniyle ortaya çıkar. "Fred tüm kitaplarının Pulitzer Ödülü sahibi olduğunu iddia ediyorsa", Fred herhangi bir kitap yazdığını mı iddia ediyor? Değilse, iddia ettiği şey doğru mu? Varsayalım Jane, arkadaşlarından hiçbirinin fakir olmadığını söyledi; hiç arkadaşı yoksa bu doğru mu?

Birinci dereceden yüklem hesabı, evrensel ifadelere göre varoluşsal bir anlamı olmayan formüller kullanarak bu tür belirsizlikten kaçınır. Varoluşsal iddialar açıkça belirtilmelidir. Böylece, formların doğal dil ifadeleri Tüm A, B'dir, Hayır A, B'dir, Bazı A, B'dir, ve Bazı A, B değildir- A ve / veya B terimlerine göre herhangi bir varoluşsal ithalatın ya açık olduğu ya da hiç yapılmadığı birinci dereceden yüklem hesaplamasında gösterilebilir. Sonuç olarak, dört form AaB, AeB, AiB, ve AoB Varoluşsal ithalatın her kombinasyonunda birinci dereceden yüklemde temsil edilebilir - böylece hangi yapının, eğer varsa, karşıtlık karesini ve geleneksel olarak geçerli kıyaslamanın geçerliliğini koruduğunu belirleyebilir. Strawson böyle bir yorumun mümkün olduğunu iddia ediyor, ancak sonuçlar öyledir ki, ona göre yukarıdaki (e) sorusunun cevabı Hayır.

Öte yandan, modern matematiksel mantık ancak "tümü", "bazıları" ve "hayır" kelimelerini içeren ifadeler şu şekilde ifade edilebilir: küme teorisi. Tüm A'ların kümesi s (A) ve tüm B'lerin kümesi s (B) olarak etiketlenmişse, o zaman:

• "Tüm A, B'dir" (AaB), "s (A), bir alt küme s (B) "veya s (A) ⊆ s (B)
• "Hayır A, B'dir" (AeB), " kavşak s (A) ve s (B) sayısı boş "veya ${ displaystyle s (A) cap s (B) = boş küme}$
• "Bazı A, B'dir" (AiB), "s (A) ve s (B) 'nin kesişimi boş değildir" ile eşdeğerdir veya ${ Displaystyle s (A) cap s (B) neq emptyset}$
• "Bazı A, B değildir" (AoB), "s (A), s (B) 'nin bir alt kümesi değildir" ile eşdeğerdir.

Tanım olarak, boş küme tüm kümelerin bir alt kümesidir. Buradan, bu matematiksel kurala göre, eğer A yoksa, "Tüm A B'dir" ve "Hayır A, B'dir" ifadeleri her zaman doğru iken "Bazı A B'dir" ve "Bazı A B değil "her zaman yanlıştır. Ancak bu, AaB'nin AiB'yi gerektirmediğini ve yukarıda bahsedilen bazı kıyaslamaların A'nın olmadığı durumlarda geçerli olmadığını gösterir.

Heceli yanılgılar

İnsanlar hecelere göre akıl yürütürken sıklıkla hata yaparlar.^[15]

Örneğin, bazı A, B, bazıları C, öncüllerinden, insanlar kesin bir sonuca varma eğilimindedir, bu nedenle bazı A, C'dir.^[16][17] Ancak bu, klasik mantığın kurallarına uygun değildir. Örneğin, bazı kediler (A) siyah şeyler (B) ve bazı siyah şeyler (B) televizyon (C) iken, bazı kedilerin (A) televizyon (C) olduğu parametrelerden takip edilmiyor. Bunun nedeni, çağrılan kıyaslamanın yapısında (yani III-1) orta terimin ne ana önermede ne de ikincil öncülde dağıtılmamasıdır, bu "dağıtılmamış ortanın yanılgısı" olarak adlandırılan bir modeldir.

Bir kıyaslamanın geçerliliğini belirlemek, dağıtım Her bir ifadedeki her terimin, o terimin tüm üyelerinin hesaba katılıp katılmadığı anlamına gelir.

Basit kıyas modellerinde geçersiz kalıpların yanlışlıkları şunlardır:

• Dağıtılmamış orta: Binaların hiçbiri orta dönemdeki tüm üyeleri hesaba katmaz ve bu nedenle büyük ve küçük terimleri birbirine bağlayamaz.
• Ana terimin yasadışı muamelesi: Sonuç, ana terimin tüm üyelerini ifade eder (P - önermenin olumsuz olduğu anlamına gelir); ancak, ana öncül bunların hepsini hesaba katmaz (yani, P, ya olumlu bir yüklemdir ya da orada belirli bir konudur).
• Küçük terimin yasadışı muamelesi: Yukarıdakinin aynısı, ancak küçük terim için (S - önermenin evrensel olduğu anlamına gelir) ve küçük öncül (burada S, belirli bir özne veya olumlu bir yüklemdir).
• Özel tesisler: Her iki öncül de olumsuzdur, yani büyük ve küçük terimler arasında hiçbir bağlantı kurulmaz.
• Olumsuz bir önermeden olumlu sonuç: Önerilerden herhangi biri olumsuzsa, sonuç da olmalıdır.
• Olumlu öncüllerden olumsuz sonuç: Her iki öncül de olumluysa, sonuç da olmalıdır.

Diğer kıyım türleri

• Ayrık kıyım
• Varsayımsal kıyas
• Hukuk kıyası
• Polisiloloji
• Prosleptik kıyım
• Yarı kıyım
• İstatistiksel kıyas

Ayrıca bakınız

• Heceli yanılgı
• Argümantasyon teorisi
• Budist mantık
• Entimeme
• Biçimsel yanılgı
• Mantıksal yanlışlık
• Dört Heceli Figürün Yanlış İncelikleri
• Totoloji (mantık)
• Venn şeması

Referanslar

Kaynaklar

• Aristo, [c. 350 BCE] 1989. Önceki Analizler, R. Smith tarafından çevrildi. Hackett. ISBN  0-87220-064-7
• Blackburn, Simon. [1994] 1996. "Syllogism." İçinde Oxford Felsefe Sözlüğü. Oxford University Press. ISBN  0-19-283134-8.
• Broadie, Alexander. 1993. Ortaçağ Mantığına Giriş. Oxford University Press. ISBN  0-19-824026-0.
• Copi, Irving. 1969. Mantığa Giriş (3. baskı). Macmillan Şirketi.
• Corcoran, John. 1972. "Eski bir mantığın bütünlüğü." Journal of Symbolic Logic 37:696–702.
• - 1994. "Mantığın kuruluşu: Aristoteles'in mantığının modern yorumları." Antik Felsefe 14:9–24.
• Corcoran, John ve Hassan Masoud. 2015. "Günümüzün Varoluşsal İthalatı: Yeni Metateoremler; Tarihsel, Felsefi ve Pedagojik Yanlış Kanaatler." Mantık Tarihi ve Felsefesi 36(1):39–61.
• Englebretsen, George. 1987. Yeni Syllogistic. Bern: Peter Lang.
• Hamblin, Charles Leonard. 1970. Yanılgılar. Londra: Methuen. ISBN  0-416-70070-5.
  • Cf. Kıyaslamaların geçerliliği üzerine: "Dağıtım kavramına dayalı olarak, Orta Çağ'ın sonlarında nihayet basit bir geçerlilik kuralları dizisi oluşturuldu."
• Łukasiewicz, Oca. [1957] 1987. Modern Biçimsel Mantık Açısından Aristoteles'in Syllojisi. New York: Garland Yayıncılar. ISBN  0-8240-6924-2. OCLC  15015545.
• Malink, Marko. 2013. Aristoteles'in Modal Syllogistic. Cambridge, MA: Harvard Üniversitesi Yayınları.
• Patzig, Günter. 1968. Aristoteles'in kıyas teorisi: Önceki Analitiklerin A Kitabının mantık-filolojik bir çalışması. Dordrecht: Reidel.
• Rescher, Nicholas. 1966. Galen ve Syllogism. Pittsburgh Üniversitesi Yayınları. ISBN  978-0822983958.
• Gülen Yüz, Timothy. 1973. "Kıyaslama nedir?" Journal of Philosophical Logic 2:136–54.
• Smith, Robin. 1986. "Acil önermeler ve Aristoteles'in kanıt teorisi." Antik Felsefe 6:47–68.
• Thom, Paul. 1981. "The Syllogism." Felsefe. München. ISBN  3-88405-002-8.

Dış bağlantılar

• Smith, Robin. "Aristoteles'in Mantığı". İçinde Zalta, Edward N. (ed.). Stanford Felsefe Ansiklopedisi.
• Lagerlund, Henrik. "Orta Çağ Hile Kuramları". İçinde Zalta, Edward N. (ed.). Stanford Felsefe Ansiklopedisi.
• Aristoteles'in Ön Analitiği: Kategorik Syllojizm Teorisi Aristoteles'in tasvirleri üzerine açıklamalı bir bibliyografya
• Bulanık Heceli Sistem
• Bulanık Heceli Algoritmaların ve Uygulamaların Dağıtık Akıl Yürütme Yaklaşımlarının Geliştirilmesi
• Comparison between the Aristotelian Syllogism and the Indian/Tibetan Syllogism
• The Buddhist Philosophy of Universal Flux (Chapter XXIII - Members of a Syllogism (avayava))
• Online Syllogistic Machine An interactive syllogistic machine for exploring all the fallacies, figures, terms, and modes of syllogisms.