×

Closed structure. (English) Zbl 07437457

Summary: 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.

MSC:

03-XX Mathematical logic and foundations

References:

[1] Bacon, A.; Hawthorne, J.; Uzquiano, G., Higher-order free logic and the Prior-Kaplan paradox, Canadian Journal of Philosophy, 46, 493-541 (2016) · doi:10.1080/00455091.2016.1201387
[2] Bacon, A.; Russell, JS, The logic of opacity, Philosophy and Phenomenological Research, 99, 81-114 (2019) · doi:10.1111/phpr.12454
[3] Bell, JL, Type reducing correspondences and well-orderings: Frege’s and Zermelo’s constructions re-examined, The Journal of Symbolic Logic, 60, 209-221 (1995) · Zbl 0829.03004 · doi:10.2307/2275518
[4] Boolos, G., To be is to be a value of a variable (or to be some values of some variables), The Journal of Philosophy, 81, 430-449 (1984) · doi:10.2307/2026308
[5] Boolos, G., Constructing Cantorian counterexamples, Journal of Philosophical Logic, 26, 237-239 (1997) · Zbl 0877.04001 · doi:10.1023/A:1004209106100
[6] Burali-Forti, C., Una questione sui numeri transfiniti, Rendiconti del Circolo Matematico di Palermo, 11, 154-164 (1897) · JFM 28.0062.02 · doi:10.1007/BF03015911
[7] Burgess, JP, E Pluribus Unum: plural logic and set theory, Philosophia Mathematica, 12, 193-221 (2004) · Zbl 1086.03042 · doi:10.1093/philmat/12.3.193
[8] Burgess, JP; Rosen, G., A subject with no object (1997), Oxford: Clarendon Press, Oxford · Zbl 0871.03002
[9] Caie, M., Goodman, J., & Lederman, H. (forthcoming). Classical opacity. Philosophy and Phenomenological Research.
[10] Dorr, C., To be F is to be G, Philosophical Perspectives, 30, 39-134 (2016) · doi:10.1111/phpe.12079
[11] Fine, K., Properties, propositions and sets, Journal of Philosophical Logic, 6, 135-191 (1977) · Zbl 0385.03006 · doi:10.1007/BF00262054
[12] Frege, G., Über Sinn und Bedeutung, Zeitschrift für Philosophie und philosophische Kritik, NF 100, 25-50 (1892)
[13] Gallin, D., Intensional and higher-order modal logic (1975), Amsterdam: North-Holland, Amsterdam · Zbl 0341.02014
[14] Goodman, J., Reality is not structured, Analysis, 77, 43-53 (2017) · Zbl 1397.03008
[15] Goodman, J., & Lederman, H. (forthcoming a). Perspectivism. Noûs.
[16] Goodman, J., & Lederman, H. (forthcoming b). Sense, reference and substitution. Philosophical Studies.
[17] Kanamori, A., The mathematical import of Zermelo’s well-ordering theorem, Bulletin of Symbolic Logic, 3, 281-311 (1997) · Zbl 0903.03030 · doi:10.2307/421146
[18] Kaplan, D., Quantifying in, Synthese, 19, 178-214 (1968) · doi:10.1007/BF00568057
[19] Kaplan, D., & Schilpp, P.A. (1986). Opacity. In Hahn, L.E. (Ed.) The Philosophy of W. V. Quine (pp. 229-289). La Salle: Open Court.
[20] Kaplan, D. (1989). Demonstratives. In Almog, J., Perry, J., & Wettstein, H. (Eds.) Themes from Kaplan. Completed and circulated in mimeograph in the published form in 1977 (pp. 481-563). Oxford: Oxford University Press.
[21] Kaplan, D. (1995). A problem in possible-world semantics. In Walter Sinnott-Armstrong, Diana Raffman, and Nicholas Asher, editors, Modality, Morality and Belief: Essays in Honor of Ruth Barcan Marcus, Cambridge University Press, Cambridge.
[22] King, J., Structured propositions and sentence structure, Journal of Philosophical Logic, 25, 495-521 (1996) · Zbl 0875.03013 · doi:10.1007/BF00257383
[23] King, J. C. (2007). The nature and structure of content. Oxford: Oxford University Press.
[24] Lederman, H. (forthcoming). Fine-grained semantics for attitude reports. Semantics and Pragmatics.
[25] Lederman, H. Fregeanism, sententialism, and scope. unpublished.
[26] Linnebo, Ø. (2017). Plural quantification. In Zalta, E.N. (Ed.) The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University summer 2017 edition. · Zbl 1366.03091
[27] Montague, R., Formal Philosophy: Selected papers of Richard Montague (1974), New Haven: Yale University Press, New Haven
[28] Muskens, R., Intensional models for the theory of types, The Journal of Symbolic Logic, 72, 98-118 (2007) · Zbl 1116.03008 · doi:10.2178/jsl/1174668386
[29] Myhill, J., Problems arising in the formalization of intensional logic, Logique et Analyse, 1, 78-83 (1958)
[30] Oliver, A.; Smiley, T., Plural logic (2016), Oxford: Oxford University Press, second, revised and enlarged edition, Oxford · Zbl 1403.03002 · doi:10.1093/acprof:oso/9780198744382.001.0001
[31] Pickel, B., & Rabern, B. (forthcoming). Frege and saving substitution. Philosophical Studies.
[32] Prior, AN, On a family of paradoxes, Notre Dame Journal of Formal Logic, 2, 16-32 (1961) · Zbl 0112.00408 · doi:10.1305/ndjfl/1093956750
[33] Prior, A. N. (1971). Platonism and quantification. In Objects of Thought (pp. 31-47). Oxford: Oxford University Press.
[34] Roberts, S. (forthcoming). Pluralities as nothing over and above. Journal of Philosophy.
[35] Russell, B., The principles of mathematics (1903), Cambridge: Cambridge University Press, Cambridge · JFM 34.0062.14
[36] Salmon, N. (1986). Frege’s Puzzle. Cambridge: MIT press.
[37] Soames, S., Direct reference, propositional attitudes, and semantic content, Philosophical Topics, 15, 47-87 (1987) · doi:10.5840/philtopics198715112
[38] Uzquiano, G., A neglected resolution of Russell’s paradox of propositions, The Review of Symbolic Logic, 8, 328-344 (2015) · Zbl 1344.03008 · doi:10.1017/S1755020315000106
[39] Walsh, S., Predicativity, the Russell-Myhill paradox, and Church’s intensional logic, Journal of Philosophical Logic, 45, 277-326 (2016) · Zbl 1392.03041 · doi:10.1007/s10992-015-9375-5
[40] Whitehead, A.N., & Russell, B. Principia Mathematica, 1-3, Cambridge: Cambridge University Press, 1910-1913.
[41] Williamson, T., Everything, Philosophical Perspectives, 17, 415-465 (2003) · doi:10.1111/j.1520-8583.2003.00017.x
[42] Williamson, T., Necessitism, contingentism, and plural quantification, Mind, 475, 657-748 (2010) · doi:10.1093/mind/fzq042
[43] Yalcin, S., Quantifying in from a Fregean perspective, Philosophical Review, 124, 207-253 (2015) · doi:10.1215/00318108-2842186
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.