- Computing with concepts, computing with numbers: Llull, Leibniz, and Boole
- Lecture Notes in Computer Science
- Pages (from-to)
- Document type
- Interfacultary Research Institutes
- Institute for Logic, Language and Computation (ILLC)
- 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.
- go to publisher's site
- Proceedings title: Programs, proofs, processes: 6th conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores,
Portugal, June 30-July 4, 2010: proceedings
Place of publication: Berlin
Editors: F. Ferreira, B. Löwe, E. Mayordomo, L. Mendes Gomes
If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library, or send a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible.