Lògica epistèmica
From Wikipedia, the free encyclopedia
La lògica epistèmica és un camp de la lògica modal que s'ocupa del raonament sobre el coneixement. Mentre que l'epistemologia té una llarga tradició filosòfica que s'origina en la Grècia Antiga, la lògica epistèmica és un desenvolupament molt més recent amb aplicacions en nombrosos camps, com ara filosofia, ciència computacional teòrica, intel·ligència artificial, economia i lingüística. Mentre que els filòsofs a partir d'Aristòtil han discutit la lògica modal, i els filòsofs medievals com Guillem d'Occam i Duns Escot van desenvolupar nombroses observacions, va ser Clarence Irving Lewis qui el 1912 va realitzar el primer tractament simbòlic i sistemàtic d'aquest tema. El tema va continuar madurant, arribant a la seva forma moderna a 1963 a partir del treball de Saul Kripke.
Durant la dècada de 1950 es van publicar nombrosos treballs que feia esment en passar una lògica del coneixement, però és acabat el treball de Georg Henrik von Wright titulat «An Essay in Modal Logic» publicat a 1951 el qual és reconegut com el document fundacional. No va ser fins a 1962 que Jaakko Hintikka, escriu «Knowledge and Belief», el primer treball extens que suggereix utilitzar modalitats per capturar la semàntica del coneixement en comptes d'utilitzar les premisses aletes amb què típicament es desenvolupa la lògica modal. Si bé aquest treball va establir les bases del tema, des de llavors s'han realitzat nombroses investigacions i avenços. Per exemple, la lògica epistèmica ha estat recentment combinada amb algunes idees preses de la lògica dinàmica per crear una lògica de les comunicacions públiques i una lògica d'actualització de producte, que intenten modelar les subtileses epistèmiques de les converses. Els treballs fundacionals en aquest camp són els realitzats per Plaza, Johan van Benthem, i Baltag, Moss, i Solecki.