Ciencias formales y empíricas: métodos, verdad y filosofía de la ciencia

Ciencias

Son sistemas de conocimientos racionales y coherentes en los que se infieren conclusiones a partir de datos o premisas, y se explican hechos a través de demostraciones lógicas.

Enunciados generales

Informan de algo que pasa en el mundo. Tienen que ser precisos, no se pueden contradecir entre sí y no pueden ser tan vagos que no se sepa con exactitud su significación.

• Universales: todos los elementos de un conjunto determinado cumplen con determinada propiedad.
• Particulares: existe al menos un x que cumple con la propiedad G.

Demostración lógica

Comprobar si una determinada conclusión se deriva coherentemente de las premisas previamente establecidas.

Demostración empírica

Deducir consecuencias de enunciados generales y comprobar si esas consecuencias se ajustan a los hechos objetivos.

Ciencias formales

Son sistemas de conocimientos racionales, exactos y coherentes que se ocupan de procesos lógicos y matemáticos. Son objetivas, explicativas, predictivas y contrastables.

Diferencias entre ciencias formales y empíricas

• Objeto: las ciencias formales lo constituyen entidades mentales; las empíricas, los hechos y procesos de la realidad que se intenta analizar, explicar y predecir.
• Método: las formales utilizan la demostración lógica, que consiste en ver si hay o no coherencia entre dos o más enunciados que se siguen unos de otros; las empíricas necesitan la demostración mediante la observación o experimentación.
• Lenguajes: las formales son lenguajes construidos artificialmente con símbolos que carecen de significado concreto; las empíricas utilizan el lenguaje ordinario, aunque intentan formalizarlo siempre que es posible.
• La verdad: en las formales consiste en la coherencia de un enunciado con unos principios admitidos previamente sin contestación; en las empíricas consiste en la conformidad o disconformidad de las consecuencias que se derivan de los enunciados generales con los hechos de la realidad.

Razonamiento deductivo

Obtiene particulares a partir de un general. Consiste en inferir de modo necesario conclusiones a partir de datos o premisas dados de antemano (conocimiento que damos como válido, aunque a nivel mundial no lo sea). Conduce a conclusiones válidas a base de establecer relaciones lógicas entre enunciados o datos. Cuando un razonamiento deductivo es correcto, nos garantiza que si las premisas son verdaderas, la conclusión también lo será.

Axiomas

Enunciados evidentes o que se toman como tales y se aceptan como indiscutibles. Constituyen el fundamento de los procesos deductivos dentro de un determinado sistema.

Teoremas

Enunciados derivados directamente de los axiomas o de otros teoremas deductivos previamente derivados de los axiomas.

Método inductivo

La inducción consiste en obtener un enunciado general a partir de enunciados que describan casos particulares. La inducción es completa cuando se observan todos los casos posibles a los que se refiere el enunciado general; es incompleta cuando solo se observa un número determinado de casos.

Problema fundamental de la inducción

• Probabilidad: primer intento de solución; cuanto mayores sean los casos estudiados, mayor probabilidad de acertar.
• Karl Popper: mientras no haya un caso que desmienta mi ley, será aceptada. Creador y máximo representante del falsacionismo, propone la falsación (cuantos más casos estudiemos, más probabilidad de fallar) como forma de contrastación.

Contrastación

Es la comprobación mediante la observación y la experimentación. Si no se puede contrastar, no es científico.

Programas de investigación de Lakatos

No está de acuerdo con Popper: mientras no se desmienta el núcleo central, formado por las hipótesis básicas de la teoría, y un cinturón protector integrado por hipótesis y conocimientos auxiliares para orientar la investigación y defender el núcleo central en caso de necesidad, no hace falta quitarlo todo si alguna ley no es del todo cierta.

Paradigmas de Kuhn

En La estructura de las revoluciones científicas, defiende que las teorías científicas son estructuras complejas que no pueden explicarse por sí mismas ni con el inductivismo ni con el falsacionismo.

Paradigma: modelo o patrón aceptado por los científicos de una determinada época o corriente. Rasgos:

• Núcleo teórico central explícitamente establecido.
• Conjunto de técnicas instrumentales para aplicar las leyes establecidas a diversas situaciones de la realidad.
• Conjunto de normas metodológicas para resolver los problemas que aparecen.
• Los problemas que se resisten a ser solucionados se deben considerar como anomalías y no como falsaciones del paradigma.

La revolución científica se produce cuando la mayoría de la comunidad científica sustituye un paradigma por otro.

Ciencia normal

Constituida por los conocimientos aceptados por una comunidad científica.