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

Preview

Text nafl.pdf Download (669kB) | Preview

Abstract

Non-Aristotelian finitary logic (NAFL) is a paraconsistent logic that redefines finitism and correctly captures the notion of a potential infinity. 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. A decisive critique of classical / intuitionistic propositional logic and classical infinitary reasoning, which require pre-existing truths, is given. This leads directly to the definition of NAFL truth as time-dependent axiomatic declarations of the human mind via provability in NAFL theories, with the consequent negative resolution of Hilbert's program. 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 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 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, Wigner's friend paradox, 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. Zeno's dichotomy paradox and its variants, which lead to meta-inconsistencies in 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:	Creators Email ORCID Srinivasan, Radhakrishnan rk_srinivasan@yahoo.com 0000000231813624
Additional Information:	A critique of classical / intuitionistic propositional logic and comparison of these logics with NAFL is given in Remark 2.
Keywords:	paraconsistent logic foundations finitism potential infinity 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:	14 Dec 2023 18:14
Last Modified:	14 Dec 2023 18:14
Item ID:	22860
Subjects:	Specific Sciences > Mathematics > Foundations Specific Sciences > Mathematics > Logic Specific Sciences > Physics > Quantum Mechanics Specific Sciences > Physics > Relativity Theory
Date:	13 December 2023
URI:	https://philsci-archive.pitt.edu/id/eprint/22860

Available Versions of this Item

• Logical foundations of physics. Resolution of classical and quantum paradoxes in the finitistic paraconsistent logic NAFL. (deposited 01 Jun 2022 17:04)
  • Logical foundations of physics. Resolution of classical and quantum paradoxes in the finitistic paraconsistent logic NAFL. (deposited 27 Feb 2023 20:14)
    • Logical foundations of physics. Resolution of classical and quantum paradoxes in the finitistic paraconsistent logic NAFL. (deposited 14 Dec 2023 18:14) [Currently Displayed]

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item