عنوان

Modern Logic A Survey:

(Number (ISBN

9400990561

(Number (ISBN

9789400990562

Number

b537112

Title Proper

Modern Logic A Survey:

General Material Designation

[Book]

Other Title Information

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

First Statement of Responsibility

Agazzi, E.

Name of Publisher, Distributor, etc.

Springer Verlag

Date of Publication, Distribution, etc.

2013

Text of Note

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.

Class number

Book number

Agazzi, E.

Agazzi, E.

Electronic name

[Book]

Y