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

VäänänenJ

Alaviitteet

Lähdeviittaus tähän sivuun:
Tieteen termipankki 25.4.2024: Filosofia:toisen kertaluvun logiikka. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:toisen kertaluvun logiikka.)

Siirry tarkastelemaan sivun muokkaushistoriaa →