Un saber o conocimiento es cualquier contenido estructurado que poseemos en la mente. Poseemos miles de conocimientos (como "dos mas dos es cuatro" o "en invierno hace más frío que en verano"). Sin embargo, no es lo mismo conocimiento que verdad. No todos los conocimientos que poseemos son verdaderos. Eso se debe, a menudo, a lo estricto que somos para aceptar un conocimiento nuevo. Por ello, en el mundo occidental, hemos aprendido a manejar distintos niveles de contenidos en nuestros saberes. Son modelos o ámbitos distintos según su veracidad. Los más habituales son (de menor a mayor calidad):

  Desde sus orígenes, la filosofía se he dedicado a buscar el método más efectivo de búsqueda de la verdad. Esa tarea ha culminado en la consecución del método científico, al que han contribuido pensadores como:

• Aristóteles (s. IV a.C.): Se le considera el "padre del pensamiento científico". Sus teorías fueron, no sólo aceptadas, sino consideradas prototipo de ciencia durante dos mil años. «Todo fenómeno tiene una causa».

• Guillermo de Ockham  (s. XIV): Sus tesis sobre las cualidades que debe reunir toda explicación se aceptan como primeros principios del método científico.  «La explicación más simple y suficiente es la más probable, más no necesariamente la verdadera» ("Navaja de Ockham").

• René Descartes (s. XVII): Su "Discurso del Método" supuso establecer las reglas modernas del pensamiento científico.

• David Hume (s. XVIII): Aportó la reflexión sobre el papel de los sentidos y la necesidad del "escepticismo científico". Se considera, junto con Descartes, la gran inspiración de Isaac Newton para renovar a la Ciencia.

• Karl Popper (s. XX): Estableció como procedimiento científico básico la "falsación": el investigador debe intentar desmentir su propia teoría. Este proceso es básico en la actualidad para aceptar una nueva teoría científica.

 Según esta tesis, las explicaciones y causas más simples, con menos elementos participantes, y que se refieren a conceptos más claros, son las más deseables. Se acepta como uno de los principios básicos del método científico. 

 Se conoce como la "navaja de Ockham" porque es como si Ockham hubiera sacado la navaja de afeitar para rasurar las barbas de Platón (algo así como enmendar, corregir a Platón).

- Método Deductivo (o deducción):

A partir de verdades conocidas o premisas, siguiendo unas reglas lógicas concretas, se obtiene una nueva verdad o conclusión. Va de lo general a lo particular. Se usa en todas las ciencias, especialmente en Lógica y en Matemáticas.

Ejemplo 1 (Aristóteles): "Todos los hombres son mortales. Sócrates es hombre. Conclusión: Sócrates es mortal.

Ej. 2: Si cada vez que llueve, se mojan las calles, y, está lloviendo, entonces las calles están mojadas".

Ej. 3: Sudoku.

Ej 4 (lógica formal):

1.-   P --> Q

2.-   P

------------------

3.-   Q

- Método Inductivo (o inducción):

 A partir del estudio de una serie de verdades individuales, se genera un conocimiento general. Va de lo particular a lo general. Se usa en Matemáticas y las ciencias naturales y experimentales (Física, Biología, Botánica...). Es menos estricto que el deductivo, por ello se habla del "problema de la inducción."

Ejemplo - Registro de observaciones:

El cuervo 1 es negro. 

El cuervo 2 es negro.

[...]

El cuervo n es negro.

Conclusión: Todos los cuervos son negros.

- Método Hipotético-deductivo

Variante del método deductivo. Partiendo de una hipótesis inicial, se realizan deducciones que luego son contrastadas con la realidad. Este método permite avanzar con teorías provisionales.

Ejemplo: En el siglo VI a. de C., los persas estaban atacando la ciudad egipcia de Pelusio. Sabiendo de la estima que tenían los egipcios por los gatos (pues creían que los felinos portaban las almas de sus ancestros), basaron toda su estrategia en suponer que los egipcios no atacarían un ejército de gatos. Los persas pintaron imágenes de gatos en sus escudos y marcharon con cientos de gatos reales en el ataque a los egipcios. Efectivamente, los egipcios se negaron a atacar a las tropas "de gatos" y los persas se apoderaron de la ciudad. 

 Ejemplo1: Supongamos que hoy fuera Martes. Los Martes doy clase de Historia, así que hoy habría tenido clase de Historia. Pero no he tenido esa asignatura, así que no puede ser Martes.

1. -Q ("no he tenido clase de Historia")

2. P    (Hoy es Martes)            (Hipótesis)

3.   P --> Q

4.   P

5.  Q

6.    Q y -Q

------------------

7.   -P

Ejemplo2:

Supongamos que existe solo una cantidad finita de números primos.

 En ese caso, podemos ponerlos todos en una lista grande, y multiplicarlos. Llamamos n a este producto.

 Pero entonces el número n+1 no es múltiplo de ninguno de los primos en la lista, lo que significa que o es un número primo, o es un producto de primos que no están en la lista. En cualquier caso se llega a una contradicción, de modo que la suposición inicial es falsa.