Symbolic Logic: Syntax, Semantics, and Proof

Lanham, MD, USA: Rowman & Littlefield Publishers (2012)
  Copy   BIBTEX

Abstract

Brimming with visual examples of concepts, derivation rules, and proof strategies, this introductory text is ideal for students with no previous experience in logic. Students will learn translation both from formal language into English and from English into formal language; how to use truth trees and truth tables to test propositions for logical properties; and how to construct and strategically use derivation rules in proofs

Categories

Keywords

Reprint years

ISBN(s)

1442217413   9781442217416   9781442217423   1442217421

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,752

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

Introduction to mathematical logic.Michał Walicki - 2012 - Hackensack, NJ: World Scientific.
Provability with finitely many variables.Robin Hirsch, Ian Hodkinson & Roger D. Maddux - 2002 - Bulletin of Symbolic Logic 8 (3):348-379.
On Quantified Modal Logic.Melvin Fitting - unknown
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.
Pym David J. and Ritter Eike. Reductive logic and proof-search—Proof theory, semantics, and control. Oxford Logic Guides, vol. 45. Oxford Science Publications, 2004, 208 pp. [REVIEW]Didier Galmiche - 2006 - Bulletin of Symbolic Logic 12 (2):302-304.
Reductive logic and proof-search: proof theory, semantics, and control.David J. Pym - 2004 - New York: Oxford University Press. Edited by Eike Ritter.
Logic as Calculus Versus Logic as Language, Language as Calculus Versus Language as Universal Medium, and Syntax Versus Semantics.Jan Woleński - 2012 - Logica Universalis 6 (3-4):587-596.
Zero Syntax: Experiencers and Cascades.David Michael Pesetsky - 1995 - MIT Press.
Review: H. P. Barendregt, The Lambda Calculus. Its Syntax and Semantics. [REVIEW]E. Engeler - 1984 - Journal of Symbolic Logic 49 (1):301-303.
General Models and Entailment Semantics for Independence Logic.Pietro Galliani - 2013 - Notre Dame Journal of Formal Logic 54 (2):253-275.
Review: Yehoshua Bar-Hillel, Logical Syntax and Semantics. [REVIEW]Frederic B. Fitch - 1955 - Journal of Symbolic Logic 20 (3):290-290.
Review: Noam Chomsky, Logical Syntax and Semantics. Their Linguistic Relevance. [REVIEW]Lars Svenonius - 1958 - Journal of Symbolic Logic 23 (1):72-72.
Review: Rolf Schock, Contributions to Syntax, Semantics, and the Philosophy of Science. [REVIEW]Theodore Hailperin - 1972 - Journal of Symbolic Logic 37 (2):423-423.
The Received Distinction Between Pragmatics, Syntax and Semantics.Charles Sayward - 1974 - Foundations of Language 11:97-104.

Analytics

Added to PP
2014-02-06

Downloads
34 (#468,159)

6 months
15 (#164,728)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

David W. Agler
Pennsylvania State University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references