Filosofia:toisen kertaluvun logiikka
toisen kertaluvun logiikka
| toisen kertaluvun logiikka |
Määritelmä
predikaattimuuttujia sisältävä predikaattilogiikka
Selite
Toisen kertaluvun predikaattilogiikka sisältää predikaattimuuttujia, jolloin voidaan kvantifioida myös predikaattien yli. Mikäli ominaisuudet määritellään ekstensionaalisesti yksilöolioiden luokiksi, voidaan sanoa, että toisen kertaluvun logiikassa predikaattimuuttujat saavat arvoikseen ominaisuuksia ja suhteita.
Lähikäsitteet
- ensimmäisen kertaluvun logiikka (vieruskäsite)
Käytetyt lähteet
Alaviitteet
Lähdeviittaus tähän sivuun:
Tieteen termipankki 21.11.2024: Filosofia:toisen kertaluvun logiikka. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:toisen kertaluvun logiikka.)