Property Value
dbo:abstract
  • A kvantorok elmélete a „minden” és „létezik” szavak használatát kívánja vizsgálni speciális, logikai 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ányban, a formális nyelvek elméletében és nélkülözhetetlen a metafizika és az ismeretelmélet számára. A kvantorok, vagyis a ∀ szimbólummal jelölt „minden” szó és a ∃ szimbólummal jelölt „létezik” szó lépten nyomon előbukkan a matematikában. A kvantifikáció menete lényegében a következő. A „… halandó”nyitott mondatból (predikátumbó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 mondat eme mennyiségi jellemzőjét nevezte Arisztotelész kvantitásnak, az utókor pedig az említett szavakat kvantornak. (hu)
  • A kvantorok elmélete a „minden” és „létezik” szavak használatát kívánja vizsgálni speciális, logikai 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ányban, a formális nyelvek elméletében és nélkülözhetetlen a metafizika és az ismeretelmélet számára. A kvantorok, vagyis a ∀ szimbólummal jelölt „minden” szó és a ∃ szimbólummal jelölt „létezik” szó lépten nyomon előbukkan a matematikában. A kvantifikáció menete lényegében a következő. A „… halandó”nyitott mondatból (predikátumbó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 mondat eme mennyiségi jellemzőjét nevezte Arisztotelész kvantitásnak, az utókor pedig az említett szavakat kvantornak. (hu)
dbo:wikiPageID
  • 124584 (xsd:integer)
dbo:wikiPageLength
  • 11475 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 22107598 (xsd:integer)
prop-hu:wikiPageUsesTemplate
dct:subject
rdfs:label
  • Kvantor (logika) (hu)
  • Kvantor (logika) (hu)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is foaf:primaryTopic of