Description

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 languagestheir model theory and proof theory, the theory of ?-abstraction and its generalizationsand 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 La

A Philosophical Introduction to Higherorder Logics

    Product form

    A Paperback by Andrew Bacon

    £999.99

    Includes FREE delivery

    Out of stock

      Trusted by thousands of customers. See 2,385+ Customer Reviews

      View other formats and editions of A Philosophical Introduction to Higherorder Logics by Andrew Bacon

      Book details

      Publisher Taylor & Francis Ltd
      Published 9/29/2023 12:00:00 AM
      ISBN-13 9780367483012
      978-0367483012
      ISBN-10 0367483017
      Also in:
      Computing Digital and IT general topics Dictionaries, Reference & Language Philosophy of language Philosophy: logic

      Description

      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 languagestheir model theory and proof theory, the theory of ?-abstraction and its generalizationsand 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 La

      Recently viewed products

      © 2026 Book Curl

        • American Express
        • Apple Pay
        • Diners Club
        • Discover
        • Google Pay
        • Maestro
        • Mastercard
        • PayPal
        • Shop Pay
        • Union Pay
        • Visa

        Login

        Forgot your password?

        Don't have an account yet?
        Create account