English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

The subject matter of this research is Kant’s apriorism underlying Hilbert’s formalism in the philosophical grounding of mathematics as a self-sufficing system. The research aim is the invention of such a logically formalized axiomatic epistemology system, in which it is possible to construct formal deductive inferences of formulae—modeling the formalism ideal of Hilbert—from the assumption of Kant’s apriorism in relation to mathematical knowledge. The research method is hypothetical–deductive (axiomatic). The research results and their scientific novelty are based on a logically formalized axiomatic system of epistemology called Σ + C, constructed here for the first time. In comparison with the already published formal epistemology systems Ξ and Σ, some of the axiom schemes here are generalized in Σ + C, and a new symbol is included in the object-language alphabet of Σ + C, namely, the symbol representing the perfection modality, C: “it is consistent that…”. The meaning of this modality is defined by the system of axiom schemes of Σ + C. A deductive proof of the consistency of Σ + C is submitted. For the first time, by means of Σ + C, it is deductively demonstrated that, from the conjunction of Σ + C and either the first or second version of Gödel’s theorem of incompleteness of a formal arithmetic system, the formal arithmetic investigated by Gödel is a representation of an empirical knowledge system. Thus, Kant’s view of mathematics as a self-sufficient, pure, a priori knowledge system is falsified.

A Logically Formalized Axiomatic Epistemology System Σ + C and Philosophical Grounding Mathematics as a Self-Sufficing System