TY - JOUR
T1 - Stupne nekonzistentnosti
JF - Organon F
Y1 - 2012
A1 - Kvasz, Ladislav
KW - inconsistency
KW - non-standard analysis
KW - theory of fluctions
AB - 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.
IS - 1
VL - 19
SP - 95-115
UR - http://www.klemens.sav.sk/fiusav/doc/organon/prilohy/2012/1/95-115.pdf
U2 - Papers
U3 - 95115
U5 - 1
TI - Degrees of Inconsistency
ER -