Skip to main content
    • Aa
    • Aa
  • Get access
    Check if you have access via personal or institutional login
  • Cited by 3
  • Cited by
    This article has been cited by the following publications. This list is generated based on data provided by CrossRef.

    Chen, Jim Q. 2015. 2015 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT). p. 215.

    Terblanche, Lize 2012. Contextualisation in East African English: A corpus-based study of register variation. Language Matters, Vol. 43, Issue. 1, p. 21.

    Gaifman, Haim 2010. Vagueness, tolerance and contextual logic. Synthese, Vol. 174, Issue. 1, p. 5.



  • DOI:
  • Published online: 01 December 2008

We develop a formal apparatus to be used as a tool in analyzing common kinds of context dependence in natural language, and their interaction with temporal and spatial modalities. It is based on context-operators, which act on wffs. The interplay between the various modalities and the context-operators is one of the main targets of the analysis. Statements made by different people at different times in different places, using the same personal temporal and spatial indexicals, can be represented in the system, and can be combined by sentential connectives and be subject to quantification. The use of spatial modality and the suggested treatment of adverbial phrases are new as far as we know. So is a certain variant of temporal modality. In the nontechnical part, consisting of Sections 1 and 2, we discuss the role that formalisms can, in principle, play in the analysis of linguistic usage; this is followed by a philosophical discussion of various kinds of context dependence. The semitechnical part, Section 3, introduces the system's components, the context, and the modal operators, and explains their use via natural language examples. In Section 4 the formal language and its semantics are defined, in full detail. The temporal and spatial sublanguages constitute separate sorts, which interact through the modal operators and the context-operators. A sound deductive system is given and a completeness result is stated, without proof.

Corresponding author
Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

K. Donnellan (1966). Reference and definite descriptions. Philosophical Review, 75, 281304.

H. Kamp , & W Reyle . (1993). From Discourse to Logic. Dordrecht, The Netherlands: Kluwer Academic.

S. Kripke (1977). Speaker's reference and semantic reference. Midwest Studies in Philosophy, 2, 255276.

S. Soames (2002). Beyond Rigidity. New York: Oxford University Press.

N. Tennant (1981). Formal games and forms for games. Linguistics and Philosophy, 4, 311320.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Review of Symbolic Logic
  • ISSN: 1755-0203
  • EISSN: 1755-0211
  • URL: /core/journals/review-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *