antinomie implikace

Matematika

Vyjádření problémů vznikajících ze spojení přirozeného jazyka (spojky „jestliže ... pak“) a funktoru implikace, definovaného v klasické matematické logice ve smyslu tzv. materiální implikace maticí pravděpodobnostní funkce (implikace je nepravdivá, pouze když z pravdivého výroku plyne nepravdivý). Lze pak odvodit výroky, jež mají paradoxní charakter, například: „pravdivý výrok je implikován jakýmkoli výrokem“, což v důsledku například znamená: „jestliže 1 + 1 = 5, pak voda teče“. Viz také implikace.

Vytvořeno: 14. 3. 2000
Aktualizováno: 24. 7. 2024
Autor: -red-