Gottlob Frege adlı düşünürden bir alıntı
Alıntı
Bir fikrin kökenine dair bir betimlemeyi onun tanımı sanmayalım; bir önermenin bilincine vardığımız zihinsel koşulları anlatan bir açıklamayı da onun kanıtı saymayalım.
Felsefi Bağlam
AnalitikMantıkçıGottlob Frege
Küçük bir Alman üniversite kasabasında modern mantığı ve analitik felsefeyi icat etti, yirmi yıl boyunca neredeyse kimse fark etmedi.
Frege bütün kariyeri boyunca Jena Üniversitesi'nde matematik dersleri verdi ve neredeyse kimse ne yaptığını fark etmedi. 'Begriffsschrift' (kavram-yazısı) mantık için öyle bir formel dil icat etti ki Aristoteles'in tasımları parmakla yapılan aritmetik gibi göründü. Ardından bu dili tüm aritmetiğin mantığa indirgenebileceğini kanıtlamak için kullandı; neredeyse başarıyordu ki Russell, kibarca, temellerinde bir çelişki keşfederek bu projeyi yıktı. Frege haberi kötü karşıladı ve vazgeçti. Ama yol boyunca inşa ettikleri (anlam ile gönderge arasındaki ayrım, niceleme analizi, işlevler ve argümanlar mantığı) analitik felsefenin, matematiksel mantığın ve bilgisayar biliminin temeli oldu. Çoğu insanın adını bile duymadığı en önemli filozoftur ve asıl eserini kendi kılavuzunu gerektiren bir notasyonla yazmış ender kişilerdendir.
Bu Alıntıyı Anlamak
Gottlob Frege bu sözüyle ne demek istemiştir?
Küçük bir Alman üniversite kasabasında modern mantığı ve analitik felsefeyi icat etti, yirmi yıl boyunca neredeyse kimse fark etmedi. Frege bütün kariyeri boyunca Jena Üniversitesi'nde matematik dersleri verdi ve neredeyse kimse ne yaptığını fark etmedi. 'Begriffsschrift' (kavram-yazısı) mantık için öyle bir formel dil icat etti ki Aristoteles'in tasım…