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: 93,127

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

Logic Works: A Rigorous Introduction to Formal Logic.Lorne Falkenstein, Scott Stapleford & Molly Kao - 2022 - New York: Routledge. Edited by Scott Stapleford & Molly Kao.
Formal logic: its scope and limits.Richard C. Jeffrey - 1967 - Indianapolis, IN: Hackett.
Logic and philosophy.Howard Kahane - 1969 - Belmont, Calif.,: Wadsworth Pub. Co..
Logic: The Laws of Truth.Nicholas J. J. Smith - 2012 - Princeton, N.J.: Princeton University Press.
Introduction to Logic: Propositional Logic.Howard Pospesel - 1974 - Englewood Cliffs, NJ, USA: Prentice-Hall.
Modal Logics and Philosophy.Rod Girle - 2000 - [Durham]: Routledge.

Analytics

Added to PP
2009-01-28

Downloads
4 (#1,644,260)

6 months
114 (#41,169)

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