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 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.

1114221296
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 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.

160.0 In Stock
Mechanical Logic in Three-Dimensional Space

Mechanical Logic in Three-Dimensional Space

by Gennaro Auletta
Mechanical Logic in Three-Dimensional Space

Mechanical Logic in Three-Dimensional Space

by Gennaro Auletta

Hardcover

$160.00 
  • SHIP THIS ITEM
    In stock. Ships in 1-2 days.
  • PICK UP IN STORE

    Your local store may have stock of this item.

Related collections and offers


Overview

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.


Product Details

ISBN-13: 9789814411509
Publisher: Jenny Stanford Publishing
Publication date: 10/24/2013
Pages: 400
Product dimensions: 6.10(w) x 9.10(h) x 1.10(d)

Table of Contents

Structural Description. Product Inferences. Sums. Subtractions. Divisions. Assessment of All the Previous Inferences. Generalized Representation and Structural Relations. Generalized Inferences. Applications. Conclusions. Bibliography. Author Index. Subject Index.

From the B&N Reads Blog

Customer Reviews