@article {1044,
title = {Stupne nekonzistentnosti},
journal = {Organon F},
volume = {19},
number = {1},
year = {2012},
pages = {95-115},
type = {State},
abstract = {Several mathematical theories, as for instance Newton{\textquoteright}s theory of fluxions and fluents, Frege{\textquoteright}s theory of the foundations of arithmetic, or Peano{\textquoteright}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 {\textquotedblleft}initial inconsistency{\textquotedblright}. It suggests distinguishing three kinds of inconsistency according to the {\textquotedblleft}distance{\textquotedblright} 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.},
keywords = {inconsistency, non-standard analysis, theory of fluctions},
url = {http://www.klemens.sav.sk/fiusav/doc/organon/prilohy/2012/1/95-115.pdf},
author = {Kvasz, Ladislav}
}