IRI
http://www.metaontology.pl/metaontology_populated.owl#abstract_2703
| Label | Language | Type |
|---|---|---|
| abstract of Mathematics, the Empirical Facts, and Logical Necessity | en | rdfs:label |
Annotations
-
has text
-
It is argued that mathematical statements are "a posteriori synthetic" statements of a very special sort, To be called "structure-Analytic" statements. They follow logically from the axioms defining the mathematical structure they are describing--Provided that these axioms are "consistent". Yet, Consistency of these axioms is an empirical claim: it may be "empirically verifiable" by existence of a finite model, Or may have the nature of an "empirically falsifiable hypothesis" that no contradiction can be derived from the axioms
-