Authors | |
Abstract |
We show how removing faith-based beliefs in current philosophies of classical and constructive mathematics admits formal, evidence-based, definitions of constructive mathematics; of a constructively well-defined logic of a formal mathematical language; and of a constructively well-defined model of such a language.
We argue that, from an evidence-based perspective, classical approaches which follow Hilbert's formal definitions of quantification can be labelled `theistic'; whilst constructive approaches based on Brouwer's philosophy of Intuitionism can be labelled `atheistic'.
We then adopt what may be labelled a finitary, evidence-based, `agnostic' perspective and argue that Brouwerian atheism is merely a restricted perspective within the finitary agnostic perspective, whilst Hilbertian theism contradicts the finitary agnostic perspective.
We then consider the argument that Tarski's classic definitions permit an intelligence---whether human or mechanistic---to admit finitary, evidence-based, definitions of the satisfaction and truth of the atomic formulas of the first-order Peano Arithmetic PA over the domain N of the natural numbers in two, hitherto unsuspected and essentially different, ways.
We show that the two definitions correspond to two distinctly different---not necessarily evidence-based but complementary---assignments of satisfaction and truth to the compound formulas of PA over N.
We further show that the PA axioms are true over N, and that the PA rules of inference preserve truth over N, under both the complementary interpretations; and conclude some unsuspected constructive consequences of such complementarity for the foundations of mathematics, logic, philosophy, and the physical sciences.
|
Keywords | Agnosticism, algorithmic computability, algorithmic verifiability, atheism, axiom of choice, Bell's inequalities, Bohm, Brouwer, categoricity, Classical Mechanics, Cohen, completeness, comprehension axiom, consistency, de Broglie, emergence, entanglement, EPR paradox, epsilon-calculus, finitary, formal quantification, first-order logic FOL, fundamental dimensionless constants, Goedel, Goodstein's Theorem, Heisenberg, Hilbert, interpretation, Intuitionism, Law of Excluded Middle LEM, Lucas' Goedelian argument, model, omega-consistency, omega-rule, Peano Arithmetic, Poincare, Quantum Mechanics, Rosser's Rule C, second-order arithmetic, subsystem ACA0, Schroedinger's cat paradox, Tarski, theism, truth assignments, uncertainty, undecidability, unspecified. |
Categories | (categorize this paper) |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
On Computable Numbers, with an Application to the N Tscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.
View all 86 references / Add more references
Citations of this work BETA
No citations found.
Similar books and articles
The Truth Assignments That Differentiate Human Reasoning From Mechanistic Reasoning: The Evidence-Based Argument for Lucas' Goedelian Thesis.Bhupinder Singh Anand - 2016 - Cognitive Systems Research 40:35-45.
Do Goedel's Incompleteness Theorems Set Absolute Limits on the Ability of the Brain to Express and Communicate Mental Concepts Verifiably?Bhupinder Singh Anand - 2004 - Neuroquantology 2:60-100.
Internal Categoricity in Arithmetic and Set Theory.Jouko Väänänen & Tong Wang - 2015 - Notre Dame Journal of Formal Logic 56 (1):121-134.
Towards Applied Theories Based on Computability Logic.Giorgi Japaridze - 2010 - Journal of Symbolic Logic 75 (2):565-601.
Finitism: An Essay on Hilbert's Programme.David Watson Galloway - 1991 - Dissertation, Massachusetts Institute of Technology
Troubles with (the Concept of) Truth in Mathematics.Roman Murawski - 2006 - Logic and Logical Philosophy 15 (4):285-303.
Quantum Mathematics.J. Michael Dunn - 1980 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1980:512 - 531.
An Open Formalism Against Incompleteness.Francesc Tomàs - 1999 - Notre Dame Journal of Formal Logic 40 (2):207-226.
Metamathematical Properties of a Constructive Multi-Typed Theory.Farida Kachapova - 2017 - Studia Logica 105 (3):587-610.
Platonism in Classical Logic Versus Formalism in the Proposed Non-Aristotelian Finitary Logic.Radhakrishnan Srinivasan - unknown
A Constructive Analysis of Learning in Peano Arithmetic.Federico Aschieri - 2012 - Annals of Pure and Applied Logic 163 (11):1448-1470.
A Solution to the Surprise Exam Paradox in Constructive Mathematics.Mohammad Ardeshir & Rasoul Ramezanian - 2012 - Review of Symbolic Logic 5 (4):679-686.
The Strong Soundness Theorem for Real Closed Fields and Hilbert’s Nullstellensatz in Second Order Arithmetic.Nobuyuki Sakamoto & Kazuyuki Tanaka - 2004 - Archive for Mathematical Logic 43 (3):337-349.
On the Completeness of a Certain System of Arithmetic of Whole Numbers in Which Addition Occurs as the Only Operation.Mojżesz Presburger & Dale Jabcquette - 1991 - History and Philosophy of Logic 12 (2):225-233.
Analytics
Added to PP index
2018-05-31
Total views
765 ( #6,320 of 2,403,693 )
Recent downloads (6 months)
112 ( #5,311 of 2,403,693 )
2018-05-31
Total views
765 ( #6,320 of 2,403,693 )
Recent downloads (6 months)
112 ( #5,311 of 2,403,693 )
How can I increase my downloads?
Downloads