Version Aug 2013 of An Exposition of Symbolic Logicis a lightly revised version of the August 2012 version ofAn 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 writtenjustifications are required for boxing and canceling dd for a direct derivation id for an indirectderivation 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 wouldwant 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 theuse of previously proved theorems is now in chapter 2 immediately following the section ontheorems Previous versions of this text used the terminology tautological implication in section2 11 This has been changed to tautological validity to agree with the logic program Chapters 4 6 include invalidity problems with infinite universes where one specifies theinterpretation of notation by description e g R These are discussed in the finalsection of each chapter so they may easily be avoided They are not currently implemented inthe logic program Chapter 4 covers material from KK M chapter IV but without operation symbols Chapter 4 alsoincludes material from KK M chapter VII namely interchange of equivalents biconditionalderivations monadic sentences without quantifier overlay and prenex form Chapter 5 covers identity and operation symbols Chapter 6 covers Fregean definite descriptions as in KK M chapter VI

An Introduction to Symbolic Logic PDF

The list of books you might like