Journal of Semantics 10 (2):123-179 (1993)

Uwe Reyle
Universität Stuttgart
In this paper we develop a theory of language meaning that represents scope ambiguities by underspecified structures. The set of possible meanings of a sentence, or text is determined by a set of meta-level constraints that restricts the class of semantic representations appropriately. Thus the way ambiguities are represented does not correspond to any of the usual concepts of formalizing ambiguities by means of disjunctions (of completely specified structures). A sound and complete proof theory is provided that relates these structures directly, without considering cases
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1093/jos/10.2.123
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 61,089
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Reductionism About Understanding Why.Insa Lawler - 2016 - Proceedings of the Aristotelian Society 116 (2):229-236.
Expressions in Focus.Poppy Mankowitz - 2020 - Semantics and Pragmatics 13 (13).
An Intensional Parametric Semantics for Vague Quantifiers.Shalom Lappin - 2000 - Linguistics and Philosophy 23 (6):599-620.

View all 26 citations / Add more citations

Similar books and articles

Computational Semantics in Discourse: Underspecification, Resolution, and Inference.Johan Bos - 2004 - Journal of Logic, Language and Information 13 (2):139-157.
Representation or Construction?Tian Yu Cao - 2001 - The Proceedings of the Twentieth World Congress of Philosophy 2001:115-123.
Aristotle'S Natural Deduction Reconsidered.John M. Martin - 1997 - History and Philosophy of Logic 18 (1):1-15.
The Proof Structure of Kant's A-Deduction.Michael Barker - 2001 - Kant-Studien 92 (3):259-282.
Evolution, the Criterion Problem, and Complexity.Stephen M. Colarelli - 2000 - Behavioral and Brain Sciences 23 (1):151-152.
Apperception and Analyticity in the B-Deduction.Henry E. Allison - 1993 - Grazer Philosophische Studien 44 (1):233-252.
“The Strict Deduction System Is Impossible to Derive the Contradiction” And the Proof.Fang-Wen Yuan - 2008 - Proceedings of the Xxii World Congress of Philosophy 13:147-162.
The Constraint Language for Lambda Structures.Markus Egg, Alexander Koller & Joachim Niehren - 2001 - Journal of Logic, Language and Information 10 (4):457-485.
A Natural Deduction System for Discourse Representation Theory.Werner Saurer - 1993 - Journal of Philosophical Logic 22 (3):249 - 302.


Added to PP index

Total views
29 ( #369,578 of 2,440,215 )

Recent downloads (6 months)
1 ( #432,124 of 2,440,215 )

How can I increase my downloads?


My notes