Filosofia:toisen kertaluvun logiikka
toisen kertaluvun logiikka
| toisen kertaluvun logiikka |
Määritelmä (fi)
predikaattimuuttujia sisältävä predikaattilogiikka
Selite (fi)
Toisen kertaluvun predikaattilogiikka sisältää predikaattimuuttujia, jolloin voidaan kvantifioida myös predikaattien yli. Mikäli predikaattien semantiikka määritellään ekstensionaalisesti niin, että predikaatit viittaavat yksilöolioiden joukkoihin, predikaattien yli kvantifiointi merkitsee kvantifiointia tarkasteltavan universumin osajoukkojen yli.
Lähikäsitteet
- ensimmäisen kertaluvun logiikka (vieruskäsite)
- looginen semantiikka (funktiosuhde)
- predikaattilogiikka (yläkäsite)
Käytetyt lähteet
Alaviitteet
Lähdeviittaus tähän sivuun:
Tieteen termipankki 10.2.2026: Filosofia:toisen kertaluvun logiikka. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:toisen kertaluvun logiikka.)