Closed Structure

Journal of Philosophical Logic 50 (6):1249-1291 (2021)
  Copy   BIBTEX

Abstract

According to the structured theory of propositions, if two sentences express the same proposition, then they have the same syntactic structure, with corresponding syntactic constituents expressing the same entities. A number of philosophers have recently focused attention on a powerful argument against this theory, based on a result by Bertrand Russell, which shows that the theory of structured propositions is inconsistent in higher order-logic. This paper explores a response to this argument, which involves restricting the scope of the claim that propositions are structured, so that it does not hold for all propositions whatsoever, but only for those which are expressible using closed sentences of a given formal language. We call this restricted principle Closed Structure, and show that it is consistent in classical higher-order logic. As a schematic principle, the strength of Closed Structure is dependent on the chosen language. For its consistency to be philosophically significant, it also needs to be consistent in every extension of the language which the theorist of structured propositions is apt to accept. But, we go on to show, Closed Structure is in fact inconsistent in a very natural extension of the standard language of higher-order logic, which adds resources for plural talk of propositions. We conclude that this particular strategy of restricting the scope of the claim that propositions are structured is not a compelling response to the argument based on Russell’s result, though we note that for some applications, for instance to propositional attitudes, a restricted thesis in the vicinity may hold some promise.

Other Versions

No versions found

Similar books and articles

Ramified structure.Gabriel Uzquiano - 2022 - Philosophical Studies 180 (5-6):1651-1674.
A Theory of Structured Propositions.Andrew Bacon - 2023 - Philosophical Review 132 (2):173-238.
Structured propositions and sentence structure.Jeffrey King - 1996 - Journal of Philosophical Logic 25 (5):495 - 521.
Reality is not structured.Jeremy Goodman - 2017 - Analysis 77 (1):43–53.
Operands and Instances.Peter Fritz - 2023 - Review of Symbolic Logic 16 (1):188-209.
Propositions, representation, and truth.Geoff Georgi - 2019 - Synthese 196 (3):1019-1043.

Analytics

Added to PP
2021-05-09

Downloads
2,360 (#11,177)

6 months
305 (#23,846)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Peter Fritz
University College London
Harvey Lederman
University of Texas at Austin
Gabriel Uzquiano
University of Southern California

Citations of this work

Classicism.Andrew Bacon & Cian Dorr - 2024 - In Peter Fritz & Nicholas K. Jones, Higher-Order Metaphysics. Oxford University Press. pp. 109-190.
Higher-Order Metaphysics: An Introduction.Peter Fritz & Nicholas K. Jones - 2024 - In Peter Fritz & Nicholas K. Jones, Higher-Order Metaphysics. Oxford University Press.
A Theory of Structured Propositions.Andrew Bacon - 2023 - Philosophical Review 132 (2):173-238.
Essence and Necessity.Andreas Ditter - 2022 - Journal of Philosophical Logic 51 (3):653-690.
Talk About Types.Isaac Wilhelm - forthcoming - Mind:fzaf044.

View all 16 citations / Add more citations

References found in this work

Demonstratives: An Essay on the Semantics, Logic, Metaphysics and Epistemology of Demonstratives and other Indexicals.David Kaplan - 1989 - In Joseph Almog, John Perry & Howard Wettstein, Themes From Kaplan. New York: Oxford University Press. pp. 481-563.
To Be F Is To Be G.Cian Dorr - 2016 - Philosophical Perspectives 30 (1):39-134.
Frege's Puzzle (2nd edition).Nathan U. Salmon - 1991 - Atascadero, CA: Ridgeview Publishing Company.
Über Sinn und Bedeutung.Gottlob Frege - 1892 - Zeitschrift für Philosophie Und Philosophische Kritik 100 (1):25-50.
Principles of mathematics.Bertrand Russell - 1931 - New York,: W.W. Norton & Company.

View all 49 references / Add more references