This book addresses the hasty development of modern logic, especially its introducing various kinds of artificial languages and moving from the study of natural languages. This book addresses the new kinds of philosophical problems that are intertwined with the development of modern logic.
This book addresses the hasty development of modern logic, especially its introducing various kinds of artificial languages and moving from the study of natural languages. This book addresses the new kinds of philosophical problems that are intertwined with the development of modern logic.
Jaroslav Peregrin is the research professor at the Department of Logic of the Institute of Philosophy of the Czech Academy of Sciences and a professor at the Faculty of Philosophy of the University of Hradec Králové, Czechia. He is the author of Doing Worlds with Words (1995), Meaning and Structure (Ashgate, 2001), Inferentialism (2014) and Reflective Equilibrium and the Principles of Logical Analysis (together with V. Svoboda; Routledge, 2017). His current research focuses on logical and philosophical aspects of inferentialism and on more general questions of normativity.
Inhaltsangabe
Preface 1. The Transmutation of Logic 2. Correctness of Arguments 3. Languages of Logic 4. Basic Sentential Operators 5. Gentzenian Logical Calculi 6. Hilbertian Logical Calculi 7. Properties of Calculi 8. Calculi of Propositional Logic 9. Quantification 10. Calculi of Predicate Logic 11. From Calculi to Formal Semantics 12. Truth-Functional Semantics 13. Extensional Denotational Semantics 14. Denotations Beyond Extensions 15. Matching Calculi and Systems of Formal Semantics 16. Through the Looking Glass 17. Conclusion: Philosophical Problems of Logical Systems
Preface 1. The Transmutation of Logic 2. Correctness of Arguments 3. Languages of Logic 4. Basic Sentential Operators 5. Gentzenian Logical Calculi 6. Hilbertian Logical Calculi 7. Properties of Calculi 8. Calculi of Propositional Logic 9. Quantification 10. Calculi of Predicate Logic 11. From Calculi to Formal Semantics 12. Truth-Functional Semantics 13. Extensional Denotational Semantics 14. Denotations Beyond Extensions 15. Matching Calculi and Systems of Formal Semantics 16. Through the Looking Glass 17. Conclusion: Philosophical Problems of Logical Systems
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Shop der buecher.de GmbH & Co. KG Bürgermeister-Wegele-Str. 12, 86167 Augsburg Amtsgericht Augsburg HRA 13309