A01=Eric Schechter
Asymmetry
Author_Eric Schechter
Axiom
Axiom of choice
Axiomatic system
Binary operation
Bounded quantifier
Category=PBCD
Classical logic
Commutative property
Contradiction
Counterexample
Deduction theorem
Degeneracy (mathematics)
Deontic logic
Disjoint sets
Elementary proof
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
Existential quantification
Finite model property
First-order logic
Fuzzy logic
Goldbach's conjecture
Heyting algebra
Hilbert's program
Identity theorem
Informal logic
Informal Methods (Validation and Verification)
Intermediate logic
Intuitionistic logic
Linear logic
Logic
Logical connective
Logical disjunction
Logicism
Material implication (rule of inference)
Mathematical fallacy
Mathematical induction
Mathematical logic
Mathematician
Mathematics
Modal logic
Monotonic function
Naive set theory
Negation
Non-classical logic
Non-Euclidean geometry
Non-monotonic logic
Norm (mathematics)
Paraconsistent logic
Predicate (mathematical logic)
Predicate logic
Proof by contradiction
Proof by contrapositive
Propositional calculus
Quantifier (logic)
Quantum logic
Recursive set
Rule of inference
Russell's paradox
Semantics
Set theory
Sign (mathematics)
Soundness
Special case
Subset
Tautology (logic)
Term logic
Theorem
Three-valued logic
Triviality (mathematics)
Variable (mathematics)
Zorn's lemma
Product details
- ISBN 9780691122793
- Weight: 879g
- Dimensions: 152 x 235mm
- Publication Date: 28 Aug 2005
- Publisher: Princeton University Press
- Publication City/Country: US
- Product Form: Hardback
Secure
checkout
Fast Shipping
Easy returns
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.
Eric Schechter, Associate Professor of Mathematics at Vanderbilt University, is the author of "Handbook of Analysis and Its Foundations".
