Classical Mathematical Logic (eBook)

The Semantic Foundations of Logic

Richard L. Epstein (Autor)

eBook Download: PDF | EPUB

2011
544 Seiten
Princeton University Press (Verlag)
978-1-4008-4155-4 (ISBN)

Infos

Richard L. Epstein received his doctorate in mathematics from the University of California, Berkeley. He is the author of eleven books, including two others in the series The Semantic Foundations of Logic (Propositional Logics and Predicate Logic), Five Ways of Saying 'Therefore,' Critical Thinking, and, with Walter Carnielli, Computability. He is head of the Advanced Reasoning Forum in Socorro, New Mexico.

Produkt-Details

• Erscheint lt. Verlag: 18.12.2011
• Co-Autor: Leslaw W. Szczerba
• Zusatzinfo: 20 line illus.
• Verlagsort: Princeton
• Sprache: englisch
• Themenwelt: Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
• Themenwelt: Technik
• Schlagworte: abelian group • acid-free paper • Addition • arithmetic • arity • associative property • automorphism • Axiom • axiomatic geometry • axiomatic system • Axiom of choice • betweenness • bijection • Binary function • Binary Relation • Cardinality • Cartesian coordinate system • Change of variables • Choice function • Circular definition • Classical Logic • commutative property • compactness theorem • Complete theory • complex number • Congruence relation • Conjunctive normal form • consistency • continuous function • Continuous function (set theory) • Contradiction • Coordinate space • corollary • Countable set • Decidability (logic) • Dedekind cut • Deduction theorem • Dimension • Disjunctive normal form • Divisible group • double negation • empty set • Entscheidungsproblem • equivalence relation • Euclidean Geometry • Euclid's elements • Existential generalization • existential quantification • exponential function • extensionality • Extension by definitions • Falsity • First-Order Logic • For All Practical Purposes • formal language • formal proof • Function (mathematics) • Geometry • Greatest element • group theory • Homomorphism • Identity function • Identity of indiscernibles • inference • Infimum and supremum • Integer • Lecture • Liar paradox • Line segment • Logic • Logical conjunction • Logical connective • logical consequence • Logical disjunction • Logic Programming • lucky number • Mathematical Induction • Mathematical Logic • mathematician • Mathematics • metalogic • metatheory • Metavariable • Modal Logic • Modus Ponens • Mutual exclusivity • Naive set theory • Natural number • Negation • Notation • Parameter • Partial function • Peano axioms • Permutation • Phrase • polynomial • Predicate logic • Predicate (mathematical logic) • Predicate variable • Prenex normal form • Prime number • Primitive notion • Proposition • Propositional Calculus • Propositional variable • Quantification (science) • Quantifier (linguistics) • Quantifier (logic) • Rational number • Real closed field • real number • reflectance • representation theorem • Second-order Arithmetic • second-order logic • Self-reference • Semantics • Sequence • Set (mathematics) • set theory • Sheffer stroke • Sign (mathematics) • Simple set • soundness • space • SUBGROUP • Subset • Subtended angle • Suggestion • Surjective function • Syntax • Tautology (logic) • Theorem • theory • Total order • transcendental number • Transversal (geometry) • Truth function • truth table • Uncountable set • Universal instantiation • Universal quantification • Variable (computer science) • Variable (mathematics) • Walter Carnielli • Word Order
• ISBN-10: 1-4008-4155-0 / 1400841550
• ISBN-13: 978-1-4008-4155-4 / 9781400841554