1.

El análisis filosófico de la naturaleza del conocimiento y las condiciones

requeridas para que una creencia haga parte del conocimiento, como la
verdad y la justificación.
2. Recursos potenciales del conocimiento y creencias justificadas como
la percepción, la razón, la memoria y el testimonio.
3. La estructura del conocimiento o de la creencia justificada incluyendo si
todas las creencias justificadas deberían derivarse de creencias originales
justificadas o si la justificación requiere solo un conjunto coherente de
creencias.
4. Escepticismo filosófico, el cual cuestiona la posibilidad del conocimiento y
problemas relacionados como si el escepticismo fuera una amenaza para
nuestro conocimiento común y si es posible refutar argumentos escépticos.
Las teorías del conocimiento específicas son también parte de la epistemología, por
ejemplo la epistemología de las ciencias físicas o de las ciencias psicológicas.
Lógica[editar]
Esta sección es un extracto de Lógica[editar]

Este artículo o sección tiene referencias, pero necesita más para

complementar su verificabilidad.
Este aviso fue puesto el 28 de octubre de 2018.

Esquema del modus ponens, una regla de inferencia fundamental de la lógica proposicional.

La lógica es una rama de la filosofía41 de carácter interdisciplinario, entendida como

la ciencia formal que estudia los principios de la demostración y la inferencia válida,42
las falacias, las paradojas y la noción de verdad.43
La lógica se divide en varias categorías según su campo de estudio. La lógica
filosófica estudia el concepto y la definición, la enunciación o proposición y
la argumentación utilizando los métodos y resultados de la lógica moderna para el estudio
de problemas filosóficos. La lógica matemática estudia la inferencia mediante sistemas
formales como la lógica proposicional, la lógica de primer orden y la lógica modal.
La lógica informal se enfoca en el desarrollo lingüístico de los razonamientos y
sus falacias. La lógica computacional es la aplicación de la lógica matemática a
las ciencias de la computación.
Los orígenes de la lógica se remontan a la Edad Antigua, con brotes independientes en
China, India y Grecia. Desde entonces, la lógica tradicionalmente se considera una rama
de la filosofía, pero en el siglo XX la lógica ha pasado a ser principalmente la lógica
matemática, y por lo tanto ahora también se considera parte de las matemáticas, e incluso
una ciencia formal independiente.
No existe un acuerdo universal sobre la definición exacta o los límites de la lógica. 444546 Sin
embargo, el ámbito de la lógica (interpretada en sentido amplio) incluye: