Boolean Algebra and Aristotelian Logic

Authors : Nazim KEVEN

Pages : 306-324

Doi:10.20981/kaygi.893014

View : 14 | Download : 8

Publication Date : 2021-03-15

Article Type : Research Paper

Abstract :George Boole dili sistematik bir şekilde yapısallaştıran ilk mantıkçılardan biridir. Dildeki sıradan cümleleri cebirsel sembollerle ifade edebilmek için bir notasyon ve bu sembolleri sistematik bir şekilde değiştirerek gündelik dilde de yorumlananabilen sonuçlar bulmak için cebirsel yöntemler geliştirdi. Geliştiridiği bu yöntemleri modern mantığın temelini oluşturmuştur. Geliştirdiği metotları skolastik mantık da dahil zamanındaki bir çok probleme uygulamıştır. Bu makalede Boole’un metotlarının Aristoteles'in mantığına nasıl uygulandığını inceliyorum. Öncelikle notasyonuna ve cebirsel metotlarına değinip, daha sonra bunları Aristoteles’in evirmelerine ve kıyaslarına uygulanışını gösteriyorum. Boole’un notasyon ve metotlarının iki versiyonu bulunmaktadır, bir tanesi Mantığın Matematiksel Analizi’nde diğeri ise Düşüncenin Yasaları’nda geliştirilen. Bu makalede Düşüncenin Yasaları’nda geliştirdiği versiyon esas alınmıştır.
Keywords : George Boole, Düşüncenin Yasaları, Boolean Mantık, Aristotelesin Kıyasları