Introduction to Logic: Propositional Logic

Englewood Cliffs, NJ, USA: Prentice-Hall (1974)
  Copy   BIBTEX

Abstract

Designed to make logic interesting and accessible -- without sacrificing content or rigor -- this classic introduction to contemporary propositional logic explains the symbolization of English sentences and develops formal-proof, truth-table, and truth-tree techniques for evaluating arguments. Organizes content around natural-deduction formal-proof procedures, truth tables, and truth trees. Also presents logical statement connectives gradually, one per chapter, and finally, increases readers' awareness of the arguments they read and hear every day by providing examples of actual arguments to which they can readily relate.

Categories

Add categories

Keywords

Reprint years

1984

ISBN(s)

9780134861678   0134861671   0131649973   0130258490
View all bargains

Buy this book

Links

PhilArchive



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

External links

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

Through your library

My notes

Similar books and articles

Schaum's Outline of Logic.Achille C. Varzi - 1998 - New York: McGraw-Hill.
An introduction to formal logic.Peter Smith - 2003 - New York: Cambridge University Press.
Review: Howard Pospesel, Introduction to Logic. Propositional Logic; Howard Pospesel, Introduction to Logic. Predicate Logic. [REVIEW]J. Christian Conradi - 1978 - Journal of Symbolic Logic 43 (2):383-383.
Doing logic by computer: interpolation in fragments of intuitionistic propositional logic.Lex Hendriks - 2000 - Annals of Pure and Applied Logic 104 (1-3):97-112.
Logic: The Laws of Truth.Nicholas J. J. Smith - 2012 - Princeton, N.J.: Princeton University Press.
forall x: Calgary. An Introduction to Formal Logic (4th edition).P. D. Magnus, Tim Button, Robert Trueman, Richard Zach & Aaron Thomas-Bolduc - 2023 - Calgary: Open Logic Project.
A Simple Proof of Arithmetical Completeness for $\Pi_1$ -Conservativity Logic.Giorgi Japaridze - 1994 - Notre Dame Journal of Formal Logic 35 (3):346-354.
A Note on Algebraic Semantics for $mathsf{S5}$ with Propositional Quantifiers.Wesley H. Holliday - 2019 - Notre Dame Journal of Formal Logic 60 (2):311-332.
Modal logic S4 as a paraconsistent logic with a topological semantics.Marcelo E. Coniglio & Leonardo Prieto-Sanabria - 2017 - In Caleiro Carlos, Dionisio Francisco, Gouveia Paula, Mateus Paulo & Rasga João (eds.), Logic and Computation: Essays in Honour of Amilcar Sernadas. College Publications. pp. 171-196.
A Note on Algebraic Semantics for S5 with Propositional Quantifiers.Wesley H. Holliday - 2019 - Notre Dame Journal of Formal Logic 60 (2):311-332.
Howard Pospesel. Introduction to logic. Propositional logic. Prentice-Hall, Inc., Englewood Cliffs, N.J., 1974, xii + 211 pp. - Howard Pospesel. Introduction to logic. Predicate logic. Prentice-Hall, Inc., Englewood Cliffs, N.J., 1976, xiii + 205 pp. [REVIEW]J. Christian Conradi - 1978 - Journal of Symbolic Logic 43 (2):383.
100% Mathematical Proof.Rowan Garnier & John Taylor - 1996 - John Wiley & Son.
Intuitionistic logic and elementary rules.Ian Humberstone & David Makinson - 2011 - Mind 120:1035-1051.
Simplified Lower Bounds for Propositional Proofs.Alasdair Urquhart & Xudong Fu - 1996 - Notre Dame Journal of Formal Logic 37 (4):523-544.
The complexity of propositional proofs.Alasdair Urquhart - 1995 - Bulletin of Symbolic Logic 1 (4):425-467.

Analytics

Added to PP
2021-11-17

Downloads
54 (#296,837)

6 months
11 (#242,683)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

False Dilemma: A Systematic Exposition.Taeda Tomić - 2013 - Argumentation 27 (4):1-22.

Add more citations

References found in this work

No references found.

Add more references