Terim mantığı - Term logic

In felsefesi , terim mantık olarak da bilinen, geleneksel mantık , syllogistic mantık veya Aristo'nun mantık , bir yaklaşım için gevşek bir isimdir mantığı ile başladı Aristo ve daha da geliştirildi antik tarihin çoğunlukla takipçileri tarafından göçebe , ancak büyük ölçüde düştü üçüncü yüzyılda CE tarafından düşüş. Terim mantığı orta çağda, ilk olarak 10. yüzyılda Alpharabius tarafından İslami mantıkta ve daha sonra 12. yüzyılda yeni mantığın ortaya çıkmasıyla Hıristiyan Avrupa'da yeniden canlandı ve 19. yüzyılın sonlarında modern yüklem mantığının ortaya çıkışına kadar baskın kaldı . Bu girdi, yüklem mantığıyla biçimsel bir mantık sistemi olarak genişletilmeden önce yazılmış felsefe metinlerini anlamak için gereken mantık terimine bir giriş niteliğindedir . Terim mantığının temel terminolojisine ve fikirlerine sahip olmayan okuyucular bu tür metinleri anlamakta zorluk çekebilirler, çünkü yazarları tipik olarak terim mantığına aşina olduklarını varsaymışlardır.

Aristoteles'in sistemi

Aristoteles'in mantıksal çalışması, topluca Organon olarak bilinen altı metinde toplanmıştır . Özellikle bu metinlerden ikisi, yani Prior Analytics ve De Interpretatione , Aristoteles'in yargıları ve biçimsel çıkarımı ele alışının kalbini içerir ve esas olarak Aristoteles'in çalışmalarının bu kısmı mantık terimiyle ilgilidir . Aristoteles'in mantığı üzerine modern çalışma, 1951'de Jan Lukasiewicz tarafından devrimci bir paradigmanın kurulmasıyla başlayan geleneğe dayanır . Lukasiewicz'in yaklaşımı, 1970'lerin başında John Corcoran ve Timothy Smiley tarafından yeniden canlandırıldı - bu , 1989'da Robin Smith'in Prior Analytics ve 2009'da Gisela Striker'ın modern çevirilerini bilgilendirdi .

Temel bilgiler

Teorinin arkasındaki temel varsayım, önermelerin iki terimden oluştuğudur - bu nedenle "iki terimli teori" veya "terim mantığı" adı verilir - ve akıl yürütme sürecinin sırayla önermelerden inşa edildiğidir:

  • Vadeli bir şeyi temsil konuşmasının bir parçası olmakla birlikte, bu tür "insan" veya "ölümlü" olarak, doğru ya da kendi başına yanlış olmadığı.
  • Önerme bir terim ( "hangi iki dönem oluşur kategori " ya da " yüklem ') 'teyit' veya (' diğerinin 'reddedildi' olduğunu konu ") ve yetenekli olduğu gerçeği veya yanlışlığı .
  • Syllogism bir olan çıkarım biri olan önerme ( " Sonuç ') diğer iki önermeler (' dan gerekliliği aşağıdaki tesislerinde ").

Bir önerme evrensel veya özel olabilir ve olumlu veya olumsuz olabilir. Geleneksel olarak, dört tür önerme şunlardır:

  • A-tipi: Evrensel ve olumlu ("Bütün filozoflar ölümlüdür")
  • I-tipi: Özel ve olumlu ("Bazı filozoflar ölümlüdür")
  • E-tipi: Evrensel ve olumsuz ("Bütün filozoflar ölümlü değildir")
  • O-tipi: Özel ve olumsuz ("Bazı filozoflar ölümlü değildir")

Bu, önermelerin dörtlü şeması olarak adlandırıldı ( geleneksel karede A, I, E ve O harflerinin açıklaması için kıyas türlerine bakın ). Ancak Aristoteles'in orijinal karşıtlık karesi varoluşsal bir anlam taşımaz .

Gelen Felsefe Stanford Encyclopedia makalesinde, "Muhalefetin Geleneksel Meydanı", Terence Parsons açıklıyor:

Aristotelesçi mantık geleneğinin temel ilgi alanlarından biri kategorik kıyas teorisidir . Bu, öncüllerin ve sonucun aralarında üç terimi paylaştığı ve her önermenin ikisini içerdiği iki öncül argümanlar teorisidir. Bu girişimin ayırt edici özelliği, herkesin hangi kıyasların geçerli olduğu konusunda hemfikir olmasıdır. Kıyas teorisi, biçimlerin yorumlanmasını kısmen kısıtlar. Örneğin , en azından I formu varsa, A formunun varoluşsal içe aktarımı olduğunu belirler . Geçerli kalıplardan biri için (Darapti):

Her C , B'dir
Her C olan bir
Yani, bazı A , B'dir

Bu, A formunda varoluşsal içe aktarmadan yoksunsa geçersizdir ve varoluşsal içe aktarmaya sahipse geçerlidir. Geçerli olduğu kabul edilir ve bu nedenle A formunun nasıl yorumlanacağını biliyoruz . O zaman doğal olarak O formu hakkında soru sorulur ; tasımlar bize bu konuda ne söylüyor? Cevap, bize hiçbir şey söylememeleri. Bunun nedeni, Aristoteles'in, kişinin belirli bir önermeyi, ilgili tümeli zaten sonuçlandırabilecekken sonuçlandırdığı, zayıf tasım biçimlerini tartışmamış olmasıdır. Örneğin, formdan bahsetmiyor:

Resim Cı olduğu B
Her A , C'dir
Yani, bazı A , B değildir

İnsanlar düşünceli bir şekilde bu formun geçerliliği lehinde veya aleyhinde taraf tutmuş olsaydı, bu açıkça O formunun anlaşılmasıyla ilgili olurdu. Ama zayıflamış biçimler tipik olarak göz ardı edildi...

Diğer bir konu , O formunun yorumlanmasıyla ilgilidir . İnsanlar, Aristoteles'in bir önermeden bir önerme yerine bir terimden bir terim oluşturmak için olumsuzlamanın kullanılması olan "sonsuz" olumsuzlama tartışmasıyla ilgilendiler. Modern İngilizcede bunun için "non" kullanıyoruz; at olmayan şeyler yapıyoruz, bu tam olarak at olmayan şeyler için geçerli. Ortaçağ Latincesinde "olmayan" ve "değil" aynı kelimedir ve bu nedenle ayrım özel bir tartışmayı gerektirmiştir. Sonsuz olumsuzlama kullanmak yaygınlaştı ve mantıkçılar bunun mantığını düşündüler. 12. yüzyılda ve 13. yüzyılda bazı yazarlar "çelişki yoluyla dönüştürme" adlı bir ilkeyi benimsediler. Şu hususları belirtmektedir

  • 'Her S , P'dir ', 'Her P olmayan, S değildir ' ile eşdeğerdir
  • 'Bazı S değildir P ' Bazı olmayan için 'eşdeğer P değil olmayan bir S '

Ne yazık ki, (Aristoteles tarafından onaylanmayan) bu ilke, boş veya evrensel terimlerin olabileceği fikriyle çelişmektedir. Çünkü evrensel durumda doğrudan doğruya yol açar:

Her insan bir varlıktır

yalana:

Her varlık insan olmayandır

(bu yanlıştır çünkü evrensel olumlamanın varoluşsal bir anlamı vardır ve varlık-olmayan yoktur). Ve özel durumda, hakikatten yola çıkar ( O formunun varoluşsal bir önemi olmadığını unutmayın ):

Bir kimera bir erkek değildir

yalan için:

İnsan olmayan bir kimera olmayan değildir

Bunlar [Jean] Buridan'ın on dördüncü yüzyılda çelişkinin geçersizliğini göstermek için kullandığı örneklerdir . Ne yazık ki, Buridan'ın zamanında karşıtlık ilkesi birçok yazar tarafından savunulmuştur. Doktrin zaten birkaç on ikinci yüzyıl risalesinde mevcuttur ve on üçüncü yüzyılda çalışmaları yüzyıllardır yeniden basılan İspanyalı Peter, William Sherwood ve Roger Bacon tarafından onaylanmıştır. On dördüncü yüzyıla gelindiğinde, çelişki ile ilgili problemler iyi biliniyor gibi görünmektedir ve yazarlar genellikle ilkeye atıfta bulunur ve bunun geçerli olmadığını, ancak konu terimine giren şeylerin ek bir varlığı varsayımıyla geçerli hale geldiğini not eder. Örneğin, Venedikli Paul , on dördüncü yüzyılın sonundan itibaren eklektik ve geniş çapta yayınlanmış Logica Parva'sında geleneksel kareye basit bir dönüşüm verir, ancak esasen Buridan'ın gerekçesi için zıtlık yoluyla dönüştürmeyi reddeder.

