<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Kvasz, Ladislav</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Stupne nekonzistentnosti</style></title><secondary-title><style face="normal" font="default" size="100%">Organon F</style></secondary-title><translated-title><style face="normal" font="default" size="100%">Degrees of Inconsistency</style></translated-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">inconsistency</style></keyword><keyword><style  face="normal" font="default" size="100%">non-standard analysis</style></keyword><keyword><style  face="normal" font="default" size="100%">theory of fluctions</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2012</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://www.klemens.sav.sk/fiusav/doc/organon/prilohy/2012/1/95-115.pdf</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">1</style></number><volume><style face="normal" font="default" size="100%">19</style></volume><pages><style face="normal" font="default" size="100%">95-115</style></pages><abstract><style face="normal" font="default" size="100%">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.</style></abstract><work-type><style face="normal" font="default" size="100%">State</style></work-type><custom2><style face="normal" font="default" size="100%">Papers</style></custom2><custom3><style face="normal" font="default" size="100%">95115</style></custom3><custom5><style face="normal" font="default" size="100%">1</style></custom5></record></records></xml>