001: Logic: Mathematics, Language, Computer Science and Philosophy: Volume I - Logic: Mathematics, Language and Philosophy

0 avg rating
( 0 ratings by Goodreads )
 
9783631454343: 001: Logic: Mathematics, Language, Computer Science and Philosophy: Volume I - Logic: Mathematics, Language and Philosophy

Depending on what one means by the main connective of logic, the «if ..., then ... », several systems of logic result: classic and modal logics, intuitionistic logic or relevance logic. This book presents the underlying ideas, the syntax and the semantics of these logics. Soundness and completeness are shown constructively and in a uniform way. Attention is paid to the interdisciplinary role of logic: its embedding in the foundations of mathematics and its intimate connection with philosophy, in particular the philosophy of language. Set theory is presented both as a conditio sine qua non for logic and as a interesting exact ontology. The study of infinite sets yields perplexing results. Formalization of informal number theory results in formal number theory; Gödel's incompleteness is treated. At appropriate places attention is paid to paradoxes, intuitionism, conditionals, the historical development of logic, to logic programming and automated theorem proving for classical logic.

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

About the Author:

The Author: H.C.M. de Swart (1944) studied mathematics and physics at Nijmegen University. His Ph.D. thesis was on intuitionistic logic (1976). He spent the academic year 1976/1977 as a Visiting Fellow at Princeton University. His appointment as full professor in logic and philosophy of language at Tilbury University followed in 1980. He is author or co-author of several books in Dutch: Sets (1975), Symbolic Logic (1976), Philosopy of Mathematics (1989) and The Theory of Social Choice (1992). Sets was translated into English (1978). He has published in several international journals.

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

Buy Used View Book
List Price: US$ 104.95
US$ 68.44

Convert Currency

Shipping: US$ 10.99
From Canada to U.S.A.

Destination, Rates & Speeds

Add to Basket

Top Search Results from the AbeBooks Marketplace

1.

Swart, H.C.M. de
Published by Peter Lang (1993)
ISBN 10: 3631454341 ISBN 13: 9783631454343
Used Soft cover Quantity Available: 1
Seller:
The Bookseller
(Edmonton, AB, Canada)
Rating
[?]

Book Description Peter Lang, 1993. Soft cover. Book Condition: Good+. A little reading wear. Spine has a couple of light creases. Otherwise a solid, unmarked book. Index. xiv, 577 pp. Bookseller Inventory # 039558

More Information About This Seller | Ask Bookseller a Question

Buy Used
US$ 68.44
Convert Currency

Add to Basket

Shipping: US$ 10.99
From Canada to U.S.A.
Destination, Rates & Speeds

2.

H. C. M. De Swart
Published by Peter Lang Pub Inc (1993)
ISBN 10: 3631454341 ISBN 13: 9783631454343
Used Paperback Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Peter Lang Pub Inc, 1993. Paperback. Book Condition: Used: Good. Bookseller Inventory # SONG3631454341

More Information About This Seller | Ask Bookseller a Question

Buy Used
US$ 94.99
Convert Currency

Add to Basket

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