Aritmetiğin Temelleri

Aritmetik günlük hayatın en kesin bilgisi gibi görünür, fakat sayıların ne olduğu sorulduğunda eşya, düşünce ve işaret cevaplarının her biri eksik kalır.

İki koyun gider ama iki sayısı gitmez; iki rakamını sileriz ama iki çift ayakkabının eşleşmesi değişmez.

Frege hesabın kesinliğini taşıyacak nesnel anlamı arar ve sayı sözlerinin cümlede nasıl çalıştığına yönelir.

Sayı ontolojisi günlük toplama yapabilmek için zorunlu olmayabilir; soru uygulamanın temelini açıklamakla ilgilidir.

Çok iyi kullandığınız bir kavramı tanımlamakta neden zorlandığınızı fark edip kullanım örneklerini inceleyin. Şaşkınlık, bildiğimiz işlemi bırakmak değil onun anlamını açık hale getirmek için başlangıçtır.

Frege sayıları fiziksel nesnelerden veya duyusal izlenimlerden türetmeye karşı çıkar; gözlem bize kesin ve sınırsız aritmetik genelliği tek başına vermez.

Bin fasulyeyi görmeden iki torbanın toplamını hesaplayabilir, hiç karşılaşmadığımız büyüklükler hakkında da doğru işlem yapabiliriz.

Deney saymayı öğretir ve uygulama sağlar, fakat bir artı birin zorunlu olarak iki oluşu belirli fasulyelerin davranışına bağlı değildir.

Matematik öğreniminde parmak ve nesne kullanılması aritmetiğin mantıksal temelinin fiziksel olduğu anlamına gelmez.

Bir kuralın örneklerle öğrenilmesiyle doğruluğunun yalnız örneklerden gelmesini birbirine karıştırmayın. Frege'nin anti-empirizmi uygulamadaki sayımı değil aritmetik doğruluğun kaynağını hedefler.

Sayı kişiden kişiye değişen bir tasarım olsaydı ortak doğruluk ve yanlışlık ölçüsü kaybolurdu.

Biri üç deyince üç nokta, diğeri üç ses hayal eder; farklı görüntülere rağmen ikisi de üç artı iki sonucunda anlaşabilir.

Öznel çağrışım sayıyı düşünmemize eşlik eder, fakat aritmetik önermenin nesnel içeriğini oluşturmaz.

Nesnellik sayının insan dilinden ve etkinliğinden tamamen bağımsız gizemli yerde durduğu sonucunu otomatik vermez.

Bir kavramı anlamakla zihinde belirli görüntü canlanmasını aynı başarı ölçüsü saymayın. Psikolojik süreçler nasıl düşündüğümüzü, mantık ise düşüncenin ne zaman doğru olduğunu araştırır.

Sayı tek tek fiziksel nesnelerin renk ve ağırlık gibi doğrudan özelliği değildir; aynı nesne farklı kavramlar altında farklı sayılabilir.

Masada bir deste, elli iki kart, dört takım ve on üç değer vardır; nesne grubu değişmeden sayı cevabı değişir.

Sayma sorusu önce hangi kavramın örneklerini saydığımızı belirler; sayı kavramın kapsamına yüklenir.

Bu yaklaşım gerçek nesneleri önemsiz yapmaz; sayılacak örneklerin hangi kavrama girdiği yine dünyaya bağlıdır.

Bir istatistikte sayıdan önce birim ve sınıflamanın nasıl tanımlandığını mutlaka sorun. Kart örneği sayı yargısının nesne grubundan çok onu kavrayan soruya bağlandığını gösterir.

Frege bir sözcüğün anlamını tek başına zihinsel nesne arayarak değil, anlamlı bir cümlede üstlendiği görev içinde araştırmayı önerir.

'Kök' sözcüğü bahçede, matematikte ve dilbilgisinde farklı cümle ilişkileri sayesinde anlaşılır.

Sayı sözü 'masada kaç fincan var' gibi yargıda kavramla bağ kurar; cümlenin doğruluk koşulu anlamı aydınlatır.

Bağlam ilkesi kelimelerin bağımsız hiçbir anlamı olmadığı biçiminde aşırı yorumlanmamalıdır.

Belirsiz bir kelime üzerinde kavga etmek yerine iki tarafın onu hangi tam cümlede kullandığını yazın. Bağlam ilkesi daha sonra analitik felsefenin dil üzerinden sorun çözme yöntemlerini derinden etkiler.

Frege kavramı nesnelerin altına düştüğü tamamlanmamış bir işlev, nesneyi ise özel adla gösterilebilen tamamlanmış öğe olarak ayırır.

'… bir kedidir' boşluk isteyen kavramdır; Tekir bu boşluğu dolduran nesnedir ve cümle doğru ya da yanlış olur.

