Modern Logic — A Survey
Springer (Verlag)
978-94-009-9058-6 (ISBN)
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.
Reihe/Serie | Synthese Library ; 149 |
---|---|
Zusatzinfo | VIII, 483 p. |
Verlagsort | Dordrecht |
Sprache | englisch |
Maße | 155 x 235 mm |
Themenwelt | Sachbuch/Ratgeber ► Natur / Technik ► Garten |
Geisteswissenschaften ► Philosophie ► Allgemeines / Lexika | |
Geisteswissenschaften ► Philosophie ► Logik | |
ISBN-10 | 94-009-9058-8 / 9400990588 |
ISBN-13 | 978-94-009-9058-6 / 9789400990586 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich