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...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
[Place of publication not identified] :
Pan Stanford Publishing,
©2013.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
| Summary: | 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. |
|---|---|
| Physical Description: | 1 online resource (vii, 386 pages) |
| Bibliography: | Includes bibliographical references. |
| ISBN: | 9789814411516 9814411515 1299987419 9781299987418 9789814411509 9814411507 |