A Constructive Type-Theoretical Formalism for the Interpretation of Subatomically Sensitive Natural Language Constructions
Studia Logica 100 (4):815-853 (2012)
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)|
References found in this work BETA
Proof-Theoretic Semantics for a Natural Language Fragment.Nissim Francez & Roy Dyckhoff - 2010 - Linguistics and Philosophy 33 (6):447-477.
On the Proper Treatment of Opacity in Certain Verbs.Thomas Ede Zimmermann - 1993 - Natural Language Semantics 2 (1):149-179.
Monotonicity in Opaque Verbs.Thomas Ede Zimmermann - 2006 - Linguistics and Philosophy 29 (6):715 - 761.
Citations of this work BETA
Similar books and articles
Predicate Logic with Flexibly Binding Operators and Natural Language Semantics.Peter Pagin & Dag Westerståhl - 1993 - Journal of Logic, Language and Information 2 (2):89-128.
Syntactic Calculus with Dependent Types.Aarne Ranta - 1998 - Journal of Logic, Language and Information 7 (4):413-431.
Natural Language Processing Using a Propositional Semantic Network with Structured Variables.Syed S. Ali & Stuart C. Shapiro - 1993 - Minds and Machines 3 (4):421-451.
The Generalised Type-Theoretic Interpretation of Constructive Set Theory.Nicola Gambino & Peter Aczel - 2006 - Journal of Symbolic Logic 71 (1):67 - 103.
A Contextual Type Theory with Judgemental Modalities for Reasoning From Open Assumptions.Giuseppe Primiero - 2012 - Logique and Analyse 220:579-600.
The Creative Interpreter: Content Relativism and Assertion.Herman Cappelen - 2008 - Noûs 42 (1):23 - 46.
Godel's Interpretation of Intuitionism.William Tait - 2006 - Philosophia Mathematica 14 (2):208-228.
A Formal Treatment of the Causative Constructions in Chinese.Zou Chongli & Xia Nianxi - 2008 - Frontiers of Philosophy in China 3 (2):307-316.
Pgf: A Portable Run-Time Format for Type-Theoretical Grammars. [REVIEW]Krasimir Angelov, Björn Bringert & Aarne Ranta - 2010 - Journal of Logic, Language and Information 19 (2):201-228.
Demonstratives in Philosophy and Linguistics.Lynsey Wolter - 2009 - Philosophy Compass 4 (3):451-468.
Computational Semantics in Discourse: Underspecification, Resolution, and Inference.Johan Bos - 2004 - Journal of Logic, Language and Information 13 (2):139-157.
Added to index2012-08-16
Total downloads51 ( #98,000 of 2,146,897 )
Recent downloads (6 months)5 ( #162,529 of 2,146,897 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.