Logic

Informationen zum Autor Greg Restall Klappentext The methods of logic are essential to an understanding of philosophy and are crucial in the study of mathematics, computing, linguistics and many other subjects. Introducing the major concepts and techniques involved in the study of logic, this authoritative book explores both formal and philosophical logic, and the ways in which we can achieve good reasoning. Individual chapters include:* Propositions and Arguments* Truth Tables* Trees* Conditionality* Natural Deduction* Predicates, Names and Quantifiers* Definite Descriptions.This exceptionally clear introduction to the subject is ideally suited to students taking introductory courses in logic. Zusammenfassung A comprehensive introduction to the major concepts and techniques involved in the study of logic. It explores both formal and philosophical logic, and examines the ways in which we can achieve good reasoning. Inhaltsverzeichnis Part 1: Propositional Logic 1. Propositions and Arguments 2. Connectives and Argument Forms 3. Truth Tables 4. Trees 5. Vagueness and Bivalence 6. Conditionality 7. Natural Deduction Part 2: Predicate Logic 8. Predicates, Names and Quantifiers 9. Models for Predicate Logic 10. Trees for Predicate Logic 11. Identity and Functions 12. Definite Descriptions 13. Some Things do not Exist

Dettagli sul prodotto

• Autori: Greg Restall, Greg (University of Melbourne Restall, Restall Greg
• Editore: Routledge Academic
• Contenuto: Libro
• Forma del prodotto: Tascabile
• Data pubblicazione: 13.12.2005
• Categoria: Saggistica > Filosofia, religione > Filosofia: tematiche generali, opere di consultazi
• EAN: 9780415400688
• ISBN: 978-0-415-40068-8
• Dimensioni (della confezione): 14 x 21.6 x 1.5 cm
• Serie: Fundamentals of Philosophy; Fundamentals of Philosophy
• Categorie: PHILOSOPHY / General, Form, PHILOSOPHY / Logic, Open, Argument, Formula, Branch, Clark Kent, WO, Truth, follow, Atomic, Philosophy: logic, table, Existential, Predicate logic, natural deduction, ODD, Vice Versa, Predicate, Sheffer stroke, definite descriptions, opaque contexts, Universal Quantifier, predicate calculus, Russell’s Analysis, Main Connective, Open Branch, Atomic Formulas, Tree Rules, Present King, Monadic Predicate, Dyadic Predicate, Domain Element, atomic propositions, Natural Deduction Systems, Argument Forms