Acta Analytica 34 (3):369-383 (2019)

Authors
Constantin C. Brîncuș
University of Bucharest
Abstract
Starting from certain metalogical results, I argue that first-order logical truths of classical logic are a priori and necessary. Afterwards, I formulate two arguments for the idea that first-order logical truths are also analytic, namely, I first argue that there is a conceptual connection between aprioricity, necessity, and analyticity, such that aprioricity together with necessity entails analyticity; then, I argue that the structure of natural deduction systems for FOL displays the analyticity of its truths. Consequently, each philosophical approach to these truths should account for this evidence, i.e., that first-order logical truths are a priori, necessary, and analytic, and it is my contention that the semantic account is a better candidate.
Keywords First-order logical truths  Completeness theorem  Lindenbaum-Scott theorem
Categories No categories specified
(categorize this paper)
ISBN(s)
DOI 10.1007/s12136-019-00381-5
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 62,242
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Two Dogmas of Empiricism.W. Quine - 1951 - [Longmans, Green].
Two Dogmas of Empiricism.Willard V. O. Quine - 1951 - Philosophical Review 60 (1):20–43.
Empiricism, Semantics and Ontology.Rudolf Carnap - 1950 - Revue Internationale de Philosophie 4 (11):20-40.
Methods of Logic.W. V. O. Quine - 1950 - Harvard University Press.

View all 40 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

What Makes Logical Truths True?Constantin C. Brîncuș - 2016 - Logos and Episteme 7 (3): 249-272.
The Vicious Triangle of A Priori Truth, Contingent Truth, and Logical Truth.Isidora Stojanovic - 2009 - In Christian Nimtz, Nikola Kompa & Christian Suhm (eds.), A Priori Justification and Its Role in Philosophy. Berlin: Mentis Verlag. pp. 69-82.
Quine, Synonymy and Logical Truth.Robert Barrett - 1965 - Philosophy of Science 32 (3/4):361-367.
Logical and Analytic Truths That Are Not Necessary.Edward N. Zalta - 1988 - Journal of Philosophy 85 (2):57-74.
Logical and Analytic Truths That Are Not Necessary.Edward N. Zalta - 1988 - Journal of Philosophy 85 (2):57-74.
A Defense of Contingent Logical Truths.Michael Nelson & Edward N. Zalta - 2012 - Philosophical Studies 157 (1):153-162.
An Empirical Route to Logical 'Conventionalism'.Eugene Chua - 2017 - In Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.), Logic, Rationality, and Interaction. LORI 2017. Lecture Notes in Computer Science, vol 10455. Berlin, Heidelberg: Springer. pp. 631-636.
Synonymy Without Analyticity.Roger Wertheimer - 1994 - International Philosophical Preprint Exchange.
The Conventional and the Analytic.Manuel García-Carpintero & Manuel Pérez Otero - 2009 - Philosophy and Phenomenological Research 78 (2):239-274.
Truthlikeness.Graham Oddie - 2014 - Stanford Encyclopedia.

Analytics

Added to PP index
2019-02-08

Total views
59 ( #179,256 of 2,444,828 )

Recent downloads (6 months)
6 ( #122,865 of 2,444,828 )

How can I increase my downloads?

Downloads

My notes