PhilSci Archive

Do arbitrary constants exist? A logical objection

Srinivasan, Radhakrishnan (2024) Do arbitrary constants exist? A logical objection. [Preprint]


Download (235kB) | Preview


In classical first-order logic (FOL), let T be a theory with an unspecified (arbitrary) constant c, where the symbol c does not occur in any of the axioms of T. Let psi(x) be a formula in the language of T that does not contain the symbol c. In a well-known result due to Shoenfield (the "theorem on constants"), it is proven that if psi(c) is provable in T, then so is psi(x), where x is the only free variable in psi(x). In the proof of this result, Shoenfield starts with the hypothesis that P is a valid proof of psi(c) in T, and then replaces each occurrence of c in P by a variable to obtain a valid proof of psi(x) in T, the argument being that no axiom of T is violated by this replacement. In this paper, we demonstrate that the theorem on constants leads to a meta-inconsistency in FOL (i.e., a logical inconsistency in the metatheory of T in which Shoenfield's proof is executed), the root cause of which is the existence of arbitrary constants. In previous papers, the author has proposed a finitistic paraconsistent logic (NAFL) in which it is provable that arbitrary constants do not exist. The nonclassical reasons for this nonexistence are briefly examined and shown to be relevant to the above example.

Export/Citation: EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL
Social Networking:
Share |

Item Type: Preprint
Srinivasan, Radhakrishnan0000-0002-3181-3624
Keywords: arbitrary constants, first order logic, inconsistency, finitistic paraconsistent logic NAFL
Subjects: Specific Sciences > Mathematics > Foundations
Specific Sciences > Mathematics > Logic
Depositing User: Dr. Radhakrishnan Srinivasan
Date Deposited: 11 Mar 2024 16:05
Last Modified: 11 Mar 2024 16:05
Item ID: 23184
Subjects: Specific Sciences > Mathematics > Foundations
Specific Sciences > Mathematics > Logic
Date: 10 March 2024

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item View Item