2017/10/04 by Giovanna Corsi, Corsi, Giovanna, Guido Gherardi +1
Computer Science · Mathematics · #Advanced Algebra and Logic #FOS: Mathematics #History and Theory of Mathematics #Logic (math.LO) #Mathematics and Applications
paper · pdf · doi:10.48550/arxiv.1710.01542
openalex publication_date 2017/10/04 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
In the present paper we aim to provide a thoughtful and exegetical account of the fundamental ideas at the basis of Boole's theory, with the goal of developing our investigation strictly within the conceptual structure originally introduced by Boole himself. In particular, we will focus on the meaning and the usefulness of the methods of the developments. We will also consider a slight variation of it that will allow us to to present in a new light some important and ingenuous aspects of Boole's calculus examined by the author in his work. Finally, a large attention is devoted to the analysis of the 'neglected' logical connective of division.