Against Plural Comprehension
DOI:
https://doi.org/10.36253/jpm-3294Keywords:
plural logic, second-order logic, plural comprehension, pluralsAbstract
Plural primitivism is the idea that plural expressions cannot be dispensed with in favor of singular expressions. Our current standard first-order logic is based on the opposite idea, singularism, that plural expressions are eliminable in terms of singular expressions. Hence, plural primitivism suggests replacing first-order logic with what is nowadays called plural logic. One prominent axiom of plural logic is the axiom scheme of plural comprehension (PCA). This article aims to critically examine the plural primitivist claim of the logicality of PCA.
Downloads
Published
2025-12-30
How to Cite
Fujimoto, K. (2025). Against Plural Comprehension. Journal for the Philosophy of Mathematics, 2, 9–34. https://doi.org/10.36253/jpm-3294
Issue
Section
Articles
License
Copyright (c) 2025 Kentaro Fujimoto
This work is licensed under a Creative Commons Attribution 4.0 International License.
- Copyright on any open access article in JPM published by FUP is retained by the author(s).
- Authors grant FUP a license to publish the article and identify itself as the original publisher.
- Authors also grant any third party the right to use the article freely as long as its integrity is maintained and its original authors, citation details and publisher are identified.
- The Creative Commons Attribution License 4.0 formalizes these and other terms and conditions of publishing articles.
- In accordance with our Open Data policy, the Creative Commons CC0 1.0 Public Domain Dedication waiver applies to all published data in JPM open access articles.
