Detail príspevku/publikácie

Stupne nekonzistentnosti

Organon F, 2012, vol. 19, Supplementary Issue 1, pp. 95-115.
Súbor na stiahnutie: PDF*

Štatistika dokumentu:

Počet prístupov: 1,019
Počet prístupov dnes: 0
Naposledy zobrazené: 19.08.2018 - 11:18
Počet stiahnutí PDF: 456

Abstrakt

Several mathematical theories, as for instance Newton’s theory of fluxions and fluents, Frege’s theory of the foundations of arithmetic, or Peano’s theory of natural numbers were first formulated in a logically inconsistent form. Only after some period of time consistent formulations of these theories were found. The paper analyzes several historical cases of this “initial inconsistency”. It suggests distinguishing three kinds of inconsistency according to the “distance” of the proposed inconsistent theory from its consistent variant. These three kinds correspond to whether re-formulations, relativizations or re-codings are needed for turning the inconsistent theory into a consistent one.

Kľúčové slová

inconsistency, non-standard analysis, theory of fluctions

*Príspevok je chránený zákonom o autorskom práve a právach súvisiacich s autorským právom (autorský zákon).