Philosophy of Logical Systems

ISBN-13: 9781032176598 / Angielski / Miękka / 2021 / 208 str.

Jaroslav Peregrin

Opis

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.

Spis treści

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

O autorze

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.