-  Terence Parsons, Stanford Felsefe Ansiklopedisi

Terim

Bir terim (Yunanca ὅρος horos ) önermenin temel bileşenidir. Horos'un (ve ayrıca Latince terminusun ) orijinal anlamı "aşırı" veya "sınır"dır. İki terim, önermenin dışında yer alır ve onaylama veya reddetme eylemiyle birleştirilir.

Arnauld gibi erken modern mantıkçılar için (ki onun zamanının en iyi bilinen metni Port-Royal Logic idi), bir "fikir" veya " kavram " gibi psikolojik bir varlıktır . Mill bunu bir kelime olarak görüyor. "Bütün Yunanlılar erkektir" iddiasında bulunmak, Yunanlıların kavramının insan kavramı olduğunu ya da "Yunanlılar" kelimesinin "erkekler" olduğunu söylemek değildir. Gerçek şeylerden veya fikirlerden bir önerme oluşturulamaz, ancak bu sadece anlamsız kelimeler de değildir.

önerme

Mantık teriminde, bir "önerme" basitçe bir dil biçimidir : doğru veya yanlış bir şey iddia etmek için özne ve yüklemin birleştirildiği belirli bir cümle türü . Bir düşünce ya da soyut bir varlık değildir . Kelimesi "propositio" bir ilk dayanak anlamına Latince dan tasım . Aristoteles öncül ( protasis ) kelimesini bir şeyi ya da diğerini onaylayan ya da reddeden bir cümle olarak kullanır ( Posterior Analytics 1. 1 24a 16), bu nedenle bir öncül aynı zamanda bir kelime biçimidir.

Ancak modern felsefi mantıkta olduğu gibi, cümlenin iddia ettiği şey anlamına gelir. Bradley gibi Frege ve Russell'dan önceki yazarlar bazen "yargı"dan bir cümleden farklı bir şey olarak söz ettiler, ancak bu tamamen aynı değil. Başka bir karışıklık olarak, "cümle" kelimesi, bir fikir veya yargı anlamına gelen Latince'den türetilmiştir ve bu nedenle " önerme " ile eşdeğerdir .

Mantıksal kaliteli bir önermenin bu (yüklem konunun teyit edilir) ya da negatif (yüklem öznenin reddedilir) olumlu olup olmadığıdır. Böylece her filozof ölümlüdür , çünkü filozofların ölümlülüğü evrensel olarak onaylanırken, hiçbir filozof ölümlü değildir , özellikle böyle bir ölümlülüğü inkar ederek olumsuzdur.

Miktar bir önermenin evrenseldir (yüklem teyit veya tüm deneklerin veya "bütün" arasında reddedilir) (yüklem teyit ya da nesne ya da bunun bir "kısım" reddedilir) ya da özellikle olup olmadığıdır. Varoluşsal ithalatın varsayıldığı durumda , miktar belirleme , reddedilmediği sürece en az bir öznenin varlığını ima eder.

tekil terimler

Aristoteles'e göre, tekil ve evrensel arasındaki ayrım , yalnızca dilbilgisel değil, temel bir metafiziktir . Aristo için tekil bir terimdir birincil madde sadece edilebilir esas kendisinin: (this) "Callias" ya da (bu) "Sokrates" dolayısıyla bir demiyor, başka herhangi bir şey iddia edilebilir değildir her Sokrates biri diyor her insanı ( De, Int. 7; . Meta D9, 1018a4). "Bu tarafa gelen kişi Callias'tır" cümlesinde olduğu gibi dilbilgisel bir yüklem olarak öne çıkabilir. Ama yine de mantıklı bir konu.

Evrensel ( katholou ) ikincil töz, cinsler ile birincil töz, özel ( katholou ) örnekleri karşılaştırır. Biçimsel niteliği evrenselleri , şimdiye kadar onlar jeneralize olabilir olarak "her zaman, ya da çoğunlukla" bilimsel çalışma ve formel mantık hem konu meselesidir.

