We consider two ways to understand "reasoning as computation", one which focuses on the computation of concept symbols and the other on the computation of number symbols. We illustrate these two ways with Llull's Ars Combinatoria and Leibniz's attempts to arithmetize language, respectively. We then argue that Boole's development of an algebra of reasoning was in a large part successful due to its ability to marry the two types of computation that are exemplified in Llull's and Leibniz's works. © 2010 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Uckelman, S. L. (2010). Computing with concepts, computing with numbers: Llull, Leibniz, and Boole. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6158 LNCS, pp. 427–437). https://doi.org/10.1007/978-3-642-13962-8_47
Mendeley helps you to discover research relevant for your work.