Can I read An Introduction to Symbolic Logic on EtoBox?

An Introduction to Symbolic Logic by Terence Parsons is a nonfiction available to read on EtoBox.

What is An Introduction to Symbolic Logic about?

Version Aug 2013 of An Exposition of Symbolic Logic is a lightly revised version of the August 2012 version of An Introduction to Symbolic Logic (also known as Terry-Text). The system of logic used here is essentially that of Kalish & Montague 1964 and Kalish, Montague and Mar, Harcourt Brace Jovanovich, 1992. The principle difference is that written justifications are required for boxing and canceling: 'dd' for a direct derivation, 'id' for an indirect derivation, etc. This text is written to be used along with the UCLA Logic 2010 software program, but that program is not mentioned, and the text can be used independently (although you would want to supplement the exercises). The system of notation is almost the same as KK&M; major differences are that the signs '∀' and '∃' are used for the quantifiers, name and operation symbols are the small letters between ‘a’ and ‘h’, and variables are the small letters between ‘i’ and ‘z’. The exercises are new. Chapters 1-3 cover pretty much the same material as KM&M except that the rule allowing for the use of previously proved theorems is now in chapter 2, immediately following the section on theorems. (Previous versions of this text used t

Who reads An Introduction to Symbolic Logic?

Author

Terence Parsons

Published

2013

Language

EN

Category

nonfiction