Computing with concepts, computing with numbers: Llull, Leibniz, and Boole
| Authors | |
|---|---|
| Publication date | 2010 |
| Host editors |
|
| 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 |
|
| 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
(Final published version)
|
| Permalink to this page | |