Situations from events to proofs

Abstract

String representations of events are applied to Robin Cooper’s proposal that propositions in natural language semantics are types of situations. Links with the higher types of prooftheoretic semantics are forged, deepening type-theoretic interpretations of Discourse Representation Structures to encompass event structures.

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,322

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

New techniques and completeness results for preferential structures.Karl Schlechta - 2000 - Journal of Symbolic Logic 65 (2):719-746.
'The proper treatment of events' in comics.Tim Fernando - unknown
Austinian propositions Davidsonian events and perception complements.Robin Cooper - unknown
Information and Computation.Tim Fernando - unknown
Situations as indices and as denotations.Tim Fernando - 2009 - Linguistics and Philosophy 32 (2):185-206.
Situations in natural language semantics.Angelika Kratzer - 2008 - Stanford Encyclopedia of Philosophy.
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.

Analytics

Added to PP
2009-01-28

Downloads
75 (#215,841)

6 months
2 (#1,263,261)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

The logical form of action sentences.Donald Davidson - 1967 - In Nicholas Rescher (ed.), The Logic of Decision and Action. University of Pittsburgh Press. pp. 81--95.
Some philosophical problems from the standpoint of artificial intelligence.John McCarthy & Patrick Hayes - 1969 - In B. Meltzer & Donald Michie (eds.), Machine Intelligence 4. Edinburgh University Press. pp. 463--502.
On the logic of demonstratives.David Kaplan - 1979 - Journal of Philosophical Logic 8 (1):81 - 98.

View all 6 references / Add more references