David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Minds and Machines 9 (1):29-56 (1999)
In this paper, an objective conception of contexts based loosely upon situation theory is developed and formalized. Unlike subjective conceptions, which take contexts to be something like sets of beliefs, contexts on the objective conception are taken to be complex, structured pieces of the world that (in general) contain individuals, other contexts, and propositions about them. An extended first-order language for this account is developed. The language contains complex terms for propositions, and the standard predicate "ist" that expresses the relation that holds between a context and a proposition just in case the latter is true in the former. The logic for the objective conception features a global classical predicate calculus, a local logic for reasoning within contexts, and axioms for propositions. The specter of paradox is banished from the logic by allowing "ist" to be nonbivalent in problematic cases: it is not in general the case, for any context c and proposition p, that either ist(c,p) or ist(c, ¬p). An important representational capability of the logic is illustrated by proving an appropriately modified version of an illustrative theorem from McCarthy's classic Blocks World example.
|Keywords||context situation theory proposition|
|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
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Carlo Penco (2000). Three Alternatives on Context. In Diego Marconi (ed.), Knowledge and Meaning. Mercurio.
Varol Akman & Mehmet Surav (1997). The Use of Situation Theory in Context Modeling. Philosophical Explorations.
Dov Gabbay, Rolf Nossum & John Woods (2006). Context-Dependent Abduction and Relevance. Journal of Philosophical Logic 35 (1):65 - 81.
V. Halbach & P. Welch (2009). Necessities and Necessary Truths: A Prolegomenon to the Use of Modal Logic in the Analysis of Intensional Notions. Mind 118 (469):71-100.
Christopher Gauker (2008). Against Accommodation: Heim, van der Sandt, and the Presupposition Projection Problem. Noûs 42 (1):171 - 205.
James Higginbotham (2008). Expression, Truth, Predication, and Context: Two Perspectives. International Journal of Philosophical Studies 16 (4):473 – 494.
Albert Visser (1998). Contexts in Dynamic Predicate Logic. Journal of Logic, Language and Information 7 (1):21-52.
Added to index2009-01-28
Total downloads12 ( #149,661 of 1,692,471 )
Recent downloads (6 months)3 ( #78,120 of 1,692,471 )
How can I increase my downloads?