2021 Cilt 20 Sayı 1

Permanent URI for this collectionhttps://hdl.handle.net/11452/16366

Browse

Browsing by Subject "Boolean mantık"

Filter results by typing the first few letters
Now showing 1 - 1 of 1
  • Thumbnail Image
    Item
    Boolean algebra and aristotelian logic
    (Bursa Uludağ Üniversitesi, 2021-02-05) Keven, Nazim
    George Boole is one of the first logicians who offered a systematic formalization of language. He developed a notation to encode ordinary language sentences to algebraic symbols and developed algebraic methods to manipulate those symbols and to deduce results that are interpretable in the ordinary language. His methods formed the basis of modern logic. Boole applied his formal methods to many of the contemporary questions of his time, one of them being scholastic logic. In this paper, I explain how Boole deals with Aristotelian logic. I will start with his notation and algebraic methods, then apply them to Aristotelian conversions and syllogisms. It must be noted Boole has two versions of notation and methods, one is developed in Mathematical Analysis of Logic and the other is in his seminal book The Laws of Thought. I focus on the later version.