Modern logic - a survey: Historical, philosophical and mathematical aspects of modern logic and its applications

Front Matter....Pages i-viii
Front Matter....Pages 1-1
The General Sense and Character of Modern Logic....Pages 3-14
The Growth of Logic Out of the Foundational Research in Mathematics....Pages 15-33
Front Matter....Pages 35-35
Proof Theory....Pages 37-43
Model Theory....Pages 45-65
Constructivist Approaches to Logic....Pages 67-91
Infinitary Logics....Pages 93-112
Many-Valued Logics....Pages 113-129
Modal and Relevance Logics: 1977....Pages 131-151
Front Matter....Pages 153-153
Logic and the Foundations of Mathematics....Pages 155-166
Logic and Set Theory....Pages 167-171
Recursion Theory....Pages 173-195
The Interplay Between Logic and Mathematics: Intuitionism....Pages 197-221
Logic and Probability....Pages 223-233
Logic and Category Theory....Pages 235-252
Front Matter....Pages 253-253
Logic and the Methodology of Empirical Sciences....Pages 255-282
Standard vs. Nonstandard Logic: Higher-Order, Modal, and First-Order Logics....Pages 283-296
Logic and Computers....Pages 297-309
Logic and Linguistics....Pages 311-329
Logical Foundations of Quantum Mechanics....Pages 331-351
Inductive Logic 1945–1977....Pages 353-375
Front Matter....Pages 377-377
Logic and Ontology....Pages 379-398
Problems and Prospects of Deontic Logic a Survey....Pages 399-423
Report on Tense Logic....Pages 425-438
Logical Semiotic....Pages 439-456
Logic and Rhetoric....Pages 457-463
Back Matter....Pages 465-483