Intuicionistická logika: Porovnání verzí
oprava překlepu značka: editace z Vizuálního editoru |
+Související články, +Kategorie:Konstruktivismus (matematika), -Kategorie:Logika, +Portály |
||
Řádek 8: | Řádek 8: | ||
Sémantiku intuicionistické logiky zachycuje [[Heytingova algebra]]. |
Sémantiku intuicionistické logiky zachycuje [[Heytingova algebra]]. |
||
== Odkazy == |
|||
=== Související články === |
|||
* [[Brouwerova–Heytingova–Kolmogorovova interpretace]] |
|||
* [[Heytingova algebra]] |
|||
{{Portály|Matematika}} |
|||
{{Autoritní data}} |
{{Autoritní data}} |
||
[[Kategorie: |
[[Kategorie:Konstruktivismus (matematika)]] |
||
[[Kategorie:Gnozeologie]] |
[[Kategorie:Gnozeologie]] |
Verze z 23. 1. 2020, 23:19
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í.
Sémantiku intuicionistické logiky zachycuje Heytingova algebra.