Logic Primer (1st edition)

✍ Scribed by Colin Allen, Michael Hand

• Publisher: The MIT Press
• Year: 1992
• Tongue: English
• Leaves: 209
• Category: Library

✦ Synopsis

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.

✦ Table of Contents

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