A Constructive Type-Theoretical Formalism for the Interpretation of Subatomically Sensitive Natural Language Constructions
Graduate studies at Western
Studia Logica 100 (4):815-853 (2012)
|Abstract||The analysis of atomic sentences and their subatomic components poses a special problem for proof-theoretic approaches to natural language semantics, as it is far from clear how their semantics could be explained by means of proofs rather than denotations. The paper develops a proof-theoretic semantics for a fragment of English within a type-theoretical formalism that combines subatomic systems for natural deduction  with constructive (or Martin-Löf) type theory [8, 9] by stating rules for the formation, introduction, elimination and equality of atomic propositions understood as types (or sets) of subatomic proof-objects. The formalism is extended with dependent types to admit an interpretation of non-atomic sentences. The paper concludes with applications to natural language including internally nested proper names, anaphoric pronouns, simple identity sentences, and intensional transitive verbs|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Peter Pagin & Dag Westerståhl (1993). Predicate Logic with Flexibly Binding Operators and Natural Language Semantics. Journal of Logic, Language and Information 2 (2):89-128.
Aarne Ranta (1998). Syntactic Calculus with Dependent Types. Journal of Logic, Language and Information 7 (4):413-431.
Syed S. Ali & Stuart C. Shapiro (1993). Natural Language Processing Using a Propositional Semantic Network with Structured Variables. Minds and Machines 3 (4):421-451.
Maria Bittner (1999). Concealed Causatives. Natural Language Semantics 7 (1):1-78.
Nicola Gambino & Peter Aczel (2006). The Generalised Type-Theoretic Interpretation of Constructive Set Theory. Journal of Symbolic Logic 71 (1):67 - 103.
Giuseppe Primiero (2012). A Contextual Type Theory with Judgemental Modalities for Reasoning From Open Assumptions. Logique and Analyse 220:579-600.
Herman Cappelen (2008). The Creative Interpreter: Content Relativism and Assertion. Noûs 42 (1):23 - 46.
William Tait (2006). Godel's Interpretation of Intuitionism. Philosophia Mathematica 14 (2):208-228.
Chongli Zou & Nianxi Xia (2008). A Formal Treatment of the Causative Constructions in Chinese. Frontiers of Philosophy in China 3 (2):307-316.
Byeong-Uk Yi (2005). The Logic and Meaning of Plurals. Part I. Journal of Philosophical Logic 34 (5/6):459-506.
Krasimir Angelov, Björn Bringert & Aarne Ranta (2010). Pgf: A Portable Run-Time Format for Type-Theoretical Grammars. [REVIEW] Journal of Logic, Language and Information 19 (2):201-228.
Lynsey Wolter (2009). Demonstratives in Philosophy and Linguistics. Philosophy Compass 4 (3):451-468.
Johan Bos (2004). Computational Semantics in Discourse: Underspecification, Resolution, and Inference. Journal of Logic, Language and Information 13 (2):139-157.
Added to index2012-08-16
Total downloads10 ( #114,476 of 739,400 )
Recent downloads (6 months)1 ( #61,680 of 739,400 )
How can I increase my downloads?