Work

Intensionality and Abstraction: A Theory of Logical Form

Public

The analytical paradigm in philosophy has as a pillar an analysis of the sentence as a basic entity. New sentences may be built from old sentences recursively through the application of logical constants, recently including intensional operators. Models are built on how these logical constants interact with each other, and these models are applied to problems in philosophy. I argue that while this paradigm has its place, there exists a theory based on the empirical discipline of generative syntax. It is the interface of this syntax with a compositional, or sentence-internal, interpretation that generates the model of logical form I adopt. I argue that the Curry-Howard Isomorphism bridges this model and the intensional models of formal logic. Logical form is studied through the connection between intensionality and abstraction, specifically when considering the interpretation of modals and conditionals in natural language.

Creator
DOI
Subject
Language
Identifier
Keyword
Date created
Resource type
Rights statement

Relationships

Items