Information and Computation

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 a linear temporal 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, strings are associated with situations not only on the basis of observation but also through derivation and constraint satisfaction. The constraints specified lead to an implementation simpler than the derivations given. © 2009 Elsevier Inc. All rights reserved
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Translate to english
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 31,317
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles
Constructing Situations and Time.Tim Fernando - 2011 - Journal of Philosophical Logic 40 (3):371 - 396.
Observing Events and Situations in Time.Tim Fernando - 2007 - Linguistics and Philosophy 30 (5):527-550.
Situations as Indices and as Denotations.Tim Fernando - 2009 - Linguistics and Philosophy 32 (2):185-206.
Facts: Particulars or Information Units? [REVIEW]Angelika Kratzer - 2002 - Linguistics and Philosophy 25 (5-6):655-670.
Intrinsic Information.John D. Collier - 1990 - In Philip P. Hanson (ed.), Information, Language and Cognition. University of British Columbia Press. pp. 1--390.
Situations in Natural Language Semantics.Angelika Kratzer - 2008 - Stanford Encyclopedia of Philosophy.
Transcending Turing Computability.B. Maclennan - 2003 - Minds and Machines 13 (1):3-22.
Added to PP index
2010-12-22

Total downloads
95 ( #60,734 of 2,223,771 )

Recent downloads (6 months)
10 ( #43,997 of 2,223,771 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature