Inkonzistence

Z Wikipedie, otevřené encyklopedie

Termín inkonzistence je v českém jazyce používán obvykle ve smyslu "nesoudržnost", přeneseně také "neúplnost", "rozporuplnost". Význam se do značné míry liší podle oblasti, ve které je termín používán a podle kontextu jeho použití.

Příkladem použití jsou:

  • logická inkonzistence - Pokud v rámci nějaké formální vědecké teorie lze dojít z použitých předpokladů (axiomů) k opačným tvrzením, je taková teorie označována jako inkonzistentní (nebo také sporná). Zkoumáním konzistence (resp. inkonzistence) axiomatických soustav se zabývá matematická logika
  • názorová inkonzistence - Jedná se o obdobu logické inkonzistence v kontextu běžné mluvené řeči. Typicky se používá v rozborech politických programů a politické činnosti jako takové. (Příkladem inkonzistence v tomto smyslu může být prosazování staveb necitlivých k životnímu prostředí politickou stranou, která má ve svém volebním programu jako jednu z priorit jeho důslednou ochranu, nebo zvyšování sociálních dávek zároveň s proklamacemi o nutnosti šetřit a snižovat schodek státního rozpočtu.)
  • datová inkonzistence - Termín se používá například v oblasti relačních databází a označuje stav, kdy konkrétní data porušují pravidla a omezení, která jsou na ně kladena (například pravidla o cizím klíči nebo o jedinečnosti primárního klíče).
  • programová inkonzistence - Termín se používá v programování v případech, kdy je nějaký objekt (například proměnná) používán více vzájemně kolidujícími způsoby. Dochází tím k nedodržení tzv. programových invariantů a program se jako celek stává náchylným k chybám a nepředloženému chování.