How Logic Works (eBook)

A User's Guide

Hans Halvorson (Autor)

eBook Download: PDF

2020
256 Seiten
Princeton University Press (Verlag)
978-0-691-20871-8 (ISBN)

Produkt-Details

• Erscheint lt. Verlag: 1.9.2020
• Zusatzinfo: 18 b/w illus.
• Sprache: englisch
• Themenwelt: Geisteswissenschaften ► Philosophie
• Schlagworte: abstract algebra • Analogy • AND gate • arguments • associative property • Atomic sentence • Axiom • BASIC • Bayesian Statistics • Beginning Logic • Classical Logic • combination • compactness theorem • Compact space • Concise Introduction to Logic • Conditional proof • Conjunction elimination • Conjunction introduction • consistency • Contradiction • counterexample • Decidability (logic) • Deductive Reasoning • Diagram (category theory) • Direct proof • Disjunction elimination • Disjunction introduction • Disjunctive normal form • Disjunctive syllogism • double negation • Elementary • empty set • Entscheidungsproblem • existential quantification • fallacy • false • Falsity • First-Order Logic • formal proof • Gödel's Incompleteness Theorems • inductive reasoning • inference • Infimum and supremum • Instance (computer science) • Integer • Intension • Intuitionism • Intuitionistic Logic • Invalid • lemmon • Linear Logic • Logic • Logical biconditional • Logical conjunction • Logical connective • Logical disjunction • logical reasoning • Logical thinking • logic for liberal arts majors • logic without mathematics • Lori Watson • Material implication (rule of inference) • Mathematical • Mathematical Induction • Mathematical Logic • mathematician • Mathematics • Maximal set • Modal Logic • modus tollens • Mutual exclusivity • natural language • Natural number • Negation • Non-Euclidean geometry • Paradox • Paradoxes of material implication • Parse tree • partially ordered set • Patrick Hurley • philosophy of mathematics • Phrase • predicate • Predicate logic • Predicate (mathematical logic) • Prenex normal form • Prime number • Proof theory • Propositional • Propositional Calculus • Quantifier (logic) • Ranking (information retrieval) • Rationality • real number • Recursively enumerable set • Reductio ad absurdum • Rule of inference • sequent • sequent calculus • Set (mathematics) • set theory • short introduction • soundness • Special case • Standard • State of affairs (philosophy) • Subset • Substructural Logic • Successor function • Tautology (logic) • Theorem • theory • The Philosopher • Transfinite number • Truth function • truth table • Truth value • Validity • Variable (mathematics) • winning arguments • Zermelo–Fraenkel set theory
• ISBN-10: 0-691-20871-9 / 0691208719
• ISBN-13: 978-0-691-20871-8 / 9780691208718