Antik düşüncenin iki büyük mimarı, Aristoteles ile Öklid, çoğu kez ayrı disiplinlerin temsilcileri olarak anılır: biri felsefenin, diğeri geometrinin. Oysa bu iki isim arasında, yalnızca kavramsal akrabalık değil, yönteme ilişkin doğrudan bir süreklilik vardır. Aristoteles’in mantığı, tanım–öncül–çıkarım üçlüsüyle düşünmeyi disipline eder; Öklid’in geometrisi, tanımlar–postulatlar–ortak kavramlar–önermeler dizgesiyle bu disiplini uzamsal içerikte somutlaştırır. Aşağıda bu sürekliliği, kavramların nasıl kurulduğu ve kanıtın nasıl mümkün kılındığı sorularına odaklanarak ele alıyorum.
Mantık bir “üst kuram” değil, düşünmenin aletidir
Aristoteles mantığı “organon” (alet) olarak adlandırır. Bu tercih, mantığın felsefenin üzerinde hükmeden bağımsız bir metafizik olmadığı, bilakis her araştırmanın işlemesini sağlayan araç takımı olduğu anlamına gelir. Mantığın işi, dilde dolaşan kavramları tanım yoluyla sabitlemek, bu kavramlarla kurulan önermeleri açık biçimde kurmak ve bu önermelerden kıyasla zorunlu sonuçlar çıkarmaktır. Bu yüzden Aristoteles’te mantık, metafiziğin, doğa felsefesinin, etiğin ya da politikanın “üstünde” durmaz; hepsinin altında, onlara işleyen bir iskelet gibi durur.
Bu iskeletin ilk parçası tanımdır. Aristoteles’e göre “tanım, şeyin özünün sözle ifadesidir.” Klasik formül malumdur: tanım = cins + ayırt edici fark. Bir kavramı önce yakın cinsi içinde konumlandırır, ardından onu kardeş türlerden ayıran faslı eklersiniz: insan = hayvan + akıl sahibi. Bu, yalnızca biyolojinin ya da etik erdemlerin dili değildir; her bilimsel söylem, seçtiği kavramları bu disiplin içinde kullanmadıkça dağılır. Tanımın ihmal edildiği yerde tartışma, kısa sürede benzetimlere, duygusal çağrışımlara, yani retoriğe teslim olur.
Tanımdan sonra önermeler gelir: kavramlara yüklem yükleyerek olumlu veya olumsuz yargılar kurarız (“Tüm insanlar ölümlüdür”). Kıyas ise iki öncül ile bir sonuçtan oluşan çıkarım zinciridir. Mantığın değeri burada ortaya çıkar: öncüllerin açık tanımlara ve geçerli formlara dayanması, sonucu zorunlu kılar. Aristoteles, söz konusu zorunluluğu taşıyan kanıtlayıcı kıyasa burhan adını verir. Burhanın öncülleri ya tanım gereği açıktır ya da daha önce ispatlanmış önermelerdir; zincirin bir yerinde mutlaka kanıtsız ama meşru kabul edilen ilkeler bulunur.
Bu noktada Aristoteles’in iki terimi, araştırmanın modlarını ayırır: diyalektik ve burhan. Diyalektik, olası görünen öncüller üzerinden araştırma, itiraz ve sınama işidir; soruşturmanın pedagojisi gibidir. Burhan ise araştırmanın hedefidir: doğru ilkelerden zorunlu sonuçlara ulaşmak. Düşüncenin işleyişinde bu iki mod birbirini tamamlar.
Tanım ile kanıtı ayıran çizgi: “had” ve “rasm”
Aristoteles ve onu izleyen mantık geleneği tanımı ikiye ayırır. Had (özsel tanım), kavramı cins ve ayırt edici farkla kurar; rasm (betimleme), özsel olmayıp eşlik eden niteliklerle bir şeyi tarif eder. “İnsan iki ayaklı hayvandır” demek, bazı bağlamlarda öğretici olabilir; fakat özsel değildir (iki ayağını yitiren insan, insan olmaktan çıkmaz). Had, kıyasın birinci maddesini verir; rasm, retorik ve pedagojik alanlarda yararlıdır ama kanıtın omurgasını taşımaz.
Bu ayrım, geometri gibi formel bir bilimde daha da belirgindir. “Çizgi genişliksiz uzunluktur” dediğinizde, cinsi ve farkı birlikte verirsiniz; “Çizgi düz gider” türünden ifadeler ise kimi zaman betimleyici ya da tümdengelimle elde edilmesi gereken bir sonuçtur. Tanım ile teorem arasındaki sınırı korumak, kanıtın bütünlüğünü korumaktır.
Öklid’in aksiyomatik mimarisi: Mantığın uzamsal dili
Öklid’in Elementler’i, Aristotelesçi şemanın geometride yeniden yazımıdır. Kitap I’in başında tanımlar gelir: nokta, çizgi, yüzey, düzlem, açı, çember, üçgen ve dörtgen türleri, paralel doğrular… Bunlar kavramları sabitler. Ardından postulatlar ve ortak kavramlar gelir. Postulatlar, geometride “izin” verdiğimiz işlemleri ve konfigürasyonları belirler (iki noktadan bir doğru çekilebilir; bir doğru parçası iki yönde uzatılabilir; belirli merkez ve yarıçapla çember çizilebilir…). Ortak kavramlar ise geometriye değil, bütün akıl yürütmeye ait evrensel ilkelerdir (aynı şeye eşit olanlar birbirine eşittir; eşitlerden eşitler çıkarılırsa kalanlar eşittir; bütün parçasından büyüktür vb.).
Bu temel yerleştirildikten sonra, sıra önermelere ve ispatlarına gelir. Kanıtın mantığı açıktır: tanımlarla sabitlenmiş kavramlar, postulat ve ortak kavramların sağladığı kanıtsız ama meşru temele yaslanarak kıyas zincirleri oluşturur. Elde edilen her sonuç, daha sonraki kanıtlarda öncül olarak hizmet eder. Böylece zincirleme bir burhan ilerler.
Öklid bu yöntemi örnekle değil, genel olarak yürütür. Şekiller (diyagramlar) öğretici ve sezgisel rehberdir; fakat kanıt, çizimin özel niteliklerine değil, yalnızca tanım ve ilkelere dayanır. Bu sayede ispat genellik kazanır: şemada görülen tek bir üçgen hakkında değil, bütün üçgenler hakkında konuşmuş oluruz.
Postulatın statüsü: Tanım değildir, ama kanıtın şartıdır
Öklid’de tanımın yanı sıra postulat adı verilen kabul cümleleri vardır. Bunlar kanıtın nesnesi değil, kanıtın mümkünlük koşullarıdır. “Herhangi iki noktadan bir doğru geçer” dediğimizde, bu cümleyi başka bir teoremden türetmiyor; geometriyi başlatan yapım izni olarak koyuyoruz. Bu izinler sayesinde geometrik yapıların kurulumunu meşru sayarız: doğruyu uzatma, çember çizme, bir doğruya dik indirme… Postulatın tanımdan farkı buradadır: tanım öz bildirir; postulat eylem ve kabul bildirir. Karıştırıldıklarında, ya boş bir sözlük ya da temelsiz bir inşa çıkar.
Özellikle paralel postulatı, aksiyomatik sistemlerde ilkelerin doğasını tartışmaya açmıştır. Bu postulat, diğerlerinden türetilemez oluşuyla meşhurdur ve tarih boyunca “acaba kanıtlanabilir mi?” sorusunu tetiklemiştir. Cevap olumsuzdur: farklı paralellik kabulleri, Öklid dışı geometriler doğurur. Buradan sağduyuya aykırı düşen bir sonuç değil, aksine ilkeler uzayının çoğulluğu doğar: neyi postulatlaştırdığınız, hangi evrende kanıt yapacağınızı belirler. Aristoteles’in “ilk ilkeler olmadan burhan olmaz” tezi burada tam karşılığını bulur.
Diyagramın rolü: Görüntü rehberdir, kanıt değildir
Öklid’in çağından beri geometri, çizimle öğretilir. Fakat diyagram, kanıtın kendisi değildir; kanıtın okunmasını kolaylaştıran retorik bir aparattır. Diyagramın ikna gücü, “gözle görülenin” kanıt sayılmasından değil, adım adım kullanılan ilkelere referans vermesinden gelir. Bir üçgen çizip “işte açıların toplamı iki dik açı” demek, iknayı sezgiye havale etmektir; Öklid’in yöntemi ise, bunu paralellik ve açı eşitlikleri üzerinden, daha önce kurulmuş önermelere dayanarak gösterir. Bu ayrım, Aristoteles’in diyalektik ile burhan ayrımını geometriye tercüme eder: sezgiyi rehber olarak kullanırız, fakat kanıt yalnızca gerekçelerle yürür.
İyi tanım – sağlam burhan ilişkisi
Geometrideki pek çok yanlış adım, tanım aşamasındaki gevşeklikten doğar. Çok geniş ya da çok dar tanımlar, ispat adımlarını bozar. “Kuş = uçan hayvan” tanımı, penguen ve devekuşunu dışarıda bıraktığı için nakıstır; geometrik dille söylersek, istisnayı fark etmediğinizde teziniz genellik yitirir. Öklid’in sözü geçen tanımları, sırf şematik olma kaygısıyla değil, bu genellik kaygısıyla yazılmıştır: “doğru, üzerindeki noktalara göre eşit duran çizgidir” ifadesi, yalnızca çizimdeki doğruyu değil, her doğruyu kapsamalıdır.
Bunun karşı yüzü, döngüsel tanım tehlikesidir: “Üçgen, üçgen şeklindeki çokgendir” gibi. Döngü, Aristoteles’in kıyas kurallarında da yasaktır; öncüller, sonucu içermemelidir. Öklid’in tanım–postulat ayrımı, bu tehlikeyi bertaraf eder: bir şeyi tanımlarken, bir başka kanıtlanmış teoremden sızan içerik kullanmaz; kanıtı ilerletirken, tanımı genişletmez.
Öklid’in I. Kitabı: Mantıksal bir okuma
İlk kitabın başında yer alan tanımlar, postulatlar ve ortak kavramlar, devamındaki 48 önermenin altyapısıdır. Bu önermeler, basit yapım problemlerinden (verilen doğru parça üzerine eşkenar üçgen inşası) üçgen eşitliklerine, paralel doğruların açı özelliklerine, alan eşitliklerine ve en meşhuru olan Pisagor teoremine kadar uzanır. Hepsinde ortak unsur, öncül–sonuç ilişkisinin şeffaflığıdır: hangi adımda hangi tanıma, hangi postulata ya da daha önce kanıtlanmış hangi önermeye yaslandığınız açıktır. Bu şeffaflık, Aristoteles’in “burhan” idealiyle birebir örtüşür.
Örneğin üçgenin dış açısının, komşu olmayan iki iç açının toplamına eşit olduğu teorem, paralel doğrular üzerine düşen açıların eşitliğiyle ve eşit açıların birbirine eklenip çıkarılmasıyla yürür. Burada ortak kavramların (eşitliğin ekleme/çıkarma altında korunması) devreye girişi, mantıksal bir öncül–sonuç görünürlüğü sağlar: geometri, yalnız “çizgilerin” değil, akıl yürütmenin bilimidir.
Felsefeye yansıma: Tanımsız kavram yok, ilk ilkesiz burhan yok
Bu aksiyomatik düzenin felsefeye bakan yüzü açıktır. Kavram tanımlanmadan, önermeler güvenilir şekilde kurulamaz; tanım yoksa kıyas kayar. İlk ilkeler koymadan burhan kurulamaz; ilke yoksa kanıt boşlukta kalır. Aristoteles’in mantık anlayışı ile Öklid’in aksiyomatik mimarisi, bu iki tezin iki anlatımıdır.
Bu yüzden “tanım olmadan felsefe olmaz” cümlesi, bir retorik değil, yöntem iddiasıdır. Adalet, erdem, töz, neden, amaç, mutluluk, yasa gibi kavramlar, had ile kurulmadıkça, konuşma bir fikir alışverişi olmaktan çıkar, eşadlılık (aynı sözcüğe farklı anlamlar yüklemek) ve kategoriler arası kaymalar üretir. Öklid’in gösterdiği, tanım–ilke–ispat sırasının yalnızca geometriye değil, düşünmenin kendisine ait olduğudur.
Aristoteles–Öklid sürekliliğinin bugünkü anlamı
Modern bilim, Aristoteles’in doğa anlayışının pek çok unsurunu aştı; paralellik postulatından hareketle Öklid dışı geometriler kuruldu. Fakat iki miras kalıcıdır. İlki, tanımın disiplini: kavramsal açıklık ve sınır gözetimi olmadan bilimsel tartışma yürütülemeyeceği, bugün her teorik çalışmada hâlâ geçerlidir. İkincisi, kanıtın mimarisi: öncüllerin statüsü ile sonuçların kapsamı arasındaki uygunluk, ister matematiksel ispatta, ister hukukî muhakemede, isterse etik gerekçelendirmede aynı titizliği talep eder.
Buradan bakıldığında, Aristoteles ile Öklid’in yan yana okunması, “felsefe ve matematik tarihi merakı” değil, disiplinler arası bir yöntem dersidir. Mantığın kurduğu dili, geometri uzamsal içerikle görünür kılar; geometriyi mümkün kılan ilkeler, mantığın talep ettiği öncül türlerini somutlaştırır.
Sonuç: Tanımdan ispata, dilden mekâna uzanan tek bir yöntem
Aristoteles’in mantığıyla Öklid’in geometrisi arasında dolaşan ortak bir yöntem var: önce tanımla, sonra ilke koy, ardından kanıtla. Mantık bu yöntemin dildeki adı, geometri uzaydaki biçimidir. İyi tanım olmadan sağlam ispat olmaz; sağlam ispat olmadan da düşünce, güvenilirlik ve genellik iddiasını kaybeder. Bu nedenle “esas konumuz” olan mantık ile Öklid’i birlikte ele almak, yalnızca iki büyük düşünürü buluşturmak değil, bugün nasıl düşüneceğimizi yeniden hatırlamaktır.
