Entendimiento según Kant

La incertidumbre es la situación cognitiva que se produce cuando se tiene información inadecuada o falta de ella sobre un hecho o situación. Puede consistir en una indefinición, falta de fiabilidad o desconocimiento sobre aquello que se desea conocer. La incertidumbre puede ser de dos tipos: por un lado, la incertidumbre epistémica o informacional, que se genera por defectos o carencias en nuestro conocimiento, pero que en definitiva puede corregirse en parte o totalmente mediante la mejora de la información; y, por otro, la incertidumbre intrínseca, relacionada con el azar y la variabilidad propia de los fenómenos aelatorios y, por tanto, con su impredecibilidad, pero que puede ser parcialmente determinada y manejada gracias a la estadística, la probabilidad y otros instrumentos.

Reduciendo el ámbito de uso del término cambia ligeramente la acepción. En la teoría de la decisión, por ejemplo, se dice que estamos en una situación de incertidumbre, porque son posibles escenarios o estados de la naturaleza diferentes, pero al mismo tiempo desconocemos sus probabilidades. Cuando las probabilidades son conocidas, se dice que estamos en situación de riesgo. Por ejemplo, si estamos seguros de que mañana puede nevar o llover, pero no sabemos las probabilidades de nevar y llover, estamos en una situación de incertidumbre; si sabemos que la probabilidad de nevar es 0.6 y la de hacer llover 0.4, estamos en una situación de riesgo. En metrología, por otro lado, la incertidumbre está relacionada como la situación en la que se desconoce el valor exacto de un parámetro y únicamente podemos fijar un intervalo para los posibles valores que puede tomar.

Hay que destacar que la incertidumbre no siempre se reduce añadiendo información. De hecho, muchas veces con mayor información la incertidumbre también es mayor; por ejemplo, al recibir más información sobre un sistema se pueden detectar nuevos elementos y componentes, pero sin saber cómo son las relaciones entre ellos.

Un silogismo es un argumento lógico, que partiendo de dos proposiciones llamadas premisas (premisa mayor la principal o general, y premisa menor, la específica) se deduce una tercera proposición llamada conclusión. 

Una lógica formal es un sistema de inferencia, como metodología que establece proposiciones argumentalmente válidas a partir de otras proposiciones, basado en un lenguaje formal o conjunto de símbolos o tokens con significado concreto o abstracto que se combinan entre sí a través de una reglas gramaticales exactas, de forma que se puede establecer de forma sistemática lo que se puede decir o no con validez en ese lenguaje. De esta forma, la lógica formal se opone a la lógica natural basada en el lenguaje natural u ordinario que utilizamos, que posee unas reglas a veces ambiguas, aunque de esta forma se conforma como una lógica mucho más rica y profunda que la lógica formal en relación a los significados que puede construir.

En filosofía, tabula rasa (préstamo del latín, literalmente "mesa limpia") es un principio epistemológico que afirma que los seres humanos nacen sin conocimiento (y, por tanto, son como una mesa limpia), que los conocimientos se conforman a lo largo de la vida y que, por tanto, no existen las ideas innatas o previas alnacimiento. Fue planteada por el filósofo inglés John Locke (1632-1704) y está considerada como uno de los principales principios del empirismo. Para justificar el principio tabula rasa, Locke se refirió a la diversidad cultural que se podía observar en las diferentes culturas y al desconocimiento casi absoluto que muestran los niños recién nacidos. Los principios opuestos a la tabula rasa de denominan innatismo y  nativismo psicológico.