Besson, Corine (2014) A note on logical truth. Logique Et Analyse, 57 (227). pp. 309-331. ISSN 0024-5836
![]() |
PDF
- Published Version
Restricted to SRO admin only Download (646kB) |
Abstract
Classical logic counts sentences such as ‘Alice is identical with Alice’ as logically true. A standard objection to classical logic is that Alice’s self-identity, for instance, is not a matter of logic because the identity of particular objects is not a matter of logic. For this reason, many philosophers argue that classical logic is not the right logic, and that it should be abandoned in favour of free logic — logic free of existential commitments with respect to singular terms. In most standard free log- ics, sentences such as ‘Alice is identical with Alice’ are not logically true.
This paper argues that this objection from existential commitments is some- what superficial and that there is a deeper reason why ‘Alice is identical with Alice’ should not be considered a logical truth. Indeed, a key fundamental thought about the nature of logic is that a logical truth is true in virtue of its logical form. The fundamental problem I raise is that a sentence such as ‘Alice is identical with Alice’ appears to not even be true in virtue of its logical form. Thus this paper argues that given that such a sentence is not true in virtue of its logical form, it should not be counted as logically true. It moreover argues, on the same grounds, that even the sentences which free logicians regard as logically true shouldn’t be regarded as logically true. So in this sense free logic is no repair to classical logic.
Item Type: | Article |
---|---|
Keywords: | Logical Truth, Existential Commitments, Semantics |
Schools and Departments: | School of History, Art History and Philosophy > Philosophy |
Subjects: | B Philosophy. Psychology. Religion > B Philosophy (General) B Philosophy. Psychology. Religion > BC Logic |
Depositing User: | Corine Besson |
Date Deposited: | 25 Aug 2015 11:09 |
Last Modified: | 08 Mar 2017 06:11 |
URI: | http://srodev.sussex.ac.uk/id/eprint/56254 |
View download statistics for this item
📧 Request an update