Srinivasan, Radhakrishnan (2003) Platonism in classical logic versus formalism in the proposed non-Aristotelian finitary logic. [Preprint]
|
PDF
nafl2.pdf Download (255kB) |
|
|
Postscript
Nafl2.ps Download (226kB) |
|
Tex/LaTeX
nafl2.tex Download (73kB) |
Abstract
The main thesis of this paper is that Platonism is inherent in classical infinitary reasoning and that strict formalism inevitably leads one to the author's non-Aristotelian finitary logic (NAFL) proposed in the Philsci preprint ID Code 635. This claim is established by an elementary analysis of Peano Arithmetic and its weak fragments (especially Successor Arithmetic). Hence it is argued that Hilbert's program is decisively settled negatively -- classical infinitary reasoning stands refuted from the finitary and formalistic standpoints. The philosophical basis for NAFL is discussed thoroughly and motivated via consideration of several examples, including the Schroedinger cat and four-mirror experiments of quantum mechanics. Particular attention is paid to the delicate interplay between syntax and semantics in NAFL, and the differences in this regard between NAFL and classical/intuitionistic/constructive logics. The meaning of `existence' of mathematical objects and the concept of negation in NAFL are discussed. NAFL also correctly handles time-dependent truth values for propositions involving future contingencies; this is illustrated with examples, such as, Aristotle's `There will be a sea battle tomorrow'. That NAFL justifies quantum superposition on the one hand, while emphatically rejecting much of classical infinitary reasoning and the continuum-based relativity theories (see also the PhilSci preprint ID Code 666) on the other, means that the incompatibility between quantum mechanics and the theory of relativity is clearly established in NAFL. Another important implication for quantum mechanics is that NAFL requires the concept of `measurement' to be confined to the metatheory, i.e., it is not formalizable.
Export/Citation: | EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL |
Social Networking: |
Item Type: | Preprint | ||||||
---|---|---|---|---|---|---|---|
Creators: |
|
||||||
Commentary on: | Srinivasan, Radhakrishnan (2002) Quantum superposition justified in a new non-Aristotelian finitary logic. [Preprint] | ||||||
Additional Information: | Minor corrections/improvements made to PhilSci preprint ID Code 984. | ||||||
Keywords: | foundations of mathematics, foundations of quantum mechanics, classical first-order predicate logic, intuitionistic logic, constructive logics, quantum logic, law of the excluded middle, law of non-contradiction, Goedel's incompleteness theorems, Turing's halting problem, nonstandard models, Peano Arithmetic, undecidability, Hilbert's program. | ||||||
Subjects: | Specific Sciences > Mathematics Specific Sciences > Physics Specific Sciences > Physics > Quantum Mechanics |
||||||
Depositing User: | Dr. Radhakrishnan Srinivasan | ||||||
Date Deposited: | 21 May 2003 | ||||||
Last Modified: | 07 Oct 2010 15:11 | ||||||
Item ID: | 1166 | ||||||
Subjects: | Specific Sciences > Mathematics Specific Sciences > Physics Specific Sciences > Physics > Quantum Mechanics |
||||||
Date: | May 2003 | ||||||
URI: | https://philsci-archive.pitt.edu/id/eprint/1166 |
Commentary/Response Threads
-
Srinivasan, Radhakrishnan
Quantum superposition justified in a new non-Aristotelian finitary logic. (deposited 04 May 2002)
- Srinivasan, Radhakrishnan Platonism in classical logic versus formalism in the proposed non-Aristotelian finitary logic. (deposited 21 May 2003) [Currently Displayed]
- Srinivasan, Radhakrishnan Inertial frames, special relativity and consistency. (deposited 27 Jun 2002)
Monthly Views for the past 3 years
Monthly Downloads for the past 3 years
Plum Analytics
Actions (login required)
View Item |