{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T10:12:51Z","timestamp":1775038371090,"version":"3.50.1"},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2024,5,6]],"date-time":"2024-05-06T00:00:00Z","timestamp":1714953600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2024,5,6]],"date-time":"2024-05-06T00:00:00Z","timestamp":1714953600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100007514","name":"Universit\u00e0 di Pisa","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100007514","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2024,8]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Despite their controversial ontological status, the discussion on arbitrary objects has been reignited in recent years. According to the supporting views, they present interesting and unique qualities. Among those, two define their nature: their assuming of values, and the way in which they present properties. Leon Horsten has advanced a particular view on arbitrary objects which thoroughly describes the earlier, arguing they assume values according to a <jats:italic>sui generis<\/jats:italic> modality, which he calls <jats:italic>afthairetic<\/jats:italic>. In this paper, we offer a general method for defining the minimal system of this modality for any given first-order theory, and possible extensions of it that incorporate further aspects of Horsten\u2019s account. The minimal system presents an unconventional inference rule, which deals with two different notions of derivability. For this reason and the failure of the <jats:italic>Necessitation<\/jats:italic> rule, in its full generality, the resulting system is non-normal. Then, we provide conditional soundness and completeness results for the minimal system and its extensions.<\/jats:p>","DOI":"10.1007\/s10992-024-09757-4","type":"journal-article","created":{"date-parts":[[2024,5,6]],"date-time":"2024-05-06T09:01:54Z","timestamp":1714986114000},"page":"1027-1065","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Modelling Afthairetic Modality"],"prefix":"10.1007","volume":"53","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9089-4340","authenticated-orcid":false,"given":"Giorgio","family":"Venturi","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7993-4516","authenticated-orcid":false,"given":"Pedro","family":"Yago","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,5,6]]},"reference":[{"key":"9757_CR1","volume-title":"A Treatise Concerning the Principles of Human Knowledge","author":"G Berkeley","year":"1982","unstructured":"Berkeley, G. (1982). A Treatise Concerning the Principles of Human Knowledge. Indianapolis: Hacking Publishing Company."},{"issue":"3","key":"9757_CR2","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1007\/s11098-010-9676-z","volume":"158","author":"W Breckenridge","year":"2012","unstructured":"Breckenridge, W., & Magidor, O. (2012). Arbitrary reference. Philosophical Studies, 158(3), 370\u2013400.","journal-title":"Philosophical Studies"},{"key":"9757_CR3","volume-title":"Reasoning with arbitrary objects","author":"K Fine","year":"1985","unstructured":"Fine, K. (1985). Reasoning with arbitrary objects. Oxford: Blackwell."},{"issue":"1","key":"9757_CR4","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1093\/aristoteliansupp\/57.1.55","volume":"57","author":"K Fine","year":"1983","unstructured":"Fine, K., & Tennant, N. (1983). A defence of arbitrary objects. Aristotelian Society Supplementary, 57(1), 55\u201389.","journal-title":"Aristotelian Society Supplementary"},{"key":"9757_CR5","doi-asserted-by":"crossref","unstructured":"Fitting, M., & Mendelsohn, R.L. (1998). First-Order Modal Logic. Synthese Library.","DOI":"10.1007\/978-94-011-5292-1"},{"key":"9757_CR6","unstructured":"Frege, G. (1960) . What is a function? In Peter Geach and Max Black, editors, Translation from the Philosophical Writings of Gottlob Frege, (pp. 107\u2013116). Basil Blackwell, Oxford."},{"key":"9757_CR7","doi-asserted-by":"publisher","DOI":"10.1017\/9781139600293","volume-title":"The Metaphysics and Mathematics of Arbitrary Objects","author":"L Horsten","year":"2019","unstructured":"Horsten, L. (2019). The Metaphysics and Mathematics of Arbitrary Objects. Cambridge: Cambridge University Press."},{"issue":"4","key":"9757_CR8","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1007\/s10992-018-9490-1","volume":"48","author":"L Horsten","year":"2019","unstructured":"Horsten, L., & Speranski, S. O. (2019). Reasoning about arbitrary natural numbers from a carnapian perspective. Journal of Philosophical Logic, 48(4), 685\u2013707.","journal-title":"Journal of Philosophical Logic"},{"key":"9757_CR9","volume-title":"Hughes and Max J","author":"E George","year":"1996","unstructured":"George, E. (1996). Hughes and Max J. New York: Cresswell. A New Introduction to Modal Logic. Routlege."},{"key":"9757_CR10","doi-asserted-by":"publisher","DOI":"10.1093\/oso\/9780199641314.003.0001","volume-title":"Thin Objects: An Abstractionist Account","author":"\u00d8 Linnebo","year":"2018","unstructured":"Linnebo, \u00d8. (2018). Thin Objects: An Abstractionist Account. Oxford: Oxford University Press."},{"key":"9757_CR11","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1093\/analys\/18.5.114","volume":"18","author":"N Rescher","year":"1958","unstructured":"Rescher, N. (1958). Can there be random individuals? Analysis, 18, 114\u2013117.","journal-title":"Analysis"},{"issue":"56","key":"9757_CR12","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1093\/mind\/XIV.4.479","volume":"14","author":"B Russell","year":"1905","unstructured":"Russell, B. (1905). On denoting. Mind, 14(56), 479\u2013493.","journal-title":"Mind"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-024-09757-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10992-024-09757-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-024-09757-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,18]],"date-time":"2024-07-18T10:23:08Z","timestamp":1721298188000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10992-024-09757-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5,6]]},"references-count":12,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2024,8]]}},"alternative-id":["9757"],"URL":"https:\/\/doi.org\/10.1007\/s10992-024-09757-4","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,5,6]]},"assertion":[{"value":"15 September 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 April 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 May 2024","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}