Logic (eBook)

The Laws of Truth

Nicholas J.J. Smith (Autor)

eBook Download: EPUB

2012
544 Seiten
Princeton University Press (Verlag)
978-1-4008-4231-5 (ISBN)

Infos

Logic is essential to correct reasoning and also has important theoretical applications in philosophy, computer science, linguistics, and mathematics. This book provides an exceptionally clear introduction to classical logic, with a unique approach that emphasizes both the hows and whys of logic. Here Nicholas Smith thoroughly covers the formal tools and techniques of logic while also imparting a deeper understanding of their underlying rationales and broader philosophical significance. In addition, this is the only introduction to logic available today that presents all the major forms of proof--trees, natural deduction in all its major variants, axiomatic proofs, and sequent calculus. The book also features numerous exercises, with solutions available on an accompanying website.Logic is the ideal textbook for undergraduates and graduate students seeking a comprehensive and accessible introduction to the subject.Provides an essential introduction to classical logicEmphasizes the how and why of logicCovers both formal and philosophical issuesPresents all the major forms of proof--from trees to sequent calculusFeatures numerous exercises, with solutions available at http://njjsmith.com/philosophy/lawsoftruth/The ideal textbook for undergraduates and graduate students

Autor

Nicholas J. J. Smith is senior lecturer in philosophy at the University of Sydney in Australia. He is the author of Vagueness and Degrees of Truth.

Produkt-Details

• Erscheint lt. Verlag: 1.4.2012
• Zusatzinfo: 80 line illus. 90 tables.
• Verlagsort: Princeton
• Sprache: englisch
• Themenwelt: Geisteswissenschaften ► Philosophie ► Allgemeines / Lexika
• Themenwelt: Geisteswissenschaften ► Philosophie ► Logik
• Schlagworte: abductive reasoning • Acknowledgment (creative arts and sciences) • Addition • Adverb • Ambiguity • Analogy • And/or • Atomic formula • Australian Research Council • Axiom • axiomatic system • Big O notation • Binary Relation • Categorical Proposition • Classical Logic • clause • conjunct • consequent • Contradiction • Contraposition • counterexample • Decision problem • Definite description • Definition • equivalence class • equivalence relation • existential quantification • Explanation • extensionality • Falsity • Finite set • formal proof • Frege (programming language) • Function (mathematics) • Glossary • hypothesis • implicature • Indicative conditional • Instance (computer science) • Intension • Logic • Logical biconditional • Logical conjunction • Logical connective • logical consequence • Logical disjunction • logical form • Logical truth • Mathematical Induction • Mathematics • multiset • Natural deduction • natural language • Natural number • Negation • Notation • Partial function • partially ordered set • Phrase • Predicate logic • Predicate (mathematical logic) • premise • premises • Prenex normal form • Princeton University Press • Proposition • Propositional Calculus • Quantifier (logic) • Quantity • reason • Recursive definition • referent • Requirement • result • satisfiability • Science • Semantics • Sequence • sequent • set theory • soundness • Subset • Suggestion • Syntax • Tautology (logic) • Terminology • theory • Total order • Truth condition • Truth function • truth table • Truth value • Understanding • Universal quantification • utterance • Validity • Variable (mathematics) • Verb • vocabulary • Writing
• ISBN-10: 1-4008-4231-X / 140084231X
• ISBN-13: 978-1-4008-4231-5 / 9781400842315