{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T22:09:21Z","timestamp":1772575761030,"version":"3.50.1"},"reference-count":64,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2022,11,22]],"date-time":"2022-11-22T00:00:00Z","timestamp":1669075200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,11,22]],"date-time":"2022-11-22T00:00:00Z","timestamp":1669075200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2023,6]]},"DOI":"10.1007\/s10992-022-09685-1","type":"journal-article","created":{"date-parts":[[2022,11,23]],"date-time":"2022-11-23T05:13:38Z","timestamp":1669180418000},"page":"705-730","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["A Simple Logic of Concepts"],"prefix":"10.1007","volume":"52","author":[{"given":"Thomas F.","family":"Icard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lawrence S.","family":"Moss","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,11,22]]},"reference":[{"key":"9685_CR1","doi-asserted-by":"crossref","unstructured":"Pietroski, P.M. (2018). Conjoining meanings: Semantics without truth values. Oxford University Press.","DOI":"10.1093\/oso\/9780198812722.001.0001"},{"key":"9685_CR2","unstructured":"Fodor, J. (1975). The language of thought. Harvard University Press."},{"key":"9685_CR3","doi-asserted-by":"crossref","unstructured":"Carey, S. (2009). The origin of concepts. Oxford University Press.","DOI":"10.1093\/acprof:oso\/9780195367638.001.0001"},{"issue":"1","key":"9685_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s11023-020-09540-9","volume":"31","author":"ST Piantadosi","year":"2021","unstructured":"Piantadosi, S.T. (2021). The computational origin of representation. Minds and Machines, 31(1), 1\u201358.","journal-title":"Minds and Machines"},{"key":"9685_CR5","unstructured":"Montague, R. (1974). Formal philosophy. Yale University Press."},{"key":"9685_CR6","doi-asserted-by":"crossref","unstructured":"Muskens, R.A. (2007). Higher order modal logic. In P Blackburn, J.F.A.K. van Benthem, & F Wolter (Eds.) Handbook of modal logic (pp. 621\u2013653). Elsevier.","DOI":"10.1016\/S1570-2464(07)80013-9"},{"issue":"7","key":"9685_CR7","first-page":"293","volume":"15","author":"A Zylberberg","year":"2011","unstructured":"Zylberberg, A, Dehaene, S, Roelfsema, P.R., & Sigman, M. (2011). The human Turing machine: A neural framework for mental programs. Trends in Cognitive Science, 15(7), 293\u2013300.","journal-title":"Trends in Cognitive Science"},{"issue":"2","key":"9685_CR8","first-page":"203","volume":"6","author":"B Partee","year":"1975","unstructured":"Partee, B (1975). Montague grammar and transformational grammar. Linguistic Inquiry, 6(2), 203\u2013300.","journal-title":"Linguistic Inquiry"},{"issue":"3","key":"9685_CR9","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/BF00630273","volume":"9","author":"EL Keenan","year":"1985","unstructured":"Keenan, EL, & Stavi, J (1985). A semantic characterization of natural language determiners. Linguistics & Philosophy, 9(3), 253\u2013326.","journal-title":"Linguistics & Philosophy"},{"key":"9685_CR10","doi-asserted-by":"crossref","unstructured":"Lidz, J (2018). The explanatory power of linguistic theory. In N Hornstein, H Lasnik, P Patel-Grosz, & C Yang (Eds.) Syntactic structures after 60 years (pp. 85\u201391). De Gruyter Mouton.","DOI":"10.1515\/9781501506925-089"},{"key":"9685_CR11","doi-asserted-by":"crossref","unstructured":"Chomsky, N. (1957). Syntactic structures. Mouton & Co.","DOI":"10.1515\/9783112316009"},{"key":"9685_CR12","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/S0019-9958(59)90362-6","volume":"2","author":"N Chomsky","year":"1959","unstructured":"Chomsky, N (1959). On certain formal properties of grammars. Information & Control, 2, 137\u2013167.","journal-title":"Information & Control"},{"key":"9685_CR13","doi-asserted-by":"crossref","unstructured":"Pullum, G (1983). Context-freeness and the computer processing of human languages. In Proceedings of the 21st annual meeting on association for computational linguistics (ACL \u201983) (pp. 1\u20136).","DOI":"10.3115\/981311.981313"},{"key":"9685_CR14","unstructured":"Joshi, A.K., Vijay Shanker, K., & Weir, D. (1991). The convergence of mildly context-sensitive grammar formalisms. In S.M. Shieber, P Sells, & T Wasow (Eds.) Foundational issues in natural language processing (pp. 31\u201381). MIT Press."},{"issue":"3","key":"9685_CR15","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/BF00484987","volume":"73","author":"J van Benthem","year":"1987","unstructured":"van Benthem, J (1987). Meaning: interpretation and inference. Synthese, 73(3), 451\u2013470.","journal-title":"Synthese"},{"key":"9685_CR16","volume-title":"Studies on natural logic and categorial grammar","author":"V S\u00e1nchez-Valencia","year":"1991","unstructured":"S\u00e1nchez-Valencia, V. (1991). Studies on natural logic and categorial grammar. Universiteit van Amsterdam: PhD thesis."},{"key":"9685_CR17","unstructured":"Keenan, E (2004). Excursions in natural logic. In C Casadio, PJ Scott, & R.A.G Seely (Eds.) Language and grammar: Studies in mathematical linguistics and natural language (pp. 31\u201352). CSLI: Stanford."},{"issue":"2","key":"9685_CR18","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1023\/B:JLLI.0000024735.97006.5a","volume":"13","author":"I Pratt-Hartmann","year":"2004","unstructured":"Pratt-Hartmann, I (2004). Fragments of language. Journal of Logic, Language & Information, 13(2), 207\u2013233.","journal-title":"Journal of Logic, Language & Information"},{"key":"9685_CR19","doi-asserted-by":"crossref","unstructured":"Moss, L.S. (2008). Completeness theorems for syllogistic fragments. In F. Hamm S. Kepser (Eds.) Logics for linguistics structures (pp. 143\u2013173). De Gruyter.","DOI":"10.1515\/9783110211788.143"},{"issue":"7","key":"9685_CR20","first-page":"167","volume":"9","author":"TF Icard","year":"2014","unstructured":"Icard, T.F., & Moss, L.S. (2014). Recent progress on monotonicity. Linguistic Issues in Language Technology, 9(7), 167\u2013194.","journal-title":"Linguistic Issues in Language Technology"},{"key":"9685_CR21","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/BF00350139","volume":"4","author":"J Barwise","year":"1981","unstructured":"Barwise, J, & Cooper, R (1981). Generalized quantifiers and natural language. Linguistics & Philosophy, 4, 159\u2013219.","journal-title":"Linguistics & Philosophy"},{"key":"9685_CR22","doi-asserted-by":"crossref","unstructured":"Steinert-Threlkeld, S, & Szymanik, J. (2019). Learnability and semantic universals. Semantics & Pragmatics, 12.","DOI":"10.3765\/sp.12.4"},{"issue":"13","key":"9685_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1037\/h0093825","volume":"75","author":"RN Shepard","year":"1961","unstructured":"Shepard, R.N., Hovland, C.I., & Jenkins, H.M. (1961). Learning and memorization of classifications. Psychological Monographs, 75(13), 1\u201342.","journal-title":"Psychological Monographs"},{"key":"9685_CR24","unstructured":"Davidson, D (1966). The logical form of action sentences. In N Rescher (Ed.) The logic of decision and action. University of Pittsburgh Press."},{"key":"9685_CR25","unstructured":"Parsons, T. (1990). Events in the semantics of english: A study in subatomic semantics. MIT Press."},{"key":"9685_CR26","doi-asserted-by":"crossref","unstructured":"Pietroski, P.M. (2005). Events and semantic architecture. Oxford University Press.","DOI":"10.1093\/acprof:oso\/9780199244300.001.0001"},{"key":"9685_CR27","unstructured":"Kamp, H (1981). A theory of truth and semantic representation. In J.A.G. Groenendijk, T.M.V. Janssen, & M.B.J. Stokhof (Eds.) Formal methods in the study of language. Mathematical Centre Tracts 135 (pp. 277\u2013322). Amsterdam: Mathematisch Centrum."},{"key":"9685_CR28","unstructured":"Heim, I. (1982). The semantics of definite and indefinite noun phrases. PhD thesis, University of Massachusetts Amherst."},{"issue":"2","key":"9685_CR29","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1162\/COLI_a_00127","volume":"39","author":"P Liang","year":"2013","unstructured":"Liang, P, Jordan, M.I., & Klein, D. (2013). Learning dependency-based compositional semantics. Computational Linguistics, 39(2), 389\u2013446.","journal-title":"Computational Linguistics"},{"key":"9685_CR30","doi-asserted-by":"crossref","unstructured":"Buch, S, Li, F-F, & Goodman, N. (2021). Neural event semantics for grounded language understanding. In Transactions of the association for computational linguistics (TACL), Vol. 9.","DOI":"10.1162\/tacl_a_00402"},{"key":"9685_CR31","unstructured":"Abiteboul, S, Hull, R, & Vianu, V. (1995). Foundations of databases, Addison-Wesley."},{"key":"9685_CR32","doi-asserted-by":"publisher","first-page":"341","DOI":"10.2307\/2102968","volume":"4","author":"A Tarski","year":"1944","unstructured":"Tarski, A (1944). The semantic conception of truth. Philosophy & Phenomenological Research, 4, 341\u2013375.","journal-title":"Philosophy & Phenomenological Research"},{"issue":"3","key":"9685_CR33","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/BF01049415","volume":"4","author":"P Blackburn","year":"1995","unstructured":"Blackburn, P, & Seligman, J (1995). Hybrid languages. Journal of Logic, Language & Information, 4(3), 251\u2013272.","journal-title":"Journal of Logic, Language & Information"},{"issue":"1","key":"9685_CR34","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00215625","volume":"5","author":"V Goranko","year":"1996","unstructured":"Goranko, V (1996). Hierarchies of modal and temporal logics with reference pointers. Journal of Logic, Language & Information, 5(1), 1\u201324.","journal-title":"Journal of Logic, Language & Information"},{"issue":"2\u20133","key":"9685_CR35","first-page":"119","volume":"14","author":"J van Benthem","year":"1987","unstructured":"van Benthem, J (1987). Logical syntax. Theoretical Linguistics, 14(2\u20133), 119\u2013142.","journal-title":"Theoretical Linguistics"},{"key":"9685_CR36","unstructured":"Marsh, W, & Partee, B.H. How non-context free is variable binding? WJ Savitch, E Bach, & W.M.G Safran-Naveh (Eds.), Springer Studies in Linguistics and Philosophy."},{"key":"9685_CR37","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/S0049-237X(08)71097-8","volume":"90","author":"J Barwise","year":"1977","unstructured":"Barwise, J (1977). An introduction to first-order logic. Studies in Logic and the Foundations of Mathematics, 90, 5\u201346.","journal-title":"Studies in Logic and the Foundations of Mathematics"},{"issue":"2","key":"9685_CR38","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1305\/ndjfl\/1040046086","volume":"37","author":"E Hemaspaandra","year":"1996","unstructured":"Hemaspaandra, E (1996). The price of universality. Notre Dame Journal of Formal Logic, 37(2), 174\u2013203.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9685_CR39","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1016\/S0004-3702(98)00109-X","volume":"107","author":"N Kurtonina","year":"1999","unstructured":"Kurtonina, N, & de Rijke, M (1999). Expressiveness of concept expressions in first-order description logics. Artificial Intelligence, 107, 303\u2013333.","journal-title":"Artificial Intelligence"},{"key":"9685_CR40","doi-asserted-by":"crossref","unstructured":"Malink, M. (2013). Aristotle\u2019s modal syllogistic. Harvard University Press.","DOI":"10.4159\/harvard.9780674726352"},{"key":"9685_CR41","doi-asserted-by":"crossref","unstructured":"Holliday, W.H., & Icard, T.F. (2010). Moorean phenomena in epistemic logic. In L Beklemishev, V Goranko, & V Shehtman (Eds.) Advances in modal logic, (Vol. 8 pp. 178\u2013199). College Publications.","DOI":"10.1017\/UPO9781844654536.014"},{"issue":"1","key":"9685_CR42","first-page":"21","volume":"2","author":"WVO Quine","year":"1948","unstructured":"Quine, W.V.O. (1948). On what there is. The Review of Metaphysics, 2(1), 21\u201338.","journal-title":"The Review of Metaphysics"},{"key":"9685_CR43","unstructured":"Papadimitriou, C.H. (1994). Computational complexity. Addison-Wesley."},{"key":"9685_CR44","unstructured":"Ristad, S. (1993). The language complexity game. MIT Press."},{"key":"9685_CR45","doi-asserted-by":"crossref","unstructured":"Szymanik, J. (2016). Quantifiers and cognition logical and computational perspectives. Springer.","DOI":"10.1007\/978-3-319-28749-2"},{"key":"9685_CR46","doi-asserted-by":"crossref","unstructured":"Knowlton, T, Pietroski, P, Halberda, J, & Lidz, J. (2021). The mental representation of universal quantifiers. Linguistics and Philosophy. forthcoming.","DOI":"10.1007\/s10988-021-09337-8"},{"issue":"4","key":"9685_CR47","doi-asserted-by":"publisher","first-page":"647","DOI":"10.1017\/S1755020309990086","volume":"2","author":"I Pratt-Hartmann","year":"2009","unstructured":"Pratt-Hartmann, I, & Moss, L.S. (2009). Logics for the relational syllogistic. Review of Symbolic Logic, 2(4), 647\u2013683.","journal-title":"Review of Symbolic Logic"},{"key":"9685_CR48","unstructured":"Horn, L. (1989). A natural history of negation. University of Chicago Press."},{"key":"9685_CR49","doi-asserted-by":"crossref","unstructured":"Hamilton, W. (1860). Lectures on logic (Vol. 1). Blackwood.","DOI":"10.1037\/12217-001"},{"key":"9685_CR50","unstructured":"Hoeksema, J (1999). Blocking effects and polarity sensitivity. In J Gerbrandy, M Marx, M de Rijke, & Y Venema (Eds.) JFAK: Essays dedicated to Johan van Benthem on the occasion of his 50th birthday. Vossiuspers. Amsterdam: Amsterdam University."},{"key":"9685_CR51","doi-asserted-by":"crossref","unstructured":"Sbardolini, G (2021). Assertion, rejection, and semantic universals. In S Ghosh T Icard (Eds.) Logic, rationality, and interaction. LORI 2021, volume 13039 of lecture notes in computer science. Springer.","DOI":"10.1007\/978-3-030-88708-7_15"},{"key":"9685_CR52","doi-asserted-by":"crossref","unstructured":"Moss, L.S. (2010). Natural logic and semantics. In M Aloni, H Bastiaanse, T de Jager, & K Schulz (Eds.) Logic, language and meaning (pp. 84\u201393). Springer.","DOI":"10.1007\/978-3-642-14287-1_9"},{"key":"9685_CR53","doi-asserted-by":"crossref","unstructured":"Holliday, WH., & Icard, TF (2018). Axiomatization in the meaning sciences. In D Ball B Rabern (Eds.) The science of meaning: Essays on the metatheory of natural language semantics (pp. 73\u201397). Oxford University Press.","DOI":"10.1093\/oso\/9780198739548.003.0002"},{"key":"9685_CR54","doi-asserted-by":"crossref","unstructured":"Gr\u00e4tzer, G. (2008). Universal algebra. Springer.","DOI":"10.1007\/978-0-387-77487-9_3"},{"key":"9685_CR55","doi-asserted-by":"crossref","unstructured":"Brandom, R.B. (2000). Articulating reasons: An introduction to inferentialism. Harvard University Press.","DOI":"10.4159\/9780674028739"},{"key":"9685_CR56","unstructured":"Chierchia, G. (1984). Topics in the syntax and semantics of infinitives and gerunds. PhD thesis, University of Massachusetts Amherst."},{"key":"9685_CR57","doi-asserted-by":"crossref","unstructured":"Pietroski, P.M. (2019). Semantic types: Two is better than too many. In New frontiers in artificial intelligence: JSAI-isAI international workshops (pp. 148\u2013163).","DOI":"10.1007\/978-3-030-58790-1_10"},{"key":"9685_CR58","unstructured":"van Benthem, J. (1985). Modal logic and classical logic. Bibliopolis."},{"key":"9685_CR59","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1305\/ndjfl\/1093635837","volume":"32","author":"WC Purdy","year":"1991","unstructured":"Purdy, W. C. (1991). A logic for natural language. Notre Dame Journal of Formal Logic, 32, 409\u2013425.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9685_CR60","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1017\/S0022481200118742","volume":"27","author":"N Rescher","year":"1962","unstructured":"Rescher, N (1962). Plurality quantification. Journal of Symbolic Logic, 27, 373\u2013374.","journal-title":"Journal of Symbolic Logic"},{"issue":"5","key":"9685_CR61","first-page":"330","volume":"7","author":"J Feldman","year":"2016","unstructured":"Feldman, J (2016). The simplicity principle in perception and cognition. Wiley Interdisciplinary Reviews: Cognitive Science, 7(5), 330\u2013340.","journal-title":"Wiley Interdisciplinary Reviews: Cognitive Science"},{"key":"9685_CR62","unstructured":"Gr\u00e4del, E, Kolaitis, PG., Libkin, L, Marx, M, Spencer, J, Vardi, MY, Venema, Y, & Weinstein, S. (2007). Finite model theory and its applications. Springer."},{"key":"9685_CR63","doi-asserted-by":"crossref","unstructured":"Moss, L.S. (2016). Syllogistic logic with cardinality comparisons. In K Bimb\u00f3 (Ed.) J. Michael Dunn on information based logics (pp. 391\u2013415). Springer.","DOI":"10.1007\/978-3-319-29300-4_18"},{"key":"9685_CR64","unstructured":"van Benthem, J, & Icard, T.F. (2021). Interleaving logic and counting. ILLC Prepublication Series."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-022-09685-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10992-022-09685-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-022-09685-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,1]],"date-time":"2023-12-01T15:42:10Z","timestamp":1701445330000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10992-022-09685-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,11,22]]},"references-count":64,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2023,6]]}},"alternative-id":["9685"],"URL":"https:\/\/doi.org\/10.1007\/s10992-022-09685-1","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,11,22]]},"assertion":[{"value":"18 May 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 September 2022","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 November 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}