lack of syntax for specifying intended discourse presupposition

gruninger / Common-Logic

Documents for the developments of ISO 24707 Editiion 2 (Common Logic)

8 stars 3 forks source link

lack of syntax for specifying intended discourse presupposition #55

Open greenTara opened 9 years ago

greenTara commented 9 years ago

The semantics introduces the notion of discourse presupposition as a way of "indexing" the entailment relation. However, there is no standard way to associate an intended discourse presupposition (e.g. single-universe) to a text (e.g. embedding this as a statement, or annotating the text through some wrapper)

fabianneuhaus commented 9 years ago

It seems to me that discourse presuppositions will normally be associated with a dialect. Thus, if we consider to annotate the text shouldn't we annotate it with the dialect as well?