Synthese 150 (3):443 - 458 (2006)
|Abstract||I consider the idea of a propositional logic of location based on the following semantic framework, derived from ideas of Prior. We have a collection L of locations and a collection S of statements such that a statement may be evaluated for truth at each location. Typically one and the same statement may be true at one location and false at another. Given this semantic framework we may proceed in two ways: introducing names for locations, predicates for the relations among them and an “at” preposition to express the value of statements at locations; or introduce statement operators which do not name locations but whose truth-conditional effect depends on the truth or falsity of embedded statements at various locations. The latter is akin to Prior’s approach to tense logic. In any logic of location there will be some basic operators which we can define. By ringing the changes on the topology of locations, different logical systems may be generated, and the challenge for the logician is then in each case to find operators, axioms and rules yielding a proof theory adequate to the semantics. The generality of the approach is illustrated with familiar and not so familiar examples from modal, tense and place logic, mathematics, and even the logic of games. To the memory of Ted Dawson, who introduced me to philosophy and the writings of Arthur Prior.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Zenon Pylyshyn, The Role of Location Indexes in Spatial Perception: A Sketch of the FINST Spatial-Index Model.
Peter Vallentyne & Shelly Kagan (1997). Infinite Value and Finitely Additive Value Theory. Journal of Philosophy 94 (1):5-26.
Michał Walicki (2009). Reference, Paradoxes and Truth. Synthese 171 (1):195 - 226.
Jeffrey Goodman (2003). Where is Sherlock Holmes? Southern Journal of Philosophy 41 (2):183-197.
Tomasz Jarmużek & Andrzej Pietruszczak (2009). The Tense Logic for Master Argument in Prior's Reconstruction. Studia Logica 92 (1):85 - 108.
Ulrich Meyer (2009). 'Now' and 'Then' in Tense Logic. Journal of Philosophical Logic 38 (2):229-247.
Norman K. Sondheimer (1978). A Semantic Analysis of Reference to Spatial Properties. Linguistics and Philosophy 2 (2):235 - 280.
Herman Cappelen & John Hawthorne (2007). Locations and Binding. Analysis 67 (294):95–105.
Kevin C. Klement, Propositional Logic. Internet Encyclopedia of Philosophy.
Added to index2009-01-28
Total downloads30 ( #46,330 of 722,704 )
Recent downloads (6 months)1 ( #60,247 of 722,704 )
How can I increase my downloads?