Classical and Nonclassical Logics – An Introduction to the Mathematics of Propositions - Image 1

Price loading...

Princeton University Press Classical and Nonclassical Logics – An Introduction to the Mathematics of Propositions

Name: Classical and Nonclassical Logics - An Introduction to the Mathematics of Propositions
Brand: Princeton University Press

Mathematical Logic

Price History & Forecast

No Price Data Available

Price history will appear here once data is collected from Amazon.

Price Distribution

No price data available for histogram

Description

So-called classical logic--the logic developed in the early twentieth century by Gottlob Frege, Bertrand Russell, and others--is computationally the simplest of the major logics, and it is adequate for the needs of most mathematicians. But it is just one of the many kinds of reasoning in everyday thought. Consequently, when presented by itself--as in most introductory texts on logic--it seems arbitrary and unnatural to students new to the subject. In Classical and Nonclassical Logics, Eric Schechter introduces classical logic alongside constructive, relevant, comparative, and other nonclassical logics. Such logics have been investigated for decades in research journals and advanced books, but this is the first textbook to make this subject accessible to beginners. While presenting an assortment of logics separately, it also conveys the deeper ideas (such as derivations and soundness) that apply to all logics. The book leads up to proofs of the Disjunction Property of constructive logic and completeness for several logics. The book begins with brief introductions to informal set theory and general topology, and avoids advanced algebra; thus it is self-contained and suitable for readers with little background in mathematics. It is intended primarily for undergraduate students with no previous experience of formal logic, but advanced students as well as researchers will also profit from this book.

Key Features

Used Book in Good Condition

Product Specifications

Brand: Princeton University Press
Format: hardcover
ASIN: 0691122792
Category: Books > Subjects > Science, Nature & Maths > Mathematics > Mathematical Foundations > Mathematical Logic
Domain: Amazon UK
Release Date: 20 September 2005
Listed Since: 18 October 2006

Barcode

No barcode data available

Princeton University Press Classical and Nonclassical Logics – An Introduction to the Mathematics of Propositions

Price History & Forecast

No Price Data Available

Price Distribution

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

Classical Mathematical Logic – The Semantic Foundations of Logic

Logic: The Laws of Truth

Logic: The Basics

Logic of Mathematics: A Modern Course of Classical Logic: 22 (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)

Mathematical Logic: An Introduction (De Gruyter Textbook)

Logic for Applications (Texts in Computer Science)

Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)

Logic for Mathematicians

A Formalization of Set Theory without Variables (Colloquium Publications)

Structural Analysis of Non-Classical Logics: The Proceedings of the Second Taiwan Philosophical Logic Colloquium (Logic in Asia: Studia Logica Library)

Semantical Investigations in Heyting's Intuitionistic Logic: 148 (Synthese Library, 148)

An Introduction to Classical and Modal Logics: The Outlines of Knowledge (Cambridge Introductions to Philosophy)

Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version

Introduction to Logic

Routledge Logic Works - Introduction to Formal Logic Book

Logic Works: A Rigorous Introduction to Formal Logic

Introduction to Mathematical Logic: Extended Edition

Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)

Propositional Logics Third Edition

Simple Formal Logic: With Common-Sense Symbolic Techniques

Mathematical Logic

Proof And Computation II: From Proof Theory And Univalent Mathematics To Program Extraction And Verification

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

Philosophical Logic: A Contemporary Introduction (Routledge Contemporary Introductions to Philosophy)