Filosofia:kvanttori
kvanttori
| kvanttori |
logiikan looginen vakio, jolla annetaan merkitys sen vaikutusalassa olevien vapaiden muuttujien esiintymille
Kvanttorit ovat modernin predikaattilogiikan merkkejä, joille annetaan vakiomerkitys ja joita käytetään ilmaisemaan (luku)määriä, kvantiteetteja. Klassisessa logiikassa on käytössä kaksi kvanttoria, joista universaalikvanttori viittaa kaikkiin tarkasteltavan universumin tai perusjoukon yksilöihin ja eksistenssikvanttori taas viittaa johonkin (tai ainakin yhteen) tarkasteltavan universumin yksilöön. Usein klassisen predikaattilogiikan systeemeissä otetaan vain toinen näistä perussymboliksi ja toinen määritellään sen ja negaation avulla lyhennysmerkintänä. Kvantifikaatioteoria syntyi 1870-80 -luvuilla toisistaan riippumatta yhtäältä Gottob Fregen (1879) ja toisaalta Charles Peircen (1885) toimesta.
Lähikäsitteet
- ei-looginen vakio (vastakohta)
- eksistenssikvanttori (alakäsite)
- kvantiteetti (ominaisuus)
- muuttuja (koostumussuhteinen vieruskäsite)
- predikaattilogiikka (kokonaisuuskäsite)
- universaalikvanttori (alakäsite)
Alaviitteet
Lähdeviittaus tähän sivuun:
Tieteen termipankki 1.2.2026: Filosofia:kvanttori. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:kvanttori.)