TEORIA DEL CONOCIMIENTO:
Es el intento intelectual de explicar la forma en la que adquirimos el conocimiento del mundo y los procedimientos por los que es generado ese conocimiento, de tal forma que pueda ser valorado ya como verdadero o como falso. Como su nombre lo indica, lo que pretende es crear una teoría (Cuerpo sistematizado de ideas sobre una materia) a cerca del conocimiento.
La Teoría del Conocimiento, junto con la metafísica, la ética y la estética, constituye una de las ramas principales de la filosofía, sus orígenes se remontan a la filosofía griega. Su definición se enuncia como la doctrina a cerca de las ideas sobre el conocimiento, la generación (formas de acceder a él) y la validez del conocimiento. Como disciplina ha evolucionado desde el tiempo de los griegos, en su desarrollo se han generado diferentes posturas en torno a que es el conocimiento, como se accede a este y cuales son los criterios de validez del mismo. En la tradición Inglesa de la filosofía esta disciplina es conocida como “Filosofía de la Ciencia”, mientras que en la tradición norteamericana se le conoce como “Teoría del Conocimiento”, sin embargo los avancen de investigación en el área de la cibernética, la computación, la neurología y la psicología ha provocado que hoy en nuestros días, se maneje de forma indiferenciada la “Teoría del Conocimiento” y la “Epistemología” como si se tratara de sinónimos, a lo cual las ciencias cognitivas (nombre que han adquirido las disciplinas que investigan la mente humana y sus procesos cognitivos) reclaman el término de "Epistemología" para referirse a estos esfuerzos sistemáticos con base experimental sobre el conocimiento, para distinguirlo de las reflexiones de orden filosófico que plantearon las preguntas centrales sobre el conocimiento. La revisión de cómo ha venido evolucionando esta disciplina a través del tiempo es el objeto de este curso, así como sus repercusiones para la Construcción de Carrera, es decir el perfil que cada estudiante infiere a su formación profesional, y las consecuencias que implica su desarrollo en los procedimientos para la investigación en el campo de las ciencias sociales.

Logica Formal
La lógica formal, a diferencia de la lógica informal, se dedica al estudio de los razonamientos correctos, desarrollándolos de manera formal y esquematizada, es decir de una forma no cotidiana. Este tipo de lógica parte de los razonamientos correctos conocidos para desarrollar una teoría lógica y consecuentemente, razonamientos más complejos que no se utilizan normalmente en la vida cotidiana. A partir de la idea de que quien la estudia "razona bien", puede desarrollar argumentos racionales extremadamente complejos, y de gran alcance. Este tipo de lógica no debe ser confundido con la lógica simbólica ni con la lógica matemática, que son tipos de lógica que se encuentran dentro del campo de la lógica formal.