Broadview Press (2004)
AbstractThis accessible, SHORT introduction to symbolic logic includes coverage of sentential and predicate logic, translations, truth tables, and derivations. The author's engaging style makes this the most informal of introductions to formal logic. Topics are explained in a conversational, easy-to-understand way for readers not familiar with mathematics or formal systems, and the author provides patient, reader-friendly explanations—even with the occasional bit of humour. The first half of the book deals with all the basic elements of Sentential Logic: the five truth-functional connectives, formation rules and translation into this language, truth-tables for validity, logical truth/falsity, equivalency, consistency and derivations. The second half deals with Quantifier Logic: the two quantifiers, formation rules and translation, demonstrating certain logical characteristics by “Finding an Interpretation” and derivations. There are plenty of exercises scattered throughout, more than in many texts, arranged in order of increasing difficulty and including separate answer keys.
Similar books and articles
Logic with Trees: An Introduction to Symbolic Logic.Colin Howson - 1997 - Routledge.
Modern Logic: A Text in Elementary Symbolic Logic.Graeme Forbes - 1994 - Oxford, England and New York, NY, USA: Oxford University Press.
An Introduction to the Logic of the Computing Sciences: A Contemporary Look at Symbolic Logic.Von Richard F. Dohlen - 1999 - Upa.
The Logic of Our Language: An Introduction to Symbolic Logic.Rodger L. Jackson & Melanie L. McLeod - 2014 - Broadview Press.
ARGUE: A Manual and Concise Text to Accompany the ARGUE Program for Formal Deduction and Analytic Inquiry.Preston K. Covey - unknown
ANALYTICS I: A Conceptual Framework for The SYMBOL, TRUTH, and ARGUE Programs, Apple II Plus Versions.Preston K. Covey - unknown
Symbolic Logic: Syntax, Semantics, and Proof.David W. Agler - 2012 - Lanham, MD, USA: Rowman & Littlefield Publishers.
Truth, Etc. Six Lectures on Ancient Logic.Jonathan Barnes - 2007 - Oxford, England: Oxford University Press.
Added to PP
Historical graph of downloads