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.

Datum vytvoření: 14. 3. 2000
Datum aktualizace: 6. 4. 2024
Autor: -red-

Reklama: