Text size
  • Small
  • Medium
  • Large
Contrast
  • Standard
  • Blue text on blue
  • High contrast (Yellow text on black)
  • Blue text on beige

    Motivation for a New Semantics for Vagueness

    2nd Irish Workshop on Formal Methods

    Cork, Ireland. 2nd - 3rd July 1998

    AUTHORS

    M.A. Changizi

    ABSTRACT

    Vagueness is the phenomenon that natural language predicates have borderline regions of applicability and that the boundaries of the borderline region are not determinable.

    A theory is presented which argues that vagueness is due to the fact that we are computationally bound by Church's Thesis.

    Syntactic and semantic models motivated by the theory are introduced. Each disallows the use of classical negation, capturing the fact that it is generally only possible to semidecide but not decide our interpretations of natural language predicates.

    The role of negation is filled, for each predicate R, by the existence of a dual predicate nonR that acts as if it is the negation, although its interpretation is generally, at best, only an approximation to the complement of R. Multiple "levels" of vagueness are modeled using concepts from recursion theory.

    PAPER FORMATS

    PDF filePDF Version of this Paper (161kb)