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

A '''kvantorok elmélete''' a ''„minden”'' és ''„létezik”'' 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]].

 

nyitott mondatból ([[logikai grammatika#A leggyakoribb funktortípusok|''predikátum'']]ból) nem csak úgy kaphatunk zárt mondatot, hogy egy nevet helyettesítünk a kitöltetlen helyre: ''„[[Szókratész]] halandó”''. Kijelentő mondatot kapunk úgy is, ha a nyitott mondatot teljesítő alanyok számára teszünk valamilyen állítást:

:''„Mindenki halandó”'' ([[univerzális kvantifikáció]]),

:''„Létezik, aki halandó”'' (egzisztenciális kvantifikáció),

:''„100 van, aki halandó”'' (numerikus kvantifikáció).

 

==A vizsgálódás története==