Sayı ifadesi bir kavram hakkında söylenir ama Frege sonunda sayıların kendisini de nesne olarak ele almak ister.

Kavram-nesne ayrımı doğal dilde tuhaf sonuçlar yaratır; 'at kavramı bir kavram değildir' sorunu ünlüdür.

Bir özelliği taşıyan kişiyle özelliğin kendisini aynı dil düzeyine koyup koymadığınızı kontrol edin. Tamamlanmamış kavram sözü eksiklik değil, bir argüman yeri taşıyan mantıksal işlev demektir.

Bir kavramın altına hiçbir nesne düşmüyorsa o kavrama sıfır sayısı yüklenir.

'Bu odadaki tekboynuzlar' kavramı anlamlıdır ama odada ona uyan hiçbir şey olmadığı için sayısı sıfırdır.

Sıfır yokluk diye ele alınan fiziksel bir şey değil, belirli kavramın örnek içermemesi hakkında nesnel bir yargıdır.

Kavram mantıksal olarak tutarsızsa örneksizlik farklı bir sebepten doğabilir; her boş sınıf aynı hikâyeyi taşımaz.

'Yok' dediğinizde dünyada hiçbir şey mi yok, yoksa seçtiğiniz ölçüte uyan örnek mi yok diye ayırın. Sıfır böylece hayali hiçliğe değil, doğrulanabilir bir örneksizlik koşuluna bağlanır.

Bir kavramın altına tam bir nesne düştüğünde sayı birdir; birim nesneyi parçalardan keyfî biçimde ayırma kararı değil, kavramın tanıdığı örnektir.

Bir orman, binlerce ağaç ve milyonlarca yaprak aynı alanda birlikte sayılabilir; 'bir' cevabı sorulan kavrama bağlıdır.

Kavram sayılabilir öğelerin eşitlik ölçütünü verir ve aynı şeyi iki kez saymayı önler.

Kavramı istediğimiz gibi değiştirerek her cevabı üretebilmek istatistiğin nesnel olduğu anlamına gelmez; sınıflama gerekçelendirilmelidir.

Bir raporda 'bir vaka' denirken vakanın nerede başlayıp bittiğini açıkça yazın. Sayma ancak neyin aynı birim sayılacağı açık olduğunda mekanik toplamadan bilgiye dönüşür.

İki kavramın örnekleri aralarında bire bir eşleme kurulabiliyorsa aynı sayıya sahiptir.

Her misafire bir sandalye düşüyor ve sandalye artmıyorsa insanları tek tek saymadan iki grubun eşit olduğunu biliriz.

Eşleme nesnelerin türünü ve görünüşünü önemsemeksizin çokluğu nesnel ilişkiyle karşılaştırır.

Sonlu gündelik gruplarda kolay olan eşleme, sonsuz kümelerde sezgiye aykırı fakat güçlü sonuçlar üretir.

İki iş yükünü yalnız toplam sayıyla değil her görevin karşılığını ve dışarıda kalan öğeyi eşleyerek kontrol edin. Eşleme çocukların saymadan önce bile 'herkese bir tane' kuralıyla kullandığı güçlü sezgidir.

Bir kavrama ait sayı ile başka kavrama ait sayının aynı olması, o kavramların eşit sayılı olmasıyla açıklanır.

Dört mevsim ile arabanın dört tekeri hiçbir ortak madde taşımaz, fakat iki kavramın sayısı aynıdır.

Hume ilkesi sayı özdeşliğini eşleme koşuluna bağlayarak aritmetik konuşmayı nesnel hale getirir.

Yalnız bu bağlamsal ilkenin sayı nesnelerinin tam doğasını verip vermediği yeni-Fregeci tartışmanın merkezidir.

Aynı sonuç sayısına ulaşan iki grubun içerik ve maliyet bakımından da aynı olmadığını unutmayın. Eşit sayı, iki grubun aynı nesnelerden oluşmasını gerektirmez; yalnız yapısal karşılık ister.

Eşit sayılılık sayıların birbirleriyle ne zaman aynı olduğunu söyler, fakat bir sayının Julius Caesar gibi sayı olmayan nesneyle aynı olup olmadığını doğrudan belirlemez.

Kimlik kartları yalnız çalışanları birbirinden ayırıyorsa, masanın çalışan olup olmadığı için ayrıca tür ölçütü gerekir.

Frege sayı ifadelerine tam nesne kimliği verecek açık tanım arar; bağlam içi ölçüt farklı nesne türleri arasındaki sınırı eksik bırakabilir.

Bu sorun günlük hesapta Caesar'ın sayı sanılacağı anlamına gelmez; mantıksal tanımın eksiksizliğiyle ilgilidir.

