Description |
1 online resource (vi, 392 pages) : illustrations |
Bibliography |
Includes bibliographical references and index. |
Contents |
Part I. Logical spaces -- part II. "Closed" inferences -- part III. Generalizations and applications. |
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 n variables; relations; and applications. |
Subject |
Logic, Symbolic and mathematical.
|
|
Logique symbolique et mathématique. |
|
Logic, Symbolic and mathematical |
Other Form: |
Print version: Auletta, Gennaro. Mechanical logic in three-dimensional space. [S.l.] : Pan Stanford Pub, 2013 9814411507 (OCoLC)823578129 |
ISBN |
9789814411516 |
|
9814411515 |
|