A Philosophical Introduction To Higher-Order Logics Av Andrew Bacon

A Philosophical Introduction To Higher-Order Logics Av Andrew Bacon

This is the first comprehensive textbook on higher order logic that is written specifically to introduce the subject matter to graduate students in philosophy....
fra 489,-
Tilgjengelig i 2 butikker
Frakt og levering
Beskrivelse
This is the first comprehensive textbook on higher order logic that is written specifically to introduce the subject matter to graduate students in philosophy.
Forhåndsbestill
Frakt og levering
Beskrivelse
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 FeaturesIs the first comprehensive introduction to higher-order logic as a grounding for addressing problems in metaphysicsIntroduces the basic formal tools that are needed to theorize in, and model, higher order languagesOffers 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 learningContains annotated sections on further reading, pointing the reader to related literature, learning resources, and historical context

Produktinformasjon

Utforsk A Philosophical Introduction To Higher-Order Logics Av Andrew Bacon

A Philosophical Introduction To Higher-Order Logics av Andrew Bacon er den første omfattende læreboken som er spesielt utviklet for å introdusere høyere ordens logikk til masterstudenter i filosofi. Denne boken er designet for deg som ønsker å dykke ned i de formelle aspektene av høyt nivå språk, samt deres anvendelse innen filosofi. Perfekt for både klassebruk og selvstudium!

Nøkkelfunksjoner og Innhold

  • Deckerne 18 kapitler inndelt i fire hoveddeler:
    • I. Typed Language
    • II. Higher Order Languages
    • III. General Higher-Order Languages
    • IV. Higher-Order Model Theory
  • To appendikser som dekker Curry-Howard isomorphism og dens anvendelser for modellering av proposisjonell struktur.
  • Et rikt utvalg av øvelser plassert strategisk i hvert kapittel, fra enkle til mer utfordrende, som hjelper deg med å forstå og forsterke konsepter.
  • Annoterte leselister i slutten av hvert kapittel gir et verdifullt supplement av ressurser til graduate-studenter.

En ideell ressurs for filosofi-studenter

Boken krever kun en grunnleggende forståelse av førsteordens logikk, noe som gjør den tilgjengelig for studenter som ønsker å ta steget videre inn i filosofiens matematiske og logiske landskap. Den dekker viktige temaer som modalitet og proposisjonell granularitet, og gir et solid fundament for videre studier i metafysikk.

Praktisk og pedagogisk tilnærming

Andrew Bacon har med sin veldokumenterte stil gjort A Philosophical Introduction To Higher-Order Logics lettfattelig, samtidig som den gir dybde og substans. Enten du er en student i klasserommet eller en selvstendig lærende, vil du finne glede i de systematiske øvelsene og den grundige behandlingen av temaene.

Dykker du inn i denne boken, gir den deg ikke bare svar, men åpner også opp for nye spørsmål rundt de utfordrende temaene som utgjør kjernen i vår forståelse av logikk og filosofi.

Spesifikasjon

Produkt
ProduktnavnA Philosophical Introduction to Higherorder Logics
MerkeOther Brand

Pris og prishistorikk

Akkurat nå er 489,- den billigste prisen for A Philosophical Introduction To Higher-Order Logics Av Andrew Bacon blant 2 butikker hos Prisradar. Sjekk også vår topp 5-rangering av beste religion, historie og filosofi for å være sikker på at du gjør det beste kjøpet.

Prisutvikling:
Stabil
Laveste pris:
489,-
Gjennomsnittspris:
489,-
Høyeste pris:
489,-
Beste tilbudet:
norli.no
Tilgjengelig