Filosofia:episteeminen logiikka
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 logic | englanti (English) |
Lähikäsitteet
- doksastinen logiikka (alakäsite)
- logiikka (yläkäsite)
- modaalilogiikka (yläkäsite)
- tietoteoria
Käytetyt lähteet
Alaviitteet
Lähdeviittaus tähän sivuun:
Tieteen termipankki 30.12.2024: Filosofia:episteeminen logiikka. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:episteeminen logiikka.)