Compositionality Solves Carnap’s Problem

Erkenntnis 81 (4):721-739 (2016)
  Copy   BIBTEX

Abstract

The standard relation of logical consequence allows for non-standard interpretations of logical constants, as was shown early on by Carnap. But then how can we learn the interpretations of logical constants, if not from the rules which govern their use? Answers in the literature have mostly consisted in devising clever rule formats going beyond the familiar what follows from what. A more conservative answer is possible. We may be able to learn the correct interpretations from the standard rules, because the space of possible interpretations is a priori restricted by universal semantic principles. We show that this is indeed the case. The principles are familiar from modern formal semantics: compositionality, supplemented, for quantifiers, with topic-neutrality.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,031

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

Completeness also Solves Carnap’s Problem.Eric Johannesson - 2022 - Thought: A Journal of Philosophy 11 (4):192-198.
Carnap’s Problem for Modal Logic.Denis Bonnay & Dag Westerståhl - 2023 - Review of Symbolic Logic 16 (2):578-602.
The Metaphysics of Logical Consequence.Alexandra Zinke - 2013 - Dissertation, University of Konstanz
Logical Constants and Arithmetical Forms.Sebastian G. W. Speitel - forthcoming - Logic and Logical Philosophy:1-16.

Analytics

Added to PP
2015-09-11

Downloads
158 (#124,510)

6 months
18 (#152,314)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Denis Bonnay
Université Paris Nanterre
Dag Westerståhl
Stockholm University

Citations of this work

Categorical Quantification.Constantin C. Brîncuș - forthcoming - Bulletin of Symbolic Logic:1-27.
Categoricity by convention.Julien Murzi & Brett Topey - 2021 - Philosophical Studies 178 (10):3391-3420.
.Luca Incurvati & Julian J. Schlöder - 2023 - New York: Oxford University Press USA.
Meta-inferences and Supervaluationism.Luca Incurvati & Julian J. Schlöder - 2021 - Journal of Philosophical Logic 51 (6):1549-1582.

View all 15 citations / Add more citations

References found in this work

The Connectives.Lloyd Humberstone - 2011 - MIT Press. Edited by Lloyd Humberstone.
Multiple Conclusion Logic.D. J. Shoesmith & Timothy Smiley - 1978 - Cambridge, England / New York London Melbourne: Cambridge University Press. Edited by T. J. Smiley.
What is logic?Ian Hacking - 1979 - Journal of Philosophy 76 (6):285-319.
On a generalization of quantifiers.Andrzej Mostowski - 1957 - Fundamenta Mathematicae 44 (2):12--36.
Formalization of logic.Rudolf Carnap - 1943 - Cambridge, Mass.,: Harvard university press.

View all 25 references / Add more references