Semantic bounds for everyday language

Semiotica 2012 (188):363-372 (2012)
  Copy   BIBTEX


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. Firstly, we show that so–called Barwise's test of negation normality works properly only when assuming our main thesis. Secondly, 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 which are the most difficult in this class (NPTIME–complete).



    Upload a copy of this work     Papers currently archived: 74,466

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Qualms About Otto Neurath’s Cabby Language.Herman Tennessen - 1982 - Grazer Philosophische Studien 16 (1):385-398.
Ambiguity and Metaphor.Alan Bailin - 2008 - Semiotica 2008 (172):151-169.
Semantic Typing Via Neuronal Assemblies.Martin Kurthen - 1999 - Behavioral and Brain Sciences 22 (2):296-297.
Is There Synonymy in Ockham's Mental Language.David J. Chalmers - 1999 - In P. V. Spade (ed.), The Cambridge Companion to Ockham. Cambridge: Cambridge University Press. pp. 76.
The Dependence of Language on Consciousness.Jordan Zlatev - 2008 - Journal of Consciousness Studies 15 (6):34-62.
Ein Vergleich dreier aussagenlogischer Semantiken.Alexander Zimmermann - 2009 - Kriterion - Journal of Philosophy 22 (1):44-61.
A Notional Worlds Approach to Confusion.Krista Lawlor - 2007 - Mind and Language 22 (2):150–172.
The Metaphysics of Words.Roy Sorensen - 1996 - Philosophical Studies 81 (2-3):193 - 214.


Added to PP

139 (#88,900)

6 months
3 (#210,165)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Jakub Szymanik
University of Amsterdam
Marcin Mostowski
Last affiliation: Jagiellonian University

References found in this work

On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.
Quantifiers in Language and Logic.Stanley Peters & Dag Westerståhl - 2006 - Oxford, England: Clarendon Press.
Quantifiers in Language and Logic.Stanley Peters & Dag Westerståhl - 2006 - Oxford, England: Oxford University Press UK.

View all 14 references / Add more references