| Authors |
|
| Publication date |
2010
|
| Host editors |
-
F. Ferreira
-
B. Löwe
-
E. Mayordomo
-
L. Mendes Gomes
|
| Book title |
Programs, Proofs, Processes
|
| Book subtitle |
6th Conference on Computability in Europe, CiE 2010: Ponta Delgada, Azores, Portugal, June 30-July 4, 2010 : proceedings
|
| ISBN |
|
| ISBN (electronic) |
|
| Series |
Lecture Notes in Computer Science
|
| Event |
Programs, Proofs, Processes: 6th Conference on Computability in Europe (CiE 2010), Ponta Delgada, Azores, Portugal
|
| Pages (from-to) |
427-437
|
| Publisher |
Berlin: Springer
|
| Organisations |
-
Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
|
| Abstract |
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.
|
| Document type |
Conference contribution
|
| Language |
English
|
| Published at |
https://doi.org/10.1007/978-3-642-13962-8_47
|
|
Permalink to this page
|