Logic Primer (1st edition)

This text presents a self-contained introduction to logic suitable for majors and nonmajors, and can be covered entirely in a one-semester course. Natural deduction systems of sentential logic and of first-order logic, truth tables, and the basic ideas of model theory are presented without superfluous discussion. This allows the instructor to choose various ways of presenting the material. The text is organized into definitions, comments, examples, and exercises in a modern, visually helpful format. Comments are kept to a minimum so that definitions and examples are usually on the same page, making it easy for students to compare the two. In addition, there are over 500 exercises, with solutions to more than half of them provided in an appendix. Logic Primer differs from existing texts in several important ways. The proofs are shorter and more elegant. The rules of proof are stated in terms of denials of sentences rather than negations; this results in more intuitive rules that students learn more quickly. Most important pedagogically, the authors' natural deduction systems explicitly track the assumptions on which each step in a proof depends. Colin Allen is Assistant Professor of Philosophy and Michael Hand is Associate Professor of Philosophy, both at Texas A&M University. acknowledgements.pdf......Page 1 /var/tmp/PDF25889.pdf......Page 2 This except is provided, in screen-viewable form, for personal use only by members of MIT CogNet......Page 3 preface.pdf......Page 4 /var/tmp/PDF25886.pdf......Page 5 page 2......Page 6 page 3......Page 7 page 4......Page 8 page 5......Page 9 page 6......Page 10 page 7......Page 11 page 8......Page 12 page 9......Page 13 This except is provided, in screen-viewable form, for personal use only by members of MIT CogNet......Page 14 chap1.pdf......Page 15 /var/tmp/PDF25892.pdf......Page 16 page 2......Page 17 page 3......Page 18 page 4......Page 19 page 5......Page 20 page 6......Page 21 page 7......Page 22 page 8......Page 23 page 9......Page 24 page 10......Page 25 page 11......Page 26 page 12......Page 27 page 13......Page 28 page 14......Page 29 page 15......Page 30 page 16......Page 31 page 17......Page 32 page 18......Page 33 page 19......Page 34 page 20......Page 35 page 21......Page 36 page 22......Page 37 page 23......Page 38 page 24......Page 39 page 25......Page 40 page 26......Page 41 page 27......Page 42 page 28......Page 43 page 29......Page 44 page 30......Page 45 page 31......Page 46 page 32......Page 47 page 33......Page 48 page 34......Page 49 page 35......Page 50 page 36......Page 51 page 37......Page 52 page 38......Page 53 This except is provided, in screen-viewable form, for personal use only by members of MIT CogNet......Page 54 chap2.pdf......Page 55 /var/tmp/PDF25891.pdf......Page 56 page 2......Page 57 page 3......Page 58 page 4......Page 59 page 5......Page 60 page 6......Page 61 page 7......Page 62 page 8......Page 63 page 9......Page 64 page 10......Page 65 page 11......Page 66 page 12......Page 67 page 13......Page 68 page 14......Page 69 page 15......Page 70 page 16......Page 71 page 17......Page 72 This except is provided, in screen-viewable form, for personal use only by members of MIT CogNet......Page 73 chap3.pdf......Page 74 /var/tmp/PDF25893.pdf......Page 75 page 2......Page 76 page 3......Page 77 page 4......Page 78 page 5......Page 79 page 6......Page 80 page 7......Page 81 page 8......Page 82 page 9......Page 83 page 10......Page 84 page 11......Page 85 page 12......Page 86 page 13......Page 87 page 14......Page 88 page 15......Page 89 page 16......Page 90 page 17......Page 91 page 18......Page 92 page 19......Page 93 page 20......Page 94 page 21......Page 95 page 22......Page 96 page 23......Page 97 page 24......Page 98 page 25......Page 99 page 26......Page 100 page 27......Page 101 page 28......Page 102 page 29......Page 103 page 30......Page 104 page 31......Page 105 page 32......Page 106 page 33......Page 107 page 34......Page 108 page 35......Page 109 This except is provided, in screen-viewable form, for personal use only by members of MIT CogNet......Page 110 chap4.pdf......Page 111 /var/tmp/PDF25887.pdf......Page 112 page 2......Page 113 page 3......Page 114 page 4......Page 115 page 5......Page 116 page 6......Page 117 page 7......Page 118 page 8......Page 119 page 9......Page 120 page 10......Page 121 page 11......Page 122 page 12......Page 123 page 13......Page 124 page 14......Page 125 page 15......Page 126 page 16......Page 127 page 17......Page 128 page 18......Page 129 page 19......Page 130 page 20......Page 131 This except is provided, in screen-viewable form, for personal use only by members of MIT CogNet......Page 132 answers.pdf......Page 133 /var/tmp/PDF25890.pdf......Page 134 page 2......Page 135 page 3......Page 136 page 4......Page 137 page 5......Page 138 page 6......Page 139 page 7......Page 140 page 8......Page 141 page 9......Page 142 page 10......Page 143 page 11......Page 144 page 12......Page 145 page 13......Page 146 page 14......Page 147 page 15......Page 148 page 16......Page 149 page 17......Page 150 page 18......Page 151 page 19......Page 152 page 20......Page 153 page 21......Page 154 page 22......Page 155 page 23......Page 156 page 24......Page 157 page 25......Page 158 page 26......Page 159 page 27......Page 160 page 28......Page 161 page 29......Page 162 page 30......Page 163 page 31......Page 164 page 32......Page 165 page 33......Page 166 page 34......Page 167 page 35......Page 168 page 36......Page 169 page 37......Page 170 page 38......Page 171 page 39......Page 172 page 40......Page 173 page 41......Page 174 page 42......Page 175 page 43......Page 176 page 44......Page 177 page 45......Page 178 page 46......Page 179 page 47......Page 180 page 48......Page 181 page 49......Page 182 page 50......Page 183 page 51......Page 184 page 52......Page 185 page 53......Page 186 page 54......Page 187 page 55......Page 188 page 56......Page 189 page 57......Page 190 page 58......Page 191 page 59......Page 192 page 60......Page 193 page 61......Page 194 page 62......Page 195 page 63......Page 196 page 64......Page 197 page 65......Page 198 page 66......Page 199 page 67......Page 200 page 68......Page 201 page 69......Page 202 page 70......Page 203 page 71......Page 204 page 72......Page 205 page 73......Page 206 page 74......Page 207 page 75......Page 208 This except is provided, in screen-viewable form, for personal use only by members of MIT CogNet......Page 209