Kıyımın temel özelliği, iki öncüldeki dört terimden birinin iki kez gerçekleşmesi gerektiğidir. Böylece

Bütün Yunanlılar erkektir.
Bütün erkekler ölümlüdür.

Bir öncülün öznesi diğerinin yüklemi olmalıdır ve bu nedenle hem özne hem de yüklem olarak işlev göremeyen terimleri, yani tekil terimleri mantıktan çıkarmak gerekir.

Bununla birlikte, kıyasın popüler bir 17. yüzyıl versiyonunda, Port-Royal Logic , tekil terimler evrenseller olarak ele alındı:

Bütün erkekler ölümlüdür
Bütün Sokrates erkektir
Bütün Sokrates ölümlüdür

Bu açıkça gariptir, Frege'nin sisteme yaptığı yıkıcı saldırıda kullandığı bir zayıflıktır.

Ünlü kıyas "Sokrates bir insandır ...", sanki Aristoteles'tenmiş gibi sık sık alıntılanır, ama aslında Organon'da hiçbir yerde yoktur . Sekstus Empirikus onun içinde Hip. Pyrrh ( Pirronizmin Anahatları) ii. 164 ilk olarak ilgili kıyastan bahseder: "Sokrates bir insandır, Her insan bir hayvandır, Öyleyse Sokrates bir hayvandır."

Felsefeye Etkisi

Aristotelesçi mantık sisteminin Fransız psikanalist Jacques Lacan'ın son dönem felsefesi üzerinde müthiş bir etkisi oldu . 1970'lerin başında, Lacan, Aristoteles'in terim mantığını Frege ve Jacques Brunschwig aracılığıyla yeniden işledi ve dört cinsellik formülünü üretti. Bu formüller karşıtlık karesinin biçimsel düzenini korurken, Lacan'ın tikel olumsuz önermesinin "özsüz varoluş" yoluyla her iki niteliğin tümellerini zayıflatmaya çalışırlar.

Terim mantığının düşüşü

Terim mantığı sırasında Avrupa'da düşüşe başladı Rönesans gibi mantıkçıların zaman, Rodolphus Agricola Phrisius (1444-1485) ve Ramus (1515-1572) yer mantıkları teşvik etmeye başladı. Port-Royal Logic veya bazen "geleneksel mantık" olarak adlandırılan mantıksal gelenek , önermeleri terimlerden ziyade fikirlerin kombinasyonları olarak gördü, ancak bunun dışında terim mantığının birçok sözleşmesini izledi. 19. yüzyıla kadar özellikle İngiltere'de etkili olmaya devam etti. Leibniz kendine özgü bir mantıksal hesap yarattı , ancak mantık konusundaki çalışmalarının neredeyse tamamı yayınlanmamış ve Louis Couturat 1900 civarında Leibniz Nachlass'tan geçip mantık alanındaki öncü çalışmalarını yayınlayana kadar yorumsuz kaldı .

Böyle bir çalışma olarak algebraize mantığa 19. yüzyıl girişimleri, Boole (1815-1864) ve Venn (1834-1923), tipik olarak vermiştir sistemler yüksek terim-mantık geleneği etkisinde. İlk yüklem mantığı , kısmen eksantrik notasyonu nedeniyle 1950'den önce çok az okunan Frege'nin dönüm noktası Begriffsschrift'inin (1879) mantığıydı . Bildiğimiz modern yüklem mantığı , 1880'lerde Peano'yu (1858–1932) ve hatta daha fazlasını, Ernst Schröder'i (1841–1902) etkileyen Charles Sanders Peirce'nin yazılarıyla başladı . Bu elinde semere ulaştı Bertrand Russell ve AN Whitehead , Principia Mathematica (1910-1913) Peano yüklem mantığı bir varyantın kullanmıştır.

Terim mantığı, geleneksel Roma Katolik eğitiminde, özellikle ilahiyat okullarında bir dereceye kadar hayatta kaldı . Ortaçağ Katolik teolojisi , özellikle Thomas Aquinas'ın yazıları, güçlü bir Aristotelesçi kadroya sahipti ve bu nedenle, mantık terimi, Katolik teolojik akıl yürütmesinin bir parçası haline geldi. Örneğin, Joyce'un Katolik seminerlerinde kullanılmak üzere yazılan Principles of Logic (1908; 3. baskı 1949), Frege veya Bertrand Russell'dan hiç bahsetmedi .

Canlanma

Bazı filozoflar, mantığı yüklediğinden şikayet etmişlerdir:

Gareth Evans gibi tamamen ana akımda yer alan akademik filozoflar bile şöyle yazmışlardır:

"Semantik araştırmalara , dilde gerçekten var olan sözdizimsel ve semantik aygıtları ciddi bir şekilde hesaba katmaya çalışan teoriler olan homofonik teorileri tercih ederek geliyorum ... [böyle] bir teoriyi ... ["Bütün A'lar B'dir " biçimindeki cümlelerle] ancak gizli mantıksal sabitleri "keşfederek" başa çıkabilir... Buradaki itiraz, bu tür [Fregean] doğruluk koşullarının doğru olmadığı değil, bir anlamda Hepimizin daha tam olarak açıklamayı çok isteyeceğimiz cümlenin sözdizimsel şekli, çok fazla yanıltıcı yüzey yapısı olarak ele alınır" (Evans 1977)

Ayrıca bakınız

Notlar

Referanslar

  • Bochenski, IM, 1951. Eski Biçimsel Mantık . Kuzey Hollanda.
  • Louis Couturat , 1961 (1901). La Logique de Leibniz . Hildesheim: Georg Olms Verlagsbuchhandlung.
  • Gareth Evans , 1977, "Zamirler, Niceleyiciler ve Göreli Cümleler", Kanada Felsefe Dergisi .
  • Peter Geach , 1976. Akıl ve Argüman . Kaliforniya Üniversitesi Yayınları.
  • Hammond ve Scullard, 1992. The Oxford Classical Dictionary . Oxford University Press, ISBN  0-19-869117-3 .
  • Joyce, George Hayward, 1949 (1908). Mantığın İlkeleri , 3. baskı. Longman'lar. Katolik seminerlerinde kullanılmak üzere yazılmış bir el kitabı. Ortaçağ ve antik kaynaklara birçok referansla geleneksel mantık konusunda yetkili. Modern biçimsel mantıktan hiçbir ipucu içermez. Yazar 1864-1943 yaşadı.
  • Jan Lukasiewicz , 1951. Modern Biçimsel Mantık Açısından Aristoteles'in Syllojistiği . Oxford Üniv. Basmak.
  • John Stuart Mill , 1904. Bir Mantık Sistemi , 8. baskı. Londra.
  • Parry ve Hacker, 1991. Aristotelesçi Mantık . New York Basını Devlet Üniversitesi.
  • Arthur Öncesi
    1962: Biçimsel Mantık , 2. baskı. Oxford Üniv. Basmak. Öncelikle modern biçimsel mantığa ayrılmış olsa da, terim ve ortaçağ mantığı üzerine çok şey içerir.
    1976: Önermeler ve Terimler Doktrini . Peter Geach ve AJP Kenny, der. Londra: Duckworth.
  • Willard Quine , 1986. Mantık Felsefesi 2. baskı. Harvard Üniv. Basmak.
  • Rose, Lynn E., 1968. Aristoteles'in Syllojistiği . Springfield: Clarence C. Thomas.
  • Sommers, Fred
    1970: "Terimler Hesabı", Mind 79 : 1-39. . Englebretsen, G., ed, 1987 yılında yeniden basıldı yeni syllogistic Peter Lang: New York. ISBN  0-8204-0448-9
    1982: Doğal dilin mantığı . Oxford Üniversitesi Yayınları.
    1990: " Terimlerin Mantığında Tahmin ", Notre Dame Resmi Mantık Dergisi 31 : 106-26.
    ve Englebretsen, George, 2000: Resmi muhakeme için bir davet. Terimlerin mantığı . Aldershot İngiltere: Ashgate. ISBN  0-7546-1366-6 .
  • Szabolcsi Lorne, 2008. Sayısal Terim Mantık . Lewiston: Edwin Mellen Basın.

Dış bağlantılar