Intuicionistická logika: Porovnání verzí
m Robot změnil Kategorie:Epistemologie |
m Robot: Přidávám de:Intuitionismus, tr:Sezgicilik |
||
| Řádek 10: | Řádek 10: | ||
[[Kategorie:Gnozeologie]] |
[[Kategorie:Gnozeologie]] |
||
[[de:Intuitionismus]] |
|||
[[en:Intuitionistic logic]] |
[[en:Intuitionistic logic]] |
||
[[es:Lógica intuicionista]] |
[[es:Lógica intuicionista]] |
||
| Řádek 19: | Řádek 20: | ||
[[ru:Интуиционистское исчисление высказываний]] |
[[ru:Интуиционистское исчисление высказываний]] |
||
[[sv:Intuitionistisk logik]] |
[[sv:Intuitionistisk logik]] |
||
[[tr:Sezgicilik]] |
|||
[[zh:直觉主义逻辑]] |
[[zh:直觉主义逻辑]] |
||
Verze z 6. 5. 2012, 12:08
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í.