„Kvantor (logika)” változatai közötti eltérés

[[Kép:Venn1.png|jobbra|bélyegkép|300px|Egy tipikus kvantoros következtetés ábrázolása Venn-diagramon. Mivel az ''emberek'' és ''halandók'' közös részét jelentő tartományban van létezési jel (<big>☺</big>) ezért igaz a következtetés.]]

A '''kvantorok elmélete''' a ''„minden”'' (all) és ''„létezik”'' (exists) szavak használatát kívánja vizsgálni speciális, [[logika]]i szempontból. Bár ez a vizsgálódás a [[természetes nyelv]] szűk töredékének működését, pusztán a logikai jelentést figyelembe véve tárja fel, mégis számos alkalmazása van a [[nyelvtudomány]]ban, a [[formális nyelv]]ek elméletében és nélkülözhetetlen a [[metafizika]] és az [[ismeretelmélet]] számára. A '''kvantor'''ok, vagyis a ∀ szimbólummal jelölt ''„minden”'' szó és a ∃ szimbólummal jelölt ''„létezik”'' szó lépten nyomon előbukkan a [[matematika|matematikában]].