Filosofia:intensionaaliset logiikat

    Tieteen termipankista

    intensionaaliset logiikat

    intensionaaliset logiikat
    Määritelmä logiikat, jotka sisältävät intensionaalisia käsitteitä tai termejä
    Selite Intensionaalisissa logiikoissa on loogisia vakioita, joiden merkitys ei määrity ekstensionaalisesti. Esim. aleettiset modaalioperaattorit "on mahdollista että", ◊, ja "on välttämätöntä että", □, ovat intensionaalisia loogisia vakioita sillä lauseen "on välttämätöntä että A", □A, totuus ei riipu vain siitä sattuuko A olemaan tosi tai ei, vaan myös siitä millä tavalla A on tosi. Muita intensionaalisia logiikoita ovat mm. deonttiset logiikat, jotka tutkivat velvollisuutta ja sallittavuutta sekä lukuisat propositionaalisten asenteiden logiikat, kuten tietämisen ja uskomisen logiikkaa tutkiva episteeminen logiikka.

    Erikieliset vastineet

    intensional logicsenglanti (English)

    Lähikäsitteet

    Käytetyt lähteet

    RantalaV&VirtanenA

    Alaviitteet

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