Intuicionistická logika: Porovnání verzí

m
WPCleaner v1.34b - Opraveno pomocí WP:WCW (HTML entity - Popis odkazu před i za jeho koncem)
m (Bot: Odstranění 12 odkazů interwiki, které jsou nyní dostupné na Wikidatech (d:q176786))
m (WPCleaner v1.34b - Opraveno pomocí WP:WCW (HTML entity - Popis odkazu před i za jeho koncem))
'''Intuicionistická logika''' je druh [[logika|logiky]], který nepoužívá [[princip vyloučeného třetího]]. Pravdivostní hodnoty 0 a 1 v ní znamenají „není možno zkonstruovat“zkonstruovat“ a „je možno zkonstruovat“zkonstruovat“. Na rozdíl od běžné (například [[Aristotelés|Aristotelské]]) logiky neplatí princip [[negace]] negace. Například [[implikace]]:
:''Něco nemůže neexistovat'' ⇒ ''musí to existovat''
v intuicionistické logice obecně neplatí.
 
Taková implikace je použita například při důkazu věty z [[matematická analýza|matematické analýzy]], podle níž z každé omezené [[posloupnost (matematika)|posloupnostposloupnosti]]i lze vybrat [[konvergentní posloupnost|konvergentní]] podposloupnost. Nemožnost takového výběru lze snadno dovést do sporu. Z hlediska intuicionistické logiky je ale takový důkaz chybný, protože nedává obecný návod ke konstrukci limity takové posloupnosti v konečném počtu kroků.
 
Intuicionistická logika úzce souvisí s [[teorie vyčíslitelnosti|teorií vyčíslitelnosti]]. Pravdivost v intuicionistické logice lze ztotožnit s algoritmickou řešitelností.
2 767

editací