عنوان

Modern Logic A Survey:

9400990561

9789400990562

b537112

Modern Logic A Survey:

[Book]

Historical, Philosophical and Mathematical Aspects of Modern Logic and Its Applications.

Agazzi, E.

Springer Verlag

2013

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.

Agazzi, E.

Agazzi, E.

[Book]

Y