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

Same Individuals

Data properties