Logic with trees: an introduction to symbolic logic

New York: Routledge (1997)
  Copy   BIBTEX

Abstract

Logic With Trees is a new and original introduction to modern formal logic. It contains discussions on philosophical issues such as truth, conditionals and modal logic, presenting the formal material with clarity, and preferring informal explanations and arguments to intimidatingly rigorous development. Worked examples and exercises guide beginners through the book, with answers to selected exercises enabling readers to check their progress. Logic With Trees equips students with: a complete and clear account of the truth-tree system for first order logic; the importance of logic and its relevance to many different disciplines; the skills to grasp sophisticated formal reasoning techniques necessary to explore complex metalogic; the ability to contest claims that "ordinary" reasoning is well represented by formal first order logic.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,261

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Introduction to neutrosophic logic.Charles Ashbacher - 2002 - Rehoboth, NM: American Research Press.
Logic: an introduction.Greg Restall - 2006 - New York: Routledge.
Modern logic: a text in elementary symbolic logic.Graeme Forbes - 1994 - New York: Oxford University Press.
Mathematical logic.Willard Van Orman Quine - 1951 - Cambridge,: Harvard University Press.
Symbolic logic.John Venn - 1894 - New York,: B. Franklin.
19th century logic between philosophy and mathematics.Volker Peckhaus - 1999 - Bulletin of Symbolic Logic 5 (4):433-450.
The semantic foundations of logic.Richard L. Epstein - 1994 - New York: Oxford University Press.
Logic for computer scientists.Uwe Schöning - 1989 - Boston: Birkhäuser.
The logic book.Merrie Bergmann - 2003 - Boston, Mass.: McGraw-Hill. Edited by James Moor & Jack Nelson.

Analytics

Added to PP
2009-01-28

Downloads
113 (#158,229)

6 months
4 (#798,951)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Colin Howson
Last affiliation: London School of Economics

Citations of this work

Sorites is no threat to modus ponens: a reply to Kochan.Colin Howson - 2009 - International Studies in the Philosophy of Science 23 (2):209-212.
Books received. [REVIEW][author unknown] - 1997 - International Journal of Philosophical Studies 5 (3):499-504.

Add more citations

References found in this work

No references found.

Add more references