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.
History of Symbolic Logic 1847-1950
This work examines the historical development of symbolic logic between
1847 and 1950 from an academic perspective. This century-long
period, extending from George Boole’s algebraization of logic to Alan
Turing’s theory of computability, represents the transformation of logic
from a philosophical discipline into a mathematical and formal science.
The book progresses through four fundamental transformative phases:
the Algebraization Period (1847-1880), the Predicate Logic Period
(1879-1921), the Meta-Mathematical Period (1920-1934), and the
Computability Period (1936-1950). Key milestones such as Augustus De
Morgan’s theory of relations, Gottlob Frege’s predicate logic, Bertrand
Russell’s theory of descriptions, Kurt Gödel’s incompleteness theorems,
Alfred Tarski’s truth theory, and Turing’s universal machine are systematically
analyzed. The work presents the epistemological, methodological,
ontological, and pragmatic transformations of logic within their
historical context, aiming to illuminate the intellectual foundations of
modern logic and computer science. Prepared to fill a gap in Turkish
logic historiography, this study offers a comprehensive resource for researchers
in philosophy, theology, mathematics, and computer science.
Keywords: History Of Logic; Symbolic Logic; Algebraic Logic; Predicate
Logic; Computability Theory; Formal Systems; Meta-Mathematics
İÇ SAYFALAR
