2.258.661 results (4,21022 seconds)

Brand

Colour

Size

Gender

Merchant

Price (EUR)

Reset filter

Products
From
Shops

A Philosophical Introduction to Higher-order Logics

A Philosophical Introduction to Higher-order Logics

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 LanguageII. Higher-Order LanguagesIII. General Higher-Order LanguagesIV. 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

GBP 36.99
1

PERFECT LITTLE THING - PRE ORDER Hand Made Aran Santa Jumper

PERFECT LITTLE THING - PRE ORDER Hand Made Aran Santa Jumper - Newborn

PERFECT LITTLE THING - PRE ORDER Hand Made Aran Puff Hoodie Crochet - Pink

PERFECT LITTLE THING - PRE ORDER Hand Made Aran Puff Hoodie Crochet - White

PERFECT LITTLE THING - PRE ORDER Hand Made Aran Puff Hoodie Crochet - Lemon

PERFECT LITTLE THING - PRE ORDER Hand Made Aran Puff Hoodie Crochet - Red

PERFECT LITTLE THING - PRE ORDER Hand Made Aran Puff Hoodie Crochet - Blue

PRE ORDER Hand Made Red Aran Puff Hoodie Crochet 3-6 Month

PERFECT LITTLE THING - PRE ORDER Hand Made Aran Santa Jumper - 6-12 Month

PERFECT LITTLE THING - PRE ORDER Hand Made Aran Santa Jumper - 0-3 Month

PERFECT LITTLE THING - PRE ORDER Hand Made Aran Santa Jumper - 3-6 Month

PERFECT LITTLE THING - PRE ORDER Hand Made Aran Puff Hoodie Crochet - White - Newborn

PERFECT LITTLE THING - PRE ORDER Hand Made Aran Puff Hoodie Crochet - Pink - Newborn

PERFECT LITTLE THING - PRE ORDER Hand Made Aran Puff Hoodie Crochet - Blue - Newborn

PERFECT LITTLE THING - PRE ORDER Hand Made Aran Puff Hoodie Crochet - Lemon - Newborn

PERFECT LITTLE THING - PRE ORDER Hand Made Aran Puff Hoodie Crochet - Red - Newborn

PERFECT LITTLE THING - PRE ORDER Hand Made Aran Puff Hoodie Crochet - White - 0-3 Month

PERFECT LITTLE THING - PRE ORDER Hand Made Aran Puff Hoodie Crochet - White - 3-6 Month

PERFECT LITTLE THING - PRE ORDER Hand Made Aran Puff Hoodie Crochet - Pink - 6-12 Month