Filosofia:episteeminen logiikka

    Tieteen termipankista

    episteeminen logiikka

    episteeminen logiikka
    Määritelmä intensionaalisen logiikan ala, joka tutkii tietämis- tai uskomisväitteiden logiikkaa siten, että propositioihin kohdistuva tietäminen ja uskominen tulkitaan modaalioperaattoreiksi
    Selite Episteemisessä logiikassa tutkitaan tietämistä ja uskomista ilmaisevia väitelauseita ja pyritään antamaan aksiomaattinen esitys näiden käsitteiden logiikalle. Episteemisellä logiikalla voidaan viitata myös pelkkään tietämisen logiikkaan, jolloin uskomisen logiikkaa kutsutaan doksastiseksi logiikaksi. Episteeminen logiikka syntyi, kun havaittiin että modaalilogiikan välttämättömyysoperaattori voidaan tulkita tietämiseksi tai uskomiseksi, KaA: agentti a tietää että A ja BaA: agentti a uskoo että A. Episteemisen logiikan tärkeimpiä kehittäjiä ovat olleet suomalaiset Georg Henrik von Wright (1916-2003) ja Jaakko Hintikka (1929-).

    Erikieliset vastineet

    epistemic logicenglanti (English)

    Lähikäsitteet

    Käytetyt lähteet

    RantalaV&VirtanenA

    Alaviitteet

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