extenzionální logika
čeština editovat
slovní spojení editovat
význam editovat
- logika, která obsah výrazů ztotožňuje s množinami, relacemi, funkcemi a pravdivostními hodnotami (extenzemi výrazů)[1]
- Extenzionální systémy PL1 neumožňují zachytit rozdíl mezi analytickými a empirickými výrazy, tj. neumožňují adekvátně analyzovat význam empirických výrazů, jejichž denotát se jakoby mění v závislosti na okolnostech a čase.
překlady editovat
- extenzionální logika
- angličtina: extensional logic
související editovat
poznámky editovat
- ↑ KRAUS, Jiří, a kol. Nový akademický slovník cizích slov A–Ž. 1. vyd. Praha : Academia, 2005. 879 s. ISBN 80-200-1351-2. Heslo „extenzionální“, s. 228.