Classical First-Order Logic

— —

Stewart Shapiro (Ohio State University) Teresa Kouri Kissel (Old Dominion University, Virginia)

Classical First-Order Logic

Stewart Shapiro (Ohio State University), Teresa Kouri Kissel (Old Dominion University, Virginia)

$32.95

Paperback

Not in-store but you can order this
How long will it take?

Availability Information

We source books from suppliers in Australia and overseas. For books we don't currently have in stock, the time it takes to get them from our suppliers can vary widely - from a few days to a few months - so we check each book with each supplier to determine the expected time it will take to be supplied to us.

We then advise you accordingly. If the time taken to get any book is too long for you, you can let us know and we will cancel or adjust your order, and refund as required.

To find out the anticipated arrival time for specific items prior to ordering, please contact us by phone or email:

Phone +61 2 9264 3111, or 1800 4 BOOKS (1800 4 26657) if outside Sydney:
option 1 Abbey's Bookshop (Crime, History, Science, Kids & more) • info@abbeys.com.au
option 2 Language Book Centre (ESL & Foreign Languages) • language@abbeys.com.au
option 3 Galaxy Bookshop (Sci-fi, Fantasy, Romance, Graphic Novels) • sf@galaxybooks.com.au

QTY:

English

Cambridge University Press
19 May 2022

Philosophy; Philosophy: logic

Series: Elements in Philosophy and Logic

Summary
Details

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.

By: Stewart Shapiro (Ohio State University), Teresa Kouri Kissel (Old Dominion University, Virginia)
Imprint: Cambridge University Press
Country of Publication: United Kingdom
Edition: New edition
Dimensions: Height: 230mm, Width: 151mm, Spine: 6mm
Weight: 140g
ISBN: 9781108987004
ISBN 10: 1108987001
Series: Elements in Philosophy and Logic
Pages: 75
Publication Date: 19 May 2022
Audience: General/trade , ELT Advanced
Format: Paperback
Publisher's Status: Active

PERHAPS A GIFT VOUCHER FOR MUM?: MOTHER'S DAY

Classical First-Order Logic

Stewart Shapiro (Ohio State University), Teresa Kouri Kissel (Old Dominion University, Virginia)

$32.95

Paperback

See Also

Contact Abbeys

Contact Galaxy

Contact Language

Contact Us

About ABBEY'S