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

Jakub Szymanik
University of Amsterdam
Marcin Mostowski
Jagiellonian University
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).
Keywords everyday language  natural language  semantics  second–order logic  finite models  computational complexity
Categories (categorize this paper)
DOI 10.1515/sem-2012-0022
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 63,110
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

On Computable Numbers, with an Application to the N Tscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.
On Branching Quantifiers in English.Jon Barwise - 1979 - Journal of Philosophical Logic 8 (1):47 - 80.

View all 14 references / Add more references

Citations of this work BETA

A Remark on Collective Quantification.Juha Kontinen & Jakub Szymanik - 2008 - Journal of Logic, Language and Information 17 (2):131-140.

View all 7 citations / Add more citations

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 index

Total views
133 ( #79,672 of 2,448,111 )

Recent downloads (6 months)
2 ( #305,048 of 2,448,111 )

How can I increase my downloads?


My notes