Intuicionistická logika: Porovnání verzí
Smazaný obsah Přidaný obsah
m warnfile Přidal:it,tr |
m rozsireni jedne vety |
||
| Řádek 1: | Řádek 1: | ||
'''Intuicionistická logika''' je druh [[logika|logiky]], který nepoužívá [[princip vyloučeného třetího]]. Pravdivostní hodnoty 0 a 1 v ní znamenají „je možno zkonstruovat“ a „není možno zkonstruovat“. Na rozdíl od běžné (například [[Aristotelés|Aristotelské]]) logiky neplatí princip [[negace]] negace. Například [[implikace]]: |
'''Intuicionistická logika''' je druh [[logika|logiky]], který nepoužívá [[princip vyloučeného třetího]]. Pravdivostní hodnoty 0 a 1 v ní znamenají „je možno zkonstruovat“ a „není možno 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'' |
:''Něco nemůže neexistovat'' ⇒ ''musí to existovat'' |
||
v intuicionistické logice obecně neplatí. |
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]]i lze vybrat [[konvergence|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ý. |
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]]i lze vybrat [[konvergence|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ů. |
||
[[Kategorie:Logika]] |
[[Kategorie:Logika]] |
||
Verze z 1. 7. 2005, 15:39
Intuicionistická logika je druh logiky, který nepoužívá princip vyloučeného třetího. Pravdivostní hodnoty 0 a 1 v ní znamenají „je možno zkonstruovat“ a „není 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ů.