{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,28]],"date-time":"2026-02-28T03:31:03Z","timestamp":1772249463687,"version":"3.50.1"},"reference-count":50,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T00:00:00Z","timestamp":1755820800000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["cambridge.org"],"crossmark-restriction":true},"short-container-title":["The Review of Symbolic Logic"],"published-print":{"date-parts":[[2025,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Can we quantify over absolutely every set? Absolutists typically affirm, while relativists typically deny, the possibility of unrestricted quantification (in set theory). In the first part of this article, I develop a novel and intermediate philosophical position in the absolutism versus relativism debate in set theory. In a nutshell, the idea is that problematic sentences related to paradoxes cannot be interpreted with unrestricted quantifier domains, while prima facie absolutist sentences (e.g., \u201cno set is contained in the empty set\u201d) are unproblematic in this respect and can be interpreted over a domain containing all sets. In the second part of the paper, I develop a semantic theory that can implement the intermediate position. The resulting framework allows us to distinguish between inherently absolutist and inherently relativist sentences of the language of set theory.<\/jats:p>","DOI":"10.1017\/s1755020325100774","type":"journal-article","created":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T03:27:03Z","timestamp":1755833223000},"page":"826-858","update-policy":"https:\/\/doi.org\/10.1017\/policypage","source":"Crossref","is-referenced-by-count":1,"title":["SET-THEORETIC BICONTEXTUALISM"],"prefix":"10.1017","volume":"18","author":[{"given":"SIMON","family":"SCHMITT","sequence":"first","affiliation":[{"id":[{"id":"https:\/\/ror.org\/048tbm396","id-type":"ROR","asserted-by":"publisher"}],"name":"UNIVERSITY OF TURIN"}]}],"member":"56","published-online":{"date-parts":[[2025,8,22]]},"reference":[{"key":"S1755020325100774_r21","doi-asserted-by":"publisher","DOI":"10.1017\/9781108596961"},{"key":"S1755020325100774_r46","doi-asserted-by":"publisher","DOI":"10.1093\/oso\/9780198719649.001.0001"},{"key":"S1755020325100774_r11","volume-title":"Large Infinitary Languages. Model Theory","author":"Dickmann","year":"1975"},{"key":"S1755020325100774_r24","volume-title":"The higher infinite. Large cardinals in Set Theory From Their Beginnings","author":"Kanamori","year":"2008"},{"key":"S1755020325100774_r18","doi-asserted-by":"publisher","DOI":"10.1111\/j.1933-1592.2004.tb00518.x"},{"key":"S1755020325100774_r37","doi-asserted-by":"publisher","DOI":"10.1007\/BF00257482"},{"key":"S1755020325100774_r42","doi-asserted-by":"publisher","DOI":"10.1215\/00294527-2023-0004"},{"key":"S1755020325100774_r23","doi-asserted-by":"publisher","DOI":"10.2178\/bsl\/1102083759"},{"key":"S1755020325100774_r20","first-page":"445","article-title":"Classifying inaccessible cardinals","volume":"8","author":"Hanf","year":"1961","journal-title":"Notices of the American Mathematical Society"},{"key":"S1755020325100774_r3","doi-asserted-by":"publisher","DOI":"10.1017\/9781108981804"},{"key":"S1755020325100774_r35","volume-title":"Truth and Paradox in Context","author":"Murzi"},{"key":"S1755020325100774_r16","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010314719817"},{"key":"S1755020325100774_r9","doi-asserted-by":"publisher","DOI":"10.2307\/2215917"},{"key":"S1755020325100774_r1","doi-asserted-by":"publisher","DOI":"10.4324\/9781003039181"},{"key":"S1755020325100774_r5","doi-asserted-by":"publisher","DOI":"10.2307\/2025204"},{"key":"S1755020325100774_r4","volume-title":"The Stanford Encyclopedia of Philosophy","author":"Bell","year":"2023"},{"key":"S1755020325100774_r36","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198744382.001.0001"},{"key":"S1755020325100774_r22","volume-title":"Set Theory","author":"Jech","year":"2006"},{"key":"S1755020325100774_r33","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511570681.005"},{"key":"S1755020325100774_r40","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1022615612"},{"key":"S1755020325100774_r44","volume-title":"Foundations Without Foundationalism: A Case for Second-Order Logic","author":"Shapiro","year":"1991"},{"key":"S1755020325100774_r27","volume-title":"Set Theory. An Introduction to Independence Proofs","author":"Kunen","year":"1980"},{"key":"S1755020325100774_r45","doi-asserted-by":"publisher","DOI":"10.1111\/j.1520-8583.2003.00014.x"},{"key":"S1755020325100774_r49","doi-asserted-by":"publisher","DOI":"10.1111\/j.1520-8583.2003.00017.x"},{"key":"S1755020325100774_r12","first-page":"698 S.","volume-title":"Philosophy of Language","author":"Dummett","year":"1973"},{"key":"S1755020325100774_r15","doi-asserted-by":"publisher","DOI":"10.1093\/oso\/9780198791522.001.0001"},{"key":"S1755020325100774_r41","first-page":"331","volume-title":"Liars and Heaps\u2014New Essays on Paradox","author":"Rayo","year":"2003"},{"key":"S1755020325100774_r14","doi-asserted-by":"publisher","DOI":"10.1093\/philmat\/nkaa020"},{"key":"S1755020325100774_r47","volume-title":"Properties and Propositions: The Metaphysics of Higher-Order Logic","author":"Trueman","year":"2021"},{"key":"S1755020325100774_r48","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-30086-2_13"},{"key":"S1755020325100774_r2","doi-asserted-by":"publisher","DOI":"10.26686\/ajl.v13i6.3976"},{"key":"S1755020325100774_r13","doi-asserted-by":"publisher","DOI":"10.1111\/nous.12091"},{"key":"S1755020325100774_r31","doi-asserted-by":"publisher","DOI":"10.2307\/2274569"},{"key":"S1755020325100774_r29","first-page":"155 S.","volume-title":"Parts of Classes","author":"Lewis","year":"1991"},{"key":"S1755020325100774_r10","doi-asserted-by":"publisher","DOI":"10.1017\/9781316717219"},{"key":"S1755020325100774_r7","doi-asserted-by":"publisher","DOI":"10.2307\/2185003"},{"key":"S1755020325100774_r50","doi-asserted-by":"publisher","DOI":"10.4064\/fm-16-1-29-47"},{"key":"S1755020325100774_r38","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199269730.001.0001"},{"key":"S1755020325100774_r19","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139171519.025"},{"key":"S1755020325100774_r34","doi-asserted-by":"publisher","DOI":"10.1093\/oso\/9780199276424.003.0007"},{"key":"S1755020325100774_r30","doi-asserted-by":"publisher","DOI":"10.2307\/2274520"},{"key":"S1755020325100774_r32","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781316855560"},{"key":"S1755020325100774_r6","doi-asserted-by":"publisher","DOI":"10.2307\/2026308"},{"key":"S1755020325100774_r25","volume-title":"Languages with Expressions of Infinite Length","author":"Karp","year":"1964"},{"key":"S1755020325100774_r43","doi-asserted-by":"publisher","DOI":"10.1112\/plms\/s2-4.1.29"},{"key":"S1755020325100774_r17","doi-asserted-by":"publisher","DOI":"10.1023\/B:LOGI.0000019227.09236.f5"},{"key":"S1755020325100774_r8","doi-asserted-by":"publisher","DOI":"10.1093\/oso\/9780198790396.001.0001"},{"key":"S1755020325100774_r28","doi-asserted-by":"publisher","DOI":"10.1093\/oso\/9780199276424.003.0005"},{"key":"S1755020325100774_r26","volume-title":"Model Theory for Infinitary Logic. Logic with Countable Conjunctions and Finite Quantifiers","author":"Keisler","year":"2010"},{"key":"S1755020325100774_r39","doi-asserted-by":"publisher","DOI":"10.1093\/oso\/9780199276424.003.0009"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020325100774","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,8]],"date-time":"2025-10-08T07:46:22Z","timestamp":1759909582000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020325100774\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,22]]},"references-count":50,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2025,9]]}},"alternative-id":["S1755020325100774"],"URL":"https:\/\/doi.org\/10.1017\/s1755020325100774","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,8,22]]},"assertion":[{"value":"\u00a9 The Author(s), 2025. Published by Cambridge University Press on behalf of The Association for Symbolic Logic","name":"copyright","label":"Copyright","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}},{"value":"This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (https:\/\/creativecommons.org\/licenses\/by\/4.0\/), which permits unrestricted re-use, distribution, and reproduction in any medium, provided the original work is properly cited.","name":"license","label":"License","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}