David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Synthese 150 (3):443 - 458 (2006)
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||Philosophy Philosophy Epistemology Logic Metaphysics Philosophy of Language|
|Categories||categorize this paper)|
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
A. N. Prior (2003). Papers on Time and Tense. Oxford University Press.
A. N. Prior (1955/1979). Time and Modality. Greenwood Press.
P. Blackburn (2000). Representation, Reasoning, and Relational Structures: A Hybrid Logic Manifesto. Logic Journal of the Igpl 8 (3):339-365.
Nicholas Rescher & James Garson (1968). Topological Logic. Journal of Symbolic Logic 33 (4):537-548.
Citations of this work BETA
No citations found.
Similar books and articles
Zenon Pylyshyn (1989). The Role of Location Indexes in Spatial Perception: A Sketch of the FINST Spatial-Index Model. Cognition 32 (1):65-97.
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 downloads43 ( #78,604 of 1,726,249 )
Recent downloads (6 months)9 ( #74,830 of 1,726,249 )
How can I increase my downloads?