Bir sistemin aynı tür içindeki karşılaştırmayı çözmesinin, neyin o türe girdiğini de çözdüğünü varsaymayın. Caesar sorusu, iyi görünen bir tanımın sessizce dışarıda bıraktığı kimlik alanını yakalar.

Frege bir kavrama ait sayıyı, o kavramla eşit sayılı bütün kavramların oluşturduğu mantıksal uzantı olarak tanımlar.

'Dört' yalnız dört elma değil; dört köşe, dört mevsim ve dört örnekli bütün kavramların ortak eşitlik sınıfıdır.

Tanım sayı nesnesini belirli fiziksel gruptan kurtarır ve aynı sayılı bütün durumları tek nesnel birlik altında toplar.

Uzantılara dayanan daha sonraki mantık sistemi Russell paradoksuyla tutarsız çıkmıştır; bu tarihsel sınır açıkça korunmalıdır.

Bir ortak ölçü kurarken örneklerin yüzey benzerliğine değil gerçekten korunan ilişkiye dayandığını kontrol edin. Uzantı hamlesi sayıları tek tek gruplardan bağımsızlaştırırken güçlü küme varsayımları getirir.

Frege sıfırı kendi kendisiyle özdeş olmayan nesne kavramına ait sayı olarak belirler; böyle bir nesne mantıken bulunamaz.

'Kendisiyle aynı olmayan kitap' şartını hiçbir kitap karşılamaz; bu kavramın örnek sayısı sıfırdır.

Mantıksal olarak boş kavram belirli bir fiziksel gözleme başvurmadan sıfırın nesnel başlangıcını sağlar.

Modern sunumlar bu kurulumun teknik varsayımlarını farklı sistemlerle ifade eder; gündelik dil örneği tam formal kanıt değildir.

Sıfırı 'hiçbir şey' diye geçmek yerine hangi ölçüt altında örnek bulunmadığını belirtin. Kendisiyle özdeş olmama kavramı çelişkili olduğu için örneksizliği gözleme bağlı değildir.

Bir kavramın altına düşen nesnelerden biri çıkarıldığında kalan kavramın sayısı n ise ilk kavramın sayısı n'nin ardılıdır.

Masadaki elmalardan birini sepete koyunca kalan dörtse ilk toplam beştir; tek çıkarma ardıl ilişkisini görünür kılar.

Ardıl ilişkisi sıfırdan başlayarak doğal sayıların düzenini ve her adımın öncekine bağını kurar.

Bu sezgisel anlatım Frege'nin ilişki ve atalar kuramındaki bütün biçimsel ayrıntıları içermez.

Bir büyüme grafiğinde yalnız son sayıya değil her yeni öğenin önceki toplamla nasıl bağlandığına bakın. Ardıl, sayı dizisini hazır liste olarak vermek yerine her yeni sayının nasıl üretildiğini açıklar.

Frege doğal sayıyı sıfırdan ardıl ilişkisiyle ulaşılabilen nesne olarak tanımlayıp matematiksel tümevarımın mantıksal temelini kurmaya çalışır.

Domino taşlarının ilki düşer ve her taş sonrakini düşürürse sıradaki bütün taşların devrileceğini tek tek izlemeksizin biliriz.

Başlangıç durumu ile adım kuralı birlikte bütün doğal sayılara yayılan kanıt biçimini verir.

Fiziksel domino dizisi sonludur; sonsuz mantıksal genellik yalnız benzetmeyle değil formal tanımla sağlanır.

Genel kural savunurken hem ilk vakayı hem bir adımdan sonrakine geçişin gerçekten korunduğunu gösterin. Tümevarım sayısız örneği tek tek kontrol etmeden yapısal bir adımın genelliğini kullanır.

Frege aritmetiğin temelini psikoloji ve deneyden ayırıp mantıksal tanımlarla kurmak istedi; program büyük bir dönüşüm yarattı fakat kendi uzantı yasası paradoksa düştü.

Sağlam köprü tasarlayan mühendis yeni yapı tekniği keşfeder, sonra temel malzemede çatlak bulur; yöntem başka köprülerde yaşamayı sürdürür.

Russell paradoksu Temel Yasa V'yi yıktı, ancak bağlam ilkesi, nicelik çözümlemesi ve mantıksal sayı araştırması analitik felsefeyi biçimlendirdi.

Sistemin bir aksiyomunun çökmesi kitaptaki her ayrımın anlamsız olduğu sonucunu vermez.

Bir büyük teoriyi değerlendirirken işe yarayan kavramsal araçla çöken teknik temeli aynı hükme sıkıştırmayın. Frege Russell'ın mektubunu alınca hatayı kabul etmiş; bu dürüstlük düşünce tarihinin çarpıcı anlarından biri olmuştur.