Access to the full content is only available to members of institutions that have purchased access. If you belong to such an institution, please log in or find out more about how to order.


Print

Contents

DOI
10.4324/9780415249126-U035-1
DOI: 10.4324/9780415249126-U035-1
Version: v1,  Published online: 1998
Retrieved November 19, 2019, from https://www.rep.routledge.com/articles/thematic/scope/v-1

Article Summary

Scope is a notion used by logicians and linguists in describing artificial and natural languages. It is best introduced in terms of the languages of formal logic. Consider a particular occurrence of an operator in a sentence – say, that of ‘→’ in (1) below, or that of the universal quantifier ‘∀’ in (2) below.

  • (1) A → (B & C)

  • (2) ∀x(Bxy →∃ yAxy)

Speaking intuitively, the scope of the operator is that part of the sentence which it governs. The scope of ‘→’ in (1) is the whole sentence; this renders the whole sentence a conditional. The scope of ‘&’, on the other hand, is just ‘(B & C)’. In (2), the scope of the quantifier ‘∀’ is the whole sentence, which allows it to bind every occurrence of x. The scope of ‘∃’ is only ‘∃yAxy’. Since ‘Bxy’ is outside its scope, the ‘y’ in ‘Bxy’ is left unbound.

Print
Citing this article:
Richard, Mark. Scope, 1998, doi:10.4324/9780415249126-U035-1. Routledge Encyclopedia of Philosophy, Taylor and Francis, https://www.rep.routledge.com/articles/thematic/scope/v-1.
Copyright © 1998-2019 Routledge.

Related Searches

Topics

Related Articles