‎

Tasım, kıyas, syllogism

Chatgpt açıklıyor

Google AI sonuçları "syllogism" veya tasım soruma cevap verirken Türkçe'de olmayan "müqəddimə" diye yabancı bir kelime kullanmış. Bu kelimenin Türkçesi ne olabilir sence?

Sillogizmin Temel Özellikleri:Üç Bölüm: Büyük müqəddimə (genel kural), küçük müqəddimə (özel durum) ve sonuçtan oluşur.Orta Terim: Her iki öncülde de bulunan ancak sonuçta yer almayan terimdir.Tümdengelim: Genelden özele doğru mantıksal çıkarım yapılır.Geçerlilik: Öncüller doğruysa sonuç zorunlu olarak doğrudur.Felsefi Temel: Klasik mantık ve felsefe çalışmalarının temelini oluşturur.Bu yöntem, modern mantık, matematik ve bilgisayar bilimlerindeki algoritmaların da temelini oluşturur.

Bu kelime Türkçe değil; büyük ihtimalle Azerice (veya Osmanlıca/klasik metin etkisiyle yazılmış bir varyant).

“müqəddimə” → Türkçesi: “öncül” (mantık terimi olarak)

Sillogizm bağlamında standart Türkçe karşılıklar şöyle:

Büyük müqəddimə → büyük öncül
Küçük müqəddimə → küçük öncül
Sonuç → sonuç (veya netice)

Yani metni düzgün Türkçeye çevirirsek:

Sillogizmin üç bölümü vardır: büyük öncül (genel kural), küçük öncül (özel durum) ve sonuç.

Kelimenin kökeni de ilginç:
“müqəddimə”, Arapça “muqaddima” (مقدمة) kelimesinden gelir. Bu kelime Türkçede daha çok “mukaddime” şeklinde kullanılır ama o genelde kitap önsözü / giriş anlamındadır. Mantıkta ise teknik karşılık olarak “öncül” yerleşmiştir.

Kısacası, Google’ın verdiği cevap doğru kavrama işaret ediyor ama dili karıştırmış.

İstersen sana klasik bir kıyas (sillogizm) örneğini de Türkçe terimlerle adım adım kurabiliriz.

evet yapalım

Güzel, klasik ve temiz bir örnek üzerinden gidelim.

1. Basit bir kıyas (sillogizm)

En meşhur örnek:

Büyük öncül: Bütün insanlar ölümlüdür.
Küçük öncül: Sokrates insandır.
Sonuç: Sokrates ölümlüdür.

2. Terimleri açıkça görelim

Burada üç temel terim var:

Büyük terim (yüklem): “ölümlü”
Küçük terim (özne): “Sokrates”
Orta terim: “insan”

Önemli nokta:
Orta terim (“insan”) sonuçta yoktur, sadece iki öncülü birbirine bağlar.

3. Yapıyı soyut biçimde yazalım

Klasik mantıkta bu yapı şöyle gösterilir:

Bütün M’ler P’dir.
S, M’dir.
O hâlde S, P’dir.

Burada:

M (middle term) = orta terim → insan
P (predicate) = yüklem → ölümlü
S (subject) = özne → Sokrates

4. Neden geçerli?

Şu akıl yürütme var:

“İnsan” kümesinin tamamı “ölümlü” kümesinin içinde.
“Sokrates” de “insan” kümesinin içinde.
O zaman zorunlu olarak “ölümlü” kümesinin içinde.

Yani tamamen tümdengelim (deduction).

5. Küçük bir karşı-örnek (geçersiz kıyas)

Aynı yapıyı bozarsak:

Bütün kediler hayvandır.
Köpekler hayvandır.
O hâlde köpekler kedidir. ❌

Burada sorun:

Orta terim (hayvan) iki öncülde de var ama yanlış bağlanmış → sonuç çıkmıyor.

6. İstersen bir adım ileri

Bir sonraki adımda şunları yapabiliriz:

“Her”, “bazı”, “hiçbir” gibi ifadelerle farklı kıyas türlerini kurmak
Ya da Aristoteles’in kıyas şekilleri (figures) ve modlarını görmek
Ya da senin ilgine uygun olarak bunu matematiksel / küme diliyle yazmak

Nasıl ilerleyelim?

Burada, google'un verdiği cevapta olduğu gibi 1. Önerme=Genel Kural, ve 2. Önerme=Özel durum demek doğru olur, değil mi?

Bir de neden syllogism'e Türkçe'de "kıyas" demişler? Kıyas iki şeyi mukayese etmek değil mi? Syllogism'de neyi kıyaslıyoruz?

İki sorunu ayrı ayrı ele alalım.

1. “Genel kural – özel durum” demek doğru mu?

Evet, öğretici bir sadeleştirme olarak doğru, ama teknik olarak biraz eksik.

Klasik örnekte:

Büyük öncül → genellikle genel bir ifade
(“Bütün insanlar ölümlüdür.”)
Küçük öncül → genelden bir örnek / özel durum
(“Sokrates insandır.”)

Bu yüzden:

“genel kural” = büyük öncül
“özel durum” = küçük öncül

demek pedagojik olarak gayet uygun.

Ama şunu bilmek önemli:
Mantıkta her kıyas bu kadar “temiz” olmayabilir.

Mesela:

Bazı insanlar doktordur.
Ahmet insandır.
(Buradan zorunlu bir sonuç çıkmaz.)

Burada yine “genel–özel” dili kullanılıyor ama artık zorunluluk kayboluyor.

Yani:

“genel kural – özel durum” → iyi bir ilk yaklaşım
ama asıl mesele → terimlerin doğru bağlanması ve kapsama ilişkisi

2. “Syllogism” neden “kıyas” diye çevrilmiş?

Bu çok güzel bir soru ve aslında dil + mantık ilişkisini gösteriyor.

a) “Kıyas” ne demek?
Türkçede bugün:
- kıyas = karşılaştırma, mukayese
Ama klasik kullanımda (özellikle Arapça kökenli ilimlerde):
- kıyas = bir şeyi başka bir şeye bağlayarak hüküm çıkarma
Yani sadece “karşılaştırmak” değil, benzerlik veya ilişki üzerinden sonuç çıkarmak.
b) Syllogism’de neyi “kıyaslıyoruz”?
Şunu yapıyoruz:
- “Sokrates” ile “ölümlü”yü doğrudan karşılaştırmıyoruz
- İkisini de “insan” üzerinden bağlıyoruz
Yani aslında:

İki şeyi ortak bir terim üzerinden ilişkilendiriyoruz

Bu da bir tür dolaylı kıyas:
- Sokrates ↔ insan
- insan ↔ ölümlü
  → o hâlde Sokrates ↔ ölümlü
Burada “insan” ölçü / vasıta gibi çalışıyor.
c) Tarihsel neden
“Syllogism” terimi, İslam mantık geleneği üzerinden Türkçeye geçmiş:
- Arapça: qiyās (قياس)
- Osmanlıca: kıyas
- Modern Türkçe: yine kıyas
Bu gelenekte “kıyas” zaten teknik bir terimdi ve şu anlama geliyordu:

“İki öncülden zorunlu bir sonuç çıkarma”

Yani bugünkü günlük “kıyaslama” anlamından daha dar ve teknik bir anlam.

Kısa özet

“Genel kural – özel durum” → doğru ama basitleştirilmiş anlatım
“Kıyas” → sadece karşılaştırma değil,
bir orta terim aracılığıyla ilişki kurup sonuç çıkarma

İstersen bir sonraki adımda şunu yapabiliriz:

Aynı kıyası küme diyagramı gibi görselleştirelim
ya da senin ilgine uygun olarak bunu oran/orantı (ratio) diliyle ifade etmeye çalışalım (bu senin “doğa oranlarla anlaşılır” fikrine de bağlanır)

Tamam, teşekkürler. Syllogism konusuna aslında Galileo'nun (ve Öklid'in) kullandığı Ex Aequali kavramından geldim. Ex Aequali'de de orta terimle bağlıyoruz. Doğru mu?

Evet, çok iyi yakalamışsın—gerçekten aynı yapısal fikrin iki farklı ifadesi gibi görülebilir. Ama küçük bir nüans var; onu netleştireyim.

1. “Orta terimle bağlama” benzerliği

Hem kıyasta (syllogism) hem ex aequali’de şu yapı var:

İki şey doğrudan değil,
üçüncü bir şey üzerinden bağlanıyor.

Kıyas (syllogism)
- Sokrates → insan
- insan → ölümlü
  → Sokrates → ölümlü
Burada:
- orta terim = insan
Ex aequali (Öklid tarzı)
Ex aequali

Öklid’de (ve sonra Galileo Galilei’de) tipik yapı:
- A = B
- B = C
  → A = C
ya da oranlı biçimde:
- A : B = C : D
- B : C = D : E
  → A : C = C : E (veya benzeri zincirler)
Burada da:
- B (veya ortak oran) → bir tür “ara bağlayıcı”

2. Ama tam olarak aynı şey mi?

Tam değil. Fark şu:

Kıyas (mantık)
- Terimler arasında kapsama ilişkisi var
  (insan ⊂ ölümlü)
- Sonuç: zorunlu doğru önerme
Ex aequali (Öklid)
- Nicelikler arasında eşitlik / oran ilişkisi var
- Sonuç: eşitlikten eşitlik üretme

3. Daha derin ortak nokta

Senin sezdiğin şey aslında çok önemli:

“Eşit olan şeyler, aynı şeye eşitse birbirine eşittir”

Bu, Euclid’in temel aksiyomlarından biri.

Ve kıyasta bunun mantıksal karşılığı:

Aynı orta terime bağlanan şeyler arasında zorunlu bir ilişki kurulur.

4. Senin bakış açınla (oran / ratio açısından)

Senin “doğa oranlarla anlaşılır” fikrine bağlarsak:

Kıyas → kavramsal oranlar (insan : ölümlü gibi kapsama oranı)
Ex aequali → sayısal/geometrik oranlar

İkisi de aslında:

“Aradaki bir eşitlik/bağlantı sayesinde yeni bir ilişki kurma”

5. Kısa cevap

Evet:

Ex aequali’de de bir “orta terim” gibi çalışan bağlayıcı vardır.
Ama bu:
- kıyasta → kavram (terim)
- Öklid’de → nicelik / oran

İstersen çok ilginç bir şey yapabiliriz:
Galileo’nun bir metninden kısa bir “ex aequali” örneğini alıp, onu kıyas formuna çevirerek karşılaştıralım. Bu, iki yöntemin gerçekten ne kadar paralel olduğunu çok net gösterir.