{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,14]],"date-time":"2026-01-14T00:14:45Z","timestamp":1768349685942,"version":"3.49.0"},"reference-count":60,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2017,8,14]],"date-time":"2017-08-14T00:00:00Z","timestamp":1502668800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100000780","name":"European Commission","doi-asserted-by":"publisher","award":["FP-7-PEOPLE-2013-IEF 628170 USHP"],"award-info":[{"award-number":["FP-7-PEOPLE-2013-IEF 628170 USHP"]}],"id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001824","name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001824","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2019,4]]},"DOI":"10.1007\/s11229-017-1512-y","type":"journal-article","created":{"date-parts":[[2017,8,14]],"date-time":"2017-08-14T11:23:43Z","timestamp":1502709823000},"page":"1285-1324","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":15,"title":["Anatomy of a proposition"],"prefix":"10.1007","volume":"196","author":[{"given":"Bj\u00f8rn","family":"Jespersen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,14]]},"reference":[{"key":"1512_CR1","doi-asserted-by":"publisher","first-page":"201","DOI":"10.2979\/trancharpeirsoc.50.2.201","volume":"50","author":"F Bellucci","year":"2014","unstructured":"Bellucci, F. (2014). Peirce and the unity of the proposition. Transactions of the Charles S. Peirce Society, 50, 201\u2013219.","journal-title":"Transactions of the Charles S. Peirce Society"},{"key":"1512_CR2","first-page":"101","volume-title":"The semantics\/pragmatics distinction","author":"A Bezuidenhout","year":"2004","unstructured":"Bezuidenhout, A. (2004). Procedural meaning and the semantics\/pragmatics divide. In C. Bianchi (Ed.), The semantics\/pragmatics distinction (pp. 101\u2013131). Stanford: CSLI Publications."},{"key":"1512_CR3","first-page":"51","volume-title":"Propositions et \u00e9tats de choses","author":"P Cant\u00fa","year":"2006","unstructured":"Cant\u00fa, P. (2006). Bolzano et les propositions en soi: une th\u00e9orie objective des v\u00e9rit\u00e9s. In J. Benoist (Ed.), Propositions et \u00e9tats de choses (pp. 51\u201366). Paris: Vrin, Paris."},{"key":"1512_CR4","doi-asserted-by":"publisher","first-page":"501","DOI":"10.5840\/jphil20101071036","volume":"107","author":"B Caplan","year":"2010","unstructured":"Caplan, B., Tillman, C., & Reeder, P. (2010). Parts of singletons. Journal of Philosophy, 107, 501\u2013533.","journal-title":"Journal of Philosophy"},{"key":"1512_CR5","doi-asserted-by":"publisher","unstructured":"Collins, J. (2017). The redundancy of the act. Synthese. doi:\n                    10.1007\/s11229-017-1382-3\n                    \n                  .","DOI":"10.1007\/s11229-017-1382-3"},{"key":"1512_CR6","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1111\/j.1467-9213.2009.649.x","volume":"60","author":"AJ Cotnoir","year":"2010","unstructured":"Cotnoir, A. J. (2010). Anti-symmetry and non-extensional mereology. Philosophical Quarterly, 60, 396\u2013405.","journal-title":"Philosophical Quarterly"},{"key":"1512_CR7","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1017\/S1755020311000293","volume":"5","author":"AJ Cotnoir","year":"2012","unstructured":"Cotnoir, A. J., & Bacon, A. (2012). Non-wellfounded mereology. Review of Symbolic Logic, 5, 187\u2013204.","journal-title":"Review of Symbolic Logic"},{"key":"1512_CR8","doi-asserted-by":"publisher","first-page":"635","DOI":"10.1007\/s11229-014-0578-z","volume":"192","author":"M Du\u017e\u00ed","year":"2015","unstructured":"Du\u017e\u00ed, M., & Jespersen, B. (2015). Transparent quantification into hyperintensional objectual attitudes. Synthese, 192, 635\u2013677.","journal-title":"Synthese"},{"key":"1512_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-90-481-8812-3","volume-title":"Procedural semantics for hyperintensional logic","author":"M Du\u017e\u00ed","year":"2010","unstructured":"Du\u017e\u00ed, M., Jespersen, B., & Materna, P. (2010). Procedural semantics for hyperintensional logic. Dordrecht: Springer."},{"key":"1512_CR10","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/0010-0277(78)90015-X","volume":"6","author":"JA Fodor","year":"1978","unstructured":"Fodor, J. A. (1978). Tom Swift and his procedural grandmother. Cognition, 6, 229\u2013247.","journal-title":"Cognition"},{"key":"1512_CR11","doi-asserted-by":"publisher","DOI":"10.1002\/9780470773543","volume-title":"Foundations of intensional semantics","author":"C Fox","year":"2005","unstructured":"Fox, C., & Lappin, S. (2005). Foundations of intensional semantics. Oxford: Blackwell."},{"key":"1512_CR12","unstructured":"Frege, G. (1891\/1986). Funktion und Begriff. In G. Patzig (Ed.), Funktion Begriff Bedeutung (pp. 17\u201339). G\u00f6ttingen: Vandenhoeck & Ruprecht."},{"key":"1512_CR13","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199684892.001.0001","volume-title":"Propositional content","author":"P Hanks","year":"2015","unstructured":"Hanks, P. (2015). Propositional content. Oxford: Oxford University Press."},{"key":"1512_CR14","volume-title":"Plato on parts and wholes","author":"V Harte","year":"2012","unstructured":"Harte, V. (2012). Plato on parts and wholes. Oxford: Clarendon Press."},{"key":"1512_CR15","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1111\/j.1746-8361.2005.01014.x","volume":"59","author":"B Jespersen","year":"2005","unstructured":"Jespersen, B. (2005). Explicit intensionalization, anti-actualism, and how Smith\u2019s murderer might not have murdered Smith. Dialectica, 59, 285\u2013314.","journal-title":"Dialectica"},{"key":"1512_CR16","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1007\/s10992-007-9079-6","volume":"37","author":"B Jespersen","year":"2008","unstructured":"Jespersen, B. (2008). Predication and extensionalization. Journal of Philosophical Logic, 37, 479\u2013499.","journal-title":"Journal of Philosophical Logic"},{"key":"1512_CR17","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1111\/j.1747-9991.2012.00509.x","volume":"7","author":"B Jespersen","year":"2012","unstructured":"Jespersen, B. (2012). Recent work on structured meaning and propositional unity. Philosophy Compass, 7, 620\u2013630.","journal-title":"Philosophy Compass"},{"key":"1512_CR18","doi-asserted-by":"crossref","unstructured":"Jespersen, B. (2012a). Post-Fregean thoughts on propositional unity. In J. Maclaurin (Ed.), Rationis defensor: Essays in honour of Colin Cheyne. Studies in the history and philosophy of science (Vol. 28, pp. 235\u2013254).","DOI":"10.1007\/978-94-007-3983-3_17"},{"key":"1512_CR19","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/s11098-014-0305-0","volume":"172","author":"B Jespersen","year":"2015","unstructured":"Jespersen, B. (2015). Structured lexical concepts, property modifiers, and Transparent Intensional Logic. Philosophical Studies, 172, 321\u2013345.","journal-title":"Philosophical Studies"},{"key":"1512_CR20","unstructured":"Jespersen, B. (2017). Is predication an act or an operation? In P. Stalmaszczyk (Ed.), Philosophy and logic of predication. Studies in philosophy of language and linguistics (vol. 7, pp. 223\u2013245), Peter Lang GmbH."},{"key":"1512_CR21","doi-asserted-by":"publisher","first-page":"652","DOI":"10.5840\/jphil2006103125","volume":"103","author":"M Johnston","year":"2006","unstructured":"Johnston, M. (2006). Hylomorphism. Journal of Philosophy, 103, 652\u2013698.","journal-title":"Journal of Philosophy"},{"key":"1512_CR22","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0010-0277(77)90001-4","volume":"5","author":"P Johnson-Laird","year":"1977","unstructured":"Johnson-Laird, P. (1977). Procedural semantics. Cognition, 5, 189\u2013214.","journal-title":"Cognition"},{"key":"1512_CR23","unstructured":"Kaplan, D. (1990\/1978). Dthat. In P. Yourgrau (Ed.), Demonstratives. Oxford: Oxford University Press. Originally appeared in Syntax and Semantics, P. Cole (ed.). New York: Academic Press."},{"key":"1512_CR24","doi-asserted-by":"publisher","first-page":"655","DOI":"10.1080\/00455091.2013.870735","volume":"43","author":"L Keller","year":"2013","unstructured":"Keller, L. (2013). The metaphysics of propositional constituency. Canadian Journal of Philosophy, 43, 655\u2013678.","journal-title":"Canadian Journal of Philosophy"},{"key":"1512_CR25","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/s11098-012-9920-9","volume":"165","author":"JC King","year":"2013","unstructured":"King, J. C. (2013). Propositional unity: What\u2019s the problem, who has it and who solves it? Philosophical Studies, 165, 71\u201393.","journal-title":"Philosophical Studies"},{"key":"1512_CR26","doi-asserted-by":"publisher","unstructured":"King, J. C. (2017). On propositions and fineness of grain (again!). Synthese. doi:\n                    10.1007\/s11229-016-1291-x\n                    \n                  .","DOI":"10.1007\/s11229-016-1291-x"},{"key":"1512_CR27","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199693764.001.0001","volume-title":"New thinking about propositions","author":"JC King","year":"2014","unstructured":"King, J. C., Soames, S., & Speaks, J. (2014). New thinking about propositions. Oxford: Oxford University Press."},{"key":"1512_CR28","doi-asserted-by":"publisher","unstructured":"Kosterec, M. On the number of types. Synthese. doi:\n                    10.1007\/s11229-016-1190-1\n                    \n                  .","DOI":"10.1007\/s11229-016-1190-1"},{"key":"1512_CR29","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1111\/1467-9213.00262","volume":"52","author":"J Levine","year":"2002","unstructured":"Levine, J. (2002). Analysis and decomposition in Frege and Russell. Philosophical Quarterly, 52, 195\u2013216.","journal-title":"Philosophical Quarterly"},{"key":"1512_CR30","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1093\/philmat\/1.1.3","volume":"3","author":"D Lewis","year":"1993","unstructured":"Lewis, D. (1993). Mereology is megethology. Philosophia Mathematica, 3, 3\u201323.","journal-title":"Philosophia Mathematica"},{"key":"1512_CR31","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1093\/mind\/fzu182","volume":"124","author":"D Liebesman","year":"2015","unstructured":"Liebesman, D. (2015). Predication as ascription. Mind, 124, 517\u2013569.","journal-title":"Mind"},{"key":"1512_CR32","doi-asserted-by":"publisher","first-page":"111","DOI":"10.5840\/jphil2006103336","volume":"103","author":"R May","year":"2006","unstructured":"May, R. (2006). The invariance of sense. Journal of Philosophy, 103, 111\u2013144.","journal-title":"Journal of Philosophy"},{"key":"1512_CR33","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1080\/00048400802587374","volume":"87","author":"K McDaniel","year":"2009","unstructured":"McDaniel, K. (2009). Structure-making. Australasian Journal of Philosophy, 87, 251\u2013274.","journal-title":"Australasian Journal of Philosophy"},{"key":"1512_CR34","unstructured":"McGrath, M. (2014). Propositions. In E.N. Zalta (Ed.), The Stanford Encyclopedia of Philosophy (Spring 2014 Edition). \n                    http:\/\/plato.stanford.edu\/archives\/spr2014\/entries\/propositions\/\n                    \n                  ."},{"key":"1512_CR35","unstructured":"Moggi, E. (1989). Computational lambda-calculus and monads. In Proceedings of the fourth annual symposium on logic in computer science (pp. 14\u201323). Piscataway, NJ: IEEE Press."},{"key":"1512_CR36","doi-asserted-by":"publisher","first-page":"679","DOI":"10.1080\/00455091.2014.892770","volume":"43","author":"F Moltmann","year":"2013","unstructured":"Moltmann, F. (2013). Propositions, attitudinal objects, and the distinction between actions and products. Canadian Journal of Philosophy, 43, 679\u2013701.","journal-title":"Canadian Journal of Philosophy"},{"key":"1512_CR37","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1007\/s10988-004-7684-1","volume":"28","author":"R Muskens","year":"2005","unstructured":"Muskens, R. (2005). Sense and the computation of reference. Linguistics and Philosophy, 28, 473\u2013504.","journal-title":"Linguistics and Philosophy"},{"key":"1512_CR38","doi-asserted-by":"publisher","unstructured":"Pezlar, I. (2017). Algorithmic theories of problems. Logic and Logical Philosophy. doi:\n                    10.12775\/LLP.2017.010\n                    \n                  .","DOI":"10.12775\/LLP.2017.010"},{"key":"1512_CR39","doi-asserted-by":"publisher","unstructured":"Pickel, B. (2015). Are propositions essentially representational? Pacific Philosophical Quarterly. doi:\n                    10.1111\/papq.12123\n                    \n                  .","DOI":"10.1111\/papq.12123"},{"key":"1512_CR40","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1007\/s11098-012-9855-1","volume":"164","author":"B Rabern","year":"2013","unstructured":"Rabern, B. (2013). Monsters in Kaplan\u2019s logic of demonstratives. Philosophical Studies, 164, 393\u2013404.","journal-title":"Philosophical Studies"},{"key":"1512_CR41","volume-title":"Principles of Mathematics","author":"B Russell","year":"1903","unstructured":"Russell, B. (1903). Principles of Mathematics. New York: Norton Library."},{"key":"1512_CR42","doi-asserted-by":"crossref","unstructured":"Russell, B. (1908\/1968). Mathematical logic as based on the theory of types. Reprinted in R. C. Marsh (Ed.), Logic and Knowledge, fourth impression. New York: The MacMillan Company.","DOI":"10.2307\/2369948"},{"key":"1512_CR43","unstructured":"Sainsbury, M. (1996). How can some thing say something? In R. Monk, A. Palmer (Eds.), Bertrand Russell and the origins of analytic philosophy (pp. 137\u2013153). Bristol: Thoemmes. Reprinted in Departing From Frege, Oxford: Routledge (2002)."},{"key":"1512_CR44","doi-asserted-by":"crossref","unstructured":"Simons P (2000). Parts: A study in ontology. Oxford: Clarendon Press.","DOI":"10.1093\/acprof:oso\/9780199241460.001.0001"},{"key":"1512_CR45","doi-asserted-by":"publisher","DOI":"10.1515\/9781400833948","volume-title":"What is meaning?","author":"S Soames","year":"2010","unstructured":"Soames, S. (2010). What is meaning?. Princeton: Princeton University Press."},{"key":"1512_CR46","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/BF00247187","volume":"12","author":"BG Sundholm","year":"1983","unstructured":"Sundholm, B. G. (1983). Constructions, proofs, and the meaning of logical constants. Journal of Philosophical Logic, 12, 151\u2013172.","journal-title":"Journal of Philosophical Logic"},{"key":"1512_CR47","volume-title":"Act-based conceptions of propositional content","author":"M Textor","year":"2017","unstructured":"Textor, M. (2017). Judgement, perception, and predication. In M. Textor & F. Moltmann (Eds.), Act-based conceptions of propositional content. New York: Oxford University Press."},{"key":"1512_CR48","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/BF00351813","volume":"4","author":"R Thomason","year":"1980","unstructured":"Thomason, R. (1980). A model theory for attitudes. Linguistics and Philosophy, 4, 47\u201370.","journal-title":"Linguistics and Philosophy"},{"key":"#cr-split#-1512_CR49.1","doi-asserted-by":"crossref","unstructured":"Tich\u00fd, P. (1971). An approach to intensional analysis. Nous,","DOI":"10.2307\/2214668"},{"key":"#cr-split#-1512_CR49.2","unstructured":"5, 273-297. Reprinted in Tich\u00fd (2004)."},{"key":"#cr-split#-1512_CR50.1","unstructured":"Tich\u00fd, P. (1980). Foundations of partial type theory. Reports on Mathematical Logic,"},{"key":"#cr-split#-1512_CR50.2","unstructured":"14, 59-72. Reprinted in Tich\u00fd (2004)."},{"key":"#cr-split#-1512_CR51.1","doi-asserted-by":"crossref","unstructured":"Tich\u00fd, P. (1986). Constructions. Philosophy of Science,","DOI":"10.1086\/289338"},{"key":"#cr-split#-1512_CR51.2","unstructured":"53, 514-534. Reprinted in Tich\u00fd (2004)."},{"key":"1512_CR52","doi-asserted-by":"publisher","DOI":"10.1515\/9783110849264","volume-title":"The foundations of Frege\u2019s logic","author":"P Tich\u00fd","year":"1988","unstructured":"Tich\u00fd, P. (1988). The foundations of Frege\u2019s logic. Berlin: deGruyter."},{"key":"1512_CR53","unstructured":"Tich\u00fd, P. (1995). Constructions as the subject-matter of mathematics. In W. Depauli-Schimanovich, E. K\u00f6hler, F. Stadler (Eds.), The foundational debate (pp. 175\u201385), Dordrecht: Kluwer. Reprinted in Tich\u00fd (2004)."},{"key":"1512_CR54","unstructured":"Tich\u00fd, P. (2004). Collected papers in logic and philosophy. In G. Cheyne, B. Jespersen, & V. Svoboda (Eds.), Prague: Filozofia; Dunedin: University of Otago Press."},{"key":"1512_CR55","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1111\/j.1467-9213.2007.542.x","volume":"58","author":"AC Varzi","year":"2008","unstructured":"Varzi, A. C. (2008). The extensionality of parthood and composition. Philosophical Quarterly, 58, 108\u2013133.","journal-title":"Philosophical Quarterly"},{"key":"1512_CR56","unstructured":"Wittgenstein, L. (1922\/1984). Tractatus logico-philosophicus. Reprinted as Suhrkamp Taschenbuch Wissenschaft (Vol. 501). Frankfurt: Suhrkamp."},{"key":"1512_CR57","first-page":"300","volume-title":"Elements of discourse understanding","author":"WA Woods","year":"1981","unstructured":"Woods, W. A. (1981). Procedural semantics as a theory of meaning. In A. K. Joshi & B. L. Webber (Eds.), Elements of discourse understanding (pp. 300\u2013334). Cambridge: Cambridge University Press."}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-017-1512-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-017-1512-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-017-1512-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,20]],"date-time":"2019-09-20T17:45:46Z","timestamp":1569001546000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-017-1512-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,8,14]]},"references-count":60,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2019,4]]}},"alternative-id":["1512"],"URL":"https:\/\/doi.org\/10.1007\/s11229-017-1512-y","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,8,14]]},"assertion":[{"value":"4 November 2016","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 July 2017","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 August 2017","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}