This volume presents a definitive introduction to twenty core areas of philosophical logic including classical logic, modal logic, alternative logics and close examinations of key logical concepts.
|
|
|
vii | |
| Preface |
|
ix | |
| Introduction |
|
1 | (8) |
|
|
|
|
|
|
Classical Logic I - First-Order Logic |
|
|
9 | (24) |
|
|
|
|
|
|
Classical Logic II - Higher-Order Logic |
|
|
33 | (22) |
|
|
|
|
|
|
|
|
55 | (17) |
|
|
|
|
|
|
Godel's Incompleteness Theorems |
|
|
72 | (18) |
|
|
|
|
|
|
|
|
90 | (25) |
|
|
|
|
|
|
|
|
115 | (21) |
|
|
|
|
|
|
|
|
136 | (23) |
|
|
|
|
|
|
|
|
159 | (24) |
|
|
|
|
|
|
|
|
183 | (20) |
|
|
|
|
|
|
|
|
203 | (21) |
|
|
|
|
|
|
|
|
224 | (34) |
|
|
|
|
|
|
|
|
258 | (22) |
|
|
|
|
|
|
|
|
280 | (29) |
|
|
|
|
|
|
|
|
|
|
|
|
|
309 | (27) |
|
|
|
|
|
|
|
|
336 | (26) |
|
|
|
|
|
|
Probability, Logic, and Probability Logic |
|
|
362 | (23) |
|
|
|
|
|
|
|
|
385 | (30) |
|
|
|
|
|
|
|
|
415 | (22) |
|
|
|
|
|
|
|
|
437 | (24) |
|
|
|
|
|
|
Logic and Natural Language |
|
|
461 | (23) |
|
|
|
|
|
| Index |
|
484 | |
LOU GOBLE is Professor of Philosophy at Willamette University. He has published numerous articles in philosophical logic in various anthologies and journals such as Journal of Philosophical Logic, Logique et Analyse, Notre Dame Journal of Formal Logic, and other more general philosophy journals.