Ciencias formales

Metodo axiomatico - El método que permite dar cumplimiento a estas necesidades es el de la axiomatización. Es aplicable en toda su pureza en las llamadas ciencias formales: lógica y matemáticas, pero proporciona grandes ventajas en la física, y sigue siendo el ideal en otras ramas del saber. No es posible alcanzar un control objetivo absoluto acerca del saber: tenerlo todo explicitado sin presupuestos. No cabe alcanzar un dominio total de la objetividad.

La idea de axiomatizar un campo del saber está presente en Aristóteles, y la matemática. Los modernos intentaron extender el procedimiento a otros campos, y la lógica y la física se axiomatizan. El interés por la axiomatización ha crecido mucho.

Axioma significa "reconocimiento de la validez". Indica un Principio – en forma de proposición- para otros enunciados que se deducen de él. Un sistema axiomático contiene dos clases de enunciados: los axiomas, y los enunciados deducidos de ellos.

-Constituido por un sistema formalizado de signos.

-Los axiomas se definen exclusivamente por no ser deducibles en el sistema, no por su evidencia.

-Los axiomas son leyes y las reglas son indicaciones acerca de cómo proceder.

-Con el formalismo y la distinción entre leyes y reglas, no se habla de deductibilidad si no es en el seno del un determinado sistema.

-Junto con el sistema de los enunciados se formula el sistema de las expresiones con sentido.

Método hipotético - deductivo:es una descripción del método científico.

En primer lugar, para que se inicie una investigación debe surgir un problema; comienzas tus investigaciones planteándose algunas preguntas sobre el hecho que estudia. Estas preguntas que producen cierta inquietud y perplejidad en el científico lo llevan a buscar posibles respuestas. Estos intentos de respuestas, suposiciones que en ciencia son la hipótesis .
A partir de los avances de Roger Bacón, se consideró que la ciencia partía de la observación de hechos y que de esa observación repetida de fenómenos comparables, se extraían por inducción las leyes generales que gobiernan esos fenómenos.
Karl Popper rechaza la posibilidad de elaborar leyes generales a partir de la inducción y sostuvo que en realidad esas leyes generales son hipótesis que formula el científico, y que se utiliza el método inductivo de interpolación para, a partir de esas hipótesis, de carácter general para elaborar predicciones de fenómenos individuales.
Es central en esta concepción del método científico, la falsabilidad de las teorías científicas, esto es, la posibilidad de ser refutadas por la experimentación. En el método hipotético deductivo, las teorías científicas no pueden nunca reputarse verdaderas, sino a lo sumo no refutadas.

El problema de la demarcación se refiere, dentro de la filosofía de la ciencia, a la cuestión de definir los límites que deben configurar el concepto "ciencia". Las fronteras suelen establecerse entre lo que es conocimiento científico y no científico, entre ciencia y pseudociencia, y entre ciencia y religión.

1.Postula la necesidad de construcción inductiva de las teorías dignas de reclamar para sí el estatus de científicas 2. Parte de las observaciones y experiencias 3. Criterio verificacionista .4.Las teorías pudiesen ser demostradas mediante experimentos y/u observaciones que permitan probar dichas teorías, de esta forma se podrá establecer su verdad y su cientificidad .5.Criterio falsacionista .6.Este criterio se opone al inductivista y al verificacionista 7.Establece que solamente será reconocida como científica una teoría susceptible de ser sometida a tests y exámenes que pongan en cuestión su validez