|
" Modern Logic A Survey: "
Agazzi, E.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
717426
|
| Doc. No
|
:
|
b537112
|
| Main Entry
|
:
|
Agazzi, E.
|
| Title & Author
|
:
|
Modern Logic A Survey: : Historical, Philosophical and Mathematical Aspects of Modern Logic and Its Applications.\ Agazzi, E.
|
| Publication Statement
|
:
|
Springer Verlag, 2013
|
| ISBN
|
:
|
9400990561
|
|
|
:
|
: 9789400990562
|
| Contents
|
:
|
1: Introduction.- The General Sense and Character of Modern Logic.- The Growth of Logic Out of the Foundational Research in Mathematics.- 2: Pure Logic.- Proof Theory.- Model Theory.- Constructivist Approaches to Logic.- Inflnitary Logics.- Many-Valued Logics.- Modal and Relevance Logics: 1977.- 3: The Interplay Between Logic and Mathematics.- Logic and the Foundations of Mathematics.- Logic and Set Theory.- Recursion Theory.- The Interplay Between Logic and Mathematics: Intuitionism.- Logic and Probability.- Logic and Category Theory.- 4: The Relevance of Logic to Other Scientific Disciplines.- Logic and Methodology of Empirical Sciences.- Standard Vs. Nonstandard Logic: Higher-Order, Modal, and First-Order Logics.- Logic and Computers.- Logic and Linguistics.- Logical Foundations of Quantum Mechanics.- Inductive Logic 1945-1977.- 5: Logic and Philosophical Topics.- Logic and Ontology.- Problems and Prospects of Deontic Logic - A Survey.- Report on Tense Logic.- Logical Semiotic.- Logic and Rhetoric.- Index of Names.- Index of Subjects.
|
| LC Classification
|
:
|
BC38.A339 2013
|
| Added Entry
|
:
|
Agazzi, E.
|
| |