Professional Documents
Culture Documents
MANTIK TARİHİ
Mantık tarihinin başlıklar hâlinde ele alınacağı bu derste Aristoteles öncesi mantıktan
başlanarak, sırasıyla Aristoteles’in Organon’u I-II, Hint mantığı, Megaralılar ve Stoalılar,
Roma ve Orta Çağ Mantığı, İslam Mantığı, Rönesans’tan Sonra Mantık, Leibniz, Saccheri,
Euler, Gergonne, Hamiltaon, Kant, Bolzano ve Mill’in mantık anlayışları incelenmiştir.
1
İÇİNDEKİLER
ÖNSÖZ....................................................................................................................................... 1
İÇİNDEKİLER........................................................................................................................... 2
YAZAR NOTU .......................................................................................................................... 5
1. ARİSTOTELES ÖNCESİ MANTIK ..................................................................................... 6
1 .Geçerlilik nedir? ..................................................................................................................... 8
2. Nasıl geometri kanıtlaması yapılır?........................................................................................ 8
1.1. “Mantık” Sözcüğünün Tarihçesi ....................................................................................... 12
1.2. Geçerlilik Kavramı ............................................................................................................ 12
1.3. Geometri Kanıtlaması ....................................................................................................... 13
1.4. Diyalektik ve Zenon Paradoksları ..................................................................................... 14
1.5. Münakaşa (Eristic) ve Sofistlik ......................................................................................... 16
1.6. Platon ve Mantık Felsefesi ................................................................................................ 18
2. ARİSTOTELES’İN ORGANON’U I .................................................................................. 25
2.1. Aristoteles.......................................................................................................................... 31
2.2. Organon’un İçeriği ............................................................................................................ 31
2.3. Kategoriler Öğretisi ve Mantıksal Sonuçları ..................................................................... 32
2.4. Topikler ............................................................................................................................. 33
3. ARİSTOTELES’İN ORGANON’U II ................................................................................. 41
3.1. Aristoteles’in Anlam ve Doğruluk Kuramı ....................................................................... 47
3.2. Genel Önermenin Dört Formu .......................................................................................... 48
3.3. Kıyas Öğretisi .................................................................................................................... 49
3.4. Aristoteles’in Modal Mantığı ............................................................................................ 51
3.5. Kıyas Olmayan Mantık ..................................................................................................... 53
3.6. Theophrastus ..................................................................................................................... 54
4. HİNT MANTIĞI .................................................................................................................. 60
4.1. Hint Felsefesi..................................................................................................................... 66
4.2. Hint Mantığının Kökenleri ................................................................................................ 67
4.3. Nyaya ................................................................................................................................ 68
4.4. Bilgi Kuramı ...................................................................................................................... 68
4.5. Nyaya Kıyası ..................................................................................................................... 70
4.6. Kategoriler Öğretisi ........................................................................................................... 71
5. MEGARALILAR VE STOALILAR ................................................................................... 77
2
5.1. Megara Felsefesi ve Stoa Mantığının Kökenleri ............................................................... 83
5.2. Megaracı ve Stoacı Modal Mantık Kuramları................................................................... 84
5.3. Koşullu Önermelerin Doğası Üzerine Tartışma ................................................................ 87
5.4. Anlam ve Doğruluk Üzerine Stoa Kuramı ........................................................................ 88
5.5. Stoacı Çıkarım Şemaları Sistemi....................................................................................... 91
6. ROMA VE ORTA ÇAĞ MANTIĞI I.................................................................................. 97
6.1. Çiçero’dan Boethius’a ..................................................................................................... 103
6.2. Alcuin’den Abelard’a ...................................................................................................... 107
7. ROMA VE ORTA ÇAĞ MANTIĞI II .............................................................................. 114
7.1. Üniversitelerde Mantık .................................................................................................... 120
7.2. Terimlerin Özellikleri (Proprietates Terminorum) .......................................................... 124
7.3. Koşullu Önerme (Consequentiae) ................................................................................... 125
8. İSLAM MANTIĞI ............................................................................................................. 131
8.1. Organon’un Çevrilmesi ................................................................................................... 138
8.1.1. Süryanice Çeviriler ............................................................................................... 138
8.1.2. İlk Arapça Çeviriler .............................................................................................. 139
8.1.3. Çeviri Çevreleri ..................................................................................................... 139
8.1.4. Gözden Geçirme Dönemi ..................................................................................... 140
8.2. Farabi ve İbni Sina .......................................................................................................... 141
8.2.1. Aristoteles Geleneğine Yaklaşımlar ..................................................................... 142
8.2.2. Farabi ve Mantık İncelemesi ................................................................................. 143
8.2.3. İbni Sina ve Mantık İncelemesi ............................................................................ 145
9. RÖNESANS’TAN SONRA MANTIK .............................................................................. 151
9.1. Hümanizm Akımı ............................................................................................................ 157
9.2. 16. Yüzyılda Mantık ........................................................................................................ 158
9.3. Doğa Biliminin İlerlemesi ve Mantık ile Matematiğin Ayrılması .................................. 161
9.4. 17. Yüzyılda Mantık ........................................................................................................ 162
9.5. Port Royal Mantığı .......................................................................................................... 164
10. GOTTFRIED WILHELM LEIBNIZ I ............................................................................. 172
10.1. Leibniz’in İlgileri .......................................................................................................... 178
10.2. Geleneksel Mantığa Saygısı .......................................................................................... 178
10.3. Bir Kombinasyon Bilimi Düşüncesi ............................................................................. 181
10.4. İdeal Dil Planları ........................................................................................................... 182
3
10.5. Bir Ansiklopedi İçinde Bilgi Düzenleme Taslağı ......................................................... 183
10.6. Genel Bir Yöntem Bilimi Beklentisi ............................................................................. 184
11. GOTTFRIED WILHELM LEIBNIZ II............................................................................ 191
11.1. Yaşamı ........................................................................................................................... 197
11.2. Yöntem Anlayışı ........................................................................................................... 197
11.3. Mantığa Yeni Bakış Açısı ............................................................................................. 199
11.4. Özdeşlik ve Altküme Hesabı ......................................................................................... 200
12. SACCHERI’DEN EULER’E MANTIK ÇALIŞMALARI.............................................. 210
12.1. Saccheri ......................................................................................................................... 216
12.2. Lambert ve Ploucquet.................................................................................................... 217
12.3. Euler .............................................................................................................................. 218
13. GERGONNE’DAN HAMILTON’A MANTIK ÇALIŞMALARI .................................. 225
13.1. J. D. Gergonne ............................................................................................................... 232
13.2. William Hamilton .......................................................................................................... 236
13.3. Immanuel Kant .............................................................................................................. 237
14. BOLZANO VE MILL’İN MANTIK ÇALIŞMALARI ................................................... 245
14.1. Bernard Bolzano ............................................................................................................ 251
14.2. John Stuart Mill ............................................................................................................. 256
KAYNAKÇA ......................................................................................................................... 264
4
YAZAR NOTU
5
1. ARİSTOTELES ÖNCESİ MANTIK
6
Bu Bölümde Neler Öğreneceğiz?
7
Bölüm Hakkında İlgi Oluşturan Sorular
1 .Geçerlilik nedir?
8
Bölümde Hedeflenen Kazanımlar ve Kazanım Yöntemleri
Konu Kazanım Kazanımın nasıl elde
edileceği veya
geliştirileceği
Aristoteles öncesi mantık Temel mantık terimleri ve Okuma
Platon’a kadar mantık
çalışmaları
9
Anahtar Kavramlar
• Mantık
• Geçerlilik
• Diyalektik
• Platon
10
Giriş
‘Mantık’ sözcüğü akıl, akıl yürütme, yasa, doğru söz, düzen, ilke, düşünme
anlamlarına gelen Yunanca ‘logos’ sözcüğünden türemiştir. ‘Sosyoloji’, ‘psikoloji’
sözcüklerinde görüldüğü gibi çağımızda bu terim incelenen bilgi alanlarının bilim olmasını
sağlayan son ek olmuştur. Mantık biliminin kurucusu Aristoteles olduğu hâlde ondan önce de
mantıklı düşünme vardı. Aristoteles’in yazdığı ve sonradan Organon adı konulan eserde
yaptığı rasyonel düşünmenin kurallarını koymaktı; mantık terminolojisiyle söylemek
gerekirse, geçerli çıkarımın ilkelerini koymaktı. Aristoteles kanıtlayıcı çıkarım ile diyalektik
çıkarımı birbirinden ayırdı.
Yanlış olup geçerli çıkarımlara çok benzeyen çıkarımlara sofizm dendi. Bu türden
çıkarımlar yaparak ve bunları halk arasında sergileyerek geçimlerini sağlayan kişilere ise
‘sofist’ dendi. Platon’un Euthydemus diyaloğu ile Aristoteles’in Sofistlerin Çürütmeleri
Üzerine adlı eseri bize sofizmin kullanımını gösteren başlıca eserlerdir. Bunlar halk arasında
belli kurallara göre tartışmanın yerleşmiş olduğunu gösterirler. Tartışmada genellikle biri soru
soran, diğeri cevap veren iki kişi bulunur. Cevap veren bir teze sahiptir; soru soran cevap
verene bu tezden yanlış ve saçma sonuçlar çıktığını kabul ettirerek bu tezi kötülemeye çalışır.
En ünlüleri Protagoras ve Gorgias olan sofistler kuşkuculuğu, göreliliği ve değişmeyi
savunmuşlardır.
11
1.1. “Mantık” Sözcüğünün Tarihçesi
Günümüzde ise mantığın iki anlamı vardır. Birinci anlamı düşünme tarzı olarak
mantıktır. İkinci anlamı ise bilim dalı olarak mantıktır. Düşünme tarzı olarak mantık doğru ve
tutarlı düşünmeye karşılık gelen düşünme tarzıdır. Bu tür düşünme için insanın mantık
okumasına gerek yoktur. İnsanın doğası gereği yaptığı düşünme etkinliği sonunda elde ettiği
tutarlılık ve doğruluk sonucu ortaya çıkan düşünme tarzıdır. Bilim dalı olarak mantık ise
doğru ve düzgün düşünme formlarını inceleyen bilimdir.
Mantık geçerli çıkarımın ilkeleri ile ilgilidir. Aristoteles’ten çok önce insanların
çıkarım yaptıkları ve başkalarının çıkarımlarını eleştirdikleri bilinmektedir. Ancak bu,
Aristoteles’ten önce mantığın bir başlangıcı olduğunu doğrulamaz; çünkü insanlar çeşitli
etkinlikleri, bu etkinliklerin kurallarını açık ve kesin olarak belirtmeden de doğru olarak
yapabilirler (örneğin, dilbilgisi kurallarını bilmeden Türkçe konuşabilirler). Ancak Platon,
Aristoteles ve diğer kaynaklardan edindiğimiz bulgular Yunanlı filozofların geçerli çıkarım
12
ilkelerini, Aristoteles Organon olarak bilinen eserini yazmadan önce tartışmaya başladıklarını
gösterir.
Mantık sadece geçerli çıkarımlardan ibaret değildir, aynı zamanda geçerliliğin ilkeleri
üzerine düşünmeyi de kapsar. Her çeşit konuşma mantık araştırmasına neden olmaz. Örneğin,
hikâye anlatma ya da edebi konuşma, mantık araştırması gerektirmez. Doğal olarak mantık
araştırmasına yol açanlar içinde ispatın istendiği konuşma ya da araştırma çeşitleridir; çünkü
bir önermeyi ispat etmek onu doğru öncüllerden geçerli olarak çıkarmaktır. İspatın iki şartı
vardır. Bunlar doğru öncüller ve geçerli çıkarımlardır. Bu iki şartın birbirinden bağımsız
olduklarını Aristoteles görmüştü, çünkü o kanıtlayıcı çıkarım ile diyalektik çıkarım ayrımı
yapmıştı. Kanıtlayıcı çıkarımda öncüller doğru ve zorunludur, oysa diyalektik öncülün öyle
olması gerekmez. Kanıtlamada doğru öncüllerden başlar, zorunlu olarak doğru bir sonuca
varırız; yani, ispat yaparız. Diyalektik çıkarımda ise öncüller doğru olarak bilinmezler,
sonucun da doğru olması zorunlu değildir. Bu iki şartın birbirinden bağımsız olduklarının fark
edilişinin ne zaman olduğunu söylemek kolay değildir, ancak Aristoteles Topikler’de ve
Birinci Çözümlemeler’de kanıtlayıcı ve diyalektik akıl yürütme arasındaki ayrımı çizdiğinde,
bu ona fevkalade açıktı.
Ancak mantık açısından önemli ayrım, diyalektik öncülün doğru ve zorunlu olması
gerekmezken kanıtlayıcı öncülün öyle olması gerektiğidir. Kanıtlamada doğru öncüllerden
başlar ve zorunlu olarak doğru bir sonuca varırız; diğer bir değişle ispat elde ederiz. Diğer
taraftan, diyalektik çıkarımda öncüllerin doğru oldukları bilinmez ve sonucun da doğru olma
zorunluluğu yoktur.
Üç çeşit konuşmada ispat ararız. Saf matematikte soyut a priori doğruları, metafizikte
dünyanın yapısına dair çok genel önermeleri, gündelik çıkarımlarda da, özellikle politika veya
münazara çıkarımlarında olumsal önermelerin ispatlarını ararız. Bu üçünden sadece
matematik açıkça Aristoteles’in kanıtlayıcı çıkarım tanımını karşılar ve onun kanıtlama
örneklerinin çoğunu sağlar.
Kanıtlama kavramı muhtemelen ilk kez geometri ile bağlantılı olarak kullanılmıştır.
Mısırlıların bazı geometri doğrularını empirik olarak keşfettikleri bilinir; örneğin, bir
piramidin hacmini hesaplamak için bir formül bulmuşlardır. İlk başta “arazi ölçümü”
anlamına gelen “geometri” adı bu bilimin Yunanistan’a ilk girdiğinde nasıl düşünüldüğünü
bize gösterir. Yunanlıların büyük başarısı bu empirik çalışmanın yerine kanıtlayıcı, a priori bir
bilim koymalarıdır. Bazıları ilk geometri teoremini Tales’in (MÖ 640-546) ispat ettiğini
söyleseler de, geometrinin sistematik çalışması Pisagor okulunda başlamış gibidir.
Pisagor’un MÖ 6. yüzyılın ilk yarısında Samos’ta doğduğu, güney İtalya’da bir Yunan
şehri olan Kroton’a göç ettiği ve orada çileci bir düzen kurup ruh göçü öğretisini öğrettiği
söylenir. Bu, bir yaşam şekli olarak felsefe kavramının ilk ortaya çıkışıdır. Burada, insanın en
önemli yetisinin zihni olduğu ve sadece zihni kullanarak öğrenilebilen doğruların gözlem
yoluyla öğrenilenlerden daha temel ve mükemmel olduğu akılcılığın da başlangıcını görürüz.
13
Pisagor’un düzeni Kroton’da bir süre egemen olmuşsa da, ona karşı hemen bir reaksiyon
gelişti. Bunun üzerine Pisagor 6. yüzyıl sonu ya da 5. yüzyıl başında Metapontum’a gidip
orada yaşamaya başladı ve orada öldü.
Şimdi dedüktif bir bilim olan temel geometriyi inceleyelim. Her şeyden önce
geometrinin belirli önermeleri kanıtlama olmadan doğru olarak kabul edilmelidir. İkinci
olarak, geometrinin diğer tüm önermeleri bunlardan çıkarılmalıdır. Üçüncü olarak da çıkarım,
ilk kabul edilenlerden farklı geometri savları esas alınmadan yapılmalıdır; yani formel
olmalıdır.
Aşil paradoksu ise şu şekildedir: Aşil’in bir kaplumbağa ile yarış yaptığını düşünün ve
kaplumbağa yavaş ilerlediğinden yarışa biraz önden başlasın. Aşil kaplumbağanın başladığı
yere koşana kadar kaplumbağa biraz ilerlemiş olacaktır. Aşil her seferinde kaplumbağanın
aldığı mesafeyi koşarken kaplumbağa başka bir noktaya varır. Aşil her sefer kaplumbağa
biraz daha yaklaşır, ancak onu geçemez. Her sefer aralarındaki mesafe sonsuz küçük noktaya
bölünebilir. Aşil bu sonsuz sayıdaki noktayı sonlu bir zaman diliminde koşmalıdır ki bu
olanaksızdır.
Diyalektik Zenon tarafından felsefede bir akıl yürütme metodu olarak saptandıktan
sonra uzun bir tarihçeye sahip oldu. Diyalektik, zaman zaman İkincil Soktratçılar olarak
anılan filozoflar içinde Megaralı Euklides tarafından uygulanmıştır. Euklides okulu üyelerine
diyalektikçiler denildi. Euklides’in ‘kanıtlamalara öncüller vasıtasıyla değil, sonuç vasıtası ile
saldırdığı’ söylendi. Bu büyük ihtimalle onun karşısındakileri kendi sonuçlarından saçma
neticeler çıkararak çürütmeye çalıştığı anlamına gelir. O zaman ‘diyalektik’ sözcüğünün ilk
kesin anlamı metafizikteki imkânsıza indirgeme gibi görünüyor.
Devlet adlı eserinde Platon ‘diyalektik’ sözcüğüyle aksini ispatlamayı içeren, ancak
sonunda yüksek genellemeye sahip olumlu sonuçlara yol açan bir tartışma metodu demek
ister.
Platon’un ‘dalektik’ terimini kullanımlarındaki tek ortak özellik bunun tanımlar için
bir araştırma içeren ve yazım zamanında Platon tarafından kabul gören felsefe incelemesinin
15
ortak metodu anlamına gelmesidir. Orta dönemde bazı anlaşılmaz olumlu eklemelerle
hipotetik çürütme metodudur, oysa daha sonraki dönemde bölme ve biriktirme metodudur.
Platon’un formel mantığa katkısı onun bir diyalektik metot hazırlama çabasıyla sınırlı
değildir. Zaman zaman diyaloglarında onun mantık ilkeleri belirttiğini görürüz. Bu şekilde
Platon bir takım mantık ilkelerini tesadüfen belirtir. Ünlü bir örnek onun Devlet’te ruhun
bağımsız bölümleri olduğunu ispat etmek için yaptığı çıkarım sırasında çelişmezlik ilkesini
ifade etmesidir.
Platon’un çıkarımı süresince mantığın bazı geçerli ilkelerini bulduğu açık olduğu
hâlde, ona mantıkçı diyemeyiz; çünkü o ilkelerini onlara gerek duyduğunda parça parça
bildirmiştir. Platon bu ilkeleri birbirleriyle ilişkilendirmek veya Aristoteles’in kıyasın çeşitli
şekil ve kalıplarını bir sistem içinde bağladığı gibi bağlamak için hiçbir girişimde
bulunmamıştır.
Şu çıkarımları düşünelim:
Yanlış olup ancak yine de geçerli çıkarımlarla yanıltıcı bir benzerlik taşıyan
yukarıdakilerden ikincisine benzer çıkarımları Aristoteles ‘sofizmler’ olarak adlandırmıştır. O
bu türden çıkarımlar yaratarak ve bunları halk içinde sergileyerek geçimlerini sağlayan
‘sofist’ denilen kişilerin olduğunu ima etmiştir. Platon Euthydemus diyaloğunda, sofizm
yoluyla kimse yalan söyleyemez (284c), Sokrates her şeyi bilir (293c) ve Ctesippus’un babası
bir köpektir (298c) gibi paradoksal önermeleri ispat ettikleri bir tür reklam gösterisi sunan iki
sofisti, Euthydemus ile Dionysodorus’u takdim eder.
Diğer ünlü bir sofist olan Gorgias ise gerçek denilen bir varlığın olmadığını
savunmuştur. Böyle bir varlığın olsa da bilinemeyeceğini, bilinse de anlatılamayacağını
söylemiştir.
Bazılarının bir sofist olarak gördükleri ancak para karşılığı bu işi yapmadığından sofist
sayılmayan ünlü filozof Sokrates MÖ469-399 yılları arasında yaşamıştır. Sokrates’ten
günümüze hiçbir yazılı eser kalmadığı hâlde onun düşüncelerini Platon kendi eserlerinde
aktarmıştır. Sokrates nesnelliği, değişmezliği, gerçekliği ve tekliği savunarak evrensel bilginin
varlığını kabul etmiştir. Değişmez ve gerçek varlığın doğru bilgisine akıl ile varılabileceğini
söylemiştir. Duyuların göreliliğine karşın aklın evrensel ve tümeli vereceğini öne sürmüştür.
Bilgide aklın ortaya koyduğu zihinsel, soyut, kavramsal, tümel bilgiye değer vermiştir.
2. Alay (ironi): Alay ile, yani kendisinin de bilgisiz olduğunu ileri sürmekle
karşısındakini yüceltir ve cesaretlendirir.
Günlük konuşmada ortaya çıkan tereddütlerden dolayı ileri sürülen mantık tartışmaları
görüldüğü gibi Aristoteles’ten önce zaten mevcuttu. Merkezinde, Sokrates’in öğrencisi ve
Platon’un kendisinden yaşça büyük çağdaşı olan Euclides’in kurucusu olduğu Megara Okulu
bulunmaktaydı. Megaralıların sözel münakaşa becerisine sahip oldukları biliniyordu ve
Laertios Diogenes’e göre, bunlara bir zaman ‘Münakaşacılar’ denilmişti. ‘Münakaşa’, Platon
ve Aristoteles’in saçma buldukları çıkarıma verdikleri kırıcı bir addı.
MÖ 427-347 yılları arasında yaşamış olan Platon Sokrates’in öğrencisidir. Ona göre
bilgi öğrenme yoluyla değil, hatırlama yoluyla elde edilir. O bilginin kişide önceden mevcut
olduğuna ve bu yüzden doğurtulduğuna inanmıştır. Platon’a göre doğru bir ve herkes için
aynıdır. Herkes için aynı olan genel kavramlar aracılığı ile düşünülebilir. Genel kavramlar
(idealar) soyut, zihinsel ve rasyoneldir. Platon tümdengelim akıl yürütmelerinin tümevarım
akıl yürütmelerinden daha kesin ve zorunlu olduğunu savunmuştur.
Platon formel mantık çalışması yapmadığı hâlde, mantık felsefesi alanında ilk büyük
düşünürdür. O, mantığın doğası üzerine düşünmeye başlar başlamaz ortaya çıkan üç önemli
soruyu ayrıntılı bir şekilde ele alır. Bunlar:
2) Geçerli çıkarımı mümkün kılan bağlantı nedir veya zorunlu bağlantı nedir?
Geçerli çıkarımı zorunlu bağlantıların izini sürmek olarak alırsak, ilk sorumuzun
cevabı ikinci sorumuza da bir cevap taşıyormuş gibidir. Yani, doğru veya yanlış olan cümleler
ise, o zaman geçerli çıkarımlar yaptığımızda cümleler arasında zorunlu bağlantıların izini
süreriz; ancak bunlar düşünceler ise o zaman geçerli çıkarımda düşünceler arasında bir tür
zorunlu bağlantı buluruz. Fakat ikinci görüş açıkça karışık ve yetersizdir; çünkü ‘düşünceler
arasında zorunlu bağlantı’ düşündüğümüz her zaman doğru düşündüğümüzü öne sürer. Oysa
biz her zaman geçerli çıkarımlar yapmayız. Bu karışıklığın ve yetersizliğin farkına varılması
layıkıyla doğru veya yanlış denilenlerin yargılar olduğunun farkına varılmasına yol açtı. İlk
görüş uzlaşmacıların, yani zorunlu bağlantının bir anlamda insan-yapısı ve keyfi olduğunu
savunan filozofların görüşüdür. Ancak Platon bu iki öğretinin ikisini de kabul etmez. Ona
göre, zorunlu bağlantı formlar arasında olur.
Platon daha önceki matematikçiler gibi tanımı keyfi-olmayan ve bilgi verici olarak
görür. Ancak tanımın sözcüğün kendisinden ziyade sözcüğün işaret ettiği şey ile ilgili
olduğunu savunmuştur. Tanımlanan şey form veya birçok tekil şeyde bulunan ortak doğadır.
Buna tanımın ‘gerçekçi kuramı’ denilebilir ve bu ‘gerçek tanım’ ifadesine tarihsel olarak
bağlıdır.
19
Bu Bölümde Ne Öğrendik Özeti
20
Bölüm Soruları
a) Akıl
b) Akıl yürütme
c) Düzen
d) Makine
e) İlke
a) Doğru parçası
b) Çemberler
c) Elementler
d) Fizik yasaları
e) Çıkarım ilkeleri
a) Pisagor
b) Aristoteles
c) Frege
d) Kant
21
e) Okhamlı William
5. Aşağıda “diyalektik öncül” ve “kanıtlayıcı öncül” ile ilgili bazı bilgiler verilmiştir.
Verilen bilgilerden hangisi veya hangileri yanlıştır?
a) Yalnız I
b) Yalnız II
c) I ve II
d) II ve III
e) Hepsi
a) Yalnız I
b) Yalnız II
c) I ve II
d) II ve III
e) Hepsi
22
II. Yanlış olan ancak yine de geçerli çıkarımlara yanıltıcı bir benzerlik taşıyan
çıkarımları Aristoteles ‘sofizmler’ olarak adlandırmıştır.
a) Yalnız I
b) Yalnız II
c) I ve II
d) II ve III
e) Hepsi
II. Alay (ironi): Kendisinin de bilgisiz olduğunu ileri sürmekle karşısındakini yüceltir.
a) Yalnız I
b) Yalnız II
c) I ve II
d) II ve III
e) Hepsi
a) Yalnız I
b) Yalnız II
23
c) I ve II
d) II ve III
e) Hepsi
10. Aşağıda “diyalektik” ve “paradokslar” ile ilgili bazı bilgiler verilmiştir. Verilen
bilgilerden hangisi veya hangileri yanlıştır?
a) Yalnız I
b) Yalnız II
c) I ve II
d) II ve III
e) Hepsi
Cevaplar
1)d, 2)a, 3)c, 4)b, 5)c, 6)e, 7)d, 8)e, 9)c, 10)d
24
2. ARİSTOTELES’İN ORGANON’U I
25
Bu Bölümde Neler Öğreneceğiz?
26
Bölüm Hakkında İlgi Oluşturan Sorular
1. Aristoteles kimdir?
27
Bölümde Hedeflenen Kazanımlar ve Kazanım Yöntemleri
28
Anahtar Kavramlar
• Aristoteles
• Organon
• Topikler
29
Giriş
Topikler ise halk arasındaki münazara yarışmalarında yer alan kişilere yol gösterici bir
el kitabıdır ve bu münazaralarda soru soran ve cevap verenler için belirli kurallar, kısaca
diyalektiğin kurallarını verir. Soru cümlelerini protatis ve problema olarak ikiye ayırır. Beş
tümel (hassa, ilnek, cins, tür ve farklılık) kuramını açıklar.
30
2.1. Aristoteles
Birçok farklı konuda yazmış olan Aristoteles’in yazıları ölümünden sonra konularına
göre düzenlenmiştir. Mantık hakkındaki yazıları Organon adı altında, metafizik hakkındakiler
Metafizik adı altında, fizik hakkındakiler Fizik adı altında, zooloji hakkındakiler Hayvanların
Hareketleri Üzerine adı altında, ruh hakkındakiler Ruh Üzerine adı altında, ahlak
hakkındakiler Nikomakhos Ahlakı adı altında, politika hakkındakiler Politika adı altında,
devlet yönetimi hakkındakiler Atinalıların Devleti adı altında, hitabet hakkındakiler Retorik
adı altında, şiir sanatı hakkında yazdıkları da Poetika adı altında toplanmıştır.
Sıradaki bir sonraki veya eş zamanlı eser Sofislerin Çürütmeleri Üzerine ekiyle
birlikte Topikler adlı eserdir. Konusu ‘genel kabul görmüş görüşlerden kaynaklanan’ akıl
yürütme olarak tanımlanan ve kanıtlayıcı akıl yürütmenin, yani doğru ve ilk öncüllerden
yapılan akıl yürütmenin karşıtı olan ‘diyalektik akıl yürütme’ olarak belirtilmiştir.
31
Diğer bir erken eser Önermeler Üzerine (Peri Hermeneias) adlı eserdir. Bu ad tam
olarak ‘Yorum Üzerine’ anlamındadır ve Rönesans’tan itibaren bu kitap Latince adı olan De
Interpretatione olarak bilinmektedir. Bu çalışmada Aristoteles’in esas amacı hangi önerme
çiftlerinin, hangi bakımlardan karşıt olduklarını belirlemektir. Asıl konunun gelişiminden
önce, ilk dört bölümü kapsayan ve mantık felsefesine ufak bir katkı sağlayan önerme kavramı
tartışması gelir.
Aristoteles eşadlı, eşanlamlı ve eş köklü sözcükler arasında bir ayrım yaptıktan sonra
tüm ifadelerin basit veya karmaşık olduklarını bildirir. Ardından her basit ifadenin töz, nitelik
veya diğer kategorilerden birini belirttiğini söyler. Eserin geri kalanının çoğu bireysel
kategoriler tartışmasına ayrılmıştır ve bunlar arasında töz ile niteliğe en fazla önem
verilmiştir. Son beş bölüm kategorilerden ziyade genel terimlerin karışık bir topluluğunu
(karşıtlık, yoksunluk, öncelik, eşzamanlılık, hareket ve sahip olma) ve onların belirsizliklerini
ele alır. Sonradan bunlar Sonradan Eklenen Kategoriler (Post-Predicaments) olarak
anılmıştır.
İlk olarak, Aristoteles’in yüklemlemenin esas konusu olarak birinci töze yaptığı vurgu
Leibniz zamanında dahi mantıksal gelişmeyi sınırlayan önermenin özne-yüklem formunun
fazlasıyla vurgulanmasına yol açmıştır. Eğer birinci töz yüklemlemenin esas konusu ise, tüm
temel doğrular ‘Bu (birinci töz) şöyle şöyledir (değildir)’ formundadır; diğer doğrular da ya
bunlardan türemiştir ya da bunlara bağlıdır.
İkinci olarak, Aristoteles’in hem birinci hem de ikinci töz için aynı terimini (ουσια)
kullanması tekil ve genel terimler arasındaki çok önemli ayrımı bulanıklaştırmıştır. ‘Sokrates
bir insandır’ ile ‘İnsan bir hayvandır’ önermeleri Aristoteles için hiç kuşkusuz farklı oldukları
hâlde birbirlerine önemli ölçüde benzerler, çünkü her iki özne terimi de töz kategorisine girer.
İkinci tözü töz olarak kabul etme, aslında Aristoteles’de kendisini hiçbir zaman tam olarak
kurtaramadığı Platonculuktan arta kalandır.
2.4. Topikler
Topikler açıkça halk arasındaki münazara yarışmalarında yer alan kişilere yol gösterici
bir e lkitabıdır. Son kitap (viii) bu türden münazaralarda hem soru soran hem de cevap veren
için belirli kurallar verir. Ancak içerik Akademi’de icra edilen sınıflandırma ve tanım
egzersizleri tarafından geniş ölçüde belirlenmiştir. Topikler’e birlik sağlayan Beş Tümel
teorisinin Akademi’de daha önce düzenlenmiş olması mümkündür, çünkü Aristoteles bu
teorinin anahtar-terimlerini (özellik, ilinek, cins, tür ve ayrım) zaten bilinen terimler olarak
ileri sürmüştür. Topikler tanım ve sınıflandırma sorularına uygulanan şekliyle diyalektik
metot üzerine düşünmenin ürünüdür. Mevcut hâliyle, mantıksal, psikolojik ve linguistik
konular üzerinde bir takım çok düzenli olmayan gözlemler içerir. Ancak, çözüm olarak bir
mantık teorisini, Önermeler Üzerine ve Birinci Çözümlemeler’de belirginleştiği görülen
teoriyi savunduğu söylenebilir.
33
Bu gelişmenin doğal olduğu genel olarak görülebilir. Her şeyden önce, tartışmaları
kazanmaya karşı gösterilen pratik ilgi geçerli çıkarıma karşı gösterilen teorik ilgiye yol açar;
çünkü dürüst insanlar arasında tartışmayı kazanmanın en emin yolu geçerli akıl yürütme dizisi
sunmaktır. İkinci olarak, tartışma karşıt tezleri savunan konuşmacılar arasında diyalog
şeklinde cereyan ettiğinden, ‘hangi önerme verilen önermenin çelişiğidir?’ sorusu büyük ilgi
çeker. Çünkü bir konuşmacının rakibini hangi noktada yalanladığını belirlemek önemlidir.
Bu, Önermeler Üzerine adlı eserin mantığa esas katkısı olan karşıtlıklar karesi öğretisine yol
açmıştır. Üçüncü olarak, konuşmacılar sınıflandırma ve tanımlama yapmaya çalıştıklarından,
söz konusu önermeler ‘X, Ydir’ ve ‘X, Y değildir’ formlarındadırlar. Bunların daha kesin
biçimleri ve çelişikleri Aristoteles kıyasının maddeleridir.
‘Topikler’ adı ilk başta ‘yer’ anlamına gelen, ancak daha sonra ‘basmakalıp söz’, yani
konuşmada tekrarlanan tema ya da kalıp anlamına dönüşen Yunanca sözcükten kaynaklanır.
Topoi herhangi bir konudaki bir tartışmada yapılabilen standart yöntemler ya da hareketler
anlamındadır. Aslında Aristoteles’in Topikler’de yaptığı şey rekabetçi tartışma yürütebilmek
için genel taktiksel ipuçları vermektir.
Başlangıçta protasis ile problema arasında bir ayrım yapar. Aristoteles bunların her
ikisinin de soru olduklarını ve aralarındaki farkın sadece bir şekil farkı, örneğin, ‘Hayvan
insanın cinsi midir?’ ile ‘Hayvan insanın cinsi midir, değil midir?’ arasındaki fark olduğunu
söyler. Bu çok önemli görünmemekle birlikte ayrım muhtemelen tartışma için öne sürülen tez,
yani tartışmanın başlangıç noktası ile tartışmanın devamını sağlamak için daha sonra ileri
sürülen bir soru arasındadır. Tartışma konusunun ‘Hayvan insanın cinsi midir?’ olduğunu
varsayabiliriz. Bu başlangıç noktası, protatisdir. Tartışma sırasında, soru soran ‘Kendi
kendine hareket eder olmak hayvanların bir özelliği midir yoksa değil midir?’ diye sorar. Bu
bir problema olur.
Beş Tümel Teorisinde her protasis veya problemanın öznenin tanımını, bir özelliğini,
cinsini ya da bir ilineğini belirttiği söylenir. Varsayım protasis ya da problemanın genel bir
önermeyle ilgili olduğudur, örneğin, ‘İnsan iki ayaklı hayvandır’, ‘İnsan beyazdır’ gibi.
Özellik, ilinek, cins, tür ve ayrım başlıkları bu türden önermelerde yüklemin özne ile
bağıntısını gösterir. İlk olarak, yüklem öznenin tanımı olabilir, yani önermemizin yüklem
ifadesi öznenin özünü, şöyle şöyle olmanın ne olduğunu verebilir. İkinci olarak, yüklem
öznenin bir özelliği, yani öznenin özü olmayan, ancak yalnızca o türe ait olan ve ters
çevrilebilir şekilde ona yüklemlenebilen bir şey olabilir. Örneğin, ‘böylece dilbilgisi
öğrenebilme kabiliyeti insanın bir özelliğidir: çünkü eğer o bir insansa, o dilbilgisi öğrenme
kabiliyetine sahiptir ve eğer o dilbilgisi öğrenme kabiliyetine sahipse, o bir insandır’. Üçüncü
olarak, yüklem öznenin cinsi, yani söz konusu türün ait olduğu ve içinde özel farklılığıyla
ayrıştığı daha büyük çeşit olabilir. Dördüncü olarak, yüklem bir ilinek, yani türün örneklerine
ait olabilen, ancak ait olması gerekmeyen bir özellik olabilir, örneğin, insanlarla bağıntılı
olarak beyazlık. İlk ikisi ters çevrilebilir yüklemler iken (yani, ‘X, Y’dir’ önermesinden ‘Y,
X’tir’ önermesini çıkarabildiğimiz türden), üçüncü ve dördüncü ters çevrilebilir yüklemler
değildir. Beş Tümel Teorisinin iki önemli ayrıma, zorunlu ile zorunlu olmayan arasındaki ve
34
çevrilebilir ile çevrilebilir olmayan arasındaki ayrıma dayanır. Bu iki ayrım Aristoteles’in
daha sonraki düşüncesinde önemli rol oynar.
Beş Tümel Teorisini ileri sürdükten sonra, Aristoteles diyalektik bir sorunun doğasını
daha yakından tanımlamaya ve tartışma önermelerinin seçimleri ve incelenmeleri üzerine
genel ipuçları vermeye girişir. Bu tartışma sırasında kategoriler teorisini özetler ve mantıksal
öneme sahip bazı ayrımlar yapar. Örneğin, özdeşliğin üç anlamını (sayısal, özel, cinsle ilgili)
ayırt eder. Ayrıca mevcut literatürde ilk kez önermelerin etik, fiziksel (yani, fizik bilimiyle
ilgili) ve mantıksal olarak bölünmesini gösterir. Ancak onun mantık ayrımlarından en ilginci
tümevarım ve tümdengelim akıl yürütmesi arasındaki ayrımdır. Tümevarım hakkında şöyle
der: “Tümevarım tekilden tümele geçiştir. Örneğin, en becerikli pilot bilen ise ve arabacı için
de bu böyle ise, o zaman genellikle, her durumda en iyi olan, bilen insandır.” Verdiği
örneklerden tümevarım ile gerçek tekil örneklerin basit sayımını kastetmediği, daha ziyade
özellikle farklı bir takım örnekleri bir araya getirme ve kıyaslama yapmayı kastettiği bellidir.
35
Platon’un ayırma yönteminden almıştır. Aristoteles bu formdaki önermelere ‘belirsiz
önermeler’ adını verir.
Organon’un bir bölümü olarak Topikler 17. yüzyıla kadar felsefe öğrencilerini
etkilemeye devam etmiştir. Ancak geriye dönüp baktığımızda bunun, Orta Çağ consequentiae
teorisinin detaylandırılmasına etkisinden dolayı yaptığı katkı haricinde mantığın gelişimine
fazla katkıda bulunduğunu söyleyemeyiz.
36
Bu Bölümde Ne Öğrendik Özeti
37
Bölüm Soruları
a) Metafizik
b) Yasalar
c) Politika
d) Retorik
e) Nikomakhos’a Etik
a) Kategoriler
c) Retorik
d) Önermeler Üzerine
e) Topikler
d) Rekabetçi tartışma yürütebilmek için genel taktiksel ipuçları vermek gibi bir
işlevi vardır.
a) İnsan kanatlıdır.
a) Nitelik
b) Nicelik
c) Yer
d) Zaman
e) Nedensellik
a) Töz- insan
c) Durum- keser
d) Edilginlik- kesilir
e) Türün örneklerine ait olabilen ama ait olması da zorunlu olmayan bir ilinek
olabilir.
Cevap Anahtarı
40
3. ARİSTOTELES’İN ORGANON’U II
41
Bu Bölümde Neler Öğreneceğiz?
42
Bölüm Hakkında İlgi Oluşturan Sorular
1) Aristoteles’in Modal Mantığı hakkında hangi bilgilere ulaşılabilir?
3) Theophrastus kimdir?
43
Bölümde Hedeflenen Kazanımlar ve Kazanım Yöntemleri
44
Anahtar Kavramlar
• Aristoteles
• Kıyas Öğretisi
45
Giriş
Aristoteles daha sonra önermeleri dört gruba ayırır. Bunlar tümel olumlu önermeler,
tümel olumsuz önermeler, tikel olumlu önermeler ve tikel olumsuz önermelerdir. Tümel ve
tikel olma önermenin öznesiyle ilgiliyken olumlu ve olumsuzluk önermenin yüklemiyle
ilgilidir. Bunlardan tümel olumlu ile tümel olumsuz birbirlerinin karşıtı, tikel olumlu ile tikel
olumsuz da birbirlerinin karşıtıdır. Buna karşın tikel olumluyla tümel olumlu birbirlerinin
çelişiği, tümel olumluyla tikel olumsuz da birbirlerini çelişiğidir. Aristoteles’in sözkonusu
önermeler ayrımı ondan sonra bir şema hâlinde gösterilmiş ve bu şemaya ‘karşıtlık karesi’
denilmiştir.
Aristoteles bir modal önermeler ve modal kıyaslar kuramı da hazırlamıştır. Modal bir
önerme ‘zorunlu’ veya ‘mümkün’ sözcüğünü ya da bunlara eşdeğer bir sözcüğü içeren bir
önermedir; modal kıyas ise öncüllerinden en az biri modal önerme olan bir kıyastır.
46
3.1. Aristoteles’in Anlam ve Doğruluk Kuramı
Aristoteles Platon’u başka iki görüşte daha izler. İlk olarak, doğru ya da yanlış olması
gereken her düşünce ya da konuşma bölümünün bileşik olması gerektiğini söyler. Tek başına
isim ya da fiilin anlamı olduğu hâlde bunlar doğru ya da yanlış olamazlar. İkinci olarak,
konuşma sözcüklerinin genel kabul ile anlamlı olduklarını fark eder. İsim “zamansız” iken,
fiil “ek olarak zamanı belirtir” diyerek ismi fiilden ayırır. O fiilleri her zaman belli bir
zamanda, yani geçmiş, şimdiki ya da gelecek zamanda olarak düşünür. Kısacası zamansız
yüklemleme düşüncesini reddeder.
Aristoteles cümlelerin içinde doğru ya da yanlış olabilen özel bir sınıfın olduğunu
söyler. Bunlar, eksiksiz anlama sahip oldukları hâlde, dualar ve doğru ya da yanlış olmayan
diğer sözlü ifadelerden farklı olan bildirme cümleleridir. Bu konuda Aristoteles’i izleyip
duaları, emirleri, vs. sadece hitabi ilgiye sahip olduklarından reddetmek mantıkçılar arasında
alışılagelmiştir.
“Kanıtlamanın ilkelerinden ... örneğin, <<her şeyin zorunlu olarak ya tasdik veya inkar
edilmesi gerekir>> veya << bir şeyin aynı zamanda hem olması, hem olmaması
imkânsızdır.>>“
“O hâlde böyle bir ilke hiç şüphesiz bütün ilkeler içinde en kesin olanıdır. Ancak bu
ilke hangi ilkedir, şimdi onu belirteceğiz. Bu ilke şudur: Aynı niteliğin, aynı zamanda, aynı
özneye, aynı bakımdan hem ait olması, hem de olmaması imkânsızdır.”
“Öte yandan çelişik önermeler arasında bir aracının olması da imkânsızdır. Bir özne
hakkında tek bir yüklemi-hangi yüklem olursa olsun-, zorunlu olarak ya tasdik etmek veya
inkâr etmek gerekir.”
47
3.2. Genel Önermenin Dört Formu
Aristoteles bir öznenin yüklemini tasdik eden üç önerme formu ayırt eder ve bunlara
tekil, tümel ve tikel önermeler der. Tekil bir önermede özne terimi, başka bir şeye
yüklemlenemeyen bir bireyin adıdır, örneğin ‘Ali’. Diğer taraftan, genel bir önermede özne
terimi bir cinsin sembolüdür, örneğin ‘insan’ ve bu terim birçok bireye yüklemlenebilir. Hatta
cinslerle önermeler kapsamca tümel olup olmadıklarına göre ayrılabilirler. Böylece ‘her insan
beyazdır’ tümeldir, çünkü bu insanlığın tüm örnekleri hakkındadır. ‘Bazı insanlar beyazdır’
ise tikel bir önermedir. Kuramının en önemli ve etkili bölümü tümel ve tikel önermelerin
karşıtlığı ile ilgilidir.
Tümel ile tikel arasındaki ayrımın olumlu ile olumsuz arasındaki ayrımla birleşimi
genel önermelerin dörtlü bir sınıflandırmasını verir. Aşağıdaki şemadaki örnekler
Aristoteles’in kendi verdiği örneklerdir.
48
Söz ederken kolaylık sağlaması bakımından Orta Çağ’dan itibaren bu dört türü ayırt
eden sesli harfler eklenmiştir. Bunlar Aristoteles’in çalışmasında yer almaz. Genellikle
karşıtlık karesi olarak adlandırılan yukarıdaki şekil de Aristoteles’in metninde bulunmaz. Bu
sadece onun öğretisinin yararlı bir özetidir.
Aristoteles’in genel önermeler açıklaması onun kıyas öğretisi için zemin hazırlar.
Birinci Çözümlemeler’in başında kıyası, belirli başlangıç önermelerinden ifade edilenden
farklı bir şeyin zorunlu olarak çıktığı bir söylem olarak tanımlar. Bu formül iki veya daha
fazla öncülden bir sonucun çıkarıldığı neredeyse herhangi bir çıkarımı kapsayacak kadar
geniştir ve zaten Topikler’de bu kapsayıcı anlamında kullanılmıştır. Ancak Aristoteles
kıyasları detaylı olarak tartıştığında, özellikle öncüllerin ve sonucun onun söz ettiği anlamda
basit ve genel olduğu çıkarımları ele alır. Daha açık olarak ifade ettiğinde, her kıyas
sonucunun, sonuçta geçen terimleri orta terim denilen üçüncü bir terimle ilişkilendiren iki
öncülden çıktığını söyler. Onun dar anlamdaki kullanımına göre, ‘yağmur yağarsa yer
ıslanacak; ancak yağmur yağacak; bundan dolayı yer ıslanacak’ türünden bir çıkarıma ve
öncülü bileşik önerme olan diğer herhangi bir çıkarıma ‘kıyas’ adını veremeyiz. Onun, bir
kıyasın öncül olarak tekil bir önermeye sahip olmasına da izin vermediği söylendiyse de o
aslında daha sonraki bir paragrafta bu türden bir öncüle sahip bir kıyas örneğini verir. Bu
onun tekil önermelerin tümel ve tikel önermelerle uyumlu oldukları görüşüne uyar. Ancak
tekil terimlerin sadece özne olarak ortaya çıkabilme özelliği vardır, böylece Aristoteles sadece
geçerli bir mantıksal içgüdü tarafından değil, aynı zamanda tamamen genel önermelerden
meydana gelen çıkarımlar üzerine dikkatini toplamak için tüm terimlerinin birbiriyle
değiştirilebilir olmalarını arzu etmiştir.
Aristoteles’e göre, orta terimin diğer terimlerle kurduğu farklı ilişkiler sonucu ortaya
çıkan üç kıyas kalıbı vardır. Birinci kalıpta orta terim öncüllerden birinin öznesi, diğerinin
yüklemidir; ikinci kalıpta ikisinin de yüklemidir; üçüncü kalıpta ise ikisinin de öznesidir.
Kalıplar şu şekilde gösterilebilir:
Burada Yunanca büyük harflerin her çifti, Aristoteles’in alışıldık formülasyonunda ilk
harfin yüklemin yerini işaret ettiği genel bir önermenin (olumlu ya da olumsuz, tümel ya da
tikel) iskeletini gösterir. Aristoteles her durumda sonucun yüklemine büyük terim, öznesine
küçük terim demiştir, orta terim ise her iki öncülde ortak bulunan terimdir.
49
Daha sonraki yıllarda kalıpların içinde kıyasların meydana getirilebildiği değişik
şekillere kip (mood) denilmiştir. Aristoteles on dört adet geçerli kipi ayırt etmiştir. Yukarıda
görülen harfleri değişkenler olarak kullanarak, her bir kip için şartlı önerme formunda bir ilke
formüle eder. Aşağıdaki tabloda kolay okunması bakımından Aristoteles’in kendi harfleri
yerine M, S, P harflerini koyduk. ‘M’ harfi her zaman orta terimi, ‘S’ küçük terimi, ‘P’ de
büyük terimi gösterir. Diğer taraftan, her kalıbın ilkelerinin başına Aristoteles’e göre o
kalıptaki terimlerin sıralanma şeklini yazdık. Söz etme kolaylığı bakımından eklenen sayılar
ve Orta Çağ’daki kip adları Aristoteles’in çalışmasının bir bölümü değildir. Ancak sıralama
onundur ve aşağıdaki her formül onun tarafından zorunlu bağıntılı önermeler için bir şekil
olarak düşünülmüştür.
Birinci kalıp: P, M, S.
1.3. Her M, P ise ve bazı S’ler M ise, o zaman bazı S’ler P’dir (Darii).
1.4. Hiçbir M, P değilse ve bazı S’ler M ise, o zaman bazı S’ler P değildir (Ferio).
İkinci kalıp: M, P, S.
2.3. Hiçbir P, M değilse ve bazı S’ler M ise, o zaman bazı S’ler P değildir (Festino).
2.4. Her P, M ise ve bazı S’ler M değilse, o zaman bazı S’ler P değildir (Baroco).
Üçüncü kalıp: P, S, M.
3.1. Her M, P ise ve her M, S ise, o zaman bazı S’ler P’dir (Darapti).
3.2. Hiçbir M, P değilse ve her M, S ise, o zaman bazı S’ler P’değildir (Felapton).
3.3. Bazı M’ler P ise ve her M, S ise, o zaman bazı S’ler P’dir (Disamis).
3.4. Her M, P ise ve bazı M’ler S ise, o zaman bazı S’ler P’dir (Datisi).
3.5. Bazı M’ler P değilse ve her M, S ise, o zaman bazı S’ler P değildir (Bocardo).
3.6. Hiçbir M, P değilse ve bazı M’ler S ise, o zaman bazı S’ler P değildir (Ferison).
Birinci kalıbı inceleyen bir kişi yeterli şartın sağlandığını göstererek sonucu ispat eder.
Bu, dört çeşit genel önermenin tümünün ispat edilebildiği tek kalıptır. Özel kuralları (i) birinci
öncülün (büyük terimin bulunduğu öncül) tümel olması gerektiği ve (ii) ikinci öncülün olumlu
50
olması gerektiğidir. Aristoteles sadece birinci kalıptan kıyasların mükemmel ve tam olduğunu
düşünmüştür.
İkinci kalıbı inceleyen bir kişi, yüklemin özneye uygulanması için gerekli olan bir
şartın sağlanmadığını göstererek olumsuz olması gereken sonucu ispat eder. Bu kalıp için özel
kurallar (i) birinci öncülün tümel olması gerektiği ve (ii) bir öncülün olumsuz olması
gerektiğidir.
Üçüncü kalıbı inceleyen bir kişi, örneklerin verilebileceğini göstererek, tikel olması
gereken kıyas sonucunu ispat eder. Bu gereklidir, çünkü tikel bir önerme bir varoluş
bildirisidir ve varoluş örneklerden söz etmeden kurulamaz. Sonucun tikel olması gerektiği
şartından başka bu kalıbın tek özel kuralı ikinci öncülün olumlu olması gerektiğidir. Ancak
Aristoteles’in sıralamasındaki ilk iki kipin (Darapti ve Felapton) öncül olarak kullanılan tümel
önermeler için varoluş anlamı kabul edildiğinde geçerli oldukları fark edilmelidir.
Üçüncü kalıbın ilk iki kipi Aristoteles’in listesindeki varoluş anlamı kabulüne dayanan
tek kıyas modelleri oldukları hâlde, bu varsayımla tümel sonuçlara izin veren öncüllerden
tikel sonuçların çıkabileceği açıktır; yani şu ilkeleri ekleyebiliriz:
1.11. Her M, P ise ve her S, M ise, o zaman bazı S’ler P’dir (Barbari).
1.21. Hiçbir M, P değilse ve her S, M ise, o zaman bazı S’ler P değildir (Celaront).
2.11. Hiçbir P, M değilse ve her S, M ise, o zaman bazı S’ler P değildir (Cesaro).
2.21. Her P, M ise ve hiçbir S, M değilse, o zaman bazı S’ler P değildir (Camestros).
Saf (veya assetorik) genel önermeler kuramı ile onlardan yapılandırılan kıyaslar ile
birlikte Aristoteles bir modal önermeler ve modal kıyaslar kuramı hazırlamıştır. Modal bir
önerme ‘zorunlu’ sözcüğünü veya ‘mümkün’ sözcüğünü ya da bunlara eşdeğer bir sözcüğü
içeren bir önermedir; modal kıyas ise öncüllerinden en az biri modal önerme olan bir kıyastır.
Sonradan ‘P olması zorunludur’ şeklindeki önermelere ‘apodeiktik’, ‘P olması mümkündür’
şeklindekilere ‘problematik’, her iki nicelikten yoksun önermelere ise ‘assetorik’ denilmiştir.
Bundan Aristoteles’in modalite kuramının niçin formel çıkarım kuramına ait olduğunu
düşündüğünü görebiliriz. Olabilirlik ve zorunluluk kavramları Aristoteles’in Retorik adlı
eserinde belirtilen retorik ve diyalektik topoi’ye özgü olan tam genelliğe sahiptir. Herhangi
bir konudaki herhangi bir önerme ‘mümkün olarak’ ya da ‘zorunlu olarak’ nitelendirilebilir.
Hatta zorunlu ve zorunlu-olmayan yüklemleme arasındaki ayrım, bir ilineğin verilen bir şeye
ait olabilen ya da ait olmayabilen bir özellik olarak tanımlandığı - örneğin, oturuyor olmak bir
insana ait olabilir de olmayabilir de, -yüklemlenebilenler kuramında temel niteliktedir.
Önermeler Üzerine’nin 12. bölümünde Aristoteles iki soruyu ele alır: ‘Modal bir
önermenin çelişiği nedir?’ ve ‘Modal sözcük bir önermenin yüklemini mi yoksa tüm
önermeyi mi niteler?’ İkinci soru açıkça belirtilmez, ancak buna bir cevap birinci soru
tartışılırken ona bağlı olarak ortaya çıkar.
Aristoteles, çelişik çiftler listesine ‘doğru - doğru değil’ çiftini koyar. Bu muhtemelen
doğruluğun yarı-modal bir kavram olarak ele alınışının ilk örneğidir.
İkinci soruya cevabı modal sözcüklerin, içinde bulundukları önermenin tek bir
sözcüğünü ya da sözcük kümesini değil, tüm önermeyi niteler olarak düşünülmesi
gerektiğidir. Bunun ifadesi çok açık değildir, ancak Aristoteles’in düşüncesi yan cümleyi, yan
cümle tarafından ifade edilenin bir bütün olarak olabilirliğini ya da diğer modal kavramlardan
birini tasdik veya reddetmek için kullanılan modal önermenin öznesi olarak görmemiz
gerektiğidir. ‘Mümkündür’ gibi modal bir ifade varoluşsal şekilde kullanılan ‘olmak’ fiiline
benzer olarak görülmelidir. Bu, yan cümle tarafından ifade edilen şey hakkında bir iddiada
bulunmak için kullanılır ve bu iddiayı reddetmek için, olumsuz parçayı cümleye değil, modal
ifadeye iliştirmemiz gerekir, tıpkı ‘bir adam var’ önermesinin reddinin ‘bir adam-olmayan
var’ değil, ‘bir adam yok (var değil)’ olduğu gibi. Buraya kadar varlıksal önermeler ile
kurulan benzerlik Aristoteles’in çıkarımına yardımcı olmuştur.
52
3.5. Kıyas Olmayan Mantık
Aristoteles’in kendi kıyas kuramına bir altyapı olarak hiçbir şartlı önermeler kuramı
geliştirmemiştir. Ancak Birinci Çözümlemeler’inde zaman zaman şartlı şekil hakkında savlar
olarak aktarılan iki açıklaması vardır. Modern terminoloji ile bunlar tamdevirme ve geçişlilik
ilkeleridir ve sırasıyla aşağıdaki gibi ifade edilirler:
P var olduğunda Q’nun var olması zorunluysa, o zaman Q var olmadığında P’nin var
olmaması zorunludur.
P var olduğunda Q’nun var olması zorunluysa ve Q var olduğunda R’nin var olması
zorunluysa, o zaman P var olduğunda R’nin var olması zorunludur.
Çıkarım kuralları olarak sayılan bu iki ilkenin yardımıyla Aristoteles bir önerme ile
onun karşıtının beraberce doğru olamayacaklarını göstermeye çalışır. Bu çıkarım aşağıdaki
şekilde biçimlendirilebilir:
Farz edelim ki
ve
Bu saçmadır.
Daha önceki bir bölümde tüm geçerli çıkarımların tamamen kıyas akıl yürütmesine
indirgenmediği hâlde bu türden akıl yürütmeyi içerdiği iddiasında bulunmuştur. ‘Hipotez’ de
burada bir çıkarımda esas rol oynayan, ancak ne bir kıyasın herhangi bir bölümü olarak ne de
bir kıyasın şartlı bir ifadesi olarak rol alan bir önermenin genel adı olmuş gibidir. Örneğin,
Köşegen kenar ile eşölçülebilir ise, bir tek sayı bir çift sayıya eşit olacaktır. (Şartlı bir
kıyasın kısaltılmış özeti.)
Bir tek sayı bir çift sayıya eşit değildir. (Açıkça yanlış hipotezin reddi.)
Bundan dolayı köşegen kenar ile eşölçülemez. (Kıyas şeklinde çıkarılamayan sonuç.)
3.6. Theophrastus
Theophrastus birinci kalıp kıyasa beş dolaylı kip eklemiştir. Bunlar orta terimin bir
öncülün öznesi, diğerinin yüklemi olduğu kiplerdir, ancak sonuçta büyük terim özne olarak,
küçük terim de yüklem olarak görünür. Bunların ilkeleri şunlardır:
4.1. Her P, M ise ve her M, S ise, o zaman bazı S’ler P’dir (Bramantip).
4.3. Bazı P’ler M ise ve her M, S ise, o zaman bazı S’ler P’dir (Dimaris).
4.4. Hiçbir P, M değilse ve her M, S ise, o zaman bazı S’ler P değildir (Fesapo).
4.5. Hiçbir P, M değilse ve bazı M’ler S ise, o zaman bazı S’ler P değildir (Fresison).
54
Eğer;
4.21. Her P, M ise ve hiçbir M, S değilse, o zaman bazı S’ler P değildir (Camenos)
ilkesiyle altık kipi eklersek bu kalıpta altı geçerli kip elde ederiz, tıpkı Aristoteles tarafından
fark edilen her bir kalıpta olduğu gibi. Ancak varlıksal anlam varsayımı gerektiren kiplerin
(4.1, 4.21 ve 4.4) sayısı burada iki yerine üçtür.
55
Bu Bölümde Ne Öğrendik Özeti
56
Bölüm Soruları
a) Metafizik
b) Yasalar
c) Politika
d) Retorik
e) Nikomakhos’a Etik
a) Kategoriler
c) Retorik
d) Önermeler Üzerine
e) Topikler
d) Rekabetçi tartışma yürütebilmek için genel taktiksel ipuçları vermek gibi bir
işlevi vardır.
a) İnsan kanatlıdır.
a) Nitelik
b) Nicelik
c) Yer
d) Zaman
e) Nedensellik
a) Töz- insan
c) Durum- keser
d) Edilginlik- kesilir
e) Türün örneklerine ait olabilen ama ait olması da zorunlu olmayan bir ilinek
olabilir.
b) Bazı P’ler M ise ve her M, S ise, o zaman bazı S’ler P’dir (Dimaris)
e) Hiçbir P, M değilse ve bazı M’ler S ise, o zaman bazı S’ler P değildir (Barbara)
a) Hiçbir P, M değilse ve bazı M’ler S ise, o zaman bazı S’ler P değildir (Fesapo)
b) Bazı P’ler M ise ve her M, S ise, o zaman bazı S’ler P’dir (Dimaris)
Cevaplar
1)b, 2)c, 3)e, 4)a, 5)e, 6)c, 7)b, 8)d, 9)e, 10)a
59
4. HİNT MANTIĞI
60
Bu Bölümde Neler Öğreneceğiz?
61
Bölüm Hakkında İlgi Oluşturan Sorular
2. Nyaya nedir?
62
Bölümde Hedeflenen Kazanımlar ve Kazanım Yöntemleri
63
Anahtar Kavramlar
• Hint Mantığı
• Nyaya
• Kategoriler Öğretisi
64
Giriş
Batı felsefesi ile Hint felsefesi birbirlerinden oldukça farklıdır. Hint felsefesinin
kaynağı Veda denilen Hint kutsal kitaplarıdır. Hintliler felsefi sistemlerini nastika ve astika
olmak üzere iki kategoriye ayırdılar. Nastika sistemleri Budizm, Jainizm ve Carvaka olmak
üzere üç tanedir. Astika sistemleri ise birbirlerini tamamlayan çiftler oluşturmak suretiyle altı
tanedir: Mimamsa ve Vedanta, Samkhya ve Yoga, Nyaya ve Vaişeka. Nyaya mantık ile
ilgilidir.
Hint mantığının kökenleri ile ilgili üç farklı görüş bulunur: Hint mantığı Yunan
mantığından türemiştir, Yunan mantığı Hint mantığından türemiştir ya da her ikisi de
birbirlerinden bağımsız olarak ortaya çıkmışlardır.
Bilme dört koşula dayanır. Bunlar özne, anlama sürecinin yöneldiği nesne, anlama ve
bilginin doğasıdır. Tanım, o nesneyi diğerlerinden ayıran esas doğasını verir. Üç çeşit tanım
yanlışlığı vardır. Bunlar tanımın çok geniş olması, tanımın çok dar olması ve tanımın
imkânsız olmasıdır. Doğrudan algıda bulunabilmek için dört öğe gerekir. Bunlar duyular,
duyu nesneleri, duyular ile nesnelerin teması ve bu temas sonucu ortaya çıkan anlamadır. Beş
duyu organı olan göz, kulak, burun, dil ve deriden her birinin sırasıyla ışık, eter, toprak, su ve
hava olmak üzere kendi duyumlama alanları vardır. Bu duyu organlarından her biri kendisine
ilişkin nitelikler olan sırasıyla renk, ses, koku, tat ve dokunma duyusuna sahiptir.
Nyaya kıyası beş bölümden oluşur. Birinci bölümde kanıtlanacak sav olan önerme
verilir. İkinci bölümde savın nedeni belirtilir. Üçüncü bölümde somut bir örnek verilir.
Dördüncü bölümde özel duruma uygulama yapılır. Beşinci bölümde ise kıyasın sonucu
verilir.
Nyaya öğretisinde yedi kategori bulunur. Bunlar töz, nitelik, etkinlik, tür, özgünlük,
birlikte bulunma ve yokluk kategorileridir. Bu kategorilerin her birinin de alt kategorileri
mevcuttur. Hint mantığı kıyas ve kategoriler gibi birçok yönden Aristoteles mantığına
benzerlik gösterir.
65
4.1. Hint Felsefesi
Batı felsefesi ile Hint felsefesi birbirlerinden oldukça farklıdır. Batı felsefecisi bazı
soyut problemler ortaya atar ve bunları çözmeye çalışır. Oysa Hint felsefecisi erdemin en
önemli öğe olduğu belli bir zihin durumuna erişmeyi amaçlar; felsefe de bu amaç için bir
araçtır.
Hint felsefesinin kaynağı Veda denilen Hint kutsal kitaplarıdır. Bilimadamları Veda
metinlerinin ortaya çıkışını MÖ 1800 ve MÖ 1300 yıllarına dayandırsalar da bu tarihler
şüphelidir. Daha sonra MÖ 3. ve 2. yüzyılda Veda öğretileri kısa aforizmalar şeklinde
düzenlenmiş ve değiştirilemez olarak ifade edilmiştir. Bunun nedeni geleneksel öğretileri
zaman içinde meydana gelebilecek çarpıtmalardan, özellikle Budistlerin çarpıtmalarından
korumaktı.
Hintliler felsefi sistemlerini nastika ve astika olmak üzere iki kategoriye ayırdılar.
Nastika sistemleri Vedaları yanılmaz olarak görmezler ve kendi geçerliliklerini Vedaların
otoritesine dayandırmazlar. Nastika sistemleri üç tanedir. Bunlar Budizm, Jainizm ve
materyalist bir sistem olan Carvakadır.
Astika sistemleri ise birbirlerini tamamlayan çiftler oluşturmak suretiyle altı tanedir:
Mimamsa ve Vedanta, Samkhya ve Yoga, Nyaya ve Vaişeka. Bu altı öğretinin her birine
darsana denir ki bu Sanskritçede ‘bakış açısı’ anlamındadır. Bu altı bakış açısından her birinin
Veda öğretisiyle veya öğretinin diğer herhangi bir yönüyle, yani herhangi bir darsana ile ters
düşmeyen bir yönü olduğu anlamındadır.
Anton Dumitriu History of Logic adlı kitabında Avrupa dillerinin ‘darsana’ terimini
‘sistem’ veya ‘okul’ olarak çevirdiğini, oysa bunların bu terimin tam anlamını vermediğini
söyler. Ona göre Hindistan’da batı anlamında ‘sistemler’ ve ‘okullar’ bulunmaz. Dumitriu bu
terimlerin Max Müller tarafından Hint felsefesine adapte edildiğini söyler.
Her biri gerçekliğe farklı bir bakış açısından bakan bu sistemler birbirinin ardı sıra
gelmezler. Her biri diğerleriyle yan yana bulunur ve her biri ayrı bir evren görüşünü temsil
66
ederek her zaman birlikte hüküm sürerler. Bu sistemlerin her biri kendi içinde tamdır. Her biri
fizik, metafizik, mantık, etik içerdiği hâlde, bir sistem içinde bazı konular daha önemli bir
yere sahiptir ve daha ayrıntılı tartışılır. Böylece, Mimamsa daha fazla teoloji ile ilgiliyken,
Samkhya daha fazla metafizik ile ilgiliyken, insanın akıl yürütme melekelerinin yakından
incelendiği Nyaya sistemi de daha fazla mantıkla ilgilidir. Mantık soruları çözülmesi
gerektiğinde diğer sistemler Nyaya sistemine başvururlar.
Max Müller, “On Indian Logic” adlı makalesinde mantık ve dilbilgisi bilimlerinin ilk
olarak sadece Hintliler ve Yunanlılar tarafından icat edildiğini söyler. Diğer bütün milletlerin,
bu bilimleri geliştirdilerse de, ilk dürtüyü dışarıdan aldıklarını belirtir. Bu bilimleri Romalılar
Yunanlılardan, Almanlar Romalılardan, Araplar Yunanlılardan, Yahudiler ise Araplardan
öğrenmişlerdir.
Yunan ve Hint mantık sistemlerinin birbirleriyle örtüştükleri birçok nokta vardır. Her
ikisinde de kategoriler, cinsler, türler ve kıyas bulunmaktadır. Hristiyanlık öncesi Yunan ve
Hint akıl yürütmesindeki benzerlikler El-Biruni’nin (MS 1030) Hindistan üzerine yazdığı
kitapta birçok kez belirtilmiştir. Bu benzerlikler yüzünden Hint mantığı ve Aristoteles
mantığının kökenleri ile ilgili üç farklı görüş bulunmaktadır.
İlk görüş Hint mantığının Yunan mantığından türemiş olduğudur. Bu görüşün ilk
savunucularından biri ünlü Alman tarihçi Bertold Georg Niebuhr’dur. Niebuhr bu mantık
benzerliğini Hintliler’in ile Bactra’lı Grek-Makedon kralları ile kurdukları ilişkiyle açıklar.
İkinci görüş Yunan mantığının Hint mantığından türemiş olduğudur. İran asıllı
Kaşmirli yazar Mohsan Fani’ye (1615–1670) göre Aristoteles’in bir akrabası olan Kallistenes
amcasına Brahmanlardan, diğer şeylerin yanında, bir mantık sistemi de aktarmıştır. Büyük
İskender’in Hindistan seferine katılanlardan biri olan Kallistenes (MÖ 370–327) İskender’in
saray tarihçisi idi. Subash Kak, “Aristotle and Gautama on logic and physics” adlı
makalesinde Aristoteles’nin Kallistenes’ten Yunanistan’a metinler getirmesini istediği
hakkında güvenilir kanıtlar olduğunu yazar. Onun Babilliler’in astronomi gözlemlerini geri
getirdiği birkaç kaynak tarafından onaylandığından dolayı, onun Hint mantığını da
beraberinde getirdiği olasılığını varsaymak Kak’a inandırıcı gelir. Ona göre, Aristoteles de
bunları kendine özgü bir sistem içinde geliştirmiş olabilir. Bu görüş Görres gibi kişiler
tarafından savunulmuştur.
67
Şimdi bilim adamlarının kökenleri hakkında hemfikir olamadıkları Hint mantığını,
yani Nyaya’yı inceleyelim.
4.3. Nyaya
Max Müller Nyaya’ya bildiğimiz anlamda mantık denilmesini yanlış bulur. Diğer
sistemler gibi Nyaya sisteminin nihai amacının da varoluş problemini çözmek olduğunu ve
sadece bu amaca ulaşmak için bilgi araçlarına, bunlardan biri olarak da kıyas akıl yürütmesine
özel önem verdiğini belirtir.
Nyaya sadece Vaiseşika ile değil, tüm diğer sistemlerle zorunlu bir birlik içindedir.
Nyaya kural, metot, konuşma modeli anlamındadır. Terimin anlamından da açıkça görüldüğü
gibi mantık Hindistan’da Yunan’da olduğu gibi tartışma metodolojisinden dolayı gelişmiştir.
Sanskrit edebiyatında tartışma sanatı hakkında birçok kitap bulunur.
Nasıl mantık Batı Orta Çağı’nda felsefe öğrencisinin ilk alması gereken ders ise,
Hindistan’da da diğer sistemlerin incelenmesine giriş olarak görülüyordu. Bundan dolayı ona
‘Hint felsefesinin omuriliği’ deniliyordu.
Kak, Kautilya’nın Arthasastra adlı eserinde (MÖ 350) mantığın bağımsız bir araştırma
alanı, anvikşiki, olarak tanımlandığını yazar. MÖ 500’den önce yazılmış olan Mahabharata
destanında ise, anvikşiki’nin tarka disiplinine eşdeğer olduğunu söylenmiştir. Böylece, MÖ
500’lerde Hindistan’da mantık için birkaç eşdeğer terimin kullanıldığı açıktır.
Nyaya üzerine yazılmış temel metin, yaklaşık MÖ 550 yılında yaşadığı sanılan
Akşapada Gautama’nın Nyaya Sutra adlı eseridir. Ancak kimi bilim adamları bu eserin MÖ 3.
yüzyılda yazılmış olduğunu savunurlar. Gautama’nın aforizmalardan oluşan bu kitabıyla
başlayan tüm bir mantık literatürü ortaya çıkmıştır. Böylece Nyaya Satras denilen Hint
mantık kitapları yazılmıştır. Hint mantıkçılarına da Naiyayika denilmiştir. Nyaya Sutra
üzerine ilk önemli yorumu ise yaklaşık MS 5. yüzyılda Vatsyayana yazmıştır ve eserin adı
Nyaya Bhaşya’dır.
Hint felsefesinde mantığın önemi sayısız yorumcu ile bütün bir literatürün ortaya
çıkışından da görülebilir. Bu literatür farklı bilim adamları tarafından farklı bölümlere
ayrılmıştır. S. Chatterjee History of Philosophy Eastern and Western adlı eserdeki yazısında
2000 yıla yayılan Hint mantık tarihini iki büyük döneme ayırır. Bunlar
Gautama Nyaya Sutra’da nyaya disiplinini aynı zamanda doğru bilgi bilimi (pramana
sastra) olarak adlandırır. Gautama bilmenin dört koşula dayandığını söyler. Bunlar özne
(pramatr), anlama sürecinin yöneldiği nesne (prameya), anlama (pramiti) ve bilginin doğasıdır
68
(pramana). Ona göre doğru bilgi dört şekilde elde edilebilir. Bunlar doğrudan algı (pratyakşa),
çıkarım (anumana), benzetme (upamana) ve sözel ifadedir (sabda).
Nyaya’da tanım, o nesneyi diğerlerinden ayıran esas doğasını verir. Üç çeşit tanım
yanlışlığı vardır. Bunlar tanımın çok geniş olması (ativyapti), tanımın çok dar olması
(avyapti) ve tanımın imkânsız olmasıdır (asambhava). Tanımın çok geniş olmasına bir örnek
ineği boynuzlu hayvan olarak tanımlamaktır. Tanımın çok dar olmasına bir örnek ise kuşu el
parmakları uzamış ve esnek uçma derisiyle çevrilmiş, geceleri aktif olan, baş aşağı tutunarak
uyuyan uçan hayvan olarak tanımlamaktır.
Gautama doğrudan algıda bulunabilmek için dört öğenin gerektiğini söyler. Bunlar
duyular (indriyas), duyu nesneleri (artha), duyular ile nesnelerin teması (sannikarsa) ve bu
temas sonucu ortaya çıkan anlamadır (jnana).
Beş duyu organı olan göz, kulak, burun, dil ve deriden her birinin kendi duyumlama
alanları vardır. Bunlar sırasıyla ışık, eter, toprak, su ve havadır. Bu duyu organlarından her
biri kendisine ilişkin nitelikler olan sırasıyla renk, ses, koku, tat ve dokunma duyusuna
sahiptir.
Gautama’ya göre zihin kişiyle duyular arasında aracılık eder. Zihin bir anda ancak bir
duyu-organı ile temas edebilir, birden fazla duyu organıyla temas edemez. Etkilerin hızlı bir
şekilde birbiri ardına gelişi eşzamanlılık görüntüsü verebildiği hâlde, deneyimlerimizin esasen
doğrusal olmaları zihnin yapısından dolayıdır.
Nesnelerin nitelikleri kendi başlarına varlığa sahip değildir. Bir nesnenin rengi ve
sınıfı maddeye göre ikincil derecededir. Gautama doğrudan algının ifade edilemez olduğunu
söyler. Şeyler adlarıyla algılanmazlar. Bir ad duyulduğunda nesnenin kavranması doğrudan
algı değil, sözel kavrayıştır.
Gautama tüm algıların geçerli olmadığını söyler. Normal algı şu beş öğenin varlığına
bağlıdır: algı nesnesi, duyumlama alanı (örneğin, görme durumunda ışık gibi dış ortam), duyu
organı, duyu-organlarının nesneleri ile bağlantı kurmalarını sağlayan zihin ve kişinin kendisi.
Normal algı için gerekli şartlardan herhangi biri tam olarak sağlanmazsa algı hatalı
olur. Gautama’ya göre yanılsamanın nedenleri duyu organındaki bozukluk (dosa), bir
nesnenin sadece bir bölümünün sunulması (samprayoga) veya alakasız hatırlamaya dayanan
alışkanlık (samskara) olabilir.
Gautama çıkarımın algılanmış olandan algılanmamış olan hakkında elde edilen bilgi
olduğunu söyler. Bu ikisi arasındaki ilişki üç çeşit olabilir: ya çıkarılacak öğe algılanan
öğenin nedeni olabilir ya çıkarılacak öğe algılanan öğenin sonucu olabilir ya da ikisi birden
başka bir şeyin birleşik sonucu olabilirler.
Bilginin ilerlemesi daha önceden iyi-bilinen bir şey ile karşılaştırma sonucu olur. Bu
karşılaştırma bizi bu duyulara dayanmayan kavrayış vasıtasıyla anlamanın temeli olan
tümevarım çıkarımına geri götürür.
69
Bilginin önemli bir kaynağı tanıklık ifadesidir (sabda). Sözcüklerin anlamı uzlaşma ile
elde edilir. Sözcük bir birey, bir şekil, bir cins ya da bunların tümü anlamına gelebilir.
Sözcükler topluluğu olan bir cümle, sonunda bıraktığı izden dolayı kavranır. Bilgi iki çeşittir:
bilincin önceki durumlarının üretimi olmayan kavrayışlar (anubhava) ve hatırlama sonucu
elde edilen bilgi (smrti).
Hata ve yanlışlıklar doğru akıl yürütme sürecine karışma neticesinde ortaya çıkar.
Nyaya’ya göre, kesin bilgi vardır. Kavrayışların gerçeği kapsayıp kapsamadığı onun başarılı
eyleme yol açıp açmadığını belirleme ile kontrol edilir. Geçerli bilgi (prama) geçersiz bilginin
(aprama) aksine başarılı eyleme yol açar.
3. Örnek (drştanta): Duman olan yerde ateş vardır, mutfakta olduğu gibi.
Birinci bölümde kanıtlanacak sav olan önerme verilir. İkinci bölümde savın nedeni
belirtilir. Üçüncü bölümde somut bir örnek verilir. Dördüncü bölümde özel duruma uygulama
yapılır. Beşinci bölümde ise kıyasın sonucu verilir.
Nyaya kıyasının beş bölümü Hint düşüncesinde temel oluşturan bandhu fikrinden
doğar. Bandhu genelde mikro-dünya ve makro-dünya olan iki farklı sistem ile kişinin bilişsel
sistemi arasındaki denkliği ifade eder.
Nyaya kıyası önce iki bileşeni (iki bölümü) ile önerme sistemini kurar ve ardından da
bu sistemin bandhu-benzeri bağıntı kurması gereken diğer sistemi (üçüncü ve dördüncü
bölümleri) tanımlar. Sonuç (beşinci bölüm) öncüller formel olarak tanımlandıktan sonra
oluşturulabilir. Kıyasta bandhu’ya başvurma öznenin faaliyetini onaylamak içindir. Bu türden
bilgi olmaksızın, özne geçersiz algıya açıktır.
Fransız Hint bilimci Rene Guenon 1930’da mantık üzerine yazılmış daha sonraki bazı
metinlerin Nyaya Sutra’nın beş-öğeli kıyasının ya sadece ilk üç bölümünün ya da sadece son
üç bölümünün yer aldığı iki kısaltılmış şeklini gösterdiklerini belirtmiştir. İlk üç bölümünü
kapsayan kıyas 6. yüzyıl Hint Nyayapravesa’sına, son üç bölümünü kapsayan kıyas ise
Aristoteles kıyasına benzemektedir.
70
Şimdi Aristoteles kıyası ile Nyaya kıyasının benzerliğini göstermek amacıyla
Aristoteles kıyasının klasik örneğini Nyaya kıyasına uyarlayalım.
Aristoteles kıyası
Nyaya kıyası
Açıkça görüldüğü üzere Nyaya kıyasının son üç bölümü Aristoteles kıyasına benzer.
Töz (dravya) nitelik ve etkinliğin dayanağıdır. Dokuz çeşit töz vardır. Bunlar toprak,
su, ateş, hava, eter, zaman, mekân, ruh (bilincin tözü) ve zihindir.
Nitelik (guna) kendi başına nitelik ya da etkinliği olmadan bir tözde bulunan şeydir.
Şeylerin varoluşlarını değil, doğalarını belirleyen yirmi dört nitelik vardır. Bunlar renk, tat,
koku, dokunma-duyusu, sayı, ölçü, ayrı olma özelliği, birleşme, ayrılma, uzaklık, yakınlık,
ağırlık, akışkanlık, akışmazlık, ses, (iç) bilgi, zevk, mutsuz (acı), arzu, hoşlanmama, gayret,
hayır, kötülük ve eğilimdir.
Etkinlik (karma) töze özgü fiziksel harekettir, ancak tözden ve nitelikten farklıdır.
Etkinlikler algılanabilir ve algılanamaz tözlerde bulunmalarına göre ya algılanabilirler ya da
algılanamazlar. Beş çeşit etkinlik vardır. Bunlar yükselen etkinlik, alçalan etkinlik, daralma,
genişleme ve lokomosyondur (genel hareket).
71
Tür (samanya) bir kümedeki tüm bireylerin ortak özüdür. Tümel anlamındadır ve hem
tözde hem de nitelik ve etkinlikte bulunur. Yüksek ve alçak olmak üzere iki tür bulunur.
Yüksek tür saf varlık anlamındadır. Alçak tür ise töz anlamındadır.
Özgünlük (viseşa) tümelin tam karşıtını ifade eder. Şeyler arasındaki özgün farklılıklar
onların bileşenleri arasındaki farklılıklardan dolayıdır ve sonuçta onların nihai parçaları olan
atomlar arasındaki nitelik farklılıklarından dolayıdır. Bireyleri oluşturan atomlar sonsuz
olduğundan sonsuz sayıda özgün farklılık vardır.
Birlikte bulunma (samavaya) iki şey arasında daima bulunan bir ilişkidir. Örneğin, tür
ve onun bireyleri arasındaki ilişki veya etkinlik ve onu yapan arasındaki ilişki birer birlikte
bulunmadır.
Yokluk (abhava) varlık kadar gerçek bir olgudur. Dört çeşit yokluk mevcuttur. Bunlar
henüz var olmamış, ama gelecekte olabilen, artık var olmayan, ancak daha önce var olmuş;
hiçbir zaman ve hiçbir yerde var olmayan ve “bir bardak bez değildir” cümlesinde görüldüğü
gibi başka bir şey olan şey olmayan.
Diğer Hint mantık metinleri ile Nyaya Sutra ve Aristoteles’in metinleri iki uygarlığın
kozmolojileri ile uyuşan iki farklı bakış açısıdır. Diğer Hint felsefe metinleri gibi Nyaya Sutra
da Hint sistemi içinde öznenin merkeziyetini sürdürür, oysa Aristoteles’in mantığında önemli
olan dünyanın bir makine gibi tasarlanmasıdır. Bu aynı zamanda evrenin oluşum öğelerindeki
farkı da gösterir. Hint sisteminde evrenin beş öğeden oluştuğu düşüncesine karşı
Aristoteles’de dört öğe (toprak, hava, su, ateş) bulunur. Hint sistemindeki beşinci öğe (akasa)
duyu alanı ile ilgilidir.
72
Bu Bölümde Ne Öğrendik Özeti
73
Bölüm Soruları
a) Akıl
b) Nyaya
c) Düzen
d) Veda
e) İlke
a) Veda
b) Jainizm
c) Budizm
d) Carvaka
e) Yoga
a) Nyaya
b) Samkhya
c) Budizm
d) Vaişeka
e) Yoga
4) Aşağıda “nyaya” ile ilgili bazı bilgiler verilmiştir. Verilen bilgilerden hangisi
veya hangileri doğrudur?
II. Nyaya üzerine yazılmış temel metin, Gautama’nın Nyaya Sutra adlı eseridir.
b) Yalnız II
c) I ve II
d) II ve III
e) Hepsi
I. Özne
a) Yalnız I
b) Yalnız II
c) I ve II
d) II ve III
e) Hepsi
a) Yalnız I
b) Yalnız II
c) Yalnız III
d) II ve III
e) Hepsi
c) Sadece Vaiseşika ile değil, tüm diğer sistemlerle zorunlu bir birlik içindedir.
a) Doğrudan algı
b) Çıkarım
c) Zorunlu doğrusallık
d) Benzetme
e) Sözel ifade
a) Pisagor
b) Yoga
c) Frege
d) Kant
e) Gautama
Cevaplar
76
5. MEGARALILAR VE STOALILAR
77
Bu Bölümde Neler Öğreneceğiz?
78
Bölüm Hakkında İlgi Oluşturan Sorular
79
Bölümde Hedeflenen Kazanımlar ve Kazanım Yöntemleri
80
Anahtar Kavramlar
• Megaralılar
• Stoalılar
• Mantık
• İçerme
81
Giriş
Megara Okulu’nu Platon’un yaşça büyük çağdaşı olan Euclides kurmuştur. Bu okulun
diğer üyeleri Diodorus Cronus, Eubulides ve Stilpo’dur. Megaralılar mantığın gelişimine üç
önemli katkıda bulunmuşlardır. Bir takım ilginç paradokslar yaratmışlar, modal mantık
kavramlarını yeniden incelemişler ve şartlı önermelerin doğası üzerine önemli bir tartışma
başlatmışlardır. Özellikle Eubulides paradoksları ile ünlüdür. Bu paradokslar Yalancı, Electra,
Kel Adam ve Boynuzlu Adam paradoksları olmak üzere dört paradoksa indirgenebilir.
Diodorus ilk iki önermeyi evetledi ve üçüncünün yalanlandığı sonucuna vardı, bundan
dolayı onun için ‘olanaklı’, ‘ya şimdi doğru ya da gelecekte doğru’ya eşdeğerdi. Onun bu
görüşü hiçbir zaman gerçekleşmeyen olanakların olduğunu söyleyen Aristoteles ile doğrudan
çelişir. Chrysippus ise Usta argümanının birinci ve üçüncü önermelerini evetlemiş, ancak
ikinci önermesini yalanlamıştır. O, ‘bir olanaksızın bir olanaklıdan çıkabileceğini’ iddia
etmiştir.
82
5.1. Megara Felsefesi ve Stoa Mantığının Kökenleri
İlkçağın daha sonraki dönemlerinde iki büyük mantık okulu ortaya çıkmıştır. Bunlar
Aristoteles’ten kaynaklanan Peripatetik okul ve Megaralılar’ın öğretisinden Chrysippus
tarafından geliştirilen Stoa okuludur.
1) Yalancı Paradoksu: ‘Bir kişi yalan söylediğini söylüyor. Onun bu söylediği doğru
mudur, yanlış mıdır?’
3) Kel Adam veya Yığın Paradoksu: ‘Bir adamın sadece tek tel saçı olsa ona kel der
miydin? Evet. Bir adamın sadece iki tel saçı olsa ona kel der miydin? Evet. Bir adamın... v.s.
O zaman sınır çizgisini nerede çekersin?’
İlk türden paradokslar bir ifadenin kendi doğruluğu veya yanlışlığı hakkında bir şey
söylemeye çalışmasının tuhaflığını gösterir. İkinci türden paradokslar ‘tanımak’ sözcüğünün
farklı kullanımları ve eğer X Y ile özdeş ise X hakkındaki her doğru söz aynı zamanda Y
hakkında da söylenebilir varsayımının uygunluğu hakkında sorular ortaya atarlar. Üçüncü
türden paradokslar bazı gündelik ifadelerimizin temel belirsizliğini ortaya çıkarırlar.
Dördüncü türden paradokslar ise eğer bir ifade (örneğin, ‘boynuzları kaybettin’) bir öngörü
taşıyorsa (örneğin, ‘bir zamanlar boynuzların vardı’), bu ya aynı varsayım kabul edilerek
sınırlamalı bir şekilde yalanlanabilir ya da bu varsayım kabul edilmeden sınırlamasız bir
şekilde yalanlanabilir.
83
Eubulides Aristoteles’e karşıdır ve ona uzun uzadıya saldırmıştır. Peripatetiklerle
Megaralılar arasındaki karşıtlığın başlangıcının bu olup olmadığı bilinmemektedir; ancak
Megaralılardan Stoalılara kalan tartışma yüzyıllarca sürmüş ve mantığın gelişimine olumsuz
etki yapmıştır. Aristoteles ve Stoa kuramları aslında birbirini tamamlayıcı nitelikteyken,
bunlar alternatif kuramlarmış gibi görülmüştür.
Stoalılar koşullu ve diğer karmaşık önerme formlarını içeren bir çıkarım kuramını
detaylı olarak ilk tasarlayanlardı. Koşullu önermelere duyulan ilgi diyalektiği Elealı Zenon
geleneğinde gerçekleştiren filozoflar arasında doğaldı ve Stoalılar bu ilgiyi Megaralılarla olan
bağlantılarından dolayı edindiler.
Diodorus olanaklı olanı ya doğru olan ya da doğru olacak olan olarak, olanaksızı
yanlış olup doğru olmayacak olan olarak, zorunluyu doğru olup yanlış olmayacak olan olarak,
zorunlu olmayanı da ya zaten yanlış olan ya da yanlış olacak olan olarak tanımlamıştır.
Diodorus olayları olanaklı, olanaksız, zorunlu veya zorunlu-değil olarak düşünmemiştir,
84
çünkü o modal sıfatların yüklemlerle aynı olan öznelere ‘doğru’ ve ‘yanlış’ uyguladığını
varsaymıştır.
Diodorus’un görüşleri ünlü ‘Usta Argümanı’ ile bağlantılıdır. Ayrıca İlk Çağda bu
görüşler determinizm veya kadercilik içerir şekilde görülmüştür.
Usta Argümanı’ndaki karışıklıklar Aristoteles’in bildiri kipinden bir cümle ile onun
ifade ettiği önermeyi birbirinden ayıramamasından kaynaklanır.
Boethius Philo’nun dört modal terim tanımını şöyle açıklar: ‘Philo olanaklının
ifadenin iç doğası tarafından doğruluğa imkân veren olduğunu söyler, örneğin Theocritus’un
Bucolics’ini bugün tekrar okuyacağım dediğim zaman olduğu gibi. Eğer hiçbir dış koşul bunu
engellemezse, o zaman, kendi başına ele alındığında, bu şey doğru olarak onaylanabilir. Aynı
şekilde Philo zorunlu olanı doğru olan ve kendi başına hiçbir zaman yanlışa imkân veremeyen
olarak tanımlar. O zorunlu-olmayanı kendi başına yanlışa imkân verebilen, imkânsız olanı da
kendi iç doğası tarafından hiçbir zaman doğruluğa imkân veremeyen olarak açıklar.’ Philo
olanaklılığı temel modal kavram olarak almış ve onu öz-tutarlılık ile özdeşleştirmiştir.
Olanaklı olan, doğruluğa imkân veren ya da doğruluğa imkân verirken dış koşullar
tarafından doğru olması engellenmeyendir.
85
Zorunlu olan, doğru olup yanlışlığa imkân vermeyen veya yanlışlığa imkân verirken
dış koşullar tarafından yanlış olması engellenendir.
Zorunlu-olmayan, yanlışlığa imkân veren veya yanlışlığa imkân verirken dış koşullar
tarafından yanlış olması engellenmeyendir.
Stoacı tanımlara gelince, mesele daha karmaşıktır. Terimlerin her biri bir ayrıklık
tarafından tanımlandığından dolayı, tanımlayan terimlerin herhangi ikisi birbiriyle çelişiklik
bağıntısında olamaz. Ancak tanımlar iki farklı karşıtlık karesine yol açar. Bir tanesi mutlak
olarak anlaşılan modal terimler içindir ve bu Philo’nun karşıtlık karesiyle özdeştir, diğeri
göreceli olarak anlaşılan terimler içindir ve şu şekildedir:
Stoacı karşıtlık karelerinin herhangi birine göre, zorunlu bir önermenin çelişiği
imkânsız bir önermedir. Bu, Chrysippus’un olanaklılık görüşleri hakkında sahip olduğumuz
bilgiyi daha da şaşırtıcı hâle getirir. Chrysippus Usta argümanının ikinci önermesini reddetmiş
ve olanaksız olanın olanaklı olandan çıkabileceğini söylemiştir. Bu açıkça tanımlarla
tutarsızdır. Tanımlara göre olanaksız bir önermenin karşıtı zorunlu olmalıdır.
86
5.3. Koşullu Önermelerin Doğası Üzerine Tartışma
Philo koşullu bir önermenin ancak ve ancak bir doğrulukla başlayıp bir yanlışlıkla
bitmediğinde geçerli olduğunu söylediğinde, ‘eğer... o zaman...’ın günümüzdeki adıyla
doğruluk-fonksiyonu tanımını ileri sürmüştür. Bu tanıma göre koşullu bir önermenin
doğruluğu veya yanlışlığı önbileşen ve artbileşeninin doğruluğu ve yanlışlığı tarafından
belirlenir. Philo’nun görüşlerine ikinci kez değindiğinde Sextus şöyle der: ‘Böylece ona göre
koşullu bir ifadenin doğru olması için üç yol, yanlış olması için ise bir yol olabilir. Koşullu bir
ifade bir doğruluk ile başlayıp bir doğruluk ile biterse doğrudur, “gündüz ise, aydınlıktır”
ifadesi gibi. Bir yanlışlıkla başlayıp bir yanlışlıkla biterse de doğrudur, “dünya uçarsa,
dünyanın kanatları vardır” ifadesi gibi. Benzer şekilde bir yanlışlıkla başlayıp bir doğrulukla
biten koşullu bir ifade de doğrudur, “dünya uçarsa o vardır” gibi. Koşullu ifade yalnızca bir
doğruluk ile başlayıp bir yanlışlık ile biterse yanlıştır, “gündüz ise gecedir” ifadesi gibi”.
Önbileşenin yerini belirlemek için ‘P’, artbileşenin yerini belirlemek için ‘Q’ yazarak
bu açıklamayı bir doğruluk tablosunda aşağıdaki şekilde sunabiliriz. Tablolama yöntemi son
zamanlara kadar uygulanmaya konmamıştır.
P Q P ise Q
d d d
d y y
y d d
87
y y d
Philo’nun örneğine karşı ileri sürdüğü itiraz ile kendi görüşünü belirtirken kullandığı
‘bir doğrulukla başlayıp bir yanlışlıkla bitemezdi ve bitemez’ ifadesi burada, Usta
argümanında olduğu gibi, Diodorus’un bir zaman doğru olabilen, ancak başka bir zaman
doğru olamayan ifadeler kavramı ile çalıştığını gösterir. Geçerli bir koşullu ifadenin bir
doğruluk ile başlayıp bir yanlışlık ile bitemediğini veya bitemez olduğunu söylediğinde, o
açıkça ‘gündüz ise konuşuyorum’ şeklindeki sözcüklerin Philo’nun şartını muhtemelen bir
zaman sağlayabileceğini, başka bir zaman sağlayamayacağını ima etmek istemiştir. Yine o
açıkça kendi kuramına göre koşullu bir ifadenin eğer Philo’nun şartını, geçmiş, şimdi veya
gelecek, herhangi bir zamanda sağlamazsa geçerli olmayacağını söylemek istemiştir. Kısaca,
Diodorus ‘eğer... o zaman...’ı bizim genelde anladığımız şekliyle, zorunluluğa ilişkin olarak
tanımlamamıştır. O koşullu bir önermeyi sadece kendisi geçerli olmadıkça değil, aynı
formdaki sözcüklerden oluşturulan ifade tarafından değişik zamanlarda yapılan tüm diğer
önermeler de Philo’nun tanımı anlamında geçerli olmadıkça geçerli olarak kabul etmemiştir.
Gönderimi hiç bir şekilde söylemin zamanına dayanmayan ifadeler için onun şartları
Philo’nunkilerle örtüşüyordu, çünkü sözcüklerin farklı zamanlarda söylenmesi farklı ifadeler
oluşturmayacaktı.
Diodorus’un görüşünün diğer bir sonucu geçerli koşullu önermelerin, basit önermeler
gibi modalitelerini değiştiremedikleridir. Zorunluluk tanımına göre, bunlar sadece her zaman
zorunlu olmayacaklardır, aynı zamanda her zaman zorunlu olmuş olmaları da gerekir. ‘P ve
Q-değil’in doğru olacağını söylemenin doğru olduğu bir zaman yoksa o zaman ‘Ya P ya da Q,
veya P-değil ve Q, veya P-değil ve Q-değil’ demek her zaman doğruydu, yani geçerli koşullu
bir önermede ifade edilen her zaman zorunludur.
Stoalılar insan bilgisi şemalarında mantığa belirli bir yer vermişler ve konusunun
doğası hakkında belirli bir kuramı savunmuşlardır. Diogenes’e göre felsefe öğretisini fizik,
etik ve mantık olmak üzere üç bölüme ayıran ilk kişi Stoacılığın kurucusu Zenon’dur. Bu
ayrım Aristoteles’in Topikler kitabında yaptığı önermeler ve problemler sınıflandırmasına
kelimesi kelimesine karşılık gelir, ancak bunun öğretimde açıkça onaylanıp kullanılması
88
Stoalılar’a özgü bir yeniliktir. Peripatetikler mantığı daha çok bir alet olarak görürken
Stoalıların bunu felsefenin bir bölümü olarak görmüşlerdir.
Her ne kadar ‘diyalektik’ terimi altına bizim bir tarafta epistemolojiye diğer tarafta
dilbilgisi ve linguistiğe havale ettiklerimizi koymuş olsalar da, bizim ‘mantık’ terimimize en
iyi karşılık gelen Stao terimi ‘diyalektik’dir.
Diogenes’e göre, Stoalılar diyalektiği belirtilen şeyler ile ilgili bölüm ve belirten şeyler
veya konuşmanın elemanları ile ilgili bölüm olarak tekrar bölmüşlerdir.
Özellikle lekta kuramı kısa sürede oldukça karmaşaya neden olmuştur. Örneğin, daha
sonraki Aristoteles yorumcularından Philoponus lektanın sesler olduğunu söylerken
Simplicius onların düşünceler olduğunu söyler.
Lektanın asıl bölünmesi tam ve eksik olarak olur: ‘İfadenin bitmemişinin lektası
eksiktir, örneğin “yazar”; çünkü biz “kim?” diye sorarız. Tam lekta ifadesi bitmiş olanlardır,
örneğin, “Sokrates yazar”. Eksik lekta yüklemler ve özneler olarak bölünmüştür.
Aksiyomata açıkça felsefi açıdan en önemli olandır. Bu, ‘yargı’ veya ‘önerme’ olarak
betimlenmiştir. Diogenes şu tanımı verir: ‘Aksiyoma doğru veya yanlış olan ya da kendi
başına açıklayıcı olandır.’
Diogenes’in basit aksiyomata ayrımı, o açıkça farkına varmasa da iki farklı ilke
üzerinde ilerler. Biri kategorik, belirli ve belirsiz olarak üçlü sınıflandırmayı verir, diğeri ise
89
olumlu ile çeşitli olumsuz türleri arasındaki ayrımı verir. İlk ilkeyi kullanarak, Sextus da üçlü
bir sınıflandırma verir, ancak o ‘belirli’, ‘belirsiz’ ve ‘aradaki’ terminolojisini kullanır.
Buradaki belirli aksiyoma Diogenes’in belirlisine karşılık gelir: Sextus’un örnekleri ‘Bu adam
yürüyor’ ve ‘Bu adam oturuyor’dur. Belirsiz aksiyomata da her iki yazar için aynıdır.
Sextus’un aradaki aksiyoma için örnekleri ‘Adam oturuyor’ veya ‘Bir adam oturuyor’ ve
‘Sokrates yürüyor’dur. Sextus belirsiz aksiyomaya, belirlinin doğru olduğu görüldüğü zaman
doğru denildiğini açıklar ve belirli aksiyoma doğru olmadıkça hiçbir önermenin doğru
olamayacağını öne sürer. Bu, Stoalıların belirli aksiyomayı esas olarak aldıklarını gösterir.
Olumsuz için ‘Gündüz değildir’ örneğini verir ve sanki tüm olumsuzlar basit
aksiyomataymış gibi yazar. Ancak Sextus’un karşıtlar tartışması Stoalıların her aksiyomanın,
ne kadar karmaşık olursa olsun, olumsuzlanabileceğini bildiklerini gösterir. Stoalılara göre bir
aksiyomanın karşıtı olumsuzluk ekini tümünün önüne ekleyerek oluşturulur.
Burada bir yönetici kapsamı kavramının ilk ortaya çıkışını görüyoruz. Stoalılar çift
olumsuzu da fark etmişler ve bunun ilk olumluyla eşdeğer olduğunu söylemişlerdir.
90
‘Doğru’ ve ‘yanlış’ yüklemlerini aksiyomata, tanıtmalar ve çıkarımlar olarak üç farklı
türün öznelerine uygulamışlardır.
O zaman, Stoalılar için aksiyoma esas anlamda doğru veya yanlıştır ve basit belirli bir
aksiyomaya ‘yüklem işaret zamiri altına düşen şeye ait olduğunda’ doğrudur denilir. Diogenes
bir örnek vasıtasıyla daha basit bir açıklama vermiştir. ‘Gündüzdür’ tarafından belirtilen
aksioma eğer gündüzse, doğrudur; gündüz değilse, yanlıştır. Bu açıklama Aristotelesci
açıklamaya çok yakındır, sadece örnekle devam eder.
Gördüğümüz nedenlerden dolayı, axiomata önermeler ile basit bir şekilde bir
tutulamazsa da, bunlar önermelere birkaç önemli açıdan benzer. Bunlar tamamen bildirme
cümleleri tarafından ifade edilir; esas anlamda doğru veya yanlıştırlar; soyutturlar ya da
Stoalıların dedikleri gibi cisimsizdirler ve onları düşünsek de düşünmesek de bir anlamda
mevcutturlar.
91
Chrysippus’un ‘...ve...nin her ikisi değil’ formunu karmaşık önermeler için ayrı bir
form olarak görmüştür. İngilizce gibi Yunanca da ayırma kavramı için tek bir parçacık
içermez ve bundan dolayı, Chrysippus bu formu, akıl yürütmede gerekli olduğunu düşündüğü
için kabul etmiştir.
Geçerli çıkarım şemaları içinde Chrysippus beş tanesinin temel olduğunu fark etmiştir.
Bunlar bir takım İlk Çağ otoriteleri tarafından kanıtlanamayan kalıplar olarak
adlandırılmışladır:
1. Eğer birinci ise, o zaman ikinci; ancak birinci; bundan dolayı ikinci.
2. Eğer birinci ise, o zaman ikinci; ancak ikinci değil; bundan dolayı birinci değil.
3. Birinci ve ikinci ikisi birlikte değil; ancak birinci; bundan dolayı ikinci değil.
Görldüğü gibi her çıkarım kalıbının iki öncülü vardır. Chrysippus ve onun yakın
takipçilerine göre bu en basit akıl yürütme türü için şarttı. Yaklaşık MÖ 159-130’da Stoa
okulunun başında olan Antipater tek öncülden çıkarımı fark etmiş ve bu bir yenilik olarak
görülmüştür. Ayrıca, Chrysippus’un kanıtlanamayan kalıplarındaki bir çıkarım için gerekli
olan iki öncülden biri karmaşık olmalıdır. Formel bir gösterimde genellikle ilk olarak bununla
başlanır ve buna ana öncül denilmiştir. İkinci öncüle de ek varsayım denilmiştir.
6. Eğer birinci ise, o zaman eğer birinci ise ikinci; ancak birinci; o zaman ikinci.
7. Eğer birinci ve ikinci ise, o zaman üçüncü; ancak üçüncü değil; diğer taraftan
birinci; bundan dolayı ikinci değil.
Sextus her iki ispatın da çıkarımların analizi için geleneksel olan şu ilkeyi gösterdiğini
söylemiştir: Önermeler belli bir sonucu gerekli kıldığında, açıkça ifade edilmese de, bu
önermeler potansiyel olarak sonucu içlerinde barındırırlar.
92
Bu Bölümde Ne Öğrendik Özeti
93
Bölüm Soruları
a) Diodorus Cronus
b) Eubulides
c) Stilpo
d) Euclides
e) Zenon
a) Kaplumbağa paradoksu
b) Yalancı paradoksu
c) Electra paradoksu
a) Stilpo
b) Kıbrıslı Zenon
c) Diodorus
d) Euclides
e) Eubulides
a) Chrysippus
b) Diodorus Cronus
c) Philo
d) Aristoteles
e) Cleantes
94
5. Aşağıdakilerden hangisi modalitede zorunlu olana işaret eder?
95
a) Zorunlu olanı doğru olan ve kendi başına hiçbir zaman yanlışa imkân veremez.
e) Doğru olup yanlışlığa imkân vermeyen veya yanlışlığa imkân verirken dış
koşullar tarafından yanlış olması engellenendir.
Cevaplar
96
6. ROMA VE ORTA ÇAĞ MANTIĞI I
97
Bu Bölümde Neler Öğreneceğiz?
98
Bölüm Hakkında İlgi Oluşturan Sorular
99
Bölümde Hedeflenen Kazanımlar ve Kazanım Yöntemleri
100
Anahtar Kavramlar
• Roma
• Orta Çağ
• Mantık
101
Giriş
MÖ 1. yüzyıl: Çiçero
MS 2. yüzyıl: Apulleius
Galen
Afrodisyas’lı İskender
Martianus Capella
102
6.1. Çiçero’dan Boethius’a
Stoa mantığı Chrysippus tarafından ifade edildikten sonra onun sisteminin değeri ile
Aristoteles sisteminin değeri tartışılmıştır. Daha sonra yavaş yavaş bir kaynaşma ya da klasik
İlk Çağın sonunda Boethius’un eserinde biten bir karmaşa olmuştur. Karanlık Çağ’dan sonra
mantık çalışması yeniden başladığında, Boethius’un yazıları Aristoteles’inkilerden daha iyi
biliniyordu ve saygınlığı yüksekti.
Milattan önceki son iki yüzyıl ile milattan sonraki ilk yüzyıl boyunca Atina’daki
felsefe okulları yan yanaydılar ve kurucularının öğretilerini az çok izleyen öğretilere sahip
öğrenciler için çekişiyorlardı. Ancak bunlardan en etkilileri Stoalılar ile Epikürcüler idi.
Platon’un Akademisi, en ünlü üyesi Carneades ile hemen şüpheciliğin yuvası oldu ve
Aristoteles’in etkisi çok güçlü değildi. Çiçero’nun yazılarından onun zamanında Stoa
okulunun egemen olduğu görülür.
Çiçero’nun felsefe çalışmaları arasında Topika adında küçük bir inceleme vardır. Bu
eserin mantık öğretiminde önemli etkisi olmuştur, çünkü İlk Çağın sonlarında mantık retorik
ile ilişkili olduğundan Topika oldukça değerliydi. Bu kitapta Aristoteles’in Topikler’inden az
miktarda doğrudan alıntı yer alır. Romalı hatip eğitimi için bir el kitabı olarak tasarlanmıştır
ve bundan dolayı içinde Roma hukukundan örnekler bulunur.
MS ikinci yüzyıldan Aristoteles ve Stoa mantığını birlikte ele alan ve her birinin
özelliklerine dikkat çeken Latince yazılmış ufak bir el kitabı kalmıştır. Bu yaklaşık MS
140’da Antoninler zamanında yıldızı parlayan Apuleius’a atfedilen Rasyonel Felsefe veya
Yorum Üzerine (De Philosophia Rationali sive Peri Hermeneias) adlı eserdir.
103
İkinci yüzyılda mantık üzerine yazan daha önemli bir yazar, yaklaşık 129’dan 199’a
kadar yaşamış olan tıp doktoru Galen’dir. Çalışmalarını içeren kendi kataloğuna göre bir
Aristotelescinin bakış açısından mantık hakkında oldukça çok şey yazmıştır. Ancak
yanlışlıklar üzerine küçük bir kitapçıktan başka günümüze kalan tek mantık çalışması
kataloğunda bahsedilmemiş olan Diyalektiğe Giriş’tir. Bu ilk kez 1844’de Athos Dağı’nda bir
manastırda bulunmasından birkaç yıl sonra yayınlanmıştır. Bu eser mantık tarihi açısından
çok ilginçtir, çünkü iki akımın iç içe geçtiğini gösterir.
Galen her iki okulun da teknik terimlerini bazen bir açıklama ile birlikte bazen de
açıklamasız olarak kullanmıştır. Böylece o Aristoteles’in birinci kalıp kıyaslarından
kanıtlanamayanlar olarak söz etmiştir. İki teknik terim kümesi üzerine yorumda
bulunduğunda da hangisini kullandığımız fark etmez demiştir. Tür sıralamasında kategorik
kıyas mı hipotetik kıyas mı önceliklidir sorusunda Aristoteles’ten sonra Peripatetik okulun on
birinci başkanı Boethus’un hipotetik kıyasa öncelik verdiğini yazmış, ancak her hâlükarda her
ikisini de öğrenmemiz gerektiğinden bu tartışmanın önemli olmadığını düşündüğünü
söylemiştir. Kendi görüşü her mantığın kendi uygulama alanına sahip olduğudur. Çoğunlukla
birinci kalıptan kategorik kıyaslar, örneğin Eratostenes’in dünyanın büyüklüğü hakkındaki
hesaplamaları gibi geometricilerin akıl yürütmelerini kontrol etmek için gereklidir, oysa
hipotetik kıyaslar ‘Kader var mıdır?’, ‘Tanrılar var mıdır?’, ‘Takdiri ilahi var mıdır?’ gibi
soruların araştırılması için gerekir. Bu ayrım ilginçtir, çünkü bu Aristoteles mantığının hâlâ o
zamanda geometri kanıtlaması ile ilişkili olduğunu, Stoa mantığının ise metafizik sorularını
halletmek için diyalektiğin kullanımı ile ilişkili olduğunu ortaya koyar. Bu ufak kitapta başka
ilginç noktalar da vardır. İlk önce burada koşullu, ayrık veya bileşik olsun, ‘hipotetik’
sözcüğünün karmaşık ifadelerin genel adı olarak yerleştiğini görürüz.
104
eleştiricisidir. Sextus’un Orta Çağ mantığının gelişmesine doğrudan etkide bulunduğu kesin
olmasa bile mümkündür, çünkü Megara ve Stoa mantığı hakkında bilgi barındıran
Pironculuğıun Ana Hatları üzerine kısa çalışması bir gelişme döneminde Latinceye
çevrilmiştir. Diğer taraftan İskender’in etkisi ise kesin, ancak dolaylıdır. Onun yorumları daha
sonraki bilim adamları tarafından bir kaynak olarak kullanılmış ve biliminin bir kısmı Latin
batıya Boethius ya da diğer aracılar vasıtasıyla ulaşmıştır. Mantık (logike) terimini ilk kez o
kullanmıştır.
Üçüncü yüzyıl sonunda yaşayan Porfiryus, sadece eski bilimi aktarmamış, aynı
zamanda daha sonraları karmaşıklık yaratan Aristoteles’in beş tümel öğretisinin yanlış
anlaşılmasının da kaynağı olmuştur. Kategoriler ve Yorum Üzerine eserlerinin belli
paragraflarının haricinde Aristoteles mantığı genel önermelerle ilgiliydi. Aristoteles beş tümel
öğretisini formüle ettiğinde, genel bir ifadede, yani bir cins veya tür hakkındaki bir ifadede bir
yüklemin bir özneyle kurabileceği farklı bağıntıları oluşturmaya çalışmıştır. Ona göre, yüklem
öznenin tanımı, hassası, cinsi veya arizi özelliği olabilir. İsagoji (yani Kategoriler’e ve genel
mantığa Giriş) adlı eserinde Porfiryus bunlara türü eklemiştir. Bu yenilik beş tümel ayrımının
tekil özne ile bağlantılı olarak kullanılabilir olduğu anlamında alınmamalıdır, çünkü bir tekil
için hiçbir şey hassa ya da arizi özellik değildir. Ancak bu Orta Çağ öğretisi olan quinque
voces’in (beş tümelin) (tür, cins, ayrım, özellik ve ilinek) başlangıç noktasıdır.
Dördüncü yüzyıl boyunca eski uygarlık zaten inişteydi ve beşinci yüzyılın başında,
Aziz Augustinus etkinken, Roma İmparatorluğu’nun büyük bölümü batıda barbarlar
tarafından istila edilmiştir. Aziz Augustinus’a atfedilen çalışmalar arasında Diyalektiğin
İlkeleri adlı bir makale ile Aristoteles’in On Kategorisi adlı küçük bir inceleme bulunur. Aynı
dönemde Martianus Capella Filolojinin Merkür ile Evliliği eserini yazmıştır ve bu eserinin
dördüncü kitabının adı Diyalektik Sanatıdır.
Boethius son Latin İlk Çağ filozofudur, ancak Orta Çağ’a etkisi bakımından en önemli
olandır. Boethius 470-524 yılları arasında yaşamış bir Hristiyandır ve sadece mantık üzerine
değil, aritmetik, müzik, teoloji üzerine de çok fazla yazı yazmıştır. Çoğunlukla Yunan
elkitapları ile yorumlarından derlemeler yapmıştır. Çalışmaları karanlık çağdan sonra batıda
yeniden medeniyet kurmaya çalışan kişiler için değerli bir bilim deposu olmuştur. Onun
çevirileri olan Kategoriler ile Yorum Üzerine’nin Latince versiyonları erken Orta Çağ dönemi
filozoflarının genellikle bulabildikleri yegâne Aristoteles metinleridir. Ayrıca Birinci
Analitikler, Topikler, Sofistlerin Çürütmeleri Üzerine’nin çevirilerini de yapmıştır, ancak
bunlar daha geç bir tarihe kadar fazla yayılmamıştır. Çevirilerden başka mantık üzerine
105
mevcut olan çalışmaları Porfiryus’un İsagoji’si üzerine iki yorum, Aristoteles’in Kategoriler’i
üzerine bir yorum, Aristoteles’in Yorum Üzerine’sine bir yorumun iki baskısı, Kategorik
Kıyaslara Giriş ile birlikte Kategorik Kıyaslar adlı bir inceleme, Hipotetik Kıyaslar adlı bir
inceleme, Bölümler adlı bir inceleme, Çiçero’nun Topikler’i üzerine bir yorum ve Farklı
Topikler adlı bir incelemedir.
Boethius en çok klasik kültürün Orta Çağa geçişinde bir aracı olarak önem kazandığı
hâlde, eserinde yeni olabilen ve Orta Çağ mantığındaki en ilginç gelişmelerden biri için olası
bir kaynak olduğundan kesinlikle önem arz eden hipotetik kıyaslar üzerine bir yer vardır. Bu
koşullu önermeler arasında, sonucun (consequentia) çeşidine göre yapılan bir ayrımdır.
Boethius’un consequentia sözcüğü sırasıyla Aristoteles ve Stoalılar tarafından ‘sonucu çıkan’
anlamında kullanılan Yunanca sözcüğün büyük olasılıkla bir çevirisidir. Ona göre koşullu bir
önermenin doğruluğu hiçbir zorunlu bağıntı gerektirmeyebilir, ancak sadece ikincil ilinek
(secundum accidens) olabilir. Diğer taraftan, bir doğal sonuç (consequentia naturae)
gerektiren koşullu önermeler vardır ve bunlar Boethius tarafından tekrar bölünmüşlerdir.
Zorunlu bağıntılar bildiren koşullu önermeler, her zaman terimlerin yeri tarafından
olmasa da, Boethius’a göre Aristoteles ve Çiero tarafından tartışılmış olan konumlardan (loci)
elde edilebilir. Çiçero’ya göre konum (locus) çıkarımın oturduğu yerdir (sedes argumenti),
yani büyük önermedir (maxima propositio).
Mantık üzerine yazılan ilk Orta Çağ eseri Alcuin’in Dialectica’sıydı. Bu büyük
olasılıkla Charlemagne saray okulunun müdürü olduğunda eğitimin temeli olarak yeniden
kurduğu triviumda (dilbilgisi, diyalektik ve hitabet) kullanılmak üzere yaratılmıştı ve
kendisiyle imparator arasında geçen ilginç bir diyalog tarzında yazılmıştı ki bu diyalogda
Charlemagne’e sorular sordurulmuştu. Aristoteles’in kategorileri (sözde Augustinuscu
Categoriae Decem’de açıklandığı şekliyle) haddinden fazla ilgi kazanmıştır, ancak
çıkarımların değerlendirilmesine ayrılan yer gerçekten çok küçüktür. Kıyaslar hakkında hiçbir
107
detay yoktur. Bir süre bu çalışma öğretimde yaygın olarak kullanılmış, ancak bilgi
genişlediğinde unutulmuştur.
Yaklaşık 810’dan 877’ye kadar yaşamış olan Johannes Scotus Erigena akıl yürütmede
kıyas dizilerini kullanan ilk Orta Çağ yazarıdır. Çoğu bilim adamı için mantık Hristiyan
Roma’nın edebi kalıntılarında bulunması gereken ilginç bir şey olarak görülmüştür. Ancak
onuncu yüzyılda Boethius’un Aristoteles’in Kategoriler ve Önermeler Üzerine çevirileri ile
Porfiryus’un İsagoji’si daha çok yayılmaya başlamıştır. 972’den itibaren Rheims’de ders
veren ve 1003’de Papa Sylvester II olarak ölen Gerbert Çiçero’nun Topica’sı ile Victorinus ve
Boethius’un yazıları üzerine çalışmıştır. Fleury’li Abbo ve St. Gall’li Notker Labeo dönemin
diğer etkili hocalarıdır.
Garland’ın yazdığı zamanlar filozoflar, okulları dört yüzyıl boyunca bölecek olan
büyük tümeller tartışmasına henüz başlamamışlardır Aristoteles’in tümeller öğretisini
reddeden modernler (moderni) Garland’ın eserinde gördüğümüz gibi, savlarını dilbilimsel
tartışmalarda geliştirmişlerdir.
On birinci yüzyılın sonu ile on ikinci yüzyılın başında entelektüel macera ruhu o kadar
büyümüştür ki modernleri diyalektiğin kâfirleri olarak tanımlayan ve onların ruha ilişkin
soruların tartışılmasından kovulması gerektiğini söyleyen Anselm dahi kendi teolojisinde tüm
aykırı diyalektik düşüncelerin en önemlisini öne sürmüştür. Proslogion adlı eserinde
Tanrı’nın varoluşunu (sonradan ontolojik adı verilen) bir çıkarımla ispatlamaya çalışmış ve bu
çıkarımda varoluşun kendisine sahip olan şeylerin mükemmeliyetine eklenen bir ilinek olduğu
varsayılmıştır.
On ikinci yüzyılın ilk yarısı Orta Çağ felsefesinin Rönesans’a kadar koruyacağı şekli
aldığı dönemdir ve bu geleneğin kurulmasında en güçlü etkenlerden biri Abelard’ın çalışması
Sic et Non’dir. (Evet ve Hayır). Bu çalışmada teoloji soruları üzerine otoritelerin
anlaşmazlıkları sergilenmiştir. Genellikle Ortodoks gözüyle bakılan, örneğin Aziz Thomas
Aquinas gibi, sonradan gelen yazarların çalışmalarında bu metot devam etmiştir. Tüm felsefe
ve teoloji ve hatta hukuk sorular vasıtasıyla çalışılmıştır. Her sorunun başında birbirine karşıt
olan veya karşıt görünen otoriteler sıraya dizilmişlerdir, ardından öğretmen problemi çözmeye
ve tüm zorlukları bertaraf etmeye yeten anlam farklılıkları üreterek ustalığını sergilemiştir. İlk
kez on ikinci yüzyılda düzenlenen üniversitelerde öğrencilerin dahi tartışma becerisine sahip
olması beklenmiştir; çünkü sınavlar adayların kendi ustalarının çalışmasını devam
ettirebileceklerini gösterdikleri münazaralar olmuşlardır. Orta Çağ akademisyenleri Yeni Ahit
108
ile tutarlı sonuçlara varmaları gerektiğinden, faaliyetleri Yunanlıların bildikleri türde
diyalektik değildir.
109
Bu Bölümde Ne Öğrendik Özeti
110
Bölüm Soruları
1. Aşağıdakilerden hangisi veya hangileri Milattan önceki son iki yüzyıl ile
milattan sonraki ilk yüzyıl boyunca Atina’daki en etkili felsefe okulları arasındadır?
I. Stoalılar
II. Epikürcüler
III. Lykeion
a) Yalnız I
b) Yalnız II
c) Yalnız III
d) I ve II
e) II ve III
a) Abelard
b) Aristoteles
c) Boethius
d) Capella
e) Apuleius
111
a) Çiçero
b) Galen
c) Aristoteles
d) Eratostenes
e) Philo
a) Çiçero
b) Galen
c) Sextus Empiricus
d) Eratostenes
e) Philo
a) Çiçero
b) Galen
c) Sextus Empiricus
d) Eratostenes
e) Afrodisyaslı İskender
a) Afrodisyaslı İskender
b) Çiçero
c) Galen
d) Sextus Empiricus
e) Eratostene
112
8. İsagoji kitabının yazarı ve Aristoteles yorumcusu olarak bilinen felsefeci
kimdir?
a) Afrodisyaslı İskender
b) Çiçero
c) Porfiryus
d) Sextus Empiricus
e) Eratostenes
9. Ünlü Orta Çağ düşünürü Abelard’ın “Sic et Non” adlı kitap başlığının anlamı
nedir?
a) Evet ve Hayır
b) Varlık ve Yokluk
c) İyilik ve Kötülük
d) Emir ve Buyruk
e) Eros ve Uygarlık
a) Küçük Girişler
b) İçerik Mantığı
e) Dialectica
Cevaplar
1)d, 2)a, 3)c, 4)b, 5)c, 6)e, 7)a, 8)c, 9)a, 10)c
113
7. ROMA VE ORTA ÇAĞ MANTIĞI II
114
Bu Bölümde Neler Öğreneceğiz?
115
Bölüm Hakkında İlgi Oluşturan Sorular
116
Bölümde Hedeflenen Kazanımlar ve Kazanım Yöntemleri
117
Anahtar Kavramlar
• Roma
• Orta Çağ
• Terimlerin Özellikleri
• Koşullu Önerme
118
Giriş
Yeni çevirileriyle veya Boethius versiyonlarıyla ilk kez okullara giren Aristoteles’in
Organon’unun Kategoriler ve Yorum Üzerine adlı bölümleri hariç tümü 12. yüzyıldan sonra
uzun süre ‘yeni bilim’ (ars nova) olarak tanınmıştır. Bundan böyle Paris, Oxford ve diğer
üniversitelerde okutulan standart mantık eserleri Organon, Porfiryus’un İsagoji’si,
Boethius’un Bölümler’i (De Divisionibus) ile Farklı Topikler’i (De Differentiis Topicis) ve
Gilbert de la Porree’nin Altı İlke Hakkında Bir Kitap (Liber de Sex Principiis) olmuştur.
Aristoteles’in mantıksal olmayan eserleri tercüme edildiğinde bunlar ilk başta şüphe
uyandırmışlardır, çünkü bunlar İspanya’da yaşayan ve çalışan Arap filozof İbn-i Rüşd’ün
panteist yorumu ile dolaşıma çıkmışlardır. Ancak 13. yüzyıl süresince bunlar kuşkudan
arındırılmış, Büyük Albert ve Aziz Thomas Aquinas tarafından Hristiyanlığa uydurulmuştur.
Yeni bilimin yayılmasından sonra yazılan mantık kitapları arasında o zamana kadar
yayınlanan en eskisi Shyreswood’lu William’ın Mantığa Giriş’idir. Eser önermeler, beş
tümel, kıyaslar, diyalektik konular, terimlerin özellikleri (proprietates terminorum) ve
yanlışlıklar olmak üzere altı bölüme ayrılmıştır. Bu kitabın kıyaslarla ilgili bölümde ünlü
anımsatıcı dizeler Barbara celarent ilk kez görünürler. Terimlerin özellikleri bölümü bir
yenilik barındırır; yanlışlıklar bölümünde ise yeni örneklerle sunulan sofizmlerin Aristotelesçi
açıklamaları yer almıştır.
119
7.1. Üniversitelerde Mantık
Tüm Organon’u dikkate alan ilk Orta Çağ eseri Salisbury’li John’un 1159’da yazdığı
Metalogicon olmuştur. Bu eser bilgisiz bir eleştirmenin saldırılarına karşı bir mantık
savunması olduğunu iddia eder, ancak asıl değeri bize on ikinci yüzyıl biliminin durumu
hakkında verdiği bilgidir. 1136’da henüz bir çocukken John Paris’de mantık okumuş ve
girdiği derslerdeki hocalarının zekâlarından çok etkilenmiştir. O zaman Abelard bir süreliğine
ders vermeye geri dönmüştür, ancak diyalektikten zevk alan başkaları da vardır. On iki yıl
sonra geri döndüğünde John birçoğunun hiçbir şey öğrenmemiş olduklarını, ancak ılımlılıktan
vazgeçmiş olarak hâlâ aynı soruları tartıştıklarını görmüş ve şöyle yazmıştır: “Böylece
deneyim şu belirgin sonuca varmamı sağladı ki diyalektik diğer çalışmaları ileri götürürse
tamam, ancak tek başına kalırsa kansız ve kısır kalıyor, başka yerde aynı merak haricinde,
felsefe meyvesi vermek için ruhu hızlandırmıyor.”
120
Aristoteles ve onun Arap yorumcularının çalışmaları Latinceye tercüme edildiğine
Batı felsefecileri yeni malzemeyi hazmedip özümsemeye koyulmuşlardır ve bu amaç için
sadece yorumlamalar değil özel konularda kendi tractatus ve summulae’lerini, yani sistematik
özetlerini üretmişlerdir. Formel mantıkta on ikinci yüzyıl mantıkçılarında en büyük etki
bırakan Aristoteles eseri, beklendiğimiz üzere Birinci Çözümlemeler değil, Sofistlerin
Çürütmeleri Üzerinedir. Bunun nedeni bu eserin onların metin koleksiyonlarında bir boşluğu
doldurmasıdır. Boethius’un yazılarından okuduklarıyla topikler ve kıyasları zaten biliyorlardı,
ancak o zamana kadar sofizmler üzerine bir eser okuyamamışlardır ve burada buldukları tam
onlara göredir. Kıyas kuramında yeni ve zor olan modal kıyaslarla boğuşmak zorundaydılar,
ancak ilk başta burada Aristoteles’in söylediklerine ekleyecek pek bir şey yok gibi
görünmüştür. Diğer taraftan, Abelard’ın zamanında olduğu gibi, kıyaslar kuramından daha az
mükemmel olan topikler kuramı yeniliklere fırsat tanımıştır, böylece sofizmlerin incelenmesi
filozofları, ustalıklarını yeni bulmacalar oluşturma ve çözmede kullanmaya teşvik etmiştir.
Yeni Bilimin yayılmasından önce dahi sofizmlere duyulan bu ilgi bir İngiliz olan (Paris’de
Petit Pont’ta ders verdiğinden Parvipontanus olarak da anılan) Balsham’lı Adam tarafından
1132’de yazılmış olan Tartışma Sanatı’nda (Ars Disserendi) ortaya çıkar. Geleneksel
terminolojiyi kasten kullanmayan ve kendi özgünlüğünden gurur duyan bu yazara göre,
mantık çalışmada esas amaçlarımızdan biri sofizmler tarafından kandırılamamak için dilde
ustalık kazanmaktır. Bu türden bir girişim doğal olarak sofizmlerin ortaya çıkabildiği çeşitli
şekilleri incelemeyi gerektirir ve böylece insanları gündelik kullanımın anlaşılmazlıklarını
açığa kavuşturmaları için çok zaman ve gayret sarf etmeye yöneltir. Balsham’lı Adam’ın
tesadüfen fark ettiği çok ilginç bir paradoks bir nesneler kümesinin boyut olarak kendine eşit
bir özalt kümeye sahip olabilmesinin olanaklı olmasıdır. Daha sonraki dönemlerde,
Aristoteles’in Sofistlerin Çürütmeleri Üzerine eseri okunarak iştah kabartıldığında sofizm
hayranlığı o kadar fazla olmuştur ki sofizmler her türlü bağlamda ileri sürülmüşlerdir. On
dördüncü yüzyılda Saf Mantık Sanatı Hakkında Uzun Görüşmeler (De Puritate Artis Logicae
Tractatus Longior) adlı eserini yazan Walter Burleigh eserinin ikinci bölümünde sofizmleri
bazı yerlere o kadar serbestçe serpiştirmiştir ki bunlar bazı kısımlarda yarıdan fazla yer
kaplamışlardır. Öğretim amacıyla ‘altın sofizmler’ (aurea sophismata) derlemeleri dahi
mevcuttur. Ancak sonunda bir zamanlar çekici görülen aptalca ve sıkıcı görülmeye
başlanmıştır. Rönesans adamları için sofistik mantık-kıyımı Orta Çağ eğitiminin belki de en
utanılacak bölümüydü.
Sofizmler arasında özel ilgi çeken bir grup o zamanlar insolubilia denilen Yalancı
paradoksunun çeşitleriydi. Balsham’lı Adam iyi bilinen bir şey olarak yalan söyleyen adam
bilmecesinden bahseder ve daha sonra bunun hakkında birçok inceleme yazılmıştır.
Aristoteles’in mantıksal olmayan eserleri tercüme edildiğinde bunlar ilk başta şüphe
uyandırmışlardır, çünkü bunlar İspanya’da yaşayan ve çalışan Arap filozof İbn-i Rüşd’ün
(1126-98) panteist yorumu ile dolaşıma çıkmışlardır. Ancak on üçüncü yüzyıl süresince
bunlar kuşkudan arındırılmış ve Büyük Albert (1193-1280) ve Aziz Thomas Aquinas (1225-
74) tarafından Hristiyanlığa uydurulmuştur. Bu dönemdeki anlaşmazlıklarda Aristoteles’in
Hayvanlar Üzerine eserinin zihinsel ruh hakkındaki öğretisi temel öneme sahip olmuştur ve
bundan dolayı dikkat Aristoteles’in ‘ruhun şeylerin farkına onların formlarını (türlerini) içine
121
alarak vardığı’ ifadesine yönelmişti. Zihinsel yaşamın bu şekilde açıklanması doğal olarak
Yorum Üzerine eserinin ilk bölümünün bilindik öğretisinin bir detaylandırması olarak
alınmıştır, burada ruhun bir bakıma dış nesnelerin kopyaları olan durumlara veya
değişikliklere sahip olduğu söylenmiştir ve böylece eski bir kuram olan konuşmanın üç çeşidi,
yazılı, sözlü ve zihinsel konuşma yeni bir hayat bulmuştur. Düşüncenin ruhtaki doğal
imlerden oluşan propositiones mentales (zihinsel önermeler) aracılığıyla türediği genellikle
savunulmuştur ve bu kuramın detaylandırılmasında tekrar Arap etkisi önemli olmuştur. İbni
Sina’nın (979-1037) Arapçasında ruhta bulunan bir form, ma’na terimi, yani anlam ya da
kavram ile özdeşleştirilmiştir ve İbn-i Sina’nın eserleri Latinceye çevrildiğinde, ma’na tüm
bağlamlarda intentio terimi tarafından betimlenmiştir. Böylece intentio Orta Çağ
epistemolojisinde ‘ruhtaki doğal im’ teknik anlamına sahip olmuştur. Ayrıca İbn-i Sina birinci
ve ikinci anlamanın doğal imleri arasında ayrım yapmıştır ve ikinci anlamanın doğal imlerinin
insanların birinci anlamaya uyguladıkları cins ve tür kavramları gibi soyut kavramlar
olduğunu söylemiştir. Mantığın sadece ikinci anlamanın ma’naları ile ilgili olduğunu
savunmuştur ve bunlar bilinenden bilinmeyene akıl yürütmede kullanılmıştır. Bu, Orta Çağ
mantığının sonuna kadar devam eden birinci ve ikinci içlemler (intentions) tartışmasının
başlangıcıdır.
Daha sonraki dönemlerde düşünce ile dil arasındaki benzerlik bazen o kadar ciddiye
alınmıştır ki zihinsel önermelerin de konuşma önermeleri veya yazılı önermeler gibi bir
dilbilgisine sahip oldukları düşünülmüştür. Örneğin, Pierre d’Ailly (1350-1425) zihinsel
terimlerin, tam anlamıyla, isimler ve fiiller olarak ayrılabildiklerini ve bunların arasında
isimlerin hâllerinin olduğunu söylemiştir. Pierre d’Ailly ‘doğru’ ve ‘yanlış’ sıfatlarının esas
anlamlarında zihinsel önermeler denilen önermelere uygulanabilir olduğunu da bildirmiştir;
ancak bu görüş genel kabul görmemiştir. Çünkü onun çağdaşlarından bazıları Rimini’li
Gregory’yi (öl. 1358) takip ederek doğruluk ve yanlışlığın tam olarak complexe significabilia
dedikleri önerme içeriklerine ait olduğunu savunmuşlardır. Böylece Abelard tarafından ortaya
atılan sorular 300 yıl sonra hâlâ tartışılmaktadır.
Yeni bilimin yayılmasından sonra yazılan mantık kitapçıkları arasında o zamana kadar
yayınlanan en eskisi Shyreswood’lu William’ın Mantığa Giriş (Introductiones in Logicam)
veya Özetler’idir (Summulae). Modern basılı metin olarak sadece yetmiş beş sayfadan oluşan
bu kısa eser bir İngiliz tarafından on üçüncü yüzyılın ilk yarısında muhtemelen Paris’te
yazılmıştır. Bu eser önermeler, beş tümel, kıyaslar, diyalektik konular, terimlerin özellikleri
(proprietates terminorum) ve yanlışlıklar olmak üzere altı bölüme ayrılmıştır.
Kıyaslarla ilgili bölümde ünlü anımsatıcı dizeler Barbara celarent ilk kez ve aşağıdaki
şekilde görünürler:
122
Felapton disamis datisi bocardo ferison.
Burada her sözcük geçerli bir kalıbın formülü olarak alınmalı ve şu kurallara göre
yorumlanmalıdır: ilk üç sesli harf bir kıyas oluşturacak üç önermenin nicelik ve niteliğini
belirtir, a tümel olumluyu, e tümel olumsuzu, i tikel olumluyu ve o da tikel olumsuzu
simgeler. İlk dört formülden sonra gelen her formülün ilk sessiz harfi bu kipin ilk dört kipten
aynı harfle başlayanına indirgeneceğini belirtir; bir sesli harften hemen sonra bulunan s harfi
indirgeme sırasında karşılık gelen önermenin basit döndürmesini belirtir; aynı durumdaki p
harfi de önermenin kısmen veya dolaylı döndürmesini belirtir; bir formülün ilk iki sesli harfi
arasındaki m harfi öncüllerin yer değiştirmesini belirtir; ilk iki sesli harfin birinden sonra
gelen c harfi imkânsıza indirgeme amacıyla, karşılık gelen önermenin sonucun olumsuzu ile
yer değiştirmesi gerektiğini belirtir.
Terimlerin özellikleri bölümünde ayrıca ele alınması gereken bir Orta Çağ yeniliği
vardır; Yanlışlıklar bölümünde ise bu konuyla hareketlendirilen ilgiyi gösteren yeni örneklerle
sunulan sofizmlerin Aristotelesçi açıklamaları yer almıştır.
Klasik metinler üzerine yazılan yorumlar arasında özel ilgi çeken biri Tüm Mantık
Soruları (In Universam Logicam Questiones) adındadır. Bu eser vaktiyle John Duns Scotus’a
(1266-1308) atfedilmiştir.
123
denilen 1348’de Oxford Üniversitesi, Merton Koleji’nde hoca olan Richard Swineshead,
1353’de Paris Üniversitesi rektörü olan Saksonya’lı Albert, Heidelberg Üniversitesi’nin ilk
rektörü Inghen’li Marsilius, 1370’de Merton Koleji’nde hoca olan William Heytesbury, diğer
bir Merton’lu Ralph Strode, Richard Ferrybridge. Bunların hepsi Ockham’ın takipçileri
değildirler. Burleigh, örneğin, tümeller hakkındaki eski görüşleri savunmuştur. Ancak
Ockham’ın etkisi onlar arasında egemen olmuştur ve mantığın en yoğun çalışıldığı bu dönem
skolastik metafiziğin inmeye başladığı dönem olmuştur, çünkü Ockham teolojik öğretilerin
rasyonel olarak ispatının ve hatta savunulmasının imkânsız olduğunda birçok filozofu ikna
etmiştir.
Daha sonraki Orta Çağ mantığında çok önemli olan terimlerin özellikleri (proprietates
terminorum) kuramı on ikinci yüzyılın ikinci yarısında biçimlenmiştir ve bu kuram Abelard
ile çağdaşları arasındaki kategorik önermelerin yapısı hakkındaki tartışmalardan ortaya
çıkmıştır. Bu kuram ilk olarak Shyreswood’lu William’ın Mantığa Giriş eserinde
yayınlanmıştır.
125
Summa Totius Logicae adlı eserinde Ockham’ın consequentiaeyi ele alışına
döndüğümüzde, aynı terminolojiyi, ancak farklı açıklamalarla buluruz. Ockham
consequentiaenin kıyaslardan farkının bunların eksik önermeli kıyaslar (yani, eksiltili
çıkarımlar) olduklarını söyleyerek başlar ve ardından bunlar arasında yapılabilecek olan bir
takım ayrımları gösterir.
Ockham basit koşullu önerme (consequentiae simplices) ile an itibarı ile koşullu
önerme (consequentiae ut nunc) arasında bunların geçerli oldukları zamana göre ayrım yapar.
Eğer önbileşen ardbileşen olmadan hiçbir zaman doğru olamazsa, basit koşullu önerme olur.
Ancak eğer bir zaman, söylendiği zaman olmasa da, önbileşen ardbileşen olmadan doğru
olabilir ise, sadece an itibarı ile koşullu önerme olur.
126
Bu Bölümde Ne Öğrendik Özeti
127
Bölüm Soruları
I. Organon
II. İsagoji
a) Yalnız I
b) Yalnız II
c) Yalnız III
d) I ve II
e) I, II ve III
a) Adelard
b) Salisbury’li John
c) Boethius
d) Capella
e) Apuleius
3. Tüm Organon’u dikkate alan ilk Orta Çağ eseri kime aittir?
a) Abelard
b) Çiçero
c) Pierre d’Ailly
d) Galen
e) Salisbury’li John
4. Basit koşullu önermeler ile ilgili “Eğer ön bileşen ard bileşen olmadan hiçbir
zaman doğru olamazsa, basit koşullu önerme olur.” tanımını yapan kimdir?
128
a) Çiçero
b) Galen
c) Aristoteles
d) Ockham
e) Zenon
a) Çiçero ve Galen
c) Sextus Empiricus
e) Afrodisyaslı İskender
7. Mantığın sadece ikinci anlamanın ma’naları ile ilgili olduğunu savunan Orta
Çağ İslam düşünürü kimdir?
a) Afrodisyaslı İskender
b) Gazali
c) İbn-i Rüşd
d) İbn-i Sina
e) Eratostenes
129
8. Zihinsel terimlerin, tam anlamıyla, isimler ve fiiller olarak ayrılabildiklerini ve
bunların arasında isimlerin hâllerinin olduğunu söyleyen ve Orta Çağ’da yaşayan felsefeci
kimdir?
a) Afrodisyaslı İskender
b) Pierre d’Ailly
c) Porfiryus
d) İbn-i Rüşd
e) Eratostenes
a) Tümel olumluya
b) Tümel olumsuza
c) Tikel olumluya
d) Tikel olumsuza
a) Jean Buridan
b) Walter Burleigh
c) Richard Swineshead
d) Inghen’li Marsilius
e) Shyreswood’lu William
Cevaplar
1)e, 2)a, 3)e, 4)d, 5)a, 6)b, 7)d, 8)b, 9)a, 10)d
130
8. İSLAM MANTIĞI
131
Bu Bölümde Neler Öğreneceğiz?
132
Bölüm Hakkında İlgi Oluşturan Sorular
133
Bölümde Hedeflenen Kazanımlar ve Kazanım Yöntemleri
134
Anahtar Kavramlar
• Organon
• İslam Mantığı
• Farabi
• İbn Sina
135
Giriş
Arapça özgün mantık yazıları 750-1350 arası yazılmıştır. 900 yılına kadar Organon
Arapçaya çevrilmiştir. Bağdat felsefe okulunun en üstün döneminde Aristoteles eserlerinin
detaylı incelemeleri yapılmıştır. Bağdat okulun en ünlü mantıkçısı, Organon’un kitapları ile
birlikte mantık üzerine de birkaç giriş niteliğinde inceleme yazan Farabi’dir. Farabi’den 50 yıl
sonra, İbni Sina’nın yazılarında etkisini gösteren başka bir mantık geleneği ortaya çıkmıştır.
İbni Sina’nın kıyas sistemi Farabi’ninkinden farklı olduğundan daha sonraki mantıkçılar bu
geleneklerden birine sokulmuşlardır. İbni Sina’nın Aristoteles metnine yaklaşımı Farabi’den
farklıdır. O, bu metni açık hâle getirmek için sadece iyi bir yorum gerektiğini düşünmüştür.
İbni Sina felsefesinin hızla yayılması, bunu bir tehdit olarak algılayan egemen çevrelerin
teolojisinden güçlü bir reaksiyon görmüştür. İbni Sina’ya en etkili cevap ölümünden yarım
yüzyıl sonra Gazali tarafından verilmiştir. Gazali mantığın Müslüman bilginlere teolojik ve
hukuki akıl yürütmelerde yardım edebileceğini kabul etmiştir. Hukuk İlkelerinin Özü adlı
hukuk eserinin başına mantık üzerine kısa bir inceleme eklemiştir. Arapça en ilginç mantık
tartışmaları 11. yüzyılın sonlarından itibaren görülmüştür. İbni Rüşd’ün çalışmasında doruğa
ulaşan özellikle İspanya’daki bilimsel çalışmalar Bağdat Okulu geleneğini sürdürmüştür. İbni
Rüşd kendinden öncekilerin çalışmalarında birçok eksik gördüğü hâlde, onun Aristoteles
metinlerine esas anlamını verme projesi Bağdat okulu yöntemlerinin bir uzantısıdır.
Grekçe-Arapça çeviri hareketi dönemi boyunca Organon iki asırdan uzun bir süre
birbirini takip eden bilim adamı nesillerince onların felsefi ve filolojik ihtiyaçlarına uygun bir
şekilde çevrilmiş ve birçok kez gözden geçirilmiştir. Çevirmenlerin Organon ve onunla
ilişkili çalışmaları Arapçaya çevirme gayretleri dört aşamaya ayrılabilir. Bunlar Süryanice
çeviriler, ilk Arapça çeviriler, Kindî ve Huneyn başkanlığındaki çeviri çevrelerince yapılan
çeviriler ve daha sonraki gözden geçirmelerdir.
Farabi ve İbni Sina Aristoteles ile birlikte kendilerinden önceki felsefi seçeneklere
karşı çıkmaları veya onlarla uyumlu olmalarına göre daha sonraki yazarlar için üç temel
referans noktasını oluşturmuşlardır. Çalıştıkları sürece kendilerini İslam dünyasında o zamana
kadar felsefe yapmakta egemen olmuş Süryani Hristiyan ekseriyetten ayrı tutmaya
çalışmışlardır. İbni Sina’nın Farabi’ye Aristoteles felsefesi tarihinde rakipsiz bir yer
vermesiyle ve onun Aristoteles sistemini yeniden düzenlemesiyle İslam dünyasında gerçekten
doğallaştırılmış bir mantık geleneği başlamıştır.
Bu bölümde 750 ile 1350 yılları arasında Aristotelesçi gelenekte Arapça olarak yazılan
mantık yazılarına yer verilmiştir; çünkü 1350 yılı Arapça özgün mantık yazımının sonudur.
Mantıksal üretim bu tarihte nitelik açısından radikal bir inişe geçmiştir. Yaklaşık 900 yılına
kadar Organon Arapçaya tercüme edilmiş ve yoğun bir şekilde incelenmiştir. Elimizde o
zamandan, özellikle Bağdat felsefe okulundan kalma metinler bulunmaktadır. Bu okul en
üstün döneminde Aristoteles külliyatının detaylı metin incelemeleri ile sürmüştür. Bağdat
okulun en ünlü mantıkçısı, Organon’un kitapları ile birlikte mantık üzerine de birkaç giriş
niteliğinde inceleme yazan Farabidir (öl. 950).
136
Farabi’nin ölümünü takip eden elli yıl içinde, en etkili ifadesini İbni Sina’nın (öl.
1037) yazılarında bulan başka bir mantık geleneği ortaya çıkmıştır. İbni Sina felsefe açısından
Farabi’nin önüne geçip Aristoteles’ten sonra geldiği hâlde, onun kıyas sistemi
Farabi’ninkinden iki önemli yapısal noktada farklılaşmıştır. Daha sonraki mantıkçılar bu
geleneklerden birine sokulmuşlardır. İbni Sina’nın Aristoteles metnine yaklaşımı Farabi’nin
yaklaşımından farklıdır. O, bu metni açık hâle getirmek için sadece iyi bir yorum gerektiğini
düşünmüştür. İlişkili olduğu İslam felsefe teolojisinin ihtiyaçlarına uygun olan daha geniş
felsefi çerçevenin esnekliğinden dolayı İbni Sina’nın mantığı zamanla sonraki mantıkçıların
kendi sistemlerini alternatif olarak sundukları egemen sistem hâline gelmiştir.
İbni Sina felsefesinin ve mantığının başarısı ve hızla yayılması, bunu kendi fikri
canlılığına tehdit olarak algılayan egemen çevrelerin teolojisinden güçlü bir reaksiyon
görmüştür. İbni Sina’ya en açık ve etkili cevap ölümünden yarım yüzyıl sonra Ebû Hamid el-
Gazali (öl. 1111) tarafından verilmiştir. Daha Farabi zamanında mantığın Müslüman
bilginlere hukuki ve teolojik akıl yürütmelerde yardım edebileceğine ilişkin bir görüş
bildirilmiştir. Gazali bu savları kabul etmiş ve Hukuk İlkelerinin Özü adlı hukuk eserinin
başına mantık üzerine kısa bir inceleme eklemiştir. Gazali’den sonra da mantık dindar
muhalefetle karşılaşmaya devam etmiştir, ancak çeşitli ortaya konuşlarında Yunan felsefesine
karşı olan bilim adamları dahi, formel bir sistem olarak ele alınan mantığın itiraz edilemez
olduğunu kabul etmişlerdir.
1350’lere kadar İslam dünyasında İbni Sina geleneği Farabi ve İbni Rüşdçü
geleneklere egemen olmuştur. İbni Sina’nın formel kıyasındaki sistematik problemler
hâlledilmiş sayılmıştır. Bu tarihe kadar, son zamanlara dek medrese müfredatında yer almayı
sürdüren metinler üretilmiştir. Bundan sonra yüzyıllar boyu, İslam dünyasında ileri mantık
araştırmaları devam etmiş, ancak İslam bilginlerinin bu araştırmaları sürdürebilme yolu her
zaman medrese metinleri olmuştur.
137
8.1. Organon’un Çevrilmesi
Grekçe-Arapça çeviri hareketi dönemi boyunca Organon iki asırdan uzun bir süre
birbirini takip eden bilim adamı nesillerince onların felsefi ve filolojik ihtiyaçlarına uygun bir
şekilde çevrilmiş ve birçok kez gözden geçirilmiştir. Sabit bir çeviri elde edilene kadar, ona
anlam kazandırma amacıyla antikçağın geç dönemlerindeki Yunan yazarları tarafından
yazılmış bir takım başka yorumlar da tercüme edilmiştir. Çevirmenlerin tarihçesi ve onların
Organon ve onunla ilişkili çalışmaları Arapçaya çevirme gayretleri dört aşamaya ayrılabilir.
Bunlar Süryanice çeviriler, ilk Arapça çeviriler, Kindî ve Huneyn başkanlığındaki çeviri
çevrelerince yapılan çeviriler ve daha sonraki revizyonlardır. Ancak bu süreç doğrusal bir
ilerleme sonucu Organon’un nihai ve tam şeklinin elde edildiği bir süreç değildir. Bu, farklı
teknik beceri ve felsefi önceliklere sahip birçok çevirmen tarafından yapılan çok daha
değişken bir süreçtir. İlk çevirilerden bazıları gelecek yüzyıllarda Arap mantıkçılarının
okudukları yazılar arasında kalıcı bir yer bulmuştur, oysa diğer çeviriler düzeltme ardına
düzeltmeye tâbi olmuşlardır.
138
8.1.2. İlk Arapça Çeviriler
O zamanlardan kalma İbnü’n-Nedim (öl.995) adlı Bağdatlı bir kitap satıcısının 987’de
tamamlanmış İndeks adlı kataloğu elimizde bulunmaktadır. İbnü’n-Nedim, İbni Suvar’ı ve
onun üyesi olduğu okulun diğer üyelerini tanıyordu. İndeks, Organon’un farklı bölümlerini
çevirenler hakkında ve çevrilmiş olan onun üzerine yazılmış çeşitli Yunan yorumları
hakkında bilgi vermiştitr. Galen’in çalışmalarının yanında bu Yunan yorumları Theophrastus,
Porfiryus, John Philoponus, İskenderiyeli Stephanus, Ammonius, Themistius, Simplicius,
Iamblichus, Âlînûs ve belki de en önemlisi Afrodisyaslı İskender’in çalışmalarını içermiştir.
İndeks bize Organon’un İbni Suvar çevirisini oluşturan ortak girişimin doğası hakkında da
bilgi verir: kaba çeviriler, yorum, tartışma, gözden geçirilmiş çeviriler. Bu süreç zarfında
çevirmenler Organon’u çevirecek teknik sözcükler oluşturmuşlardır ki bu çevirmenlerin en
büyük başarılarından biridir. Bu teknik sözcükler ve farklı düzeltme seviyelerindeki çeviriler
güçlü felsefi tartışmalara yol açmış ve bu tartışmalar tarafından zenginleşmiştir. Birinci
Çözümlemeler’in Arapçası çok miktarda yorumlama maddesiyle ortaya çıkmıştır ve bu
maddelerin hepsi birbiriyle uyumlu değildir.
Farabi (öl. 950) ve İbni Sina (öl. 1037) Orta Çağ İslam mantık tarihi oluştururken ele
alınması gereken en önemli iki yazardır. Bunlar Aristoteles ile birlikte kendilerinden önceki
felsefi seçeneklere karşı çıkmaları veya onlarla uyumlu olmalarına göre daha sonraki yazarlar
için üç temel referans noktasını oluşturmuşlardır. Hem İbni Sina hem de Farabi Aristoteles
külliyatının Bağdat çevirisine tercüme edilmiş yorumlar vasıtasıyla gelmişlerdir. Çalıştıkları
sürece kendilerini İslam dünyasında o zamana kadar felsefe yapmakta en azından sayıca
egemen olmuş Süryani Hristiyan ekseriyetten ayrı tutmaya çalışmışlardır. Bu işte İbni Sina
Farabi’yi saygıdeğer atası olarak izlemiştir. İbni Sina Farabi’den birçok noktada, özellikle
mantıkta ayrıldığı hâlde, onu izlediği doğrudur. İbni Sina’nın Farabi’ye Aristoteles felsefesi
tarihinde rakipsiz bir yer vermesiyle ve onun Aristoteles sistemini yeniden düzenlemesiyle
İslam dünyasında gerçekten doğallaştırılmış bir mantık geleneği başlamıştır.
Farabi hakkında fazla bir şey bilmiyoruz. O doğuda bir yerde, muhtemelen
Maveraünnehir’de yaklaşık 870’de doğmuştur. Bir tarihte Bağdat’a göç etmiş ve muhtemelen
orada Yuhanna bin Haylan ile Birinci Çözümlemeler’in sonuna kadar mantık çalışmıştır. Bu
el-Muktedir’in hükümdarlığı zamanında, yani 908 ile 932 arasında olmuştur. 942 sonlarına
doğru Bağdat’tan ayrılıp Suriye’ye gitmiş ve Şam ile Halep’te çalışmıştır. Yaşamının sonuna
doğru Mısır’ı ziyaret etmiş, daha sonra Suriye’ye dönmüş ve Şam’da 950 veya 951’de
ölmüştür. Elde kalan eserlerinin çoğu mantık üzerinedir veya eserlerinin ana teması mantıkla
ilgilidir.
Buna karşılık İbni Sina hakkında oldukça çok şey biliyoruz. 980’den bir süre önce
Buhara’da doğan İbni Sina yaşamının ilk yirmi yılını felsefe çalışarak geçirmiş ve bunun
çoğunu öğretmensiz olarak yapmıştır. Vatanında karışıklık ile karşılaşınca bir eyaletten
141
diğerine gitmiştir: Buhara’dan Harezm’e, birkaç yıl sonra Cürcan’a, oradan Rey’e,
Hemedan’a ve sonunda İsfahan’a. Bu yerlerin her birinde tıbbi ve yönetimsel becerileri ile
kendisini desteklemiştir. 1037’de geride çoğu mantık ile ilgili büyük bir eserler külliyatı
bırakarak ölmüştür.
Farabi ve İbni Sina’nın mantığa yaklaşımları daha geniş olan Aristoteles geleneğine
olan yaklaşımlarınca belirlenir. Her biri Aristotelesciliğe kendi yaklaşımını netleştirmek
amacıyla tasarladığı kısa bir metin kaleme almıştır.
Farabi Bağdat’ta yaklaşık 900 yılında hocası Yuhanna bin Haylan ve kendinden büyük
meslektaşı Hristiyan Ebû Bişr Matta ile başlayan bir hareketin parçasıdır. Farabi felsefi
kökenini Felsefenin Görünüşü Üzerine adlı kısa bir makalede tanımlamıştır; bu makalede
hocaları ile kendisinin İskenderiye okulu mezunu Aristotelesçiler olduklarını iddia etmiştir ve
makalede bu okulun Bağdat’a geçişinin izini de sürmüştür. Eğer Bağdat rönesansının
temelleri İskenderiye ile bağlantısı bulunmayan İskender ile Themistius ise İskenderiye
geleneğinin devamı hakkında konuşmak sadece Farabi’nin felsefe tarihi taslağında anlamlı
olur. Bu taslağa göre tüm Yunanlı Aristotelesciler, İskenderiye’deki efsanevi Aristoteles
okulu ile manevi bağlarının kuvvetine göre İskenderiye geleneğinin temsilcileri olarak
nitelendirileceklerdir. Farabi bir kopukluk döneminin ardından gerçek, kelimesi kelimesine
bir Aristotelesciliği bilinçli olarak canlandırmaya çalışmıştır. Hatta o bunu Kindî ve çevresine
veya nevi şahsına münhasır Muhammed bin Zekeriyya er-Râzî’ye hiç değinmeden yapmıştır.
Farabi açıkça bu filozofları problemin parçaları olarak görmüştür.
Farabi’nin birçok formülasyonunun arkasındaki diğer bir neden onun bir İslam
toplumunda çalıştığının bilincinde olmasıdır. Farabi’nin Bağdat’ta çalıştığı ve ders verdiği
dönemde çeşitli İslam disiplinleri klasik ifadelendirmelerini kazanıyorlardı. Farabi hem
felsefeyi tarihi iddialarında İslam disiplinlerine benzetmeye hem de onun bu disiplinlere
faydasını ve tamamlayıcılığını açık hâle getirmeye çalışmıştır.
İbni Sina da Farabi kadar tutkulu bir Arisotelesciydi, ancak onun Aristotelesciliği
farklı şekillerde oluşturulmuş ve uygulanmıştır. İbni Sina Farabi’yi eski büyük filozoflardan
saymış ve Yunan okullarının bazı üyelerini ondan daha aşağı konumlara yerleştirmiştir; daha
sonraki yaşamındaki eserinin bir yerinde şöyle yazmıştır: “...[Ben] [Afrodisyaslı] İskender,
Themistius, John Philoponus ve bunlar gibi kişilerle meşgulüm. Ebû Nasr el-Farabi ise takdir
edilmelidir ve diğerleriyle aynı seviyede tutulmamalıdır. O atalarımızın en mükemmelidir.”
İbni Sina’nın Farabi’ye saygısı Süryani Hristiyan filozoflara duyulan açık bir
aşağılama ile birleşmiştir. İbni Sina’nın öğrencilerinden biri anılarında İbni Sina’nın İbni
Suvar (ki onun Organon versiyonu modern bilim adamları için çok önemlidir) ve
142
arkadaşlarını “belirli kitapların [geleneksel] aktarımlarına diğerlerinden daha yakından bağlı
kaldıklarından, çalışma alanlarının çok dar olduğundan dolayı” küçük gördüğünü
hatırlamıştır. Bu insanlar gevşemişler ve mantığı tamamen dışlayarak, kolay uğraşılabilir
olduğunu düşündükleri şeyle tatmin olmuşlardır. Kıyasları ise tamamen dışlamışlar ve onlara
sadece o gün değil, uzun süredir hiç önem vermemişlerdir. Bu kişiler kıyas formlarına da hiç
önem vermemişlerdir. Onları ele aldıkları zaman doğru yoldan sapmışlardır, çünkü bu kişiler
hiçbir zaman onlarla uğraşma alışkanlığını elde etmemişlerdir ve hiçbir zaman bir kıyas
alışkanlığı geliştirmek için problemlerin detaylarını analiz etme zahmetine katlanmamışlardır.
Buna karşılık onların tek dayanağı kurallara bağlı olmayan fikirlerdir. Ancak İbni Sina’nın
Farabi’den daha önemli farkı Aristotelesciliğini uygulamasındadır. Farabi felsefe eğitiminin
hikâyesini kendisini bir okula ve onun eğitim geleneğine bağlayarak oluşturmuşken İbni Sina
kendi eğitim hikâyesini kendisini herhangi bir eğitim geleneğinden ayırarak oluşturmuştur.
Otobiyografisinde kendisini sezgi yoluyla başarılı olan kendi kendisini yetiştirmiş bir kişi
olarak göstermiştir. Bundan dolayı, otobiyografinin bakış açısı hiçbir okul geleneğine ait
olamayan, gerçekliği kendi sezgisi sayesinde kuran, bu bakımdan Aristoteles’i geçmese de
ona eşit olan ve Aristoteles tarafından sınıflandırıldığı şekliyle felsefi bilimleri ortaya çıkaran
gerçekliğin bağımsız kanıtının kendisini gerçekliğin bu daha kesin şeklini öğretme ve
diğerlerinin felsefi başarılarını değerlendirme durumuna sokan bir filozofun bakış açısıdır.
Önemli olan sezgi öğretisinin etkisinin İbni Sina’yı Aristoteles külliyatına göre
Farabi’den farklı yere koymasıdır. İbni Sina’nın metinde çözümü zor bir durumla
karşılaştığında yolunu bulmak için yorumlama stratejilerine başvurması gerekmemiştir.
Aslında, Şifâ adlı eseri boyunca Aristoteles’in sunumunu motive eden birleşmiş görüşü
çözdüğüne inanmıştır ve bu onun Birinci Analitikler’in sistemini atlamasına, dönüştürmesine
ve ona ekleme yapmasına izin vermiştir.
Farabi’nin Aristoteles’e tavrı zamanla daha açık hâle gelmiş ve bu nedenle onun fikri
bir eserden diğerine değişmiştir. Farabi’nin de fikrini değiştirecek birçok fırsatı olmuştur:
neredeyse yarısı esasen mantığa atıfta bulunan birçok eser yazmıştır. Bazı yerlerde yaptığının
geri kalan kısmıyla tam uyum sağlamayan mantık öğretisinin anlaşılamamış bölümleri
bulunur. Hatta bir mantık incelemesinden bir sonrakine bazı terimlerin daha kesin olarak
kullanıldığı, diğerlerinin atıldığı ve öğretilerinin projesinin her bir bölümüyle ilişkisi
kuruldukça bunların netleştirildiği görülür. Farabi İslam toplumunda bir Müslüman olarak ve
Aristoteles metinlerinin gerçek anlamını geri kazandırmayla meşgul bir Aristotelesci olarak
İskenderiye’nin özet geleneğinde yazmıştır.
143
8.2.2.1. Mantık ve Dil
Farabi’nin eserlerinde birçok Arapça mantık metninde görülen başka bir özellik daha
vardır: ilk kez Aristoteles tarafından yapılan bir girişim olan tüm geçerli çıkarım formlarının
bir şekilde kıyasla ilişkili olduklarını gösterme girişimi. Mantık ile dilbilgisinin dilde farklı
ancak birbirini tamamlayıcı ilgileri olduğu iddiası gibi, kıyasın yapısının da diğer çıkarımların
yapısını anlamada önemli olduğu iddiası Müslüman hukukçu ve teologlara yöneltilmişti. Bu
amaçla Farabi’nin yazdığı ilk ilgili metin Teologların Yaptığı Akıl Yürütme Üzerine Kısa Bir
İnceleme’dir. O, bu metinde teologların çıkarımları ile hukukçuların analojilerini antik
düşünürlerin öğretileri ile uyum içinde mantık kıyasları şeklinde yorumlamıştır. Bu metinde
bu paradigmanın, yani Müslüman teologlar tarafından kullanılan ‘görünenden görünmeyene
akıl yürütme’ denilen çıkarımın ve ‘hukuksal çıkarımın’ incelemeleri yer alır. Farabi ikinci
kalıp çıkarımı birinciye indirgemiş ve üçüncü kalıp çıkarımın bir takım hitabi çıkarım
teknikleri içeren detaylı bir incelemesini vermiştir. Bu aslında ünlü bir Müslüman hukuk
bilgini olan Ebu Hamid el-Gazali tarafından mantığın faydalı olarak kabulüyle sonuçlanan bir
akım başlatmıştır. Bu aynı zamanda sonradan gelen mantık kitapları yazarlarını kitaplarının
en azından bir bölümünü çıkarım-formlarının kıyasa indirgenmesine tahsis etmelerine yol
açmıştır. Bu İslam topluluğundaki Müslüman bilginlerin mantığın yerine itiraz ettikleri bu
erken dönemden taşınan bir yansımadır.
İbni Sinauygun bir mantık görüşünün ve ifadesinin sabit hâline ancak orta yaşında
varmıştır. Farabi gibi, eserinin büyük bölümü mantığa ayrılmıştır. Doğrudan Aristoteles
metinleri üzerindeki yorumlarına sahip olmasak da, İbni Sina’nın büyük felsefe eseri Şifa’nın
tümü elimizdedir. Şifa’nın ilk kitabı Porfiryus’un İsagoji’sinin konusunu ele alır ve ardı sıra
gelen sekiz kitabın her biri Organon’un İskenderiye düzenlemesinin bölümlerinin her birinin
konusunu kapsar. Birkaç tane daha kısa yorumu vardır. Bu kısa yorumlardan ikisi olan En-
Necât ile El-İşârât ve’t-Tenbîhât bu sistemi Şifa eserinde gördüğümüz tüm kapsamlılığı ile
sunmuştur; oysa üçüncüsü olan Dânişname’i Âlâî’de çok basit bir sistem sunmuştur. İbni
Sina’nın kitapları daha sonraki yazarlar için paradigmalar olarak önem kazanmıştır. Örneğin,
Ebu’l Barakât el-Bağdâdî felsefe eserini Şifa üzerine modellemiştir. İbni Sina’nın eserlerinin
145
en önemlisi el-İşârât’tır. Zor ve üstü kapalı yazım tarzından dolayı bu eser birçok yorumun
konusu olmuştur.
Mantığı tanımlamada İbni Sina Farabi’den farklılaşmıştır. İbni Sina mantığın insanın
düşünmede yoldan çıkmasını önleyici kural koyucu bir alet olduğunu kabul etmiştir. Ancak o
mantığı Farabi gibi betimlememiştir. O şöyle demiştir: “Bazılarının dediği gibi, ‘Mantığın
konusu, ifadeler anlam taşıdığı sürece, ifadelerle ilgili spekülasyondur.’ demekte bir marifet
yoktur. Mantığın konusu gerçekten bu şeyler tarafından ayırt edilmediğinden ve bunların
onun konusu olmasına imkân olmadığından, bu türden kişiler gevezelik ediyorlar ve
kendilerini aptal olarak gösteriyorlar.” Bunun bir nedeni İbni Sina psikolojisinde, bir takım
ayrık ifadeler olarak dil aklın işlemleri için gerekli değildir, o sadece tesadüfi olarak
insanların takip etmesi gereken yoldur. Sadece tanımların içinde gözlemleneceği mantığın saf
düşünme yoluyla öğrenilmesi mümkün olsaydı, o zaman bu yeterli olurdu.
146
Bu Bölümde Ne Öğrendik Özeti
147
Bölüm Soruları
a) Metafizik
b) Organon
c) Yasalar
d) Retorik
e) Nikomakhos’a Etik
a) Farabi
b) İbni Sina
c) Gazali
d) İbni Rüşd
e) Ebû Hamid
a) Farabi geleneği
c) Gazali geleneği
a) Kategoriler
b) Yorum Üzerine
c) Yüklemler
d) Topikler
e) Birinci Çözümlemeler
a) Halife Mehdi
b) Timothy I
c) Severus Sebokht
d) Edessa’lı Theophilos
e) Ebû Kurre
a) Regayna’lı Sergius
e) Edessa’lı Theophilos
b) Kanıtlama Üzerine
a) İskenderiyeli Ammonius
b) İskenderiyeli Iamblichus
c) İskenderiyeli Simplicius
d) Afrodisyaslı İskender
e) Edessa’lı Theophilos
b) Galen’e hayrandır.
Cevap Anahtarı
1)b, 2)a, 3)b, 4)e), 5)d, 6)c, 7)a, 8)b, 9)e, 10)a
150
9. RÖNESANS’TAN SONRA MANTIK
151
Bu Bölümde Neler Öğreneceğiz?
152
Bölüm Hakkında İlgi Oluşturan Sorular
153
Bölümde Hedeflenen Kazanımlar ve Kazanım Yöntemleri
154
Anahtar Kavramlar
• Rönesans
• Mantık
• Hümanizm
• Doğa Bilimleri
• Port Royal
155
Giriş
Orta Çağ ile sonraki dönem arasında keskin bir ayrım yoktur. 15. yüzyılın ortası ile 19.
yüzyılın ortası arasındaki 400 yılda birçok ders kitabı yazıldığı hâlde yeni ve iyi bir şeyi
birlikte barındıran eserler çok azdır. 17. yüzyılın sonunda çoğu üniversitede ders müfredatı iki
veya üç yüzyıl öncesinin aynıdır. Orta Çağdaki gibi o zaman da mezun olmadan önce
münazaralara katılmak gereklidir. Bundan dolayı, günlük akademik Latincede münazara dili
yaygındır.
15. yüzyılda mantık ilk kez değer kaybına uğramıştır ve artık birinci sınıf zihinlerin
ilgisini çekmemektedir. Rönesans bilginleri mantığın edebiyatla karşılaştırıldığında itici
olduğunu düşünmüşlerdir. Mantıktaki bozulma eğiliminin en ünlü mantıkçısı Petrus
Ramus’dur. Aristoteles Gözlemleri eserinde Aristoteles’i belirsizlikle suçlamış ve bu
görüşünden dolayı çok düşman kazanmıştır. İlk Fransızca mantık kitabı olan Dialectique’I
yazmıştır. Zabarella ise Ramus’un aksine Aristoteles’e değer vermiştir. En önemli katkısı
birleştirici (sentetik) ve ayrıştırıcı (analitik) yöntem ayrımı tartışmasıdır.
17. yüzyılın ünlü filozofları formel mantıkla ilgilenmedikleri hâlde birçok ders kitabı
vardır. Bu kitapların en önemlisi Antoine Arnauld ve Pierre Nicole’ün yazdıkları La Logique
ou L’Art de Penser’i (Mantık ya da Düşünme Sanatı) adlı kitaptır. Onların mantık görüşlerine
Port Royal Mantığı denilmiştir. Bu filozoflar Descartes’ı takip etmişlerdir ve asıl ilgileri açık
anlatım olmuştur. Doğa biliminde deneyin rolüne anlayış göstermemişler ve tümevarımın
güvenilir olmadığını belirtmişlerdir. Bilimsel çalışmayı aklı mükemmelleştirmeye yardım
etmediği sürece yararsız görmüşlerdir. Sağduyu ve sağlam muhakemenin, bilimlerden elde
edilen teorik bilgiden çok daha değerli ve önemli olduğunu bildirmişlerdir. Bu mantığın en
önemli katkısı içlem ve kaplam arasındaki ayrımdır.
156
9.1. Hümanizm Akımı
Orta Çağ ile daha sonraki dönem arasında keskin bir ayrım yoktur. İspanya’lı Peter’in
ders kitabı Summulae Logicales on yedinci yüzyılda hâlâ okunmaktadır. Örneğin bu, 1605’de
Paris’de Gymnasium Speculantium adıyla öğrencilerin kullanımları için basılan bir felsefe
antolojisinde yer almıştır. 1618’de Oxford’lu Robert Sanderson da Logicae Artis
Compendium (Mantık Bilimi İncelemesi) eserinin bir bölümünü suppositio terminorumu
(varsayım terimlerini) açıklamaya ayırmıştır. Açıklaması kısadır ve iyi bir şekilde dile
getirilmemiştir, ancak tüm önemli ayrımlara değinmiştir ve önemlidir, çünkü Compendium on
dokuzuncu yüzyıla kadar İngiliz üniversitelerinde okutulmaya devam etmiş ve 1841 gibi geç
bir tarihte tekrar basılmıştır. Terimlerin dağılımı bahsi haricinde, suppositio (varsayım)
öğretisi on yedinci yüzyılın sonundan önce yeni yazılan ders kitaplarından kalkmıştır, ancak
H. Aldrich’in 1691 yılına ait Artis Logicae Compendium kitabında consequentiae formales
(formel hipotetik önerme) ile consequentiae materiales (özdeksel hipotetik önerme) arasındaki
ayrım ile sophismata (sofizm) ile insolubilia (çözülemeyen) terimlerinin kısa bir açıklaması
hâlâ yer almaktadır. Hatta bu kitap on dokuzuncu yüzyılın ikinci yarısına kadar kullanımda
kalmış ve 1862’de Mansel’in notlarıyla birlikte yeniden basılmıştır. Ancak Sanderson
yazmadan çok önce Orta Çağ geleneğine ve hatta mantığa saldırılar olmuştur. Bu konu
üniversitelerin temel eğitiminde kaldığı hâlde, artık birçok birinci sınıf zihnin ilgisini
çekmemektedir. On beşinci yüzyılın ortası ile on dokuzuncu yüzyılın ortası arasındaki dört
yüz yılda bu nedenle çok sayıda ders kitabı olmasına rağmen yeni ve iyi bir şeyi birlikte
barındıran eserler çok azdır.
On altıncı yüzyılın kitapları arasında Thomas Wilson’un The Rule of Reason (Aklın
Kuralı) (1551), Raphe Lever’in The Arte of Reason, rightly termed Witcraft (Akıl Bilimi,
doğru ifadeyle Akıl Becerisi) (1573) ve Thomas Blundeville’in The Arte of Logicke (Mantık
Bilimi) (1599) konuyu İngilizce sunan ilk kitaplardır.
157
itirazları bunun herhangi bir noktada yanlış olduğuna değil, daha çok yeniden keşfedilen İlk
Çağ edebiyatı ile karşılaştırıldığında stil olarak kaba ve içerik olarak da itici olduğunadır.
Lucretius’un yeni keşfedilen şiiri De Rerum Natura’yı okumak veya Yunanca öğrenip
Platon’u incelemek yerine, proprietates terminoruma (terimlerin özelliklerine) insanın
yaşamını adaması aptallık olarak düşünülmüştür. Rabelais gibi bazı bilim adamlarına göre
filozofların sanıları iyice komiktir ve zamanın okunan eserlerinden özellikle mantığın artık
birinci sınıf zihinleri cezbetmediği oldukça açık görülmüştür. Genel eğitimde güzel Latince
yazmak artık öğrenilmesi gereken esas beceri olmuş ve bunun için Çiçero ile Quintilian
otorite olarak gösterilmişlerdir. Rönesans kişileri bilime Romalı yaklaşımını onlardan
edinmişlerdir, bu yaklaşımın sonucu gerçek mantığın retorik uğruna ihmal edilmesi ve mantık
hakkındaymış gibi görünen kitapların Aristoteles kadar Çiçero’dan da alıntı yapmaları
olmuştur. Laurentius Valla ile Rudolphus Agrippa bu bozulmayı başlatan iki yazardır. Ancak
bu eğilimin en ünlü mantıkçısı Petrus Ramus’tur (1515-72).
1536’da Ramus yüksek lisans derecesini aldığında savunmayı seçtiği tez Aristoteles’in
öğrettiği her şeyin yanlış olduğu teziydi. Bu bir ihtimalle yanlış betimlemedir; ancak 1543
tarihli Aristotelicae Animadversiones (Aristoteles Gözlemleri) adlı eserinde Aristoteles’i
karışıklık ve belirsizlikle suçlamıştır. Aristotelesciliğe saldırısının gücü ve aynı yıl yazdığı
(daha sonra Institutiones Dialectica adı verilen) Dialecticae Partitiones adlı eserinde
görüşlerini ileri sürmede kendinden emin oluşundan dolayı birçok düşman kazanmıştır.
Gerçekten de muhalefet o kadar amansız olmuştur ki 1544’de düşmanları I. Francois’den
onun ‘gözü kara, küstah ve saygısız’ olarak tanımlandığı ve felsefe öğretmesinin yasaklandığı
bir kraliyet buyruğu almışlardır. Ancak ertesi yıl Paris Üniversitesi’ndeki Presle Koleji’ne
davet edilmiş ve 1547’de II. Henri suçlama buyruğunu o zaman Ramus’un hamisi olan
Lorraine Kardinali’nin ricasıyla iptal etmiştir. Bu yıllar boyunca Ramus o kadar etkin
çalışmıştır ki bir bilge olarak ünü pekişmiş ve 1551’de Kraliyet Koleji’nde hitabet ve felsefe
profesörlüğüne atanmıştır. Burada temel bilimler eğitiminin geliştirilmesi planlamasında aktif
olarak yer almış ve bu muazzam alanın Yunanca dilbilgisi, hitabet, matematik dâhil tüm
bölümlerinde eserler vermiştir. Biliminin kapsamı en kolay onun 1569’da yayınlanan Scholae
in Liberales Artes (Temel Bilimler Okulları) derlemesinde görülebilir. Bu derleme 1556’da
yayınlanmış olan Animadversiones Aristotelicae’nin (Aristotelesci Gözlemler) yirmi kitabını
kapsar, fakat bunlar 1543 tarihli kısa kitap ile karıştırılmamalıdır. Ancak o, Fransızca yazılan
ilk mantık eseri olan 1555 tarihli Dialectique’i ile ve 1556 tarihli Latince Dialectica ile ünlü
olmuştur. Popülaritesi yaşamı boyunca kitaplarının yaptığı baskı adetlerinden açıkça görünür,
ayrıca bir halk figürü olarak başarısı 1559’da Paris Üniversitesi reformu için oluşturulan
komisyona atanmasıyla görülür. Ancak bu projeye II. Henri’nin ölümü üzerine son verilmiştir
ve Ramus’un geleceği 1561’de Protestanlığa geçmesiyle belirsizleşmiştir. Yaşamının daha
sonraki bölümünde zamanının yarısını din savaşları yüzünden Paris’ten uzakta geçirmesi
gerekmiş ve sonunda 1572’deki Aziz Bartholomeo Günü katliamında öldürülmüştür.
Katillerinin Charpentier adlı profesyonel bir rakibi tarafından teşvik edildikleri ve onu
bıçakladıktan sonra bedenini Presle Koleji’nin beşinci katındaki çalışma odasının
158
penceresinden attıkları söylenir. Sonucunda Ramus bir Protestan şehidi mertebesine erişmiş
ve bundan dolayı İngiltere ve diğer kuzey ülkelerinde hak ettiğinden çok değer kazanmıştır.
Ramus’a göre mantık ars bene disserendidir (iyi tartışma sanatıdır) ve çıkarımların
bulunması ve düzenlenmesi ile ilgili her şeyi içermelidir, oysa retorik üslup ve konuşma
biçimi tartışmasıyla sınırlı kalmalıdır. Dialectica’sında her konuya bir kitap ayırmıştır.
Aristoteles’in kategorilerini, beş tümelini ve topiklerini faydasız ve karışık bulup göz ardı
ederek o önce çıkarımların yapay olarak (teknik kurallar vasıtasıyla) bulunabildikleri dokuz
konumu bildirmiştir. Bunlar neden, sonuç, özne, eklem, karşıt, karşılaştırma, ad, bölüm ve
tanımdır ve bunların altbölümleri (örneğin, fail, maddi, formel ve ereksel nedenler) ile birlikte
tartışılması onun mantığının neredeyse yarısını oluşturmuştur. Listedeki birçok maddenin
Aristoteles’den alındığı, sonucun da yerine geçmesi düşünülen Aristoteles mantığının
bölümlerinden daha sistematik olmadığı görülecektir. Bunlardan sonra, ilk kitabın sonunda,
yapay olmayan çıkarımı ele aldığı kısa bir bölüm gelir. Yapay olmayan çıkarımın başlıca
örneği mahkemede bir tanık tarafından yapılan doğrudan şahitliktir.
159
generale
speciale
proprium
Burada axioma generale bizim genelde tümel önerme dediğimiz önermedir, axioma
particulare ise yüklemin öznenin tümüne atfedilmediği önermedir, oysa axioma proprium
öznesi bir özel ad veya başka bir tekil terim olan önermedir. Aristoteles tarafından
Çözümlemeler’de göz ardı edilen axioma proprium türü önermeler için başından sonuna kadar
açık hüküm vermesi aslında Ramus’un mantıkta yenilik iddialarının başlıcalarından biridir.
Ramus’un reformlarının değerinin tartışılması uzun süre devam etmiştir. 1626 tarihli
Institutiones Logicae (Mantık Kurumları) eserinde Franco Burgersdyck mantıkçıları
Aristotelesciler, Ramuscular ve Yarı-Ramuscular (bunlara, Ramuscu öğreti ile Luther’in
hümanist arkadaşı olan ve Aristoteles’in eserlerine dayanan bir kitap yazmış olan Philip
Melanchthon’un öğretisi arasında bir uzlaşı sağlamaya çalıştıklarından dolayı bazen Philippo-
Ramuscular da denilmiştir) olarak ayırmıştır. Bu tartışma on yedinci yüzyılın sonunda
İngiltere’de hâlâ devam etmektedir.
Zabarella’nın en önemli hizmeti birleştirici (veya sentetik) ile ayrıştırıcı (veya analitik)
yöntem arasındaki ayrım tartışmasıdır. Birleştirici yöntem tam anlamıyla kanıtlama yöntemi
denilen yöntemdir. Bu yöntem Aristoteles tarafından İkinci Çözümlemeler’inde ayrıştırma
sırasına göre açıklanmıştır; kanıtlama yapma, erişilecek bir amaç düşüncesinin yönlendirdiği
pratik bir eylemdir. Diğer taraftan ayrıştırıcı yöntem doğa sıralamasında daha sonra ya da
türetilmiş olandan daha önce ya da daha başlangıç olanı neden olarak gösterdiğimiz türden
akıl yürütmedir ve iki şekli bulunur: (a) sonuçlardan ya da imlerden nedenlere akıl yürütme ve
(b) tümevarım ya da tekillerden tümellere akıl yürütme. Her ikisi de Aristoteles tarafından
çeşitli yerlerde fark edilmiş ve kıyas formunda sunulabilirlikleri gösterilmiştir. Zabarella
burada Aristoteles’in öğretisine yeni bir şey ekleme iddiasında olmamıştır ve bir çıkarımda
160
sonuçtan nedene giderek asıl öncülü nasıl elde edebileceğimizi ele almamıştır. Bundan dolayı
bilimsel ilerleme için yeni bir programa işaret ettiği pek söylenemez. Ancak onun
terminolojisi Galileo’nun mekanik problemleri analizindeki yöntemine ilham kaynağı
olmuştur.
161
Artık geometri ile matematiğin bu yeni dalları arasında bunların gelişim tarzları
bakımından çok önemli bir fark vardır. Geometri baştan beri teoremlerin mantığın sıkı
gerektirme ilkelerine göre aksiyomlardan türetildiği bir bilim olarak düşünülmüştür.
Aksiyomların mantık-dışı sezgi yoluyla bilinen doğrular oldukları, ancak aksiyomlar bir kez
kabul edildikten sonra, mantıksal sıkı gerektirmeyi görmek için gereken sezgi dışında sezgiye
ihtiyaç olmadığı varsayılmıştır. Diğer taraftan, cebir ile analiz aksiyomatik şekilde meydana
getirilmiyordu ve şimdi dahi ilköğretimde bu şekilde sunulmazlar. Bu bilimler aritmetikten
doğmuşlar ve başlangıçta sembollerin özel kurallara, örneğin parantez, im ve kök üssü
kurallarına göre kullanılması teknikleri olarak düşünülmüşlerdir. Bir cebir çıkarımı tüm özel
ilkelerini öncül ya da tanım şeklinde göstererek yeniden biçimlendirmek elbette mümkündür;
ancak dönemin matematikçileri çalışmalarını bu şekilde düşünmemişlerdir. Onlar yeniliklerini
yeni hesaplama yöntemleri olarak düşünmüşlerdir. Modern matematikçilerin dili bu
dönemden ‘operasyon’ (işlem) ve ‘kalkülüs’ (Latince ‘taş’ veya ‘parça’) gibi, abaküs
kullanımını andıran bir takım sözcükleri hâlâ muhafaza etmektedir. On altıncı ve on yedinci
yüzyıl matematikçileri hiç şüphesiz yöntemlerinin kullandıkları kavramların sezgisel olarak
anlaşılmasına dayandığını düşüneceklerdir; ancak onlar aslında tam olarak ne yaptıklarının
farkına varmadan (örneğin, sonsuz bir dizinin toplamından bahsettiklerinde) kendilerine bu
kavramların uygulama alanını genişletme izni vermişlerdir ve başka türlü ilerleme
sağlayamayabilirlerdi. Ancak sonuç olarak yeni yöntemlerinin geleneksel mantıktan bağımsız
olduğunu düşünmüşlerdir. Eski geometrik gösterim şekli ya da zaman zaman söylendiği
şekliyle sentetik metot hâlâ ideal açıklama olarak kabul edilmektedir, ancak yeni matematik
dallarının bir buluş tekniğine sahip oldukları varsayılmıştır. Descartes, Pappus ile
Diophantus’un bildiği, ancak kendi dönemine kadar tam formüle edilememiş gizemli bir
analiz metodundan bahsetmiştir. Newton da kendi sonsuz küçükler hesabını matematiğe eski
anlamında bir ekleme yerine bir yana kaçma olarak görmüştür. Çünkü Principia Mathematica
Philosophiae Naturalis’i yazdığında, sonuçlarını bunlara ulaştığı yöntemlere başvurmadan,
geometri yoluyla göstermede büyük problem yaşamıştır.
Bir bilimsel yöntem öğretisi formüle etmenin ilk modern girişimi Bacon’ın 1620
tarihli Novum Organum’udur. Başlığından da anlaşılacağı üzere, bu eser Aristoteles’e karşı
olarak yazılmıştır. Bacon geleneksel mantığın bazılarının zannettikleri gibi bir bilimsel buluş
aleti olmadığını fark etmiş ve buluş yapmanın basit bir işe indirgenebildiği yeni kurallar
koymaya çalışmıştır. Ancak bizi ilgilendirecek anlamda herhangi bir mantık gelişimi ileri
sürmemiştir. Metot Üzerine Konuşma (1637) ile tamamlanmamış olan Regulae ad
Directionem Ingenii (Aklın İdaresi İçin Kurallar) adlı eserinde Descartes da çok değişik
türden olmasına rağmen buluş yapma kuralları ortaya koymaya çalışmıştır. O matematikteki
gelişmeden o kadar çok etkilenmiştir ki tüm bilimi bir tür matematik olarak düşünmüş ve
yukarıda sözünü ettiğimiz analitik metot düşüncesini genelleştirmeye çalışmıştır. Bacon gibi
onun etkisi de filozofları yeni buluş metodolojisi araştırması lehine formel mantığı unutmaya
yöneltmiştir.
162
Descartes’ın idealar bahsi on yedinci yüzyıl felsefesinin önemli yeniliklerinden biridir.
Ancak yenilik özde yenilikten çok bir terminoloji yeniliğidir. Orta Çağda ‘idea’ sözcüğü hâlâ
Aziz Augustinus’un Hristiyan Platonizminde anlaşıldığı şekliyle bir forma, yani Tanrı’nın
zihnindeki örnek kavrama karşılık gelmektedir. Doğuştan olan idealar öğretisi ile Descartes
incelikli bir şekilde insan zihnini Augustinus geleneğindeki teologların tanımladıkları şekliyle
tanrısal zihne benzetmiştir.
Thomas Hobbes esasen siyaset felsefesi ile hatırlanır, ancak Leibniz haricinde o devrin
ünlü filozofları arasında, mantık hakkında konuşmaya en fazla ilgi duyan o olmuştur. O Öklid
aksiyomlarının, örneğin ‘bütün parçasından büyüktür’ gibi, kanıtlama ilkeleri olmadıklarını,
yani ispatsız kabul edilmesi gereken doğrular olmadıklarını, ancak tanımlardan kanıtlanabilen
önermeler olduklarını söylemiştir. Bu nedenle bunlar keyfi tanımlardan meydana getirilmeyen
fizik yasalarından ayrılmalıdırlar.
Locke’un formel mantığa çok az ilgisi olmuş ya da hiç ilgisi olmamıştır ve onun etkisi
hakim olduğu sürece çok az filozof bu konunun ciddi şekilde çalışmaya değer olduğunu
düşünmüştür. O aslında tüm dedüktif akıl yürütmenin Aristoteles’in kurallarına
indirgenebildiğini kabul etmeye hazırdır, ancak bu kurallarda önemli olan şeyin her hâlükarda
normal sağlıklı bir zihin için apaçık olacağını düşünmüştür. O şöyle demiştir: ‘Tanrı insanları
sadece iki bacaklı yaratıklar olarak yaratıp onları akıllı yapmayı Aristoteles’e bırakacak kadar
insanlara cimri davranmadı’. Aristoteles’i hiç duymamış bir köylü kadın kendi işleri hakkında
yeterince iyi bir şekilde akıl yürütebilir. Kıyaslar buluş yapmak için yararsızdır ve sadece
kaçamaklı cevap vermeye yararlar. ‘A, A dır’ formundaki özdeş önermeler ile herhangi
karmaşık bir ideanın bir kısmının tüme yüklemlendiği önermeler saçma olmaktan başka bir
şey değildirler. Matematikte sahip olduğumuz türden gerçek öğretici bilgi salt tanım
açımlamasından elde edilemez, bu, idealar arasındaki bağıntıların sezgisi yoluyla
türetilmelidir.
163
İlk olarak 1638’de Joachim Junge’nin Logica Hamburgensis (Hamburg Mantığı) adlı
eseri yayınlanmıştır. Bu kitap birçok baskı yapmış ve yazarı birçok vesileyle Leibniz
tarafından övülmüştür. Kitap alışıldık konuların yanında daha sonraki gelişmelerin
beklentileri gibi görünen bazı yenilikleri, özellikle bağıntıların bazı özelliklerinin bir
tartışmasını içermiştir. Ayrıca, consequentiae (hipotetik önerme) başlığı altında bir bağıntıyı
çevirme yoluyla yapılan çıkarım ile a recto ad obliquum (yalından yalın dışına) çıkarımı
(örneğin, ‘daire bir şekildir; bundan dolayı daire çizen bir kişi bir şekil çizer’) bahsi yer
almıştır.
Geulinex’in Logica’sı ile aynı yıl çok daha ünlü bir eser olan La Logique ou l’Art de
penser (Mantık ya da Düşünme Sanatı) ortaya çıkmıştır. Buna genellikle Port Royal Mantığı
denilmiştir, çünkü bu Port Royal hareketinin iki lideri Antoine Arnauld ve Pierre Nicole
tarafından oluşturulmuştur ve bu hareketin ünlü olduğu gerçek dindarlığın ayırt edici tavrını
ortaya koymuştur. Yazarların Orta Çağ inceliklerine ayıracak fazla sabırları yoktur. Onlara
göre ikinci anlamlardan sözetmek faydasız işlerle uğraşmaktır ve skolastik otoriteler pekâlâ
göz ardı edilebilir. Diğer taraftan Ramus’a da hiç saygı duymamışlardır. Onun sadece bilimler
arasında kesin sınırlar çizme girişimleri ve ikiye ayırma tutkusu ile alay etmemişler, aynı
zamanda mantığı ars bene disserendi (iyi tartışma sanatı) olarak kavrayışını da
reddetmişlerdir. Kitabın başında verdikleri tanıma göre, mantık kişinin kendi öğrenimi ve
başkalarının öğrenimi için aklını şeylerin bilgisi içinde doğru şekilde idare etme sanatıdır.
Onlar hitabet becerisi ya da akademik prestijle değil, kesinlikle açık anlatımla
ilgilenmişlerdir. Augustinus ve Pascal onların üslup örnekleri olmuştur, Montaigne de
egoizmi ve şüpheci tavrıyla nefret ettikleri başlıca kişidir. Onlar Birinci Çözümlemeler’in
formel mantığın ana kaynağı olduğunu düşündükleri hâlde, Aristotlesci özleştirmeci de
değildirler. Aristoteles’in kategoriler listesi ile konular sınıflandırmasını sadece her ikisini de
faydasız gördüklerinden reddettiklerini söylemişlerdir. Aristotelescilik ile yeni bilim
çatışmasında sempatileri tamamen yeni bilimden yana olmuştur. Giriş söylemlerinin ilkinde,
örneklerinin bazılarını okura doğru doğa ve zihin felsefesini tanıtma amacıyla, tıpkı diğer
örneklerini ahlaki ve dini sorular üzerinde doğru görüşler yaymak amacıyla seçtikleri gibi
bilerek seçtiklerini açıklamışlardır. Diğer taraftan doğa biliminde deneyin rolüne anlayış
göstermemişler ve tümevarımın güvenilir olmadığını belirtmişlerdir. Yöntem tasarımları
tamamen geometri düşünülerek elde edilmiştir. Herhangi bir alanda gerçek bilimsel tavırdan
çok uzaktadırlar. Tüm bilimsel çalışmayı aklı mükemmelleştirmeye yardım etmediği sürece
yararsız görmüşlerdir. Sağduyu ve sağlam muhakemenin, bilimlerin en gerçek ve güvenilir
olanına kendini vererek elde edilebilen teorik bilgiden çok daha değerli ve önemli olduğunu
bildirmişlerdir. Kısacası onlar Descartes’ın takipçileridir, ancak onun felsefesine, onu
164
Augustinus düşüncesinin bir canlanışı olarak gördüklerinden ve bundan dolayı da kendi
teoloji türlerinin bir dostu olarak gördüklerinden dolayı ilgi duyan takipçileridir. Yazdıkları
kitap büyük ün kazanmıştır. Bu kitap kendisini ders kitaplarının alışılmış gösteriminden
ayıran taze bir güçle yazılmıştır ve mantığı epistemoloji ile karıştıran kötü modanın kaynağı
olduğu hâlde, incelemeye değer bazı yenilikler içerir.
Yazarların epistemolojiye olan ilgileri eseri sırasıyla kavram, yargı, akıl yürütme ve
yöntemi ele aldıkları dört bölüme ayırmalarında görülür. Kavram tartışmasında Descartes’ın
idealar hakkında söylediklerini (örneğin, onun doğuştan idealar açıklamasını) izlemişlerdir,
ancak terimler başlığı altında tartışılan bazı konuları da içine sokmaya çalışmışlardır.
“1. Tanımdan yoksun bırakmak için hiçbir terimi muğlak ya da iki anlamlı
bırakmamak.
4. Doğru olarak kabul edilmesi için sadece biraz dikkat gerektiren şeyi açık olarak
almak.
5. En ufak bir muğlaklığa sahip tüm önermeleri ispat etmek, bunların ispatında sadece
daha önceki tanımları, kabul edilmiş aksiyomları ve daha önce kanıtlanmış önermeleri
kullanmak.
8. Mümkün olduğu kadar her cinsi tüm türlerine, her bütünü tüm parçalarına ve her
zorluğu tüm hâllerine bölmek.”
165
Port Royal Mantığı’nın en fazla hatırda kalan katkısı genel bir terimin içlemi ile
kaplamı arasındaki ayrımdır. Bu teknik sözcükleri ilk ortaya attıklarında yazarlar genel bir
ideanın içlemi ve kaplamından bahsetmişlerdir, ancak bazı başka yerlerde her ikisini de
terimlere atfetmişlerdir, çünkü onların kullanımına göre idealar terimlerdir. O zaman, genel
bir terimin içlemi onun içerdiği öznitelikler kümesi ya da yazarların değişiyle, idea
bozulmadan ondan alınamayan öznitelikler kümesidir. Böylece üçgen ideasının içlemi
genişletilmiş olmayı, şekli, üç kenara sahip olmayı, üç açıya sahip olmayı ve iç açılarının iki
dik açıya eşit olmasını içerir. Diğer taraftan bir terimin kaplamı onun uygulanabilir olduğu
şeylerin kümesidir veya eski mantıkçıların altındakiler dedikleri şeydir. Bu ayrım significatio
ile suppositio arasındaki Orta Çağ ayrımının yerine geçmek niyetinde olabilir; ancak bir
terimin kaplamı ve içlemi onun özellikleri değil, onun belirli şekillerde ilişkili olduğu varlık
kümeleri olduğundan, bu tam olarak karşılamamaktadır.
Ayrımlarını ortaya koyduktan sonra Arnauld ve Nicole belirli bağlamlarda bir terimin
tüm kaplamına göre dikkate alınamayacağını söylemişlerdir. Bunun nedeni terimin ya ‘bazı’
gibi belirsiz sınırlama ile nitelendirilmiş olması ya da olumlu bir önermede yüklem olarak
göründüğünden ve bundan dolayı bağlandığı öznenin kapsamıyla sınırlanmış olduğundandır.
Açıkça onlar burada Orta Çağ mantıkçılarının termini non complete distributi (tam olarak
dağıtılmamış terimler) hakkında söylediklerini kendi terminolojilerine tercüme etmişlerdir.
Ancak onlar ‘dağıtılma’ sözcüğünün tüm kullanımınlardan muhtemelen onun gizemli bir
jargona ait olduğunu düşündüklerinden dolayı kaçınmışlar ve tikel önermenin öznesi zorunlu
olarak tüm kaplamında alınması nedeniyle tikel önermeleri tümel önermeler gibi
düşünmüşlerdir. Bu tikel ve genel terimler ayrımını bulandırarak kaplamın anlamını daha da
karıştırmıştır, ancak yine de bu, her iki türden terimin suppositioya sahip oldukları Orta Çağ
varsayımından daha kötü değildir. Kendi öğretilerine ve bu öğretinin içerdiği Orta Çağ
dağıtılma kurallarına dayanarak, daha sonra güvenilir ancak biraz şaşırtıcı bir kesinlik
derecesi ile döndürme kuralları ile kıyas kuralları düzenlemeye girişmişlerdir. Bu konuları
yarı-matematiksel olarak ele almaları aslında türünün ilk örneği sayılabilir, tıpkı daha sonraki
çoğu mantık kitabı yazarının kendi formel teorilerinin - örneğin, kıyasın geçerli hâllerini
belirlemeleri ve değişik kalıpların özel kurallarını ispatları - detaylarını çıkardıkları kesin
kaynak olduğu gibi. Ancak formel mantık detayları ile ilgili her paragraftan önce okura
bundan sonrası sadece saf teori için gerekli olduğundan onu atlayabilir olduğunu söylemeleri
Arnauld ve Nicole’ün özelliğidir.
Akıl yürütmeyi ele alışlarındaki ilgi çekici ufak bir nokta, geçerli bir çıkarımın sadece
bir öncülünün doğru olduğu bilindiğinde, diğer öncülün sonuca bir koşul olarak ileri
sürülebildiğinin belirtilmesidir. Örneğin, hiçbir maddenin düşünmediği verildiğinde, eğer ağrı
duyan her şey düşünürse, hiçbir maddenin ağrı duymadığını çıkarabiliriz. Öncüllerden
hiçbirinin doğru olduğu bilinmiyorsa, onların her ikisini de hipotetik önermede koşul olarak
da sunabiliriz. Burada Aristoteles tarafından doğru kabul edilen ve Stoalılar tarafından açıkça
kullanılan koşullandırma ilkesinin (ya da ‘tümdengelim teoreminin) bir türü görülür.
Port Royal Mantığı’nın bazı özellikleri Arnauld ve Nicole’ün kendi çevrelerinin çok
ötesine dağılması beklenemeyen özel ilgilerini yansıtmıştır; ancak bu kitapta ortaya
166
koydukları genel mantık kavramı geniş kabul görmüş ve sonraki iki yüz yıl boyunca çoğu
filozof tarafından mantığın ele alınışında egemen olmuştur.
167
Bu Bölümde Ne Öğrendik Özeti
168
Bölüm Soruları
a) İngilizce
b) Almanca
c) Latince
d) İtalyanca
e) Flemenkçe
e) Avrupa’daki kıtlık
a) Pierre Nicole
b) Rene Descartes
c) Francis Bacon
d) Zabarella
e) Petrus Ramus
a) Pierre Nicole
b) Rene Descartes
c) Francis Bacon
d) Zabarella
169
e) Petrus Ramus
5) Aşağıdakilerden hangisi Port Royal Mantığının temel kitabı olarak kabul edilen
“Mantık ya da Düşünme Sanatı” kitabının yazarlarından birisidir?
a) Pierre Nicole
b) Rene Descartes
c) Francis Bacon
d) Zabarella
e) Petrus Ramus
a) Pierre Nicole
b) Rene Descartes
c) Francis Bacon
d) Zabarella
e) Petrus Ramus
8) Metot Üzerine Konuşma ile Aklı Yönetme Kuralları adlı kitablarının yazarı
kimdir?
a) Pierre Nicole
b) Rene Descartes
c) Francis Bacon
d) Zabarella
170
e) Petrus Ramus
a) Hobbes
b) Rene Descartes
c) Francis Bacon
d) Berkeley
e) Petrus Ramus
Cevaplar
171
10. GOTTFRIED WILHELM LEIBNIZ I
172
Bu Bölümde Neler Öğreneceğiz?
173
Bölüm Hakkında İlgi Oluşturan Sorular
174
Bölümde Hedeflenen Kazanımlar ve Kazanım Yöntemleri
175
Anahtar Kavramlar
176
Giriş
Leibniz her gerçek olumlu önerme için, tümel ya da tekil olsun, zorunlu ya da olumsal
olsun, yüklem öznede vardır (praedicatum inest subiecto) demiştir. Bu ilke şöyle açıklanabilir
‘Her gerçek olumlu önerme özne terimi tarafından belirtilen şeye gerçekten o şeyin özünde
olan bir nitelik atfeder’. Bu ilke Leibniz’in mantığının gelişiminde çok önemlidir.
Leibniz bir buluş yapma mantığı tasarlamaya çalışmıştır. Yalnız yirmi dört geçerli
kıyas formu olduğunu göstermiştir. De Arte Combinatoria kitapçığında Leibniz karmaşık
geometri kavramlarının bir şifre ile nasıl tam olarak ortaya konabildiğini göstermeye
çalışmıştır. Leibniz bu şifreleme metodunun mantıksal analizde bir enstrüman olarak
yetersizliğini fark etmiştir. Ancak yönteminin tatmin edici bir örneğini ortaya çıkaramamıştır.
177
10.1. Leibniz’in İlgileri
Kendi ifadesine göre Leibniz on iki yaşında Zabarella’yı zevkle okumuş ve on dört
yaşında tüm önermelerin kıyaslara içerik sağlama sırasına göre, yani Öklid’in geometri için
düşündüğüne benzer dedüktif bir sistem içinde, düzenlenebilir olduğu fikrini edinmiştir.
Aristoteles’in kıyas kuramına olan bu büyük ilgisi Nouveaux Essais’i (Yeni Denemeler)
yazdığı zaman onda hâlâ mevcuttur; çünkü burada Aristoteles’in öğretisini ‘insan ruhunun en
178
güzel buluşlarından biri’ olarak tanımlamış ve bunun ‘bir tür evrensel matematiğe’
geliştirilebilir olan bir ‘yanılmazlık sanatı’ olduğunu söylemiştir. Bu sözler elbette Locke’un
formel mantığı değersizleştirmesine karşı söylenmiştir. Ancak kıyas kuramının birkaç noktası
hakkındaki Leibniz’in görüşlerine değinilmelidir; çünkü o hiçbir şekilde bir saf Aristotelesçi
değildir.
İkinci olarak her biri altı kipten oluşan dört kıyas kalıbının varlığını savunmuştur. Bu
görüş sadece on dokuz yaşındayken 1666’da yazdığı De Arte Combinatoria (Birleştirme
Sanatı) eserinde zaten mevcuttur ve bu düzenli simetrisinden dolayı açıkça Leibniz’e cazip
gelmiştir. Üç kalıba ayrılmış on dört kipten oluşan alışılmış Aristoteles öğretisinin herhangi
tutarlı bir kıyas formu kuramından ziyade, akıl yürütmede doğal olanın keyfi tasarımından
dolayı olduğunu görmüştür. Yirmi dört kipten oluşan öğretiyi kabul ederek tüm tümel
önermelerin varlıksal anlam taşıdıkları varsayımına inanmıştır. Endişelerine rağmen hiçbir
zaman kendisini bu engelden kurtaramamıştır ve bu muhtemelen onun gerçekten tatmin edici
bir mantık hesabı yapmasına engel olan faktörlerden biri olmuştur.
Üçüncü olarak kıyasları birinci kalıba indirgerken döndürme yerine per impossibile
(imkânsız olana) indirgemeyi tercih etmiştir, çünkü genellikle dolaylı denilen yöntemin
aslında daha basit olduğunu düşünmüştür. Ancak dördüncü kalıp kıyasların döndürme
kuralları olmaksızın (ya da her hâlükarda ikinci ve üçüncü kalıplarda döndürme kurallarının
ispatları için kullandığı özdeşlik ilkesi olmaksızın) hiçbir şekilde indirgenemeyeceğini ve bu
bakımdan en azından taslağının düzenliliğinin tehlikeye girdiğini görmüştür. Bu bağlamda
yaptığı yorumlar onun mantık tarihini ne kadar dikkatli bir şekilde incelemiş olduğunu
gösterir. Bundan dolayı, dolaylı indirgemeyi sadece çelişmezlik ilkesi ile yani Stoalıların
birinci tema dedikleri temel mantık ilkesi olmadan ispatlamaya çalışmıştır.
Dördüncü olarak kıyas kuramının amaçları bakımından tekil önermelerin tümel olarak
sınıflandırılabileceği görüşünü savunmuştur. Eğer bu sadece tekil öncüle sahip çıkarımları
onlar kıyasmış gibi ele almamıza izin veren bir yana kaçma olsaydı, yeter derecede zararsız
olurdu. Bu çıkarımlar Aristoteles kıyaslarından öz yapı olarak farklı oldukları hâlde, kuralları
kıyas akıl yürütmesi kurallarına benzer. Ancak Leibniz’in bundan daha ileri gidip tekil
önermelerin tümel önermelere benzediğini kabul etmiştir, çünkü o bu iki tür arasında temel
bir fark görmemiştir. Onun sık sık tekrarladığı söz olan her gerçek olumlu önermede, tümel ya
da tekil olsun, zorunlu ya da olumsal olsun, praedicatum inest subiecto (yüklem öznede
179
vardır) sözünden bu türden bir sonuç çıkar ve bu söz onun düşüncesinde çok önemli bir yere
sahiptir.
180
şekline dönüşebildiğini fark etmiştir; ancak formellik olmadan kesinlik olamayacağını da
görmüştür. Matematikte zorunlulukları formlarına dayanan yeni gelişmeler sunmanın önemini
vurgulamıştır. Bu ilgisi yazdığı dönemde moda değildir ve daha sonra da moda olmamaya
devam etmiştir, ancak on dokuzuncu yüzyılda fazlasıyla doğrulanmıştır.
Her şeyden önce, Leibniz’in geometri için yirmi-yedi adet termini primi listesi
herhangi mantıklı bir kurala dayanarak derlenmemiştir. Punctum (nokta) ve dimensio (boyut)
gibi bazı maddeler geometriye ait görünürler, oysa unum (bir), possible (olası) ve omne (tüm)
gibi diğerlerinin bu bilimin dışında da uygulamaları bulunur; ayrıca geometri terimlerinin
hepsinin gerekli olduğu da hiçbir şekilde açık değildir. İkinci olarak, tanımların
formülasyonundaki ab, habens, alicuius gibi yardımcı ifadeler ile kaynaşık Yunanca artikeller
Leibniz’in analizinin yetersizliğinin bir göstergesidir. Programını yeterli bir şekilde yürütmek
181
için (a) mantıksal sentaksın alışılmış imleri ile geometrinin kendine özgü imleri arasında kesin
ayrım yapmak ve (b) tanımlarda hangi tür karmaşıklık meydana gelebileceğini ya da diğer bir
değişle, basit geometri kavramlarında ‘kombinasyon’ ile ne anlaşılması gerektiğini düşünmek
gerekecektir. Leibniz yönteminin tatmin edici bir örneğini ortaya çıkaramamıştır. Bunun
nedeni tüm karmaşık ifadelerin niteliklerin birleşmesinden ortaya çıkması gerektiğine olan
tutkusudur. Kombinasyondan bahsettiği zaman örneğin, ‘bir üçgen üç kenarlı doğrusal bir
şekildir’ tanımındaki gibi, sıfatlar ile cins isimleri bir araya getirerek ifade ettiğimiz türden
karmaşık ifadeleri düşünmüştür ve dünyanın karmaşıklığının sadece bu şekilde açıklanamaz
olduğunu anlayamamıştır.
On yedinci yüzyılın birçok yazarı yapay bir dil oluşturmak için öneriler ortaya
koymuşlardır; Leibniz’in döneminde bu tür fikirler Wilkins ve Dalgarno’dan her birinin kendi
sistemini savunduğu özellikle İngiltere’de gelişmiştir. Bu mucitlerin esas savları son
zamanlarda Esperanto için geliştirilen savlara, yani tüm insanlar ya da en azından tüm eğitimli
insanlar basit kurallar üzerine kurulmuş ve tamamıyla düzenli bir dilbilgisine sahip bir dili
kullanırlarsa iletişimin daha kolay olacağı ve fikirlerin dağılımının daha hızlı olacağı
savlarına benzer. Leibniz bu türden düşüncelere kayıtsız kalmamıştır; çünkü o dünyada barış
ve düzeni kurmanın önemine kesin olarak inanmıştır ve bilimin ilerlemesinin farklı
milletlerden insanların fikrî iş birliğine bağlı olduğunu savunmuştur. Bundan dolayı bir
dönem temel düzgün Latincenin kullanılmasını savunmuştur. Ancak onun ideal bir dil
oluşturmaya olan ilgisi çok daha ileri gitmiştir. O sadece düşüncelerin iletişiminde değil, aynı
zamanda düşünmeye de yardımcı olacak bilimsel bir dil arzulamıştır. Bunu lingua
philosophica (felsefe dili) veya characteristica universalis (evrensel özellik) olarak
adlandırmıştır.
Leibniz’in characteristica universalis’ini tam olarak nasıl inşa etmek istediği açık
değildir; çünkü o hiçbir zaman detaylı bir taslak ortaya koymamıştır. Ancak o bir ihtimalle
bunu çoğu zaman formel-olmayan kavramların sözcükler yerine imlerle gösterildiği bir yazı
olarak düşünmüştür. Bazen bunun cebir gibi olacağını, bazen de Çincenin kavramsal
sisteminin gelişmiş bir şekli olacağını söylemiştir. O elbette bunun önermelerin mantıksal
formlarını basit ve herhangi doğal bir dilden daha düzenli bir şekilde göstermesini de
amaçlamıştır. Çünkü o felsefî şekilde oluşturulmuş bir dilbilgisinin Junge’nin kıyas formunda
182
olmayan çıkarımlarının bile birkaç basit yöntem kuralı altında toplanabileceği bir calculus
ratiocinator (yani, sonuç çıkarmak için yarı-mekanik bir yöntem) için bir çerçeve sağlayarak
formel akıl yürütmeyi kolaylaştıracağını sık sık söylemiştir. O, bu yeni dil mükemmel hâle
getirildiğinde herhangi bir konudaki bir anlaşmazlığı yatıştırmak isteyen iyi niyetli kişilerin
kalemlerini ellerine alıp Calculemus (Hesap yapalım) diyeceklerini tahmin etmiştir.
Leibniz’in belirli bir sistem ortaya koymayı hiçbir zaman başaramamasının iki nedeni
vardır. İlki bilimsel araştırma tamamlanana kadar bu yeni dil için bir sözlük hazırlamanın
imkânsızlığıdır. Örneğin, kimya bir bilim olarak var olmadan kimya hakkında açıklayıcı bir
sembolizm oluşturamayız. Descartes daha önce o yüzyılda Mersenne’in bir önerisine karşı bu
noktaya temas etmiştir ve bu Leibniz’in dikkatinden kaçmamıştır. Onun ansiklopedi projesini
istemesinin bir nedeni de bu projenin bir characteristica universalis’i gerçekleştirmeyi
mümkün kılacağı ümididir. Ancak ideal dilin oluşturulmasında Lebniz’in çok az ilerleme kat
etmesinin ikinci nedeni kendisini geleneksel mantığın özne-yüklem dogmasından
kurtaramamasıdır.
Leibniz bir ansiklopedi yapımıyla yakından ilgilenmiştir, çünkü o sistematik bir bilgi
topluluğunun bir characteristica universalis oluşturmayı mümkün kılacağını ümit etmiştir.
Ancak bu ilgisi için başka daha açık nedenleri vardır. Her şeyden önce o bilgisini genişletme
ve tüm bilgisini tek bir sistem içine sokma arzusu duyan bir bilgedir. Eserleri ile yazışmaları
merakının muazzam alanını gözler önüne serer. Mantık, matematik, fizik, mühendislik,
183
biyoloji, filoloji, tarih, politika, hukuk, metafizik ve teolojinin hepsi ona göre aynı türden
bilimlerdir ve neredeyse hepsinde en azından zamanının en okumuş kişilerinin bilgisi kadar
bilgisi vardır. Yazıları, bir ansiklopedi yapmaya olan ilgisinin büyük ölçüde bilginin
parçalanması yönündeki gittikçe artan eğilimin farkına varmasından dolayı olduğunu gösterir.
İkinci olarak, tüm toplumun güvenliğinin düşünsel alanda sağlam düzen sağlamaya bağlı
olduğuna inanmıştır. Zaman zaman ansiklopediyi tüm gruplardan bilim adamlarını birleştirici
bir araç olarak görmüştür. O kiliselerin yeniden barışmaları ile özellikle ilgilidir ve uyumlu
hâle getirilmesi gereken öğretilerin açıklanmasına çok önem vermiştir.
Diğer önde gelen fikirleri gibi, ansiklopedi projesi gençliğinden ölümüne kadar onunla
birlikte olmuştur, ancak farklı tarihlerde farklı şekiller almıştır. Yirmi yaşındayken onu sadece
bir opus Photianum olarak ya da tüm değişik konular üzerine en iyi yazarlardan bir seçmeler
dizisi olarak düşünmüştür. Böylece mantık esasen Junge’den, fizik ise esasen Hobbes’dan
alınacaktır. Bu tarihte onun taslağında matematiğin önemli bir yeri bulunmuyordur, çünkü
kendisi henüz bu bilimde fazla ilerleme kaydetmemiştir. Ancak daha o zamandan bu
maddenin mantıksal gelişim sırasına göre sunulmasında ısrarcı olmuştur. Daha sonraki bir
tarihte matematik ideali düşüncesinde egemen olmuş ve o sadece matematiğe taslağında daha
büyük bir yer vermekle kalmamış, tüm matematiğin Euclid’in Elemanlar’ının kanıtlayıcı
tarzında hazırlanmasını arzu etmiştir. Planlarında en arzulu olduğu dönemde, o zamana kadar
öğrencilerin okuması için yazılmış olan doğa bilimini değil, ustalar tarafından biriktirilmiş
olan doğa bilimini eklemeği önermiştir. Ancak daha da sonraki bir tarihte bu ansiklopedinin
sadece değişik bilimlerin ilk ilkelerini içermesi gerektiği lehine bu türden taslakları terk etmiş
ve yaşamının sonuna doğru projesini hem bilimsel hem de dinî açıdan birleşik bir dünya-
görüşünü ortaya koymakla sınırlamıştır. Principes de la nature et de la grace (Doğanın ve
Kayranın İlkeleri) makalesi ile Monadologie adlı eseri bu amaçla yazılmıştır.
Ansiklopedi projeleri Leibniz’i bilgiyi dedüktif bir sistem içinde düzenleme olasılığı
hakkında düşünmeye sevk ederek onun mantık kuramının oluşumuna katkı sağlamıştır. Ancak
onun bilimsel metot hakkındaki düşünceleri mantığı için en önemli olanlardır. Kendinden
önceki Bacon ve Descartes gibi, bilginin hızla genişlemesi için bir yöntem tanımlamanın
mümkün olduğunu düşünmüştür ve zaman zaman bu araştırma işi onun yaşamı içinde
184
tamamlanabilirmiş gibi ve bu amaca kendilerini adamış misyonerlerin bir emriyle tüm
insanların yararlanabilir hâle gelmeleri sağlanabilirmiş gibi yazmıştır. De Arte Combinatoria
adlı eserini yazdığında bir buluş mantığı fikrine sahiptir ve daha sonraki eserinde bu fikir tüm
diğer ilgilerinin ona göre düzenlenebildikleri egemen fikir hâline gelmiştir.
Tartışmalarının başında Leibniz sentetik olan açıklama yöntemiyle analitik olan buluş
yöntemi arasında bir ayrım olduğunu varsaymıştır, ancak bu zamanla yazılarından
kaybolmuştur.
Hobbes için olduğu gibi, Leibniz için de tüm zorunlu doğruluklar terimlerinin
tanımları tarafından garanti edilirler ve özdeşlik ilkesi haricinde tamamen kanıtlanamaz
aksiyom yoktur. Bir önermeyi ispat etmek, onun yüklem kavramının özne kavramında
içerildiğini göstermektir ve bu amaçla bunların bağıntılarını açık hâle getirene kadar bu iki
kavramı analiz etmeliyiz. Yani, bir ispatın oluşturulmasında esas yöntem, tanımlara
dayanarak ispat edilecek önermenin gerçek bir özdeşlik olduğu bir tanım zinciri öne
sürmektir. Böylece şu tanımlar verildiğinde:
(i) 2 = 1 + 1
(ii) 3 = 2 + 1
= (2 + 1) + 1
Ancak kıyas şeklinde olsun ya da olmasın, tüm akıl yürütme sadece ifadelerin tanıma
göre eşdeğer olan başka ifadelerle yer değiştirmesi ise, yukarıdaki örnekteki gibi, bir özdeşlik
ile başlayıp ve bundan ard arda basamaklarla sentetik olarak kanıtlanacak şeye ulaşmak ile
kanıtlanacak şey ile başlayıp bundan ard arda basamaklarla bir eşdeğerliğe ulaşmak fark
etmez. Düzenlemedeki fark bir yöntem farkı anlamına gelmez, çünkü her durumda bir
tanımlar zinciri kullanmalıyız ve buluş bunları sıraya dizmekten veya daha temel bir seviyede
olası yüklem kombinasyonlarının araştırılmasından meydana gelir.
185
karşılık gelen bir sayının yükleme karşılık gelen başka bir sayı tarafından bölünebilmesi gibi
bir şey sanılır.
Her şeyden önce, tüm zorunlu doğruların bizim yapmış olduğumuz tanımlara
dayandığını söylemek paradoksal görünür. Leibniz bunu kabul etmiştir, ancak bu savın kendi
kuramına karşı hiçbir gücü olmadığını söylemiştir, çünkü o, Hobbes’un aksine, tanımları
tamamen keyfi olarak görmemiştir. Sözde tanımdan farklı olan gerçek bir tanımın, tanımlanan
şeyin olanaklılığının örtük bir iddiasını içerdiğini düşünmüştür.
İkinci zorluk ampirik bilimle ilgilidir. Leibniz genel bir yöntem kuramı verme
iddiasındadır, ancak onun kanıtlama hakkında söylediği fizikte nasıl uygulanır? O, tüm doğru
önermelerin, tekillerin dahi, her ne kadar sadece Tanrı tümünü a priori olarak bilebilse de
gerçek özdeşlikler olduklarını cesaretle savunmuştur.
Leibniz’in doğa bilimi hakkındaki genel açıklaması tatmin edici değildir, çünkü bu
açıklama gözlem vasıtasıyla elde ettiğimiz bilgiye hiç yer bırakmaz. O, Spinoza gibi,
deneyimin karmakarışık düşünme olduğunu söyleyen anlaşılmaz öğretiyi savunmuştur ve
doğadan bizim parçalardan yeniden oluşturmaya çalışmamız gereken saf matematiğin bir
parçasıymış gibi bahsetmiştir.
186
Bu Bölümde Ne Öğrendik Özeti
187
Bölüm Soruları
I. Theodicee
II. Monadologie
a) Yalnız I
b) Yalnız II
c) I ve II
d) I ve III
e) I, II ve III
188
c) Her biri altı kipten oluşan dört kıyas kalıbının varlığını savunmuştur.
a) Immanuel Kant
b) Bertrand Russell
c) Şafak Ural
d) J. Paul Sartre
e) Martin Heidegger
a) Immanuel Kant
b) Bertrand Russell
c) Leibniz
d) J. Paul Sartre
e) Martin Heidegger
b) Düşüncenin sınırları
c) Sanat eseri
d) Hukuk kavramı
a) Immanuel Kant
b) Bertrand Russell
c) B. Spinoza
d) J. Paul Sartre
e) Martin Heidegger
Cevaplar
1)c, 2)e, 3)e, 4)e, 5)b, 6)c, 7)a, 8)b, 9)a, 10)c
190
11. GOTTFRIED WILHELM LEIBNIZ II
191
Bu Bölümde Neler Öğreneceğiz?
192
Bölüm Hakkında İlgi Oluşturan Sorular
193
Bölümde Hedeflenen Kazanımlar ve Kazanım Yöntemleri
194
Anahtar Kavramlar
• Leibniz
• Yöntem Anlayışı
195
Giriş
Paris’e gitmiş ve orada kalıp Fransız Akademisi’ne üye olmak istemiştir, ancak
olamamıştır.
2. Açık duyu bilgisi: Bir şeyi onu bir daha gördüğümde tanıyabilecek gibi algılamam.
3. Akıl bilgisi: Tamdır, çünkü hem açık hem seçiktir. İnsan bu bilgi basamağında kalır.
4. Upuygun bilgi: Nesneyi kuran her bir öğenin seçik olarak kavranması. Örneğin; sayı
bilgisi.
Gerçek bir Rönesans adamı olan Leibniz, Akıl Çağı’nda mantığın hesap yapmak için
bir araç olarak kullanılma potansiyelini gören ilk filozoftur. Mantıksal hesaplamanın bir gün
matematik ile eşit düzeyde olacağını ümit etmiştir. Formel mantığın gerçekleşeceğini iki yüz
yıl önceden tahmin ederek mantığın sembolik gösteriminin başlangıcını hazırlamıştır.
196
11.1. Yaşamı
Leibniz yöntem anlayışında, on yedinci yüzyıl felsefesi için başlıca bir sorun olan
yöntem konusunda Descartes’ın ve okulunun yolunda yürümüştür. O da matematiğin
yöntemini felsefeye aktarmak, felsefede kullanmak istemiştir. Leibniz’e göre, yalnız
197
matematikçiler ileri sürdükleri savları kanıtlayabilecek durumdadırlar. Sayılarla olduğu gibi,
kavramlar ile de hesap edilebilmelidir. Bir hesap yanlışını bulduğumuz gibi bir düşünce
yanlışını da açık ve güvenilir biçimde bulup gösterebilirsek felsefedeki ayrılıkların ve
çekişmelerin ortadan kalkacağını düşünmüştür. Felsefenin kavramlarıyla hesap edebilmenin,
yani matematikte olduğu gibi bu kavramları birtakım işaretlerle, simgelerle gösterip bunların
aralarındaki bağlantıları birtakım işlemlerle meydana çıkarmanın bir faydası da olacaktır:
Formüller ile yazılmış olan bir felsefi araştırma belli bir ulusal dile bağlı olmaktan kurtulacak,
böylelikle evrensel bir felsefe dili, bir bilim dili de kurulmuş olacaktır. Leibniz felsefe için
böyle bir “genel işaretler” dili (characteristica universalis), dünyanın bütün bilim adamlarının
bilip kullanabilecekleri bir “akademik dil” (lingua academica) ile bir “felsefi hesap yöntemi”
üzerinde çok durmuş, bu işi birkaç kez ele almış, ama düşündüklerini gerçekleştirememiştir.
Gerçek bir Rönesans adamı olan Gottfried Leibniz, akıl çağında mantığın hesap
yapmak için bir araç olarak kullanılma olanağını fark eden ilk filozoftur. Mantıksal
hesaplamanın bir gün matematik ile eşit düzeyde olacağını ümit etmiştir. Formel mantığın
gerçekleşeceğini iki yüz yıl önceden tahmin ederek mantığın sembolik gösteriminin
başlangıcını hazırlamıştır.
199
11.4. Özdeşlik ve Altküme Hesabı
Leibniz’in makaleleri arasında bir altküme hesabı için birçok farklı proje yer alır. O,
başladığı zaman geleneksel mantıktan daha geniş bir şey ortaya koymak istemiştir; çünkü bir
yerde altküme kuramının kısmen Aristoteles tarafından Birinci Çözümlemeler’de incelenmiş
olduğunu söylemiştir. 1679, 1689 ve 1690’da bu konuda çalışmış olmasına rağmen tüm kıyas
kuramını dahi kapsayan bir hesap ortaya çıkarmayı hiçbir zaman başaramamıştır. Diğer
taraftan, bazı parçaları soyut bir şekilde, yani çeşitli yorumlamalara olanak tanıyacak şekilde
sunmayı başarmıştır. O mantıkta ileri sürülen bazı savlar ile geometride doğru, alan ya da
hacim bağıntıları hakkında ileri sürülen savlar arasında bir izomorfizm ya da form özdeşliği
olduğunu oldukça erken fark etmiş ve takipçisi Euler’in adıyla anılan bu türden geometrik
çizimleri sık sık kullanmıştır. Hazırlamak istediği hesabın ab = ba ve aa = a formülleriyle
ifade edilebilen iki özel ilkeyle öne çıktığını fark etmiştir.
İlk girişimi daha önce dikkat çektiğimiz bileşik kavramlar ile bileşik sayılar arasındaki
benzerliğe dayanmaktadır. Her basit terim bir asal sayı tarafından, her bileşik terim de asal
sayıların çarpımı tarafından temsil edilmelidir. O zaman, tümel olumlu bir önerme, öznesinin
sayısı yükleminin sayısına bölünebilirse, yani y bir tamsayı olduğunda, eğer S=yP veya S/P=y
ise doğru olacaktır. Örneğin, ‘uçmak’ terimi basit bir terim olup bir asal sayı olan 2 ile
gösterilsin. ‘Hayvan’ terimi de basit bir terim olup bir asal sayı olan 3 ile gösterilsin. O zaman
uçan hayvan anlamındaki ‘kuş’ terimi bir bileşik terim olup 6 ile gösterilir; çünkü 2 (uçmak)
× 3 (hayvan) = 6. Tikel olumlu bir önerme de x ve y tam sayılar olduğunda, ancak y/x zorunlu
olarak bir tamsayı olmayabildiği hâlde, eğer xS=yP veya S/P=y/x ise doğru olacaktır. Ancak
bu taslak olumsuz önermeleri hesaba katmamıştır. Bundan dolayı her terimi biri pozitif diğeri
negatif olan iki sayı ile göstermek gereklidir. Herhangi bir terimin pozitif sayısının başka bir
terimin negatif sayısıyla ortak böleni varsa, bu iki terim ayrışık olacaklardır, yani tümel
olumsuz bir önerme doğru olacaktır. Leibniz bu karmaşık sistemden hoşnut olmamıştır, ancak
o herhangi doğru bir önermede yüklem kavramının özne kavramında kapsanması gerektiği
kuramından hiçbir zaman vaz geçmemiştir. Göreceğimiz gibi, o genişleme içinde, yani sınıf
bağıntıları hakkında bir dizi önerme şeklinde yorumlanabilen bir hesap geliştirmiştir, ancak o
her zaman ilk başta içleme ilişkin yorumu düşünmüştür ki bu yoruma göre yüklem teriminin
anlamı özne-teriminin anlamının içindedir, yani hayvan olma insan olmanın içindedir. Bu ilke
boyunca, eğer A, B’yi içeriyorsa, o zaman A=yB düşüncesini de korumuştur.
A + A = A denkleminin doğru olduğu bir hesap içinde ‘-’ işaretini ‘+’ işaretiyle
birlikte kullanma girişimi başarısız olmuş ve Leibniz son taslağında bunu terk etmiştir.
Burada toplama işaretini kavramların birleşimi için kullanmaya devam etmiştir, ancak bunun
her zamanki sayısal anlamında anlaşılmaması için onu bir daire içine almıştır. Sonuç olarak
çıkan hesaplama ileri sürdüğü öneriler içinde en gelişmişidir ve şöyledir:
200
TANIM 2. Aynı olmayan terimler, yani her zaman birbiri yerine geçemeyen terimler
farklıdırlar. A ≠ B, A ile B’nin farklı olduğu anlamına gelir.
AKSİYOM 1. B ⊕ N = N ⊕ B.
POSTULAT. A ve B gibi herhangi bir terimler çokluğu tek terim olan A ⊕ B ‘yi
meydana getirmek için toplanabilir.
AKSİYOM 2. A ⊕ A = A.
TANIM 3’E ŞERH. Cins kavramının tür kavramının içinde olduğunu, türün
bireylerinin cinsin bireylerinin içinde [arasında] olduğunu, tümün içinde bir parça olduğunu
ve aslında sürekli içinde temel ve birey olduğunu, bir nokta bir doğrunun bir parçası olmadığı
hâlde, bir doğruda bir nokta gibi olduğunu söylüyoruz. Benzer şekilde, nitelik veya yüklem
kavramı da özne kavramının içindedir. Genellikle de bu kavramın çok geniş uygulaması
vardır... Burada içinde bulunan şeylerin birbirleriyle ve onları içeren şeyle bağıntılarının
[özel] hâliyle ilgilenmiyoruz. Böylece bizim kanıtlamalarımız bir şeyi meydana getiren tüm
şeyleri de dağılma anlamında kapsar, tıpkı tüm türlerin birlikte cinsi oluşturdukları gibi...
Aynı şey eğer onu oluşturan şeyler bileşik iseler, birçok başka şekilde oluşturulabilir. Aslında
eğer ayırma sonsuza kadar yapılabilseydi, birleşimin çeşitliliği sonuz olacaktı. Böylece tüm
sentez ve analiz burada ortaya konan ilkelere dayanır.
203
toplamadır... Bu yüzden, büyüklüklerin toplanması + ile belirtilirken, ben burada bu gerçek
toplamayı ⊕ ile belirttim.”
Bu alıntının sonunda yer alan iki not Leibniz’in kendi hesabının soyutluğuna olan
ilgisini, yani, onu çeşitli şekillerde yorumlama olasılığını gösterir. O, öncelikle nitelikleri
birleştirmeyi düşünmüştür, ancak kuramlarının birçoğunu başka doğruların kapsadığı
doğruların çizimleriyle göstermiştir ve bunların hepsinin sınıfların oluşumuna uygulanabilir
olduklarını fark etmiştir. Ancak ⊕ sembolünün anlamı A, B gibi harflere verilen
yorumlamaların çeşidine göre değişmektedir. Böylece Leibniz nitelikleri düşünürken, ⊕
sembolünü birleştirme sembolü olarak anlamıştır, ancak sınıfları düşündüğünde ise onu bir
ayırma sembolü olarak anlamıştır. Çünkü eğer insanlar sınıfı hayvanlar sınıfının içindedir
dersek, hayvan olan herhangi bir şeyin ya bir insan ya bir at ya bir köpek ve benzerleri
olduğunu söylemek istiyoruz. ‘İçindedir’ sözcüğünün anlamı da benzer şekilde değişir. Bir
niteliğin başka bir niteliğin içinde bulunduğunu söylemek birincinin ikinci tarafından
gerektirildiğini söylemektir, oysa bir sınıfın başka bir sınıfın içinde bulunduğunu söylemek ilk
sınıfın ikinci sınıfın bir alt-sınıfı olduğunu söylemektir.
Leibniz’in hesabı boyunca ‘içindedir’ ifadesi yerine yapay bir sembol, örneğin ‘‘
sembolünü koyarsak, biri içlemsel (nitelikler cinsinden), diğeri kaplamsal (sınıflar cinsinden)
iki ek yorumlamayı kabul eden daha genel bir hesap elde ederiz. Nitelik ve sınıflar için bu
dört yorumlamayı aşağıdaki şekilde düzenleyebiliriz:
A, B ve benzerleri ⊕
204
noktalar sınıfı olarak düşünülebilir. Ancak eğer tanım 3’e konulan şerhin ilk cümlesinin sonu
bu hesabın noktaların doğruların içinde bulunmasına uygulanabilir olduğunu öne sürme
niyetindeyse, bu bir hatadır. Çünkü bir bireyin bir üye olarak bir sınıfın içinde bulunmasının
anlamı bir sınıfın başka bir sınıfın içinde bir alt-sınıf olarak bulunmasından oldukça farklıdır
ve ilk bağıntı ikinci bağıntıyla aynı mantıksal özelliklere sahip değildir. A’nın B’nin bir üyesi
olduğu ve B’nin de C’nin bir üyesi olduğu olgusundan A’nın C’nin bir üyesi olduğu sonucu
çıkmaz. Lord Tomnoddy’nin asiller sınıfının bir üyesi olduğu ve asiller sınıfının da krallığın
bir sınıfı olduğunu söyleyebiliriz, ancak Lord Tomnoddy’nin krallığın sınıflarından biri
olduğunu söyleyemeyiz. Leibniz’in bunu görmemesi onun tekil ve genel önermelerin aynı
kategorik formu paylaştıkları Aristoteles öğretisine fazlasıyla saygısından dolayıdır.
205
Bu Bölümde Ne Öğrendik Özeti
206
Bölüm Soruları
d) Akıl bilgisi
e) Upuygun bilgi
3) Leibniz’e göre “bir şeyi onu bir daha gördüğümde tanıyabilecek gibi
algılamam” aşağıdaki bilgi basamaklarından hangisine girer?
d) Akıl bilgisi
e) Upuygun bilgi
e) Upuygun bilgi
5) Leibniz’e göre “Nesneyi kuran her bir öğenin seçik olarak kavranması”
aşağıdaki bilgi basamaklarından hangisine girer?
d) Akıl bilgisi
e) Upuygun bilgi
d) Akıl bilgisi
e) Upuygun bilgi
7) Rönesans döneminde “mantığın hesap yapmak için bir araç olarak kullanılma
potansiyelini gören ilk mantıkçı” kimdir?
a) Leibniz
b) Russell
c) Quine
d) C.I. Lewis
e) Frege
8) “Formel mantığın gerçekleşeceğini iki yüz yıl önceden tahmin ederek mantığın
sembolik gösteriminin başlangıcını hazırlayan” kimdir?
a) Frege
b) Russell
208
c) Quine
d) C.I. Lewis
e) Leibniz
a) Dil ile düşünce arasındaki bağı her dilde farklı farklı göstermek
b) Formüller ile yazılmış olan bir felsefi araştırmanın belli bir ulusal dile bağlı
olmaktan kurtarmak
10) Leibniz’in “hem eldeki bilgileri kanıtlamaya yarar, hem de yeni bilgileri
bulmaya yol açan” düşüncesinin adı nedir?
a) Genel Yöntem
b) İlk Doğrular
c) Doğuştan İdeler
d) Aktarım Formülleri
e) Matematik Modulleri
Cevaplar
1.)a, 2)c, 3)b, 4)a, 5)e, 6)e, 7)a, 8)e, 9)b, 10)a
209
12. SACCHERI’DEN EULER’E MANTIK ÇALIŞMALARI
210
Bu Bölümde Neler Öğreneceğiz?
211
Bölüm Hakkında İlgi Oluşturan Sorular
212
Bölümde Hedeflenen Kazanımlar ve Kazanım Yöntemleri
213
Anahtar Kavramlar
• Saccheri
• Lambert
• Ploucquet
• Euler
• Mantık Çalışmaları
214
Giriş
Leonard Euler’in (1761’de yazılan ve 1768’de St. Petersburg’da basılan) Bir Alman
Prensesine Mektuplar eserinden de matematiksel mantığa katkıda bulunan 18. yüzyıl eserleri
arasında bahsedilmelidir. Euler büyük bir matematikçi olduğu hâlde mantıkla ilgili bu
mektuplarda bir hesap tasarlama girişimi yoktur. Ancak bunlar Leibniz’in mantık bağıntılarını
geometrik örneksemelerle gösterme eğilimini popüler hâle getirmişlerdir. Bunun da 19. yüzyıl
düşünürleri üzerinde etkisi olmuştur. Euler Aristoteles’in dört önerme formunu, ‘bazı’
sözcüğünün ‘bazı ve sadece bazı’ anlamında kullanıldığı bir şemayla göstermiştir.
215
12.1. Saccheri
Leibniz felsefenin bir dalı olarak mantık ile iniş dönemi boyunca ilgilenen
matematikçilerin açık ara en önemlisidir, ancak bahse değer başka matematikçiler de vardır.
Bunlardan en ilginci 1697’de Kanıtlama Mantığı (Logica Demonstrativa) adlı küçük bir kitap
yayınlayan ve daha sonra Öklidyen olmayan geometrinin ilk teoremlerini oluşturan bir İtalyan
Cizvit olan Gerolamo Saccheri’dir. Bu kitap ilk ortaya çıktığında başarı kazanmış olmalı ki
1701’de ikinci baskısı, yazarının ölümünden iki yıl sonra 1735’de de üçüncü baskısı
yapılmıştır. Ancak bu kitap on sekizinci ve on dokuzuncu yüzyıllarda unutulmuştur ve Vailati
yirminci yüzyılın başında ona tekrar dikkat çektiğinde kalmış birkaç kopyası vardır.
Saccheri’nin yöntemini bir örnekle açıklayalım. Tümel olumlu bir büyük öncül, tümel
olumsuz bir küçük öncül ve tümel olumsuz bir sonuç ile birinci kalıptan (yani, geleneksel
olarak AEE denilen şekilde) geçerli bir kıyasın olamayacağını ispat etmek için Saccheri şu
çıkarımı oluşturmuştur:
Tümel büyük öncül ve olumlu küçük öncüle sahip her kıyas birinci kalıptan bir sonuç
verir.
Ancak AEE şeklindeki hiçbir kıyas tümel bir büyük öncüle ve olumlu bir küçük
öncüle sahip değildir.
Bundan dolayı AEE şeklindeki hiçbir kıyas birinci kalıptan bir sonuç vermez.
Bu çıkarımın kendisi söz konusu olan türden bir kıyastır ve iki öncül açık bir şekilde
doğrudur. Eğer AEE biçimi birinci kalıpta geçerli ise, sonuç da bundan dolayı doğru
olmalıdır. Ancak sonuç AEE biçiminin birinci kalıpta geçersiz olduğunu söyleyen bir
216
önermedir. Bundan dolayı da arzu edilen neticenin kendi olumsuzundan dahi çıktığı görülür
ki bu onun doğru olması gerektiğini söylemekle aynı şeydir. Saccheri bu türden yarım düzine
örnek vermiştir ve bölümün sonunda bu yöntemin daha geniş bir şekilde uygulanabilir
olduğunu belirtmiştir. Otuz altı yıl sonra yazdığı Euclides ab Omni Naevo Vindicatus’da
(Öklid’den İtibaren Tüm İddialar) Logica Demonstarativa’dan tekrar söz etmiştir ve
araştırmalarının her temel doğruluğun kendi çelişiğinden elde edilebilir olduğu görüşünü
doğruladığını söylemiştir.
Modern dönemde bu türden çıkarımı ilk kullanan ve hatta onu bulduğunu iddia eden
Cardan (1501-76) bunun Stoa buluşlarıyla ilişkili olduğundan haberdardır. Yazdığı De
Proportionibus (Önermeler) eserinin bir paragrafında Saccheri, Cardan’ın bunu övdüğünden
bahsetmiştir. Kuşkuculuğu çürütmeye benzemeyen bir şekilde, çıkarımı aslında şu şeklin
gerçek bir örneğidir: “Eğer birinciyse, o zaman birincidir; eğer birinci değilse, o zaman
birincidir; ancak ya birincidir ya da birinci değildir; bundan dolayı birincidir.” Ancak
Clavius’un belirttiğine göre, Öklid ve Theodosius bu türden bir çıkarımı oluşturmada ondan
önce davranmışlardır.
12.3. Euler
Leonard Euler’in 1761’de yazılan ve 1768’de St. Petersburg’da basılan Lettres A une
Princesse d’Allemagne (Bir Alman Prensesine Mektuplar) eserinden de matematiksel mantığa
katkıda bulunan on sekizinci yüzyıl eserleri arasında bahsedilmelidir. Euler büyük bir
matematikçi olduğu hâlde mantıkla ilgili bu mektuplarda bir hesap tasarlama girişimi yoktur;
ancak bunlar Leibniz’in mantık bağıntılarını geometrik örneksemelerle gösterme eğilimini
popüler hâle getirmişlerdir. Bunun da bir sonraki yüzyıl düşünürleri üzerinde etkisi olmuştur.
Özellikle bu, dikkati genel önermelerin kaplamsal ya da sınıfsal yorumuna yönlendirmiştir;
çünkü Euler Aristoteles’in dört önerme formunu, ‘bazı’ sözcüğünün ‘bazı ve sadece bazı’
anlamında kullanıldığı aşağıdaki şemaya göre, kapalı şekillerin üç biçimdeki ilişkisi ile
göstermiştir:
Her a b’dir a b
a b
Hiçbir a b değildir
218
a b
Bazı a’lar b’dir
Herhangi tümel olumlu bir önermenin doğruluğu için özne-terimine bağlı bir şeyin
yüklem-terimine bağlı bir şeyin bir bölümü olması gerektiği zorunluysa, açıkça bu şey kaplam
olmalıdır.
219
Bu Bölümde Ne Öğrendik Özeti
220
Bölüm Soruları
a) Kanıtlama Mantığı
b) Temel Mantık
c) Sembolik Mantık
d) Mantık Tarihi
e) İkinci Çözümlemeler
a) Birinci Çözümlemeler
b) İkinci Çözümlemeler
c) Topikler ya da Diyalektik
d) Mantık Tarihi
e) Sofizm
a) Mantık ve fizik arasında bir bağ kurma konusunda ikisi de aynı görüştedir.
221
d) Saccheri Leibniz’den etkilenmiştir
5. Lambert hangi kitabında “mantık ile alışılagelmiş cebir arasında bazı yaratıcı
benzerlikleri” dile getirmiştir?
b) Sanat Üzerine
c) Mantık Tarihi
d) Saccheri Felsefesi
e) Leibniz Üzerine
b) Sanat Üzerine
d) Saccheri Felsefesi
e) Leibniz Üzerine
a) Ploucquet
b) Petersburg
c) Euler
d) Saccheri
e) Leibniz
8. “Bir Alman Prensesine Mektuplar” adlı kitabında çizdiği şemalar ile matematik
dünyasına katkıda bulunan düşünür kimdir?
a) Euler
b) Ploucquet
222
c) Petersburg
d) Saccheri
e) Leibniz
a) Euler
b) Ploucquet
c) Stoalılar
d) Frege
e) Leibniz
a) Her a b’dir a b
a b
b) Hiçbir a b değildir
a b
c) Bazı a’lar b’dir
a b
d) Bazı a’lar b değildir
a b
e) Hiçbir a b değildir
223
Cevaplar
1)a, 2)d, 3)b, 4)e, 5)a, 6)c, 7)c, 8)a, 9)c, 10)e
224
13. GERGONNE’DAN HAMILTON’A MANTIK ÇALIŞMALARI
225
Bu Bölümde Neler Öğreneceğiz?
226
Bölüm Hakkında İlgi Oluşturan Sorular
227
Bölümde Hedeflenen Kazanımlar ve Kazanım Yöntemleri
228
Anahtar Kavramlar
• J. D. Gergonne
• William Hamilton
• Immanuel Kant
229
Giriş
a H b . . . Hiçbir a b değildir.
230
Salt Aklın Eleştrisi’nin ‘Yargılarda Anlamanın Mantıksal İşlevi Hakkında’ başlıklı
bölümünde Kant yargıları aşağıdaki gibi sınıflandırmıştır:
231
13.1. J. D. Gergonne
Euler’in mantığında uzamsal şekillerin esas rolü kıyas ilkelerini sezgisel olarak
belirgin hâle getirmektir, kaplamların tüm mümkün bağıntılarını araştırma girişimi de yoktur.
Ancak elli yıl sonra Fransız matematikçi J. D. Gergonne, Euler’in çalışmasından kıyas için bir
altyapı olarak tanımlanabilecek yeni bir kuram geliştirmiştir. Makalesinin başlangıcında
Gergonne, Aristoteles mantığının hâlen bazı Gotik akademilerde öğretildiği hâlde on sekizinci
yüzyıl boyunca genel bir itibar kaybı yaşadığına ve kendi döneminde sadece çağın tutuculuğu
‘eski çalışmalara dönüşe’ rağbet gösterdiğinden dolayı mantığın canlandırıldığına dikkat
çekmiştir. Ancak o, Condorcet’in önerisi olan, Aristoteles’in çıkarımları kurallara indirgeme
fikrinin akıl yürütme sanatının henüz erişilmemiş mükemmeliyetine doğru bir adım olarak
görülebileceğini onaylamıştır. Gergonne daha sonra, mantık sanatının nihai
mükemmeliyetinin sonuçlarımızı tamamen mekanik tarzda alabildiğimiz bir yöntem olacağını
söylemiştir. Ancak önerdiği şey bir makine değil, kıyas ilkelerinin kesin olarak ispat
edilebildiği bir kuramdır.
Eğer, Euler tarzında, iki ideanın kaplamını daireler gibi kapalı şekillerle gösterirsek,
bunların birbirleriyle beş ve sadece beş şekilde bağıntılı olabileceklerini kolayca
saptayabiliriz. (Boethius tarafından zaten bilinen) bu bağıntıların her biri için Gergonne
aşağıdaki şemayla ayla birlikte bir harf öne sürmüştür.
a b
b
aHb
a b
aXb
A
ab
232
a b
a⊂b
v a
a⊃b
Hiçbir a b değildir . . . a H b.
a H b . . . Hiçbir a b değildir.
M...P
S...M
S...P
234
H H
H Xa I ⊂a ⊃
H ∼I ∼I
∼⊃ ∼⊃
X
∼H
X ∼I ∼I
S……
∼⊃ ∼I ∼⊃
∼⊃
H X I ⊂ ⊃
H ⊂ ⊂
I
∼I ⊃
⊂
∼⊃
⊃ ⊃
∼H
∼I ∼H
∼⊂ ∼I
∼⊂
235
Gergonne bağıntıları birkaç Aristoteles önerme formu tarafından ifade edilen
bağıntılardan belli bir anlamda daha basit olduğundan, karmaşıklık yaratmadan niçin günlük
dilde ifade edilemediklerini sormak doğaldır. Bunun nedeninin tüm genel terimlerin
uygulaması olduğu (yani, boş sınıflar hariç) varsayımıyla hiçbir ilgisi olamaz; çünkü bu,
kıyası detaylandırırken Aristoteles tarafından yapılmıştır. Ancak bu, Gergonne bağıntılarının
kaplam bağıntıları olduğu olgusuyla ilgilidir. Doğal dilde ‘her’ ve ‘bazı’ gibi sözcükler dört
Aristoteles önerme formu haricinde birçok bağlamda kullanılabilir. Örneğin, ‘her adam bir
kadının oğludur’ (every man is a son of some woman) diyebiliriz ki bu aynı anda her iki
niceleyicisine göre Aristoteles taslağında sınıflandırılamaz. Ancak eğer dikkatimizi
Aristoteles kıyasının kurallarıyla ilgili olan üzerinde toplarsak, kolaylık sağlaması bakımından
tümellik ya da tikellik ifadesini yüklemleme ifadesiyle ya da yüklemleme değiliyle
birleştirebiliriz. Bu A, E, I, O skolastik notasyonunda yapılır, ancak öyle bir şekilde yapılır ki
istediğimiz zaman bir hamlede günlük dile dönebiliriz. H, X, , ⊂, ⊃ şeklindeki Gergonne
notasyonunun takdimiyle günlük dilden bir adım daha uzaklaşırız; kaplam bağıntıları
hakkında konuşmak istediğimizde bu sembolleştirmenin kullanımından dolayı kazanılacak
avantajlar da mevcuttur. Ancak bunlara sadece birçok başka durumla ilgilenirken
kullanabileceğimiz niceleyici notasyonu ile doğrudan bağ kesilerek sahip olunur. Özellikle
sadece kaplam bağıntılarından söz etmek için tasarlanmış bir sembolleştirmeye göre günlük
dil hantal görünebilir, ancak sonsuz sayıda farklı bağlamda kullanılabilme yeteneğine sahiptir.
Salt Aklın Eleştrisi’nin ikinci basımının giriş bölümünde Kant şunları yazar:
“İlk dönemlerden itibaren mantığın [bir bilimin] bu sağlam yolunu takip ettiği, bazı
gereksiz inceliklerin yok edilmesini veya öğretisinin daha açık bir şekilde ifadesini ilerleme
olarak düşünmediğimiz sürece, Aristoteles’ten beri tek bir adım dahi üzerinden geçmek
gerekmediği olgusundan görülebilir. Bunların her ikisi de bilimin esasıyla değil, güzelliğiyle
ilişkilidir. Günümüze dek onun bir adım dahi ilerlemediği ve bundan dolayı görünüşe göre
tam ve mükemmel olduğu da dikkat çekicidir. Eğer bazı modern filozoflar bunu genişletmeyi
düşünmüşlerse, bilginin farklı yetileri üzerine psikoloji bölümleri ekleyerek... bilginin kökeni
veya nesnelerdeki farklılıklara göre farklı kesinlik türleri üzerine metafizik bölümleri
ekleyerek... önyargılar, nedenleri ve çareleri üzerine antropoloji bölümleri ekleyerek... Bu
sadece onların mantık biliminin kendine has doğasını bilmemelerinden dolayıdır... Mantığın
sınırları neredeyse kesin olarak belirlenmiştir: bu sadece tüm düşüncenin formel kurallarının
eksiksiz gösterimi ve kesin ispatı ile ilgili bir bilimdir.”
Kant’ın mantığın saflığı ile ilgili kaygısıyla bu çalışmanın esas kısmında yaptığı
uygulamayı uzlaştırmak zordur. Çünkü transandantalizmi ile Hegel ve ondokuzuncu yüzyılın
diğer idealistleri tarafından mantık olarak sunulan metafizik ile epistemolojinin tuhaf
karışımını üretmeye başlayan o olmuştur. Ancak onun Aristoteles döneminden sonra mantığa
yapılan katkıların değerinden açıkça habersiz olduğunu ve onun Aristoteles’in tamamlanmış
ve mükemmel buluşu olarak gördüğü öğretinin, aslında Aristotelesci ve Stoacı öğelerin
geleneksel karışımının bilhassa karmaşık bir şekli olduğunu fark etmek daha da ilginçtir.
İkinci husus bir miktar açıklama yapmaya değer, çünkü Kant’ın otoritesi birçok filozofu onun
taslağının klasik olduğunu düşünmeye yöneltti.
I II III IV
238
Her başlık altında üç türe yer verebildiği olgusu açıkça bir tesadüf eseridir. Çünkü
herhangi bir kümede bulunan türler gerçekten koordine değildir; üçleme gerektirecek ortak bir
ilke de mevcut değildir. Ancak Kant taslağının simetrisine önem vermiştir ve o (a) her
yargının her başlık altındaki üç bölümden birine yerleştirilebileceğini ve (b) bir başlık
altındaki her bir bölümün diğer başlıklar altındaki her bir bölüm ile birleştirilebilir olduğunu
savunmuştur. Bu varsayımlar hatalıdır. Örneğin, olumsuz hipotetik bir yargı olamaz. Çünkü
hipotetik bir yargının önbileşen ya da artbileşeninde değilleme olması tüm yargıyı olumsuz
kılmaz, tüm yargının değillemesi de hipotetik yargı değildir. Ancak temel fikirleri sadece
Aristoteles’ten alınmış olan Kant’ın modalite tanımında da bir karışıklık vardır. Çünkü o
ayrım yaptığı üç ‘modalite fonksiyonunun’ bir dizi oluşturan üç ‘düşünce anını’ temsil ettiğini
söyler. Bu gerçekten onun öğretisi ise, bu mantığın psikoloji ve epistemoloji tarafından
bozulmasının kötü bir örneğidir. Bir kişi ‘muhtemelen tren geç kalacak’ dediği zaman, o söz
konusu trenin geç kalacağı iddiasında bulunmaz. İddiada bulunduğu şey ikinci-dereceden
önerme olan trenin geç kalmasının (bildiğine göre) mümkün olduğudur. ‘Muhtemelen’
sözcüğünün basit bir zarf olan ‘hızlıca’ sözcüğüyle aynı düşünce içeriğini ifade ettiğini
söylemek saçmadır. Ancak, bir önermede bulunabilen karmaşıklıkları doğru anlayan hiç
kimse bu türden bir saçmalığın modal ayrımların nesnelci kuramında yer aldığını tahmin
etmeyecektir.
Daha 1844’de matematikçi Gauss, Schelling, Hegel ve diğer bir takım filozofların
matematik üzerine açıklamalarının saçmalığı hakkında yazarken şöyle demiştir: ‘Ancak Kant
dahi daha iyi değildir; bana göre onun analitik sentetik önermeler ayrımı ya önem verilmeden
söylenen ya da yanlış olan şeylerden biridir.’
Kant’ın mantığı üzerine bunca eleştiriden sonra büyük bir başarısı olan Tanrının
varlığını iddia eden ontolojik çıkarımı ortaya çıkarmasından dolayı onu övmek gerekir. Bu
çıkarım ilk kez on birinci yüzyılda Aziz Anselm tarafından ileri sürülmüş ve on yedinci
yüzyılda Descartes tarafından yeniden oluşturulmuştur. En sade hâliyle bu Tanrının var
olması gerektiği ifadesidir, çünkü varoluş tanrının özünde tanımı gereği içerilmiştir. Buna
Kant varoluşun hiçbir şeyin bir niteliği ya da belirlenimi olmadığını, böylece hiçbir şeyin
özünde bulunamayacağını söyleyerek cevap vermiştir. Bu konu daha önce Descartes’ın
Meditations’una itirazlarında Gassendi tarafından işaret edilmiştir, ancak bu göz ardı edilmiş
ya da unutulmuştur ve bu eleştiriyi genel olarak anlaşılır kılan Kant olmuştur. Ancak maalesef
Kant varlıksal önermelere tatmin edici bir açıklama vermemiştir.
239
Bu Bölümde Ne Öğrendik Özeti
240
Bölüm Soruları
1) “Euler’in çalışmasından kıyas için bir altyapı olarak tanımlanabilecek yeni bir
kuram geliştirmiş” olan mantıkçı kimdir?
a) J. D. Gergonne
b) G. Frege
c) L. Wittgenstein
d) W. O. Quine
e) F. Nietzsche
a) F. Nietzsche
b) G. Frege
c) L. Wittgenstein
d) W. O. Quine
e) J. D. Gergonne
a b
b
a) aHb
a Mb
b) aXb
A
c) ab
241
d) a b a⊂b
v a
e) b⊃a
b) Hiçbir a b değildir . . . a H b.
a) F. Nietzsche
b) J. D. Gergonne
c) L. Wittgenstein
d) W. O. Quine
e) G. Frege
a) Hamilton
b) Gergonne
c) Wittgenstein
d) Quine
242
e) Frege
8) “Nota notae est nota rei ipsius (bir alametin alameti şeyin kendisinin
alametidir) ilkesini” savunan Alman mantıkçı kimdir?
a) F. Nietzsche
b) J. D. Gergonne
c) L. Wittgenstein
d) I. Kant
e) G. Frege
a) F. Nietzsche
b) J. D. Gergonne
c) L. Wittgenstein
d) D. Hume
e) G. Frege
10) Kant’ın “mantık” ile ilgili görüşlerinde temel aldığı (savunduğu) filozof
kimdir?
a) Aristoteles
b) J. D. Gergonne
c) Anselmus
243
d) Platon
e) G. Frege
Cevaplar
1)a, 2)e, 3)e, 4)d, 5)c, 6)a, 7)d, 8)d, 9)d, 10)a
244
14. BOLZANO VE MILL’İN MANTIK ÇALIŞMALARI
245
Bu Bölümde Neler Öğreneceğiz?
246
Bölüm Hakkında İlgi Oluşturan Sorular
247
Bölümde Hedeflenen Kazanımlar ve Kazanım Yöntemleri
248
Anahtar Kavramlar
• Bolzano
• Mill
• Mantık Çalışmaları
249
Giriş
Bolzano’nun eserleri Sonsuzluk Paradoksları, Bilim Kuramı, Din Bilimi Ders Kitabı
ve Athanasiadır. Dört ciltlik Bilim Kuramı en ünlü eseridir. Bilim felsefesi, mantık,
epistemoloji ve bilimsel pedagoji içeren bu eser Aristoteles’den bu yana mantığa yapılan en
büyük özgün katkı olarak görülmüştür. Hiçbir formel hesap ya da sistem geliştirilmemiş olan
bu eser mantığın semantik kavramları üzerine bir incelemedir. O bu kavramların gelişiminde
psikolojiden kaçınmıştır.
John Stuart Mill de diğer bir Kant-öncesi eğilimi temsil eder. Alt başlığında ‘kanıt
ilkeleri ile bilimsel araştırma metotlarının birleşik görüşü’ olarak tanımlanan Mantık Sistemi
1843’deki ilk basımından itibaren büyük etki yapmıştır, çünkü bu eser mantığı İngiliz
felsefesinin ampirist geleneği ile uyumlu şekilde açıklamak için ciddi bir girişimdir. Bu eserin
büyük bölümü tümevarım açıklaması ile doğa bilimleri ve sosyal bilimlerin metodolojisine
ayrılmıştır. Ancak adlar, önermeler ve akıl yürütmeyi ele aldığı ilk iki kitapta Mill formel
mantığı kendisinden önceki çoğu ampiristin yaptığı gibi küçümseyerek reddetmek yerine
onun sistematik bir açıklamasını vermiştir. Mill kıyas akıl yürütmesinin tam anlamıyla
çıkarım olamayacağı sonucuna varmıştır.
250
14.1. Bernard Bolzano
251
(Satz-an-sich), yani doğru bir önerme içeriğidir, düşünülebilir ya da ifade edilebilir olan ancak
zorunlu olarak düşünülmüş ya da ifade edilmiş olmayan bir şeydir.
Ancak birçok farklı dilin imleri ile ifade edilen ya da hiçbir zaman ifade edilmeyen
önermelerin bulunduğunu Bolzano ile birlikte kabul etmek bir şeydir, onun bunlar hakkında
söylediklerinin tamamına katılmak başka bir şeydir. Çünkü onun bu konu üzerine yaptığı bazı
açıklamaları gerçekten çok tuhaftır. Örneğin, o bu türden şeyler olduğu hâlde, bunların gerçek
varlığa (wirkliches Dasein) sahip olmadıklarını söylemiştir. Bunu söylediği zaman, ‘bir x
vardır’ (an X exists) şeklindeki ifadelerin ‘bir X bulunur’ (there is an X) şeklindeki ifadelerin
yerine geçebileceklerini fark etmiştir; ancak bu kullanımın metaforik olduğunu ve Kant’ın
söylediğinin aksine varoluşun bir nitelik olarak tanımlanması gerektiğini düşünmüştür. Ancak
varoluş niteliğin basit ve tanımlanamaz olduğunu da savunduğundan önermelerin varoluşa
sahip olabileceklerini reddetmekle ne demek istediğini anlamak zordur. Açıkça bu görüş
önermelerin zaman ve mekân içinde olmadıklarını söyler. Çünkü o açıklamada şöyle
yazmıştır: “Onlar gerçek varoluşa sahip değildirler, yani, onlar herhangi bir yerde veya
zamanda veya gerçek bir şey gibi bir hâlde bulunacak türden değildirler.” Başka bir yerde de
ruhlar da dâhil tüm yaratılmış maddelerin mekân ve zaman içinde olduklarını bildirmiştir.
Ancak kullandığı dilden, varoluşu mekân ve zaman içinde oluş ile özdeş kılmak istemediği
anlaşılır; böylece önermelerin ne yer ne de zamana sahip olduklarını kabul edebildiğimiz
hâlde öğretisini bir bütün olarak anlayamayız.
252
söylemede nominalistler haklıydılar, ancak realistler de bunların sadece isimler olmadıklarını
söylemede haklıydılar. Bunun bir bölümü sağduyudur, ancak bir bölümü çok tuhaftır.
Önermelerin tümelleri (ya da nesnel kavramları) içerdiğinde ve tümellerin statüsünün
önermelerin statüsüne benzediğinde Bolzano ile aynı fikirde olabiliriz. Ancak önermelerin
mekân ve zaman içindeki bireyler hakkında olabildiklerinde ve bunu reddeden her kuramda
bir yanlışlık olduğunda da ısrar etmeliyiz. ‘Sokrates baldıran zehiri içtiğinden öldü’ tarihsel
önermesinin öznesi hakkında Bolzano’nun tam olarak ne demek istediğini anlamak zordur,
ancak bazen bu öznenin gerçek Sokrates’ten farklı zamansız bir varlık olduğu öğretisine
kendisini kaptırmıştır. Bu kesinlikle bir hatadır. Önermeler makul bir şekilde hem zamansız
hem de bileşik olarak tanımlanabilirler, ancak bu onların zamansız bileşenlerden meydana
geldikleri anlamında alınmamalıdır.
Bolzano’nun yeni analitik önermeler tanımını anlamak için, onun her bir önermesinin,
verilen bir önermeden o önermenin bir veya daha fazla bileşenini değiştirerek elde edilebildiği
bir önermeler sınıfı kavramını göz önünde bulundurarak başlamak gereklidir. Kendi örneğine
göre, ‘Caius kişisi ölümlüdür’ tarafından ifade edilen önerme ile başladığımızda ve sadece
Caius bileşeninin değiştirilebilir olduğunu düşündüğümüzde, diğer üyeleri, ‘Sempronius kişisi
ölümlüdür’ ile ‘Titus kişisi ölümlüdür’ tarafından ifade edilen önermeler gibi önermeler olan
253
bir sınıfı belirleriz. Ayrıca bu örnekte olduğu gibi, bu sınıfın tüm üyeleri doğruysa ya da her
hâlükarda gerçek nesnelerden bahsettiklerinden gegenstandlich (temsili) denilebilen şeylerin
tümüyse, Bolzano ilk önermenin, değiştirimin düşünüldüğü o bileşen ya da bileşenlere göre
evrensel olarak geçerli olduğunu söylemiştir. Diğer taraftan, eğer bu sınıfın tüm üyeleri
yanlışsa, o ilk önermenin evrensel olarak geçersiz olduğunu söylemiştir. Eğer sınıfın bazıları
yanlışken diğerleri doğruysa, bu önermenin sınıftaki doğru önermelerin oranına eşit olan orta
geçerlilik derecesine sahip olduğunu söylemiştir: bu geçerlilik derecesi kavramının önemi
daha sonra olasılık kuramında ortaya çıkar. Son olarak eğer bir önerme ya evrensel olarak
geçerli ya da evrensel olarak geçersiz ise o bunun değiştirimin düşünüldüğü bileşenlere göre
analitik olduğunu, aksi takdirde sentetik olduğunu söylemiştir. Böylece ‘kötü ahlaklı bir kişi
saygıyı hak etmez’ tarafından ifade edilen önerme ‘kişi’ tarafından belirtilen bileşiğe göre
analitiktir, çünkü bu bileşiğin değiştirimi sadece doğru önermeler verir; ancak ‘bir üçgen iki
dik açıyı kapsar’ tarafından ifade edilen bir önerme sentetiktir, çünkü bu, değiştiriminin
sadece doğru önermeler ya da sadece yanlış önermeler verdiği bir bileşiğe sahip değildir.
Bolzano tanımladığı analitik önerme kavramının Kant’ın analitik önerme kavramından daha
geniş olduğunu kabul etmiştir ve değişmez (yani, değiştirime açık olmayan) olarak düşünülen
analitik önerme bölümü sadece mantıksal kavramları içerir, tüm önermeyi mantıksal açıdan
analitik olarak tanımlamak faydalı olabilir. Açıkça o bunun Kant’ın düşündüğü anlama benzer
bir şey olduğunu düşünmüştür; ancak buna fazla önem vermemiştir, çünkü mantıksal olan ve
mantıksal olmayan kavramlar arasında belirgin bir çizgi çizmenin mümkün olduğunu
düşünmemiştir.
Bolzano’nun eserinin bu parçasında birkaç tuhaf özellik bulunur. İlki tamamen sözel
bir husustur. Bolzano ‘analitik’ sözcüğünü yanlış önermelere uygulanabilir şekilde
tanımlamıştır. Bu Kant’ın kullanımına terstir, ancak Bolzano’nun bunu niçin makul
gördüğünü anlamak kolaydır. O ‘analitik’ ve ‘sentetik’ sözcüklerini önermeler alanını
eksiksiz olarak kaplayacak şekilde kullanmak istemiştir ve Kant’ın kullanımına göre
kendileriyle çelişen önermelerin ne analitik ne de sentetik olacağını fark etmiştir. Daha
sonraki filozofların uygulamaları Bolzano’nun önderliğinden çok Kant’ın önderliğini takip
etmiştir. Biz de ya ‘analitik’ ve ‘sentetik’ olanın çelişik zıtlar olmadıklarını söyleyerek
anlaşmazlığı gidermeliyiz ya da onu sadece doğrulara uygulayarak bu ayrımın eksiksizliğini
korumaya çalışmalıyız. İkinci olarak, Bolzano’nun analitik önermeler açıklaması, bir önerme
onu ifade eden cümlenin tüm ayırt edilebilir bileşenlerine karşılık gelen ayırt edilebilir
bileşenler barındırmalıdır ve tersi de doğrudur şeklindeki çok naif bir varsayıma dayanır.
Onun bizi bazen önermeleri onların linguistik ifadeleri ile sınıflandırmaya karşı ikaz ettiği ve
bir yerde ‘savaş savaştır’ gibi cümlelerin sentetik önermeleri ifade etmede kullanılabilir
olduklarına dikkat çektiği doğrudur. Ancak onun genel kuramına göre, önermeler hakkında
konuşması gerektiğinde o pratikte sık sık cümleleri isimlendirmeye kapılır. Bir yerde de
“düzgün bir dörtgenin tüm açılarının toplamı dört dik açı eder’ önermesinin ‘düzgün’
kavramına göre analitik olduğunu, ancak böyle olduğunun geometriden habersiz bir kişi
tarafından fark edilmeyecek olduğunu söylemiştir. Tuhaf ifadesi haricinde bu örnek çok kafa
karıştırıcıdır. Çünkü Bolzano eğer ‘düzgün’ sözcüğü kullanılmasaydı verdiği cümlenin
sentetik bir önermeyi ifade edeceğini, ancak bu fazladan sözcükle onun analitik bir önermeyi
ifade edeceğini savunmuştur. Üçüncü olarak, Bolzano ‘analitik’ sözcüğünün tanımını şöyle
254
vermiştir: bir önerme doğal yasalar sayesinde, hatta sadece tesadüfler sayesinde analitik
olabilir. Örneğin, ‘Kant doğduğu yıldönümünde ölen bir on sekizinci yüzyıl filozofu değildi’
cümlesini ele alalım. Eğer hiçbir on sekizinci yüzyıl filozofu doğduğu yıldönümünde
ölmemişse, ‘Kant’ yerine başka isimler konularak bu cümleden oluşturulabilen tüm cümleler
doğru önermeleri ifade eder ve böylece ilk cümle tarafından ifade edilen önerme Bolzano’nun
tanımına göre analitiktir.
Eğer bir grubun değişik önermelerinin bileşenleri arasında, değiştirimin tüm grup
boyunca sadece doğru önermeler verecek şekilde yapılabildiği bazı bileşenleri varsa, Bolzano
bu grubun ilk önermelerinin değiştirimin düşünüldüğü bileşenlere göre bağdaşabilir
olduklarını, aksi takdirde bağdaşamaz olduklarını söylemiştir.
Bir önermenin diğer bir veya daha çok önermeden türetilmesi Bolzano tarafından
bağdaşabilirlik açıklamasının hemen ardından benzer şekilde tartışılmıştır. Ona göre, M, N,
O,... önermeleri, i, j,... bileşenlerine göre, A, B, C, D,... önermelerinden türetilebilir, eğer A,
B, C, D,.. içindeki i, j,... ile değiştirildiğinde doğru bir önermeler kümesi veren herhangi bir
idealar kümesi M, N, O,... içindeki i, j, ... ile değiştirildiğinde de aynı şeyi yaparsa. Diğer bir
değişle, sonuç önermesi öncüllerden zorunlu olarak türetilir, eğer öncüller ile sonucun
birleşmesiyle oluşturulan çıkarım, doğru öncüllerle yapılan tüm örneklemelerinin doğru
sonuçlara da sahip olduğu bir çıkarım şeklini örneklendirirse.
A, B, C, D,...
A, B, C, D, E, F, G, ... ifadesinden
255
A, B, C, D, ...
M M-değil
A, B, C, D, ...
sonucunu çıkarabiliriz.
Bolzano’nun Leibniz’in bazı ilgilerini devam ettirdiği söylenebildiği gibi, John Stuart
Mill’in (1806-73) de diğer bir Kant-öncesi eğilimi temsil ettiği söylenebilir. Alt başlığında
‘kanıt ilkeleri ile bilimsel araştırma metotlarının birleşik görüşü’ olarak tanımlanan Mantık
Sistemi (System of Logic) 1843’deki ilk basımından itibaren büyük etki yaptı, çünkü bu eser
mantığı İngiliz felsefesinin ampirist geleneği ile uyumlu şekilde açıklamak için ciddi bir
girişimdi. Beklenebileceği gibi, bu eserin büyük bölümü tümevarım açıklaması ile doğa
bilimleri ve sosyal bilimlerin metodolojisine ayrılmıştı. Ancak adlar, önermeler ve akıl
yürütmeyi ele aldığı ilk iki kitapta Mill formel mantığı kendisinden önceki çoğu ampiristin
yaptığı gibi küçümseyerek reddetmek yerine onun sistematik bir açıklamasını vermiştir.
Mill’in kullanımında terimler hep birlikte adlar olarak tanımlanır ve adları oldukları
şeyleri (yani, tekil terim iseler işaret ettikleri şeyleri, genel terim iseler uygulandıkları şeyleri)
belirttikleri söylenir. Ancak ‘insan’ ve ‘bilge’ gibi genel terimler, ‘Sokrates’ gibi özel
256
adlardan ve ‘bilgelik’ gibi tekil soyut adlardan ayrı olarak, sadece şeyleri belirtmezler, bu
şeylerin niteliklerini gösterir ya da işaret ederler.
Mill’e göre tam tanımlar her zaman sözcük tanımlarıdır, yani genel adların
anlamlarının bildirimleridir; bu türden anlamlar analize imkân verir ve bazı filozofların gerçek
tanımlar ya da şeylerin tanımları dedikleri bu tanımlar olgu varsayımları ile birlikte sadece
nominal tanımlardır.
Mill bir önermeyi, bir yüklemin bir özneyi evetlediği ya da yalanladığı bir söylem
bölümü olarak tanımlamış ve tanımının belirgin darlığını, ayrık şeklin koşullu şekle
indirgenebilir olduğunu, dolayısıyla bunun da özne-yüklem şekline indirgenebilir olduğunu
söyleyerek gerekçelendirmeye çalışmıştır. ‘A B ise, C D’dir’ formundaki bir cümle ‘C’nin D
olduğu önermesi, A’nın B olduğu önermesinden yapılan geçerli bir çıkarımdır’ formundaki
bir savın kısaltması olarak anlaşılabilir ve böylece mantıksal açıdan önermelerin özneler
olarak görüldüğü çeşitli başka savlara uydurulabilir. Burada ve başka yerde önermeler
hakkında söylediklerinin birçoğu sadece önerme içeriklerine uygulanabilirdir.
Önermeler arasında Mill’in sadece sözel dediği bazı önermeler vardır. Bu başlıkla o,
bunların diğer imlere karşılık sözcüklerle ifade edildiklerini ya da aynen filologların savları
gibi sözcükler hakkında olduklarını bildirmeyi değil ‘bunların kullanılan terimlerin
anlamından çıkarılabildiklerini’, yani, linguistik-olmayan olgular araştırılmadan emin bir
şeklide ileri sürülebildiklerini kastetmiştir. Bunlar eski filozofların gerekli önermeler dedikleri
önermelerdir, yani ‘insan mantıklıdır’ gibi yüklemin öznenin tanımı ya da tanımının bir
bölümü olduğu savlardır. Ancak Mill, eski filozofların düşünmüş oldukları gibi, çok önemli
olmayan bir şekilde bu önermelerin ya hiç bilgi vermediklerini ya da bilgiyi şeyler hakkında
değil, o şeylerin adları hakkında verdiğini söylemiştir.
Açıkça sözel önermeler Locke’un önemsiz, Kant’ın ise analitik dediği önermeler
olmalıdır, ancak ‘sözel’ adı ve bunların adlar hakkında bilgi verebilir oldukları önerisi talihsiz
bir karmaşıklık yaratır. Eğer ‘İnsan mantıklıdır’ formunda sözcükler gerçekten ‘insan’ ve
‘mantıklı’ sözcüklerinin her birinin anlamı hakkında bilgi vermek için kullanılmışsa, o zaman
bunun ifade ettiği önerme analitik ya da önemsiz değil, sentetik ve öğreticidir ya da Mill’in
deyişiyle gerçektir. Çünkü ‘insan’ ve ‘mantıklı’ sözcükleri belli bir anlamda şeylerdir ve
onları kullandığımız şekliyle kullandığımız olgusu olumsaldır. Bu Mill’in sözel önermeler
açıklamasında izlediğini iddia ettiği kendisinden önceki iki filozofun görüşlerinden ayrıldığı
tek nokta değildir. Her ikisi de bazı öğretici önermelerin sezgisel olarak bilinebilir olduklarını
düşünürlerken, o bu türden tüm önermelerin tümevarım sayesinde öğrenildiklerini
savunmuştur. O, çelişmezlik ilkesinin dahi Sir William Hamilton ile Almanların düşündükleri
gibi a priori bir düşünce yasası olmadığını, nominalistlerin söylediği gibi sadece sözel bir
önerme de olmadığını, ancak ‘tıpkı diğer aksiyomlar gibi, deneyimden elde ettiğimiz ilk ve en
bilindik genellemelerimizden biri’ olduğunu söylemiştir. Ancak bu ampirik ise ampirik
olmayan doğrular olamazmış gibi görünür.
Usavurmayı ele almaya döndüğünde, Mill bunu kıyas ile özdeşleştirmekle tatmin
olmuştur, tıpkı tüm önermelerin özne-yüklem biçiminde olduklarını varsaymakla tatmin
257
olduğu gibi. Ancak o formel mantığın geleneksel felsefesinin tümünü reddeder. İlk olarak
şöyle der:
‘Sonucu ispat etmek için bir çıkarım olarak düşünülen her kıyasta bir petitio principii
(döngüsellik) olduğu kabul edilmelidir.
Tüm insanlar ölümlüdür, Sokrates bir insandır, bundan dolayı Sokrates ölümlüdür;
dediğimiz zaman, Sokrates ölümlüdür önermesinin daha genel varsayım olan tüm insanlar
ölümlüdür önermesinde önceden varsayıldığı, kıyas kuramına karşı olanlar tarafından itiraz
edilemez şekilde öne sürülmüştür.
‘Tüm çıkarım tikellerden tikelleredir. Genel önermeler daha önce yapılmış olan bu
türden çıkarımların sadece kayıtlarıdır ve daha fazla yapmak için kısa formüllerdir. Bir
kıyasın büyük öncülü, bundan dolayı, bu tanıma uygun bir formüldür, sonuç da bu formülden
elde edilen bir çıkarım değil, bu formüle göre elde edilen bir çıkarımdır; gerçek mantıksal
önbileşen ya da öncül tikel olgulardır ve genel önerme bunlardan tümevarım yoluyla derlenir.
Bu olgular ile bunları sağlamış olan tekil örnekler unutulmuş olabilirler; ancak olguların
kendilerini gerçekten tanımlamayan, ancak bu durumların olgulara göre nasıl ayırt
edilebildiklerini gösteren bir kayıt kalır ve bu olguların, bilindiklerinde, verilen bir çıkarımı
garanti ettikleri düşünülür.’
258
Bu Bölümde Ne Öğrendik Özeti
259
Bölüm Soruları
a) Kant
b) Leibniz
c) Russell
d) Lewis
e) Aristoteles
e) Athanasia
a) Soru
b) Teorem
c) Öneri
d) Sonuç
e) Önerme
a) Yapıları gereği önermelere ait olan belirli işaretlerin mevcut olduğu olgusunun
farkına varması.
A, B,
C, D,...
I. Özne,
II. Yüklem,
III. Koşaç
a) Yalnız I
b) Yalnız II
c) Yalnız III
d) I ve II
e) I, II, ve III
8. John Stuart Mill’e göre “A B ise, C D’dir’ formundaki bir cümlenin karşılığı
aşağıdakilerden hangisinde doğru olarak verilmiştir?
9. Aşağıda çelişmezlik ilkesi ile ilgili verilen seçeneklerden hangisi John Stuart
Mill tarafından kabul edilmektedir?
a) Yalnız I
b) Yalnız II
c) Yalnız III
d) I ve II
e) I, II, ve III
a) Döngüsellik
b) Sıradanlık
c) Kısa sonuç
262
d) Önermeler arası geçiş
e) Sosyal çıkarım
Cevaplar
263
KAYNAKÇA
Sorensen, R. (2003). A Brief History of the Paradox. New York: Oxford University
Press.
Descartes (1945). Aklın İdaresi İçin Kurallar. Istanbul: Milli Eğitim Basımevi.
Eves, H. (1983). Great Moments in Mathematics Before 1650. Washington DC: The
Mathematical Association of America.
Gabbay, D. M. (2004). Handbook of The History of Logic, Woods, John (ed.), Vol.1:
Greek, Indian and Arabic Logic. Amsterdam: Elsevier North-Holland.
Oetke, C. (2003). “Indian Logic and Indian Syllogism”. Indo-Iranian Journal, vol.46,
Issue 1.
264
Kaya, C. (ed.), (2013). İslam Felsefesi – Tarih ve Problemler. İstanbul: İsam
Yayınları.
Adamson, P. (2008). İslam Felsefesine Giriş,; Taylor, Richard C. (ed.), İstanbul: Küre
Yayınları.
Deleuze, G. (2007). Leibniz Üzerine Beş Ders, Baker, Ulus (çev.), İstanbul: Kabalcı.
McKeon, R. (1941). The Basic Works of Aristotle. New York: Random House.
Berlinski D., (2013). The King of Infinite Space, New York: Basic Books.
Descartes (1993). The Philosophical Writings of Descartes, , Vol. I,II, Cottingham, J.,
Stoothoff, R., Murdoch, D. (çev.), New York: Cambridge University Press.
Descartes (1991). The Philosophical Writings of Descartes, ,Vol. III, Cottingham, J.,
Stoothoff, R., Murdoch, D., Kenny, A. (çev.), Avon: Cambridge University Press.
W. D. Ross (ed.). The Works of Aristotle, (1960) . London: Oxford University Press.
265