Filosofia:predikaattilogiikka

Kohteesta Tieteen termipankki
Loikkaa: valikkoon, hakuun

predikaattilogiikka

predikaattilogiikka
Määritelmä lauselogiikan laajennus, jossa yksinkertaisia atomilauseita muodostetaan yksilönimistä ja predikaateista
Selite 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.

Lähikäsitteet

Käytetyt lähteet

NiiniluotoI2015, Logos2007, SaarinenE1994

Alaviitteet

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