20% off all books with the code: BOOKS
  • check 10+ million books
  • check New arrivals every day
  • check Trusted by 1M+ customers
  • check Great prices & discounts
  • check Shipping across Europe

Classical First-Order Logic - Stewart Shapiro,Teresa Kouri Kissel

English
2022-05-13
€41.42 €51.77

-20% with code BOOKS

In stock at our supplier

Shipping in 15-21 days

30-day return policy

One is often said to be reasoning well when they are reasoning logically. Many attempts to say what logical reasoning is have been proposed, but one commonly proposed system is first-order classical logic. This Element will examine the basics of first-order classical logic and discuss some surrounding philosophical issues. The first half of the Element develops a language for the system, as well as a proof ... Full description

You May Also Like

Description

One is often said to be reasoning well when they are reasoning logically. Many attempts to say what logical reasoning is have been proposed, but one commonly proposed system is first-order classical logic. This Element will examine the basics of first-order classical logic and discuss some surrounding philosophical issues. The first half of the Element develops a language for the system, as well as a proof theory and model theory. The authors provide theorems about the system they developed, such as unique readability and the Lindenbaum lemma. They also discuss the meta-theory for the system, and provide several results there, including proving soundness and completeness theorems. The second half of the Element compares first-order classical logic to other systems: classical higher order logic, intuitionistic logic, and several paraconsistent logics which reject the law of ex falso quodlibet.

More Information

Author Stewart Shapiro, Teresa Kouri Kissel
Publisher Cambridge University Press
Release year 2022
Cover type Softcover
EAN 9781108987004
Write Your Own Review
You're reviewing: Classical First-Order Logic
Your Rating:

Goodreads Reviews

€41.42 €51.77