- Semantic bounds for everyday language
- Pages (from-to)
- Document type
- Interfacultary Research Institutes
Faculty of Humanities (FGw)
- Institute for Logic, Language and Computation (ILLC)
We consider the notion of everyday language. We claim that everyday language is semantically bounded by the properties expressible in the existential fragment of second-order logic. Two arguments for this thesis are formulated. First, we show that Barwise's so-called test of negation normality works properly only when assuming our main thesis. Second, we discuss the argument from practical computability for finite universes. Everyday language sentences are directly or indirectly verifiable. We show that in both cases they are bounded by second-order existential properties. Moreover, there are known examples of everyday language sentences that are the most difficult in this class (NPTIME-complete).
- go to publisher's site
If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library, or send a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible.