Jaroslav Peregrin

Philosophy of Logical Systems (eBook, ePUB)

• Format: ePub

Produktbeschreibung

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.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Taylor & Francis
• Seitenzahl: 206
• Erscheinungstermin: 11. November 2019
• Englisch
• ISBN-13: 9781000727081
• Artikelnr.: 58131286

Autorenporträt

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

Rezensionen

"The book is well written and accessible; it introduces, and offers a philosophical commentary on, the main formal tools developed by logicians over the past 140 years or so. In doing so, it covers philosophically important topics such as the interpretation of variables, higher-order logics, universal algebra, and the correspondence between valuations and deductive calculi in propositional logic." - Notre Dame Philosophical Reviews

"In a tour-de-force survey of logical systems, Peregrin addresses the fundamental question of how logical systems relate to natural langue argumentation. The book develops the view that logical systems are models and challenges widespread assumptions about the nature of logical semantics." - Georg Brun, University of Bern

"For the general student of philosophy or linguistics it is hard to understand why to do formal logics at all. By using a rule-theoretical access, Peregrin's book shows step by step how ideal models are necessary tools for understanding the form of valid reasoning, but no first results in a meliorating project of replacing natural by formal languages." - Pirmin Stekeler-Weithofer, University of Leipzig