Assadian, B. (2024) Abstraction, truth, and free logic. The Philosophical Quarterly. pqae118. ISSN 0031-8094
Abstract
Abstractionism is the view that Fregean abstraction principles underlie our knowledge of the existence of mathematical objects. It is often assumed that the abstractionist proof for the existence of such objects requires ‘negative free logic’ in which all atomic sentences with empty terms are false. I argue that while negative free logic is not indispensably needed for the proof of abstract existence, there is a motivation for it—along broadly Fregean lines. The standard motivation for negative semantics rests on the explanation of truth in terms of reference. This line of reasoning, however, is not available in a context in which the reference of abstract terms must be proved, and not presupposed. I reverse the direction of explanation, thereby offering a novel motivation, Truth Priority, for the use of negative semantics. Some of the implications of Truth Priority for the abstractionist conception of ontology and reference will also be explored.
Metadata
Item Type: | Article |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | © The Author(s) 2024. Published by Oxford University Press on behalf of The Scots Philosophical Association and the University of St Andrews. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (https://creativecommons.org/licenses/by/4.0/), which permits unrestricted reuse, distribution, and reproduction in any medium, provided the original work is properly cited. |
Keywords: | abstractionism, neo-Fregeanism, free logic, negative free logic, Frege’s Context Principle, truth priority, abstract objects |
Dates: |
|
Institution: | The University of Leeds |
Academic Units: | The University of Leeds > Faculty of Arts, Humanities and Cultures (Leeds) > School of Philosophy, Religion and History of Science (Leeds) |
Depositing User: | Symplectic Publications |
Date Deposited: | 07 Oct 2024 15:43 |
Last Modified: | 07 Oct 2024 15:43 |
Status: | Published online |
Publisher: | Oxford University Press (OUP) |
Identification Number: | 10.1093/pq/pqae118 |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:217947 |