`sembolik-mantik` ile İlgili Madde Sonuçları

George Boole (1815–1864), mantığı sembolik cebirle sistematize ederek modern bilişim teknolojileri ile dijital bilgisayarların kuramsal temellerini atan İngiliz matematikçi ve mantıkçıdır. 1844 yılında Royal Society'den altın madalya kazanmasının ardından, 1849 yılında Queen’s College, Cork’ta ilk matematik profesörü olarak atanmıştır. Özellikle The Mathematical Analysis of Logic (1847) ve The Laws of Thought (1854) adlı eserlerinde mantığı cebirsel yöntemlerle sistematize ederek "Boole Cebiri"n

Sembolik mantık, aynı zamanda formel mantık veya modern mantık olarak da adlandırılan, yaklaşık bir asır önce matematikçiler ve mantıkçıların çalışmalarıyla temelleri atılan bir mantık sistemidir. Temel amacı, dili sembolik hâle getirerek akıl yürütmeleri formel işlemler biçiminde ifade etme ve denetleme imkânı sunmaktır. Bu sayede gündelik dilin neden olabileceği belirsizliklerden arındırılmış, kesin ve denetlenebilir bir yapı oluşturulur.Tanım ve KapsamSembolik mantık, önermeleri ve bu önermel