Filosofia:predikaattilogiikka

From Tieteen termipankki
Jump to: navigation, search

predikaattilogiikka

predikaattilogiikka
Definition lauselogiikan laajennus, jossa yksinkertaisia atomilauseita muodostetaan yksilönimistä ja predikaateista
Explanation Ensimmäisen kertaluvun predikaattilogiikan kehitti Gottlob Frege (1848-1925). Predikaattilogiikka eroaa lauselogiikasta siinä, että predikaattilogiikassa eritellään myös lauseiden sisäistä rakennetta. Käytettävissä olevaa muodollista kieltä rikastetaan kvanttoreilla, jotka vastaavat arkikielen ilmaisuja "on olemassa x" ja "jokainen x". Siten predikaattilogiikan ilmaisuvoima on huomattava ja suurin merkittävä osa tieteen kielestä voidaan ilmaista sen avulla.

Related Concepts

Sources

NiiniluotoI2015, Logos2007, SaarinenE1994

References

Lähdeviittaus tähän sivuun:
Tieteen termipankki 20.05.2019: Filosofia:predikaattilogiikka. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:predikaattilogiikka.)


Siirry tarkastelemaan sivun muokkaushistoriaa →