PhilSci Archive

Logical foundations of physics. Resolution of classical and quantum paradoxes in the finitistic paraconsistent logic NAFL

Srinivasan, Radhakrishnan (2022) Logical foundations of physics. Resolution of classical and quantum paradoxes in the finitistic paraconsistent logic NAFL. [Preprint]

[img]
Preview
Text
nafl_paper2.pdf

Download (629kB) | Preview

Abstract

Non-Aristotelian finitary logic (NAFL) is a finitistic paraconsistent logic that redefines finitism. It is argued that the existence of nonstandard models of arithmetic is an artifact of infinitary classical semantics, which must be rejected by the finitist, for whom the meaning of ``finite'' is not negotiable. The main postulate of NAFL semantics defines formal truth as time-dependent axiomatic declarations of the human mind, an immediate consequence of which is the following metatheorem. If the axioms of an NAFL theory T are pairwise consistent, then T is consistent. This metatheorem, which is the more restrictive counterpart of the compactness theorem of classical first-order logic, leads to the diametrically opposite conclusion that T supports only constructive existence, and consequently, nonstandard models of T do not exist, which in turn implies that infinite sets cannot exist in consistent NAFL theories. It is shown that arithmetization of syntax, Godel's incompleteness theorems and Turing's argument for the undecidability of the halting problem, which lead classically to nonstandard models, cannot be formalized in NAFL theories. The NAFL theories of arithmetic and real numbers are defined. Several paradoxical phenomena in quantum mechanics, such as, quantum superposition, entanglement, the quantum Zeno effect and wave-particle duality, are shown to be justifiable in NAFL, which provides a logical basis for the incompatibility of quantum mechanics and infinitary (by the NAFL yardstick) relativity theory. Finally, Zeno's dichotomy paradox and its many variants, which pose a problem for classical infinitary reasoning, are shown to be resolvable in NAFL.


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

Item Type: Preprint
Creators:
CreatorsEmailORCID
Srinivasan, Radhakrishnanrk_srinivasan@yahoo.com0000000231813624
Keywords: paraconsistent logic foundations finitism quantum paradoxes
Subjects: Specific Sciences > Mathematics > Foundations
Specific Sciences > Mathematics > Logic
Specific Sciences > Physics > Quantum Mechanics
Specific Sciences > Physics > Relativity Theory
Depositing User: Dr. Radhakrishnan Srinivasan
Date Deposited: 01 Jun 2022 17:04
Last Modified: 01 Jun 2022 17:04
Item ID: 20705
Subjects: Specific Sciences > Mathematics > Foundations
Specific Sciences > Mathematics > Logic
Specific Sciences > Physics > Quantum Mechanics
Specific Sciences > Physics > Relativity Theory
Date: 1 June 2022
URI: http://philsci-archive.pitt.edu/id/eprint/20705

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item View Item