Kvantifikátor: Porovnání verzí
Smazaný obsah Přidaný obsah
m narovnání přesměrování |
značka: editace z Vizuálního editoru |
||
Řádek 6:
Jak bylo řečeno výše, kvantifikátory vždy referují o objektech, jimž přisuzují nějaké vlastnosti. Nabízejícím se zobecněním je umožnění kvantifikace vlastností, tj. výrazů typu: „Pro každou vlastnost platí, že…“ či „Existuje vlastnost, že…“. Takovéto zobecněné kvantifikátory se nazývají kvantifikátory vyšších řádů.
Je nutné vždy důsledně rozlišovat mezi kvantifikátory vyšších řádů a kvantifikátory klasickými. Jejich pomíchání (v [[teorie množin|teorii množin]] vyjádřené nerozlišováním mezi [[množina]]mi a [[vlastní třída|vlastními třídami]]) vede k mnoha [[paradox|paradoww..x]]ům, z nichž nejznámější je [[Russellův paradox]].
== Odkazy ==
| |||