On Hierarchical Propositions
There is an apparent dilemma for hierarchical accounts of propositions, raised by Bruno Whittle (Journal of Philosophical Logic, 46, 215–231, 2017): either such accounts do not offer adequate treatment of connectives and quantifiers, or they eviscerate the logic. I discuss what a plausible hierarchical conception of propositions might amount to, and show that on that conception, Whittle’s dilemma is not compelling. Thus, there are good reasons why proponents of hierarchical accounts of propositions (such as Russell, Church, or Kaplan) did not see the difficulty Whittle raises.
KeywordsParadoxes Propositions Type theory Simple and ramified hierarchy
This work has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement No 758540) within the project From the Expression of Disagreement to New Foundations for Expressivist Semantics.
- 2.Giaquinto, M. (2002). The search for certainty. Oxford: Clarendon Press.Google Scholar
- 3.Gödel, K. (1944). Russell’s mathematical logic. In Schlipp, P.A. (Ed.) The philosophy of Bertrand Russell (pp. 125–153). New York: Tudor Publishing Company.Google Scholar
- 4.Goldfarb, W. (1989). Russell’s reasons for ramification. In Savage, C.W., & Anderson, C.A. (Eds.) Rereading Russell: essays on Bertrand Russell’s metaphysics and epistemology (pp. 24–40). Minneapolis: University of Minnesota Press.Google Scholar
- 7.Kaplan, D. (1995). A problem in possible world semantics. In Raffman, D., Sinnott-Armstrong, W., Asher, N. (Eds.) Modality, morality and belief: essays in honor of Ruth Barcan Marcus (pp. 41–52). Cambridge: Cambridge University Press.Google Scholar
- 8.Myhill, J. (1958). Problems arising in the formalization of intensional logic. Logique et Analyse, 1, 78–83.Google Scholar
- 10.Quine, W.V.O. (1969). Set Theory and Its Logic. Cambridge: Belknap Press.Google Scholar
- 12.Russell, B. (1903). The Principles of Mathematics. Cambridge: Cambridge University Press.Google Scholar
- 14.Russell, B. (1971). Introduction to mathematical philosophy. Simon and Schuster: New York.Google Scholar
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.