Verwandte Artikel zu A Philosophical Introduction to Higher-order Logics

A Philosophical Introduction to Higher-order Logics - Softcover

 
9780367483012: A Philosophical Introduction to Higher-order Logics

Inhaltsangabe

This is the first comprehensive textbook on higher-order logic that is written specifically to introduce the subject matter to graduate students in philosophy. The book covers both the formal aspects of higher-order languages-their model theory and proof theory, the theory of λ-abstraction and its generalizations-and their philosophical applications, especially to the topics of modality and propositional granularity. The book has a strong focus on non-extensional higher-order logics, making it more appropriate for foundational metaphysics than other introductions to the subject from computer science, mathematics, and linguistics.

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

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

  • VerlagRoutledge
  • Erscheinungsdatum2023
  • ISBN 10 0367483017
  • ISBN 13 9780367483012
  • EinbandTapa blanda
  • SpracheEnglisch
  • Auflage1
  • Anzahl der Seiten482
  • Kontakt zum HerstellerNicht verfügbar

Gratis für den Versand innerhalb von/der Deutschland

Versandziele, Kosten & Dauer

Weitere beliebte Ausgaben desselben Titels

9780367483029: A Philosophical Introduction to Higher-order Logics

Vorgestellte Ausgabe

ISBN 10:  0367483025 ISBN 13:  9780367483029
Verlag: Routledge, 2023
Hardcover

Suchergebnisse für A Philosophical Introduction to Higher-order Logics

Foto des Verkäufers

Andrew Bacon
Verlag: Taylor & Francis, 2023
ISBN 10: 0367483017 ISBN 13: 9780367483012
Neu Softcover

Anbieter: moluna, Greven, Deutschland

Verkäuferbewertung 4 von 5 Sternen 4 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Andrew Bacon is Associate Professor at the University of Southern California. He is the author Vagueness and Thought (Oxford UP, 2018) and has written numerous articles applying logical methods to topics in metaphysics, epistemolo. Artikel-Nr. 866158095

Verkäufer kontaktieren

Neu kaufen

EUR 57,21
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Bacon, Andrew
Verlag: Routledge, 2023
ISBN 10: 0367483017 ISBN 13: 9780367483012
Neu Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. In. Artikel-Nr. ria9780367483012_new

Verkäufer kontaktieren

Neu kaufen

EUR 55,74
Währung umrechnen
Versand: EUR 5,91
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Bacon, Andrew
Verlag: Routledge, 2023
ISBN 10: 0367483017 ISBN 13: 9780367483012
Neu Paperback

Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Paperback. Zustand: Brand New. 520 pages. 9.69x6.88x0.98 inches. In Stock. Artikel-Nr. x-0367483017

Verkäufer kontaktieren

Neu kaufen

EUR 84,38
Währung umrechnen
Versand: EUR 11,86
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb