Semantic bounds for everyday language
-
Marcin Mostowski,
and
Jakub Szymanik,
Abstract
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).
© 2012 Walter de Gruyter GmbH & Co. KG, Berlin/Boston
Articles in the same Issue
- Prelims
- Semiotics and logic: Pragmatization of the common ground
- Meaning between sense and reference: Impacts of semiotics on philosophy of science
- Where does logic meet semiotics?
- The correspondence theory of truth
- The intent to lie
- Reasoning in belief contexts
- Pragmatic constraints of meaning: An inferentialist approach
- On common knowledge in conversation
- Proofs and mistakes: Their syntactics, semantics, and pragmatics
- Object realism versus mathematical structuralism
- Indeterministic tense operators and the concept of time as a substance
- Counterfactual semantics and quantum physics
- The ultimate strengthening of the Turing Test?
- Is computation based on interpretation?
- The troubles with ontological primacy
- Some remarks on the word “be” and other existential expressions
- The evolution of scientific languages in Ajdukiewicz and Kuhn
- The core of grammar
- The grammar of philosophical discourse
- Semantic bounds for everyday language
- Demonstrative descriptions and conventional implicatures
- Does the Twin-Earth argument rest on a fallacy of equivocation?
Articles in the same Issue
- Prelims
- Semiotics and logic: Pragmatization of the common ground
- Meaning between sense and reference: Impacts of semiotics on philosophy of science
- Where does logic meet semiotics?
- The correspondence theory of truth
- The intent to lie
- Reasoning in belief contexts
- Pragmatic constraints of meaning: An inferentialist approach
- On common knowledge in conversation
- Proofs and mistakes: Their syntactics, semantics, and pragmatics
- Object realism versus mathematical structuralism
- Indeterministic tense operators and the concept of time as a substance
- Counterfactual semantics and quantum physics
- The ultimate strengthening of the Turing Test?
- Is computation based on interpretation?
- The troubles with ontological primacy
- Some remarks on the word “be” and other existential expressions
- The evolution of scientific languages in Ajdukiewicz and Kuhn
- The core of grammar
- The grammar of philosophical discourse
- Semantic bounds for everyday language
- Demonstrative descriptions and conventional implicatures
- Does the Twin-Earth argument rest on a fallacy of equivocation?
