Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
422599 | Electronic Notes in Theoretical Computer Science | 2006 | 14 Pages |
Abstract
Situations serving as worlds as well as events in linguistic semantics are formulated as strings recording observations over discrete time. This formulation is applied to Priorean tense logic, in line with L. Schubert's distinction between described and characterized situations. The distinction is developed topologically and computationally, and linked to the opposition between truth-conditional and proof-conditional semantics. For a finitary handle on quantification, the conception of situations-as-strings is extended from observation to derivation.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics