Episteeminen logiikka

Episteeminen logiikka ( kreikaksi επιστήμη  - tieto; myös tiedon logiikka ) - modaalilogiikan alalaji , joka käsittelee tiedon tilaa koskevia väitteitä . Toimii käsitteillä "tietää", "uskoo".

Tietyistä episteemisen logiikan näkökohdista keskustelivat Aristoteles , jotkut keskiaikaiset filosofit, mukaan lukien Ockham ja Duns Scott . Ensimmäisen systemaattisen tutkimuksen aiheesta teki Clarence Lewis vuonna 1912 , hän esitteli myös symbolismin; Sol Kripke ( 1963 ), Georg Henrik von Wright , Jaakko Hintikka ( 1962 ) antoivat suunnalle sen modernin muodon .

Tiedon logiikkaa sovelsi taloustieteeseen Robert Aumann ( taloustieteen Nobel 2005).

Kirjallisuus

• Hintikka, Ja. " Tieto ja usko: Johdatus kahden käsitteen logiikkaan " Cornell, University Press, 1962.
• R. Fagin, J. Y. Halpern, Y. Moses, M. Y. Vardi. "Reasoning about Knowledge" , The MIT Press, 1995. ISBN 0-262-56200-6 .
• Rescher, N. Episteeminen logiikka: Tutkimus logiikan tiedosta University of Pittsburgh Press, 2005. ISBN 978-0-8229-4246-7 .
• Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi: Dynamic Epistemic Logic , Springer 2007 ISBN 978-1-4020-5838-7 .
• Meyer, J.-JC, 2001, Epistemic Logic in Goble, Lou, toim., The Blackwell Guide to Philosophical Logic. Blackwell.