Episztemikus logika

Az episztemikus logika ( görögül επιστήμη  - tudás; a tudás logikája is ) - a modális logika alfaja , amely a tudás állapotára vonatkozó kijelentésekkel foglalkozik . A „tud”, „hisz” fogalmakkal operál.

Az episztemikus logika bizonyos vonatkozásait Arisztotelész , néhány középkori filozófus, köztük Ockham és Duns Scott tárgyalta . Az első szisztematikus kutatást a témában Clarence Lewis végezte 1912 -ben , ő vezette be a szimbolikát is; Sol Kripke ( 1963 ), Georg Henrik von Wright , Jaakko Hintikka ( 1962 ) modern formáját adták az iránynak .

A tudás logikáját Robert Aumann ( közgazdasági Nobel-díj 2005) alkalmazta a közgazdaságtanra.

Irodalom

• Hintikka, Ja. " Tudás és hit: Bevezetés a két fogalom logikájába " 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. Epistemic Logic: A Survey of the Logic of Knowledge University of Pittsburgh Press, 2005. ISBN 978-0-8229-4246-7 .
• Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi: Dinamikus episztemikus logika , Springer 2007 ISBN 978-1-4020-5838-7 .
• Meyer, J.-JC, 2001, Epistemic Logic in Goble, Lou, szerk., The Blackwell Guide to Philosophical Logic. Blackwell.