Filosofia

Gnoseología

Artículo principal: Gnoseología.

La gnoseología es el estudio del origen, la naturaleza y los límites del conocimiento humano.25 En inglés se utiliza la palabra epistemology, que no hay que confundir con la palabra española epistemología que designa específicamente el estudio del conocimiento científico, también denominado filosofía de la ciencia.26 Muchas ciencias particulares tienen además su propia filosofía, como por ejemplo, la filosofía de la historia, la filosofía de la matemática, la filosofía de la física, etcétera.

El experimento mental del cerebro en una cubeta puede poner a prueba distintas teorías acerca del conocimiento.

Dentro de la gnoseología, una parte importante, que algunos consideran incluso una rama independiente de la filosofía,27 es la fenomenología. La fenomenología es el estudio de los fenómenos, es decir de la experiencia de aquello que se nos aparece en la conciencia.27 Más precisamente, la fenomenología estudia la estructura de los distintos tipos de experiencia, tales como la percepción, el pensamiento, el recuerdo, la imaginación, el deseo, etc.27 Algunos de los conceptos centrales de esta disciplina son la intencionalidad, la conciencia y los qualia, conceptos que también son estudiados por la filosofía de la mente.27

En la gnoseología se suele distinguir entre tres tipos de conocimiento: el conocimiento proposicional, el conocimiento práctico o performativo, y el conocimiento directo (acquaintance).28 El primero se asocia a la expresión «saber que», el segundo a la expresión «saber cómo», y el tercero, en el español, se asocia a la expresión «conocer» (en vez de «saber»). Así decimos, por ejemplo, que en la biología se sabe que los perros son mamíferos. Éste es un conocimiento proposicional. Luego existe un saber cómo entrenar un perro, el cual es un conocimiento práctico o performativo. Y por último, el conocimiento por familiaridad es aquel que posee quien dice, por ejemplo, «yo conozco a mi perro».28 La mayoría del trabajo en gnoseología se centra en el primer tipo de conocimiento, aunque ha habido esfuerzos por cambiar esta tendencia.29

Un debate importante y recurrente en la gnoseología es aquel entre el racionalismo y el empirismo.30 El racionalismo es la doctrina que sostiene que parte de nuestro conocimiento proviene de una «intuición racional» de algún tipo, o de deducciones a partir de estas intuiciones.30 El empirismo defiende, en cambio, que todo conocimiento proviene de la experiencia sensorial.30 Este contraste está asociado a la distinción entre conocimiento a priori y conocimiento a posteriori,31 cuya exposición más famosa se encuentra en la introducción a la Crítica de la razón pura, de Immanuel Kant.

Aún otra distinción influyente fue la que promovió Bertrand Russell entre conocimiento por familiaridad, y conocimiento por descripción. El primer tipo de conocimiento es el conocimiento directo, como puede ser una percepción o un dolor. El segundo es en cambio el conocimiento indirecto, al que llegamos sólo mediante una descripción definida que refiere unívocamente al objeto siendo conocido.32

Algunos de los problemas centrales a la gnoseología son: el problema de Gettier, el trilema de Münchhausen y el problema de la inducción.

Lógica

Artículo principal: Lógica.

La lógica es el estudio de los principios de la inferencia válida.33 Una inferencia es un proceso o acto en el que a partir de la evidencia provista por un grupo de premisas, se afirma una conclusión.34 Tradicionalmente se distinguen tres clases de inferencias: las deducciones, las inducciones y las abducciones, aunque a veces se cuenta a la abducción como un caso especial de inducción.35 La validez o no de las inducciones es asunto de la lógica inductiva y del problema de la inducción. Las deducciones, en cambio, son estudiadas por la mayor parte de la lógica contemporánea. En un argumento deductivamente válido, la conclusión es una consecuencia lógica de las premisas.36 El concepto de consecuencia lógica es, por lo tanto, un concepto central a la lógica.36 Para estudiarlo, la lógica construye sistemas formales que capturan los factores relevantes de las deducciones como aparecen en el lenguaje natural.37 Para entender esto, considérese la siguiente deducción:

Está lloviendo y es de día.

Por lo tanto, está lloviendo.

La obvia validez de este argumento no se debe al significado de las expresiones «está lloviendo» y «es de día», porque éstas podrían cambiarse por otras y el argumento permanecer válido. Por ejemplo:

Está nevando y hace frío.

Por lo tanto, está nevando.

En cambio, la clave de la validez del argumento reside en la expresión «y». Si esta expresión se cambia por otra, entonces

...