Intuicionistická logika: Porovnání verzí
m oprava odkazu |
m robot přidal: fr odebral: de, eo, es, nl, pt, ru, tr změnil: en, it, ja, pl |
||
Řádek 10: | Řádek 10: | ||
[[Kategorie:Epistemologie]] |
[[Kategorie:Epistemologie]] |
||
[[en:Intuitionistic logic]] |
|||
[[de:Intuitionismus]] |
|||
[[fr:Logique intuitionniste]] |
|||
[[en:Intuitionism]] |
|||
[[it:Logica intuizionista]] |
|||
[[eo:Intuiciismo]] |
|||
[[ |
[[ja:直観論理]] |
||
[[pl:Logika intuicjonistyczna]] |
|||
[[it:Intuizionismo]] |
|||
[[ja:数学的直観主義]] |
|||
[[nl:Intuïtionisme]] |
|||
[[pl:Intuicjonizm (matematyka)]] |
|||
[[pt:Intuicionismo]] |
|||
[[ru:Интуиционизм]] |
|||
[[tr:Sezgici Matematik]] |
|||
[[zh:数学直觉主义]] |
[[zh:数学直觉主义]] |
Verze z 26. 2. 2007, 00:16
Intuicionistická logika je druh logiky, který nepoužívá princip vyloučeného třetího. Pravdivostní hodnoty 0 a 1 v ní znamenají „není možno zkonstruovat“ a „je možno zkonstruovat“. Na rozdíl od běžné (například 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ýzy, podle níž z každé omezené posloupnosti lze vybrat 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 teorií vyčíslitelnosti. Pravdivost v intuicionistické logice lze ztotožnit s algoritmickou řešitelností.