A Formalization of Set Theory without Variables, Vol. 41

0 avg rating
( 0 ratings by Goodreads )
 
9780821810415: A Formalization of Set Theory without Variables, Vol. 41

Completed in 1983, this work culminates nearly half a century of the late Alfred Tarski's foundational studies in logic, mathematics, and the philosophy of science. Written in collaboration with Steven Givant, the book appeals to a very broad audience, and requires only a familiarity with first-order logic. It is of great interest to logicians and mathematicians interested in the foundations of mathematics, but also to philosophers interested in logic, semantics, algebraic logic, or the methodology of the deductive sciences, and to computer scientists interested in developing very simple computer languages rich enough for mathematical and scientific applications. The authors show that set theory and number theory can be developed within the framework of a new, different, and simple equational formalism, closely related to the formalism of the theory of relation algebras. There are no variables, quantifiers, or sentential connectives. Predicates are constructed from two atomic binary predicates (which denote the relations of identity and set-theoretic membership) by repeated applications of four operators that are analogues of the well-known operations of relative product, conversion, Boolean addition, and complementation. All mathematical statements are expressed as equations between predicates. There are ten logical axiom schemata and just one rule of inference: the one of replacing equals by equals, familiar from high school algebra. Though such a simple formalism may appear limited in its powers of expression and proof, this book proves quite the opposite. The authors show that it provides a framework for the formalization of practically all known systems of set theory, and hence for the development of all classical mathematics. The book contains numerous applications of the main results to diverse areas of foundational research: propositional logic; semantics; first-order logics with finitely many variables; definability and axiomatizability questions in set theory, Peano arithmetic, and real number theory; representation and decision problems in the theory of relation algebras; and decision problems in equational logic.

"synopsis" may belong to another edition of this title.

Buy New View Book
List Price: US$ 95.00
US$ 102.96

Convert Currency

Shipping: FREE
From United Kingdom to U.S.A.

Destination, Rates & Speeds

Add to Basket

Top Search Results from the AbeBooks Marketplace

1.

Alfred Tarski, Steven R. Givant
Published by American Mathematical Society, United States (1987)
ISBN 10: 0821810413 ISBN 13: 9780821810415
New Paperback Quantity Available: 1
Seller:
The Book Depository
(London, United Kingdom)
Rating
[?]

Book Description American Mathematical Society, United States, 1987. Paperback. Book Condition: New. Language: English . Brand New Book. Completed in 1983, this work culminates nearly half a century of the late Alfred Tarski s foundational studies in logic, mathematics, and the philosophy of science. Written in collaboration with Steven Givant, the book appeals to a very broad audience, and requires only a familiarity with first-order logic. It is of great interest to logicians and mathematicians interested in the foundations of mathematics, but also to philosophers interested in logic, semantics, algebraic logic, or the methodology of the deductive sciences, and to computer scientists interested in developing very simple computer languages rich enough for mathematical and scientific applications. The authors show that set theory and number theory can be developed within the framework of a new, different, and simple equational formalism, closely related to the formalism of the theory of relation algebras. There are no variables, quantifiers, or sentential connectives.Predicates are constructed from two atomic binary predicates (which denote the relations of identity and set-theoretic membership) by repeated applications of four operators that are analogues of the well-known operations of relative product, conversion, Boolean addition, and complementation. All mathematical statements are expressed as equations between predicates. There are ten logical axiom schemata and just one rule of inference: the one of replacing equals by equals, familiar from high school algebra. Though such a simple formalism may appear limited in its powers of expression and proof, this book proves quite the opposite. The authors show that it provides a framework for the formalization of practically all known systems of set theory, and hence for the development of all classical mathematics.This book contains numerous applications of the main results to diverse areas of foundational research: propositional logic; semantics; first-order logics with finitely many variables; definability and axiomatizability questions in set theory, Peano arithmetic, and real number theory; representation and decision problems in the theory of relation algebras; and, decision problems in equational logic. Bookseller Inventory # AAN9780821810415

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 102.96
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

2.

Alfred Tarski, Steven R. Givant
Published by American Mathematical Society, United States (1987)
ISBN 10: 0821810413 ISBN 13: 9780821810415
New Paperback Quantity Available: 1
Seller:
The Book Depository US
(London, United Kingdom)
Rating
[?]

Book Description American Mathematical Society, United States, 1987. Paperback. Book Condition: New. Language: English . Brand New Book. Completed in 1983, this work culminates nearly half a century of the late Alfred Tarski s foundational studies in logic, mathematics, and the philosophy of science. Written in collaboration with Steven Givant, the book appeals to a very broad audience, and requires only a familiarity with first-order logic. It is of great interest to logicians and mathematicians interested in the foundations of mathematics, but also to philosophers interested in logic, semantics, algebraic logic, or the methodology of the deductive sciences, and to computer scientists interested in developing very simple computer languages rich enough for mathematical and scientific applications. The authors show that set theory and number theory can be developed within the framework of a new, different, and simple equational formalism, closely related to the formalism of the theory of relation algebras. There are no variables, quantifiers, or sentential connectives.Predicates are constructed from two atomic binary predicates (which denote the relations of identity and set-theoretic membership) by repeated applications of four operators that are analogues of the well-known operations of relative product, conversion, Boolean addition, and complementation. All mathematical statements are expressed as equations between predicates. There are ten logical axiom schemata and just one rule of inference: the one of replacing equals by equals, familiar from high school algebra. Though such a simple formalism may appear limited in its powers of expression and proof, this book proves quite the opposite. The authors show that it provides a framework for the formalization of practically all known systems of set theory, and hence for the development of all classical mathematics.This book contains numerous applications of the main results to diverse areas of foundational research: propositional logic; semantics; first-order logics with finitely many variables; definability and axiomatizability questions in set theory, Peano arithmetic, and real number theory; representation and decision problems in the theory of relation algebras; and, decision problems in equational logic. Bookseller Inventory # AAN9780821810415

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 103.25
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

3.

Alfred Tarski
Published by American Mathematical Society (1987)
ISBN 10: 0821810413 ISBN 13: 9780821810415
New Quantity Available: 1
Seller:
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description American Mathematical Society, 1987. PAP. Book Condition: New. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Bookseller Inventory # CE-9780821810415

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 91.69
Convert Currency

Add to Basket

Shipping: US$ 11.89
From United Kingdom to U.S.A.
Destination, Rates & Speeds

4.

Alfred Tarski, Steven Givant
Published by American Mathematical Society (1987)
ISBN 10: 0821810413 ISBN 13: 9780821810415
New Paperback Quantity Available: 2
Seller:
Murray Media
(North Miami Beach, FL, U.S.A.)
Rating
[?]

Book Description American Mathematical Society, 1987. Paperback. Book Condition: New. Never used!. Bookseller Inventory # P110821810413

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 108.16
Convert Currency

Add to Basket

Shipping: US$ 1.99
Within U.S.A.
Destination, Rates & Speeds

5.

Alfred Tarski; Steven Givant
Published by American Mathematical Society (1987)
ISBN 10: 0821810413 ISBN 13: 9780821810415
New Paperback Quantity Available: 1
Seller:
Irish Booksellers
(Rumford, ME, U.S.A.)
Rating
[?]

Book Description American Mathematical Society, 1987. Paperback. Book Condition: New. book. Bookseller Inventory # M0821810413

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 125.82
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

6.

Tarski, Alfred/ Givant, Steven
Published by Amer Mathematical Society (1987)
ISBN 10: 0821810413 ISBN 13: 9780821810415
New Paperback Quantity Available: 1
Seller:
Revaluation Books
(Exeter, United Kingdom)
Rating
[?]

Book Description Amer Mathematical Society, 1987. Paperback. Book Condition: Brand New. 318 pages. 10.25x7.00x0.75 inches. In Stock. Bookseller Inventory # __0821810413

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 135.39
Convert Currency

Add to Basket

Shipping: US$ 7.93
From United Kingdom to U.S.A.
Destination, Rates & Speeds