Mechanical logic in three-dimensional space
The book explores how build a mechanical inferences by making use of arithmetic operations on a string of numbers representing statements. In this way logic is reduced to a branch of the combinatory calculus. It covers the field of traditional logic by showing that any kind of inference can be mecha...
| Otros Autores: | |
|---|---|
| Formato: | Libro electrónico |
| Idioma: | Inglés |
| Publicado: |
Boca Raton, FL :
CRC Press
[2013]
|
| Edición: | 1st edition |
| Materias: | |
| Ver en Biblioteca Universitat Ramon Llull: | https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009628712806719 |
| Sumario: | The book explores how build a mechanical inferences by making use of arithmetic operations on a string of numbers representing statements. In this way logic is reduced to a branch of the combinatory calculus. It covers the field of traditional logic by showing that any kind of inference can be mechanically reduced to three-variables and two-premise inferences. Meriological inferences can also be easily treated in this way. The book covers the following subjects: structural description of space; three-variable inferences through products, sums, subtractions, and divisions; generalization to |
|---|---|
| Notas: | Description based upon print version of record. |
| Descripción Física: | 1 online resource (396 p.) |
| Bibliografía: | Includes bibliographical references and indexes. |
| ISBN: | 9780429072307 9789814411509 |
