Lógica (plan aprendizaje)
Así como el objeto de estudio tradicional de la química es la materia, y el de la biología la vida, el de la lógica es la inferencia. La inferencia es el proceso por el cual se derivan conclusiones a partir de premisas. La lógica investiga los fundamentos por los cuales algunas inferencias son aceptables, y otras no. Cuando una inferencia es aceptable, lo es por su estructura lógica, y no por el contenido específico del argumento o el lenguaje utilizado. Por esta razón la lógica se considera una ciencia formal, como la matemática, en vez de una ciencia empírica. La lógica tradicionalmente se consideró una rama de la filosofía. Pero desde finales del siglo XIX, su formalización simbólica ha demostrado una íntima relación con las matemáticas, y dio lugar a la lógica matemática. En el siglo XX la lógica ha pasado a ser principalmente la lógica simbólica, un cálculo definido por símbolos y reglas de inferencia, lo que ha permitido su aplicación a la informática.
Lógica epistémica
La lógica epistémica es un campo de la lógica modal que se ocupa del razonamiento sobre el conocimiento. Mientras que la epistemología posee una larga tradición filosófica que se origina en la Grecia Antigua, la lógica epistémica es un desarrollo mucho más reciente con aplicaciones en numerosos campos, tales como filosofía, ciencia computacional teórica, inteligencia artificial, economía y lingüística. Mientras que los filósofos a partir de Aristóteles han discutido la lógica modal, y los filósofos medievales tales como Ockham y Duns Scotus desarrollaron numerosas observaciones, fue C.I. Lewis quién en 1912 realizó el primer tratamiento simbólico y sistemático de este tema. El tema continuó madurando, alcanzando su forma moderna en 1963 a partir del trabajo de Kripke.  Durante la década de 1950 se publicaron numerosos trabajos que mencionaban al pasar una lógica del conocimiento, pero es recién el trabajo de von Wright titulado "An Essay in Modal Logic" publicado en 1951 el que es reconocido como el documento fundacional. No fue sino hasta 1962 en que Hintikka, escribe "Knowledge and Belief", el primer trabajo extenso en que sugiere utilizar modalidades para capturar la semántica del conocimiento en vez de utilizar las premisas aléticas con que típicamente se desarrolla la lógica modal. Si bien este trabajo sentó las bases del tema, desde entonces se han realizado numerosas investigaciones y avances. Por ejemplo, la lógica epistémica ha sido recientemente combinada con algunas ideas tomadas de la lógica dinámica para crear una lógica de las comunicaciones públicas y una lógica de actualización de producto, que intentan modelar las sutilezas epistémicas de las conversaciones. Los trabajos fundacionales en este campo son los realizados por Plaza, van Benthem, y Baltag, Moss, y Solecki.