Tieteen termipankki
fi lausefunktio; propositionaalinen funktio; avoin kaava
määritelmä
nimitys lauseiden tai propositioiden predikaattiosalle
nimitys lauseiden tai propositioiden predikaattiosalle
selite
Lauseiden tai propositioiden predikaattiloogisessa analyysissä kaikki yleiskäsitteitä tai -suhteita koskavat termit eristetään lauseen predikaattiosaan ja subjektiosaan jää pelkkiä erisnimiä ja kvanttoreita. Bertrand Russell (1872-1870) nimitti tämän proposition predikaattiosan propositionaaliseksi funktioksi, joka täydentyy propositioksi, kun funktion vapaiden muuttujien paikalle sijoitetaan yksilöolioita (tai niiden nimiä) tai ne kvantifioidaan. Propositioksi täydennetty propositionaalinen funktio saa arvokseen proposition totuusarvon. Suomen kielellä propositionaalista funktiota kutsutaan yleensä lausefunktioksi. Russellin käsitys pohjasi Gottlob Fregen (1848-1925) tavalle puhua käsitteistä funktioina. Myös Charles Peircen (1839-1914) käsite "reema" toimii pitkälti propositionaalisen funktion tapaan.
Lauseiden tai propositioiden predikaattiloogisessa analyysissä kaikki yleiskäsitteitä tai -suhteita koskavat termit eristetään lauseen predikaattiosaan ja subjektiosaan jää pelkkiä erisnimiä ja kvanttoreita. Bertrand Russell (1872-1870) nimitti tämän proposition predikaattiosan propositionaaliseksi funktioksi, joka täydentyy propositioksi, kun funktion vapaiden muuttujien paikalle sijoitetaan yksilöolioita (tai niiden nimiä) tai ne kvantifioidaan. Propositioksi täydennetty propositionaalinen funktio saa arvokseen proposition totuusarvon. Suomen kielellä propositionaalista funktiota kutsutaan yleensä lausefunktioksi. Russellin käsitys pohjasi Gottlob Fregen (1848-1925) tavalle puhua käsitteistä funktioina. Myös Charles Peircen (1839-1914) käsite "reema" toimii pitkälti propositionaalisen funktion tapaan.
Luokitus: |
| |||
Lähde: |
|
Lähikäsite: predikaatti