Episteeminen logiikka

Episteeminen logiikka on modaalilogiikan alue, joka käsittelee tietoon liittyvää päättelyä ja käsitteitä, kuten "verifioitu", "mahdollisesti tosi" ja "mahdoton". Vaikka epistemologialla eli tietoteorialla on pitkä antiikin Kreikkaan ulottuva historia, episteeminen logiikka on paljon nuorempi tutkimusala. Ensimmäisen symbolisen ja systemaattisen esityksen aiheesta antoi C. I. Lewis vuonna 1912. Nykyisen muotonsa se sai vuonna 1963 Saul Kripken töiden myötä.

Suurin osa tiedon mallinnusyrityksistä on perustunut mahdollisten maailmojen malliin. Episteemistä logiikkaa sovelletaan monilla aloilla, kuten filosofiassa, teoreettisessa tietojenkäsittelytieteessä, tekoälytutkimuksessa, taloustieteessä ja kielitieteessä.

Katso myös

• Modaalilogiikka

Aiheesta muualla

• Stanford Encyclopedia of Philosophy: (englanniksi)
  • "Epistemic Logic" -- Vincent Hendricks
  • "Modal logic" -- James Garson
  • "Common Knowledge" -- Peter Vanderschraaf
• "Epistemic modal logic" -- Ho Ngoc Duc (englanniksi)
• Tuomo Aho: Propositionaalisten asenteiden logiikka^{[vanhentunut linkki]}