Philosophical Accounts of First-Order Logical Truths

Starting from certain metalogical results (the completeness theorem, the soundness theorem, and Lindenbaum-Scott theorem), 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.