Informe bibliográfico sobre la lógica (epistémica) de la conciencia

• Autores: Claudia Fernández Fernández
• Localización: Contrastes: revista internacional de filosofía, ISSN-e 2659-921X, ISSN 1136-4076, Vol. 24, Nº 3, 2019, págs. 105-120
• Idioma: español
• Títulos paralelos:
  • Bibliographic report on (epistemic) awareness logic
• Enlaces
  • Texto completo (pdf)
• Resumen
  • español

    La lógica de la conciencia es una extensión de la lógica epistémica que solventa el problema de la omnisciencia lógica incorporando un operador de conciencia para separar el conocimiento explícito del implícito. Este informe recopila los principales textos tanto de los orígenes de esta lógica, así como de sus desarrollos en las últimas tres décadas. En concreto analiza los enfoques desde la lógica epistémica dinámica, desde su combinación con otras lógicas y los enfoques de teoría de juegos.

  • English

    Awareness Logic is an extension of epistemic logic that solves the problem of logical omniscience by incorporating an awareness operator that separates the explicit knowledge from the implicit one. This report collects the most prominent works regarding the beginnings of this logic, as well as its developments in the past three decades. Specifically, it reviews the approaches from Dynamic Epistemic Logic, from the ones that combine other logics with Awareness Logic and those from Game Theory.

• Referencias bibliográficas
  • ÅGNOTES, T. y ALECHINA, N. (2014). Journal of Logic, Language and Information, 23: 105.
  • ARTEMOV, S. (2008). The logic of justification. The Review of Symbolic Logic, 1(4): 477-513.
  • ARTEMOV, S. (2018). Justification Awareness Models. En ARTEMOV, S. y NERODE, A. (eds.): Logical Foundations of Computer Science. LFCS 2018....
  • ARTEMOV, S. N. y NOGINA, E. (2005). Introducing justification into epistemic logic. Journal of Logic and Computation, 15(6): 1059-1073.
  • BALTAG, A., RENNE, B. y SMETS, S. (2014). The logic of justified belief, explicit knowledge, and conclusive evidence, Annals of Pure and Applied...
  • BURRIEZA, A. y FERNÁNDEZ-FERNÁNDEZ, C. (2015). Distributed explicit knowledge and collective awareness. En Bulletin of the European Association...
  • BUERRIEZA, A. y YUSTE-GINEL, A. (2019). Argument Evaluation in Multi-agent Justification Logics, Logic Journal of the IGPL. (En prensa, accesible...
  • FAGIN, R., HALPERN, J., MOSES, Y. y VARDI, M. Y. (1995). Reasoning about knowledge. Cambridge, Mass: The MIT Press.
  • FAGIN, R. y HALPERN, J. Y. (1988). Belief, awareness, and limited reasoning. Artificial Intelligence, 34(1): 39-76.
  • FERNÁNDEZ-FERNÁNDEZ, C. y VELÁZQUEZ-QUESADA, F. R. (2018). Reconsidering the ‘ingredients’ of explicit knowledge. En ARAZIM, P. y LÁVICKA,...
  • FERNÁNDEZ-FERNÁNDEZ, C. y VELÁZQUEZ-QUESADA, F. R. (2019a). A Formal Model for Explicit Knowledge as Awareness-Of Plus Awareness-That. En...
  • FERNÁNDEZ-FERNÁNDEZ, C. y VELÁZQUEZ-QUESADA, F. R. (2019b). Awareness of and awareness that: their combination and dynamics, Logic Journal...
  • GROSSI, D. y VELÁZQUEZ-QUESADA, F. R. (2010). Twelve angry men: a dynamic-epistemic study of awareness, implicit and explicit information....
  • QUESADA FR (eds), Logic and interactive rationality. Seminar’s yearbook 2009. ILLC, The Netherlands, 42-68.
  • GROSSI, D. y VELÁZQUEZ-QUESADA, F. R. (2015). Syntactic awareness in logical dynamics. Synthese, 192(12): 4071-4105.
  • HALPERN, J. Y. (2001). Alternative Semantics for Unawareness. Games and Economic Behavior, 37, 321-339.
  • HALPERN, J. Y. y RÊGO, L. C. (2008). Interactive unawareness revisited. Games and Economic Behavior, 62(1): 232-262.
  • HEIFETZ, A., MEIER, M. y SCHIPPER, B. C. (2006). Interactive unawareness. Journal of Economic Theory, 130(1): 78-94.
  • HEIFETZ, A., MEIER, M. y SCHIPPER, B. C. (2008). A canonical model for interactive unawareness. Games and Economic Behavior, 62(1): 304-324.
  • HEIFETZ, A., MEIER, M., y SCHIPPER, B. (2013). Dynamic unawareness and rationalizable behavior. Games and Economic Behavior, 81(1): 50-68.
  • HILL, B. (2010). Awareness dynamics. Journal of Philosophical Logic, 39(2): 113-137.
  • HINTIKKA, J. (1962). Knowledge and Belief. Ithaca: Cornell U.P.
  • HINTIKKA, J. (1975). Impossible possible worlds vindicated. Journal of Philosophical Logic, 475-484.
  • HUANG, Z. y KWAST, K. (1991). Awareness, negation and Logical omniscience. En VAN EIJCK, J. (ed), Logics in AI. JELIA 1990. Lecture Notes...
  • KONOLIGE, K. (1986). What awareness isn’t: A sentential view of implicit and explicit belief. En HALPERN, J. Y., editor, Proceedings of the...
  • MEYER, J.-J. CH. y VAN DER HOEK, W. (1995). Epistemic Logic for AI and Computer Science. Cambridge: Cambridge University Press.
  • MODICA, S. y RUSTICHINI, A. (1999). Unawareness and Partitional Information Structures, Games and Economic Behavior, Volume 27, Issue 2, 265-298.
  • MURILLO-CORCHADO, M. V. y NEPOMUCENO-FERNÁNDEZ, Á. (2019). Giro dinámico y lógica de la investigación científica. Revista de Humanidades de...
  • SCHIPPER, B. C. (2015). Awareness. En VAN DITMARSCH, H., HALPERN, J. Y., VAN DER HOEK, W. y KOOI, B., editors, Handbook of Epistemic Logic....
  • SEDLÁR, I. (2013). Justifications, awareness and epistemic dynamics. En ARTEMOV, S. N. y NERODE, A., editors, Logical Foundations of Computer...
  • SILLARI, G. (2007). Models of Awareness. En BONANNO, G., VAN DER HOEK, W. y WOOLDRIDGE, M. (editors), Logic and the Foundations of Game and...
  • SILLARI, G. (2008). Quantified Logic of Awareness and Impossible Worlds. The Review of Symbolic Logic, 1(4): 514-529.
  • VAN BENTHEM, J. (2011). Logical Dynamics of Information and Interaction. Cambridge: Cambridge University Press.
  • VAN BENTHEM, J. y VELÁZQUEZ-QUESADA, F. R. (2010). The dynamics of awareness. Synthese, 177 (Supplement-1): 5-27.
  • VAN DITMARSCH, H. y FRENCH, T. (2009). Awareness and Forgetting of Facts and Agents. IEEE/WIC/ACM International Joint Conference on Web Intelligence...
  • VAN DITMARSCH, H. y FRENCH, T. (2011). Becoming aware of propositional variables. En BANERJEE, M. y SETH, A., editors, Logic and Its Applications...
  • VAN DITMARSCH, H., FRENCH, T. y VELÁZQUEZ-QUESADA, F. R. (2012). Action models for knowledge and awareness. En VAN DER HOEK, W., PADGHAM,...
  • VAN DITMARSCH, H., FRENCH, T., VELÁZQUEZ-QUESADA, F. R. y WÁNG, Y. N. (2013). Knowledge, Awareness, and Bisimulation. En TARK 2013 - Proceedings...
  • VAN DITMARSCH, H., FRENCH, T., VELÁZQUEZ-QUESADA, F. R. y WÁNG, Y. N. (2018). Implicit, explicit and speculative knowledge, Artificial Intelligence,...
  • VAN DITMARSCH, H., VAN DER HOEK, W. y KOOI, B. (2008). Dynamic Epistemic Logic. Dordrecht: Springer.
  • VELÁZQUEZ-QUESADA, F. R. (2011). Small steps in dynamics of information. PhD thesis, Institute for Logic, Language and Computation. Amsterdam:...
  • VELÁZQUEZ-QUESADA, F. R. (2013). Explicit and implicit knowledge in neighbourhood models. En GROSSI, D., ROY, O. y HUANG, H., editors, Logic,...
  • VELÁZQUEZ-QUESADA, F. R. (2014). Dynamic epistemic logic for implicit and explicit beliefs. Journal of Logic, Language and Information, 23(2):...
  • VELÁZQUEZ-QUESADA, F. R. (2018). Bisimulation characterization and expressivity hierarchy of languages for epistemic awareness models, Journal...
  • VON WRIGHT, G. H. (1951). An Essay in Modal Logic. Amsterdam: North-Holland.