Archivo de la etiqueta: sistemas axiomáticos

Sistemas Axiomáticos y Teorías Epistemológicas

Filosofía y ética, , ,

Que no se pueda deducir ningún otro, un conjunto de reglas de inferencia o trasformación que nos permita pasar de una fórmula bien formada (fbf) a otra fbf.

Ideal de sistematización deductiva

  • Perfecto rigor lógico.
  • Ausencia de postulados tácitos.
  • Imposibilidad de obtener una contradicción en el sistema.
  • Menor número posible de axiomas.

Requisitos

El Método Científico: Sistemas Axiomáticos y el Falsacionismo de Popper

Filosofía y ética, , , , ,

El Método Científico: Sistemas Axiomáticos y el Falsacionismo de Popper

Las Ciencias Formales y el Método Axiomático

El método axiomático consiste en postular un conjunto de enunciados que guardan entre ellos una relación de deductibilidad. Este conjunto se denomina sistema axiomático-deductivo: a partir de unas premisas iniciales, que se admiten de partida como verdaderas y se llaman axiomas, se derivan los otros componentes de la cadena deductiva, denominados teoremas, mediante la aplicación Seguir leyendo “El Método Científico: Sistemas Axiomáticos y el Falsacionismo de Popper” »

Introducción a las Ciencias Formales y la Lógica

Filosofía y ética, , , ,

1. Ciencias Formales: Lógica y Matemática

Las ciencias formales, como la lógica y la matemática, buscan la verdad a través de la validez lógica de los razonamientos, sin referirse a hechos del mundo real. Su enfoque se basa en el rigor lógico más que en la experiencia, diferenciándose así de las ciencias empíricas.

1.2. Método de las Ciencias Formales: Deducción

Las ciencias formales utilizan el razonamiento deductivo, donde a partir de premisas verdaderas se deriva una conclusión necesariamente Seguir leyendo “Introducción a las Ciencias Formales y la Lógica” »