- ホーム
- > 洋書
- > 英文書
- > Philosophy
基本説明
The contributions - written especially for this volume by distinguished logicians, philosophers, computer scientists, and linguists - provide comprehensive studies of the concepts, motivations, methods, formal systems, major results, and applications of their subject areas.
Full Description
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.
Contents
List of Contributors vii
Preface ix
Introduction 1
Lou Goble
1 Classical Logic I - First-Order Logic 9
Wilfrid Hodges
2 Classical Logic II - Higher-Order Logic 33
Stewart Shapiro
3 Set Theory 55
John P. Burgess
4 Gödel's Incompleteness Theorems 72
Raymond Smullyan
5 Truth 90
Anil Gupta
6 Logical Consequence 115
Patricia A. Blanchette
7 Modal Logic 136
M. J. Cresswell
8 Deontic Logic 159
Risto Hilpinen
9 Epistemic Logic 183
J.-J. Ch. Meyer
10 Temporal Logic 203
Yde Venema
11 Intuitionistic Logic 224
Dirk van Dalen
12 Free Logics 258
Karel Lambert
13 Relevant Logics 280
Edwin D. Mares and Robert K. Meyer
14 Many-Valued Logics 309
Grzegorz Malinowski
15 Nonmonotonic Logic 336
John F. Horty
16 Probability, Logic, and Probability Logic 362
Alan Hájek
17 Conditionals 385
Dorothy Edgington
18 Negation 415
Heinrich Wansing
19 Quantifiers 437
Dag Westerståhl
20 Logic and Natural Language 461
Alice ter Meulen
Index 484