Sembolik Mantığın Tarihi 1847-1950 (9786255536808)

Bu eser, sembolik mantığın 1847-1950 yılları arasındaki tarihsel gelişimini akademik bir perspektifle ele almaktadır. George Boole’un mantığı cebirselleştirme girişiminden Alan Turing’in hesaplanabilirlik teorisine uzanan bu yüz yıllık süreç, mantığın felsefi bir disiplinden matematiksel ve biçimsel bir bilim dalına dönüşümünü temsil eder. Kitap, dört temel dönüşüm evresi üzerinden ilerlemektedir: Cebirselleşme Dönemi (1847-1880), Yüklemler Mantığı Dönemi (1879-1921), Meta-Matematik Dönemi (1920-1934) ve Hesaplanabilirlik Dönemi (1936-1950). Augustus De Morgan’ın ilişkiler teorisi, Gottlob Frege’nin yüklemler mantığı, Bertrand Russell’ın betimlemeler kuramı, Kurt Gödel’in eksiklik teoremleri, Alfred Tarski'nin doğruluk kuramı ve Turing’in evrensel makinesi gibi kilometre taşları sistematik biçimde incelenmektedir. Eser, mantığın epistemolojik, metodolojik, ontolojik ve pragmatik dönüşümlerini tarihsel bağlamında sunarak, modern mantık ve bilgisayar biliminin entelektüel temellerini aydınlatmayı amaçlamaktadır. Türkçe mantık tarihi yazımındaki boşluğu doldurmak üzere hazırlanan bu çalışma, hem felsefe ve ilahiyat hem de matematik ve bilgisayar bilimleri alanlarındaki araştırmacılar için kapsamlı bir kaynak sunmaktadır.

Kitap Adı:	Sembolik Mantığın Tarihi 1847-1950
Yazar:	Samet Büyükada
Yayınevi:	Eski Yeni Yayınları
Hamur Tipi:	Kitap Kağıdı
Sayfa Sayısı:	122
Ebat:	135-210-
İlk Baskı Yılı:	2025-12-26
Baskı Sayısı:	1
Dil:	Türkçe
Barkod:	9786255536808