Blog
About

128
views
0
recommends
+1 Recommend
1 collections
    4
    shares
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Motivation for a New Semantics for Vagueness

      2nd Irish Workshop on Formal Methods (FM)

      Irish Workshop on Formal Methods

      2-3 July 1998

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          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.

          Related collections

          Most cited references 6

          • Record: found
          • Abstract: not found
          • Article: not found

          Recursively enumerable sets of positive integers and their decision problems

           Emil L. Post (1944)
            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            Wang's paradox

              Bookmark
              • Record: found
              • Abstract: not found
              • Article: not found

              There are no ordinary things

               Peter Unger (1979)
                Bookmark

                Author and article information

                Conference
                July 1998
                July 1998
                : 1-15
                Affiliations
                Department of Computer Science, University College Cork

                Cork, Ireland
                Article
                10.14236/ewic/FM1998.1
                © Mark A. Changizi. Published by BCS Learning and Development Ltd. 2nd Irish Workshop on Formal Methods, Cork, Ireland

                This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

                2nd Irish Workshop on Formal Methods
                FM
                2
                Cork, Ireland
                2-3 July 1998
                Electronic Workshops in Computing (eWiC)
                Irish Workshop on Formal Methods
                Product
                Product Information: 1477-9358BCS Learning & Development
                Self URI (journal page): https://ewic.bcs.org/
                Categories
                Electronic Workshops in Computing

                Comments

                Comment on this article