58,65 €*
Versandkostenfrei per Post / DHL
Lieferzeit 1-2 Wochen
A Philosophical Introduction to Higher-order Logics assumes only that readers have a basic knowledge of first-order logic. With an emphasis on exercises, it can be used as a textbook though is also ideal for self-study.
Author Andrew Bacon organizes the book's 18 chapters around four main parts:
I. Typed Language
II. Higher-Order Languages
III. General Higher-Order Languages
IV. Higher-Order Model Theory¿
In addition, two appendices cover the Curry-Howard isomorphism and its applications for modeling propositional structure. Each chapter includes exercises that move from easier to more difficult, strategically placed throughout the chapter, and concludes with an annotated suggested reading list providing graduate students with most valuable additional resources.¿
Key Features:
Is the first comprehensive introduction to higher-order logic as a grounding for addressing problems in metaphysics
Introduces the basic formal tools that are needed to theorize in, and model, higher-order languages
Offers an abundance of
- Simple exercises throughout the book, serving as comprehension checks on basic concepts and definitions
- More difficult exercises designed to facilitate long-term learning
Contains annotated sections on further reading, pointing the reader to related literature, learning resources, and historical context
A Philosophical Introduction to Higher-order Logics assumes only that readers have a basic knowledge of first-order logic. With an emphasis on exercises, it can be used as a textbook though is also ideal for self-study.
Author Andrew Bacon organizes the book's 18 chapters around four main parts:
I. Typed Language
II. Higher-Order Languages
III. General Higher-Order Languages
IV. Higher-Order Model Theory¿
In addition, two appendices cover the Curry-Howard isomorphism and its applications for modeling propositional structure. Each chapter includes exercises that move from easier to more difficult, strategically placed throughout the chapter, and concludes with an annotated suggested reading list providing graduate students with most valuable additional resources.¿
Key Features:
Is the first comprehensive introduction to higher-order logic as a grounding for addressing problems in metaphysics
Introduces the basic formal tools that are needed to theorize in, and model, higher-order languages
Offers an abundance of
- Simple exercises throughout the book, serving as comprehension checks on basic concepts and definitions
- More difficult exercises designed to facilitate long-term learning
Contains annotated sections on further reading, pointing the reader to related literature, learning resources, and historical context
Andrew Bacon is Associate Professor at the University of Southern California. He is the author of Vagueness and Thought (Oxford UP, 2018) and has written numerous articles applying logical methods to topics in metaphysics, epistemology, and language.
Introduction 1. Typed Languages 2. An Informal Introduction to Abstraction 3. ¿-Languages 4 Higher-Order Languages 5 Higher-Order Logics 6 Application: Higher-Order Logic and Granularity 7 Application: Modal Logicism 8 Application: Consequences and Strengthenings of Classicism 9 General ¿-Languages 10. Curry Typin 11. Application: Structure I 12. Application: Structure II 13. Application: Structure III 14. Applicative structures 15. Models of Higher-Order Languages 16. Logical Relations 17. Modalized Sets, M-Sets and Cartesian Closed Categories 18. The Model Theory of Classicism
Erscheinungsjahr: | 2023 |
---|---|
Fachbereich: | Allgemeines |
Genre: | Importe, Philosophie |
Jahrhundert: | Antike |
Rubrik: | Geisteswissenschaften |
Thema: | Lexika |
Medium: | Taschenbuch |
Inhalt: | Einband - flex.(Paperback) |
ISBN-13: | 9780367483012 |
ISBN-10: | 0367483017 |
Sprache: | Englisch |
Ausstattung / Beilage: | Paperback |
Einband: | Kartoniert / Broschiert |
Autor: | Bacon, Andrew |
Hersteller: | Routledge |
Verantwortliche Person für die EU: | Books on Demand GmbH, In de Tarpen 42, D-22848 Norderstedt, info@bod.de |
Maße: | 246 x 174 x 26 mm |
Von/Mit: | Andrew Bacon |
Erscheinungsdatum: | 29.09.2023 |
Gewicht: | 0,854 kg |
Andrew Bacon is Associate Professor at the University of Southern California. He is the author of Vagueness and Thought (Oxford UP, 2018) and has written numerous articles applying logical methods to topics in metaphysics, epistemology, and language.
Introduction 1. Typed Languages 2. An Informal Introduction to Abstraction 3. ¿-Languages 4 Higher-Order Languages 5 Higher-Order Logics 6 Application: Higher-Order Logic and Granularity 7 Application: Modal Logicism 8 Application: Consequences and Strengthenings of Classicism 9 General ¿-Languages 10. Curry Typin 11. Application: Structure I 12. Application: Structure II 13. Application: Structure III 14. Applicative structures 15. Models of Higher-Order Languages 16. Logical Relations 17. Modalized Sets, M-Sets and Cartesian Closed Categories 18. The Model Theory of Classicism
Erscheinungsjahr: | 2023 |
---|---|
Fachbereich: | Allgemeines |
Genre: | Importe, Philosophie |
Jahrhundert: | Antike |
Rubrik: | Geisteswissenschaften |
Thema: | Lexika |
Medium: | Taschenbuch |
Inhalt: | Einband - flex.(Paperback) |
ISBN-13: | 9780367483012 |
ISBN-10: | 0367483017 |
Sprache: | Englisch |
Ausstattung / Beilage: | Paperback |
Einband: | Kartoniert / Broschiert |
Autor: | Bacon, Andrew |
Hersteller: | Routledge |
Verantwortliche Person für die EU: | Books on Demand GmbH, In de Tarpen 42, D-22848 Norderstedt, info@bod.de |
Maße: | 246 x 174 x 26 mm |
Von/Mit: | Andrew Bacon |
Erscheinungsdatum: | 29.09.2023 |
Gewicht: | 0,854 kg |