MÉTODO DE LAS CIENCIAS FORMALES

Resultado de imagen de ciencias formales

Las ciencias formales (lógica y matemática) utilizan el método axiomático-deductivo. Dicho método consiste en tomar como punto de partida una serie de axiomas (del griego αξιωμα: aquello que es considerado como verdadero sin necesidad de prueba o demostración) y, a partir de ellos proceder deductiva mente.

Definiciones:

Corrección: Modificación que se hace en una cosa o a una persona para corregir sus faltas, errores, defectos o imperfecciones.

Consistencia: propiedad que tienen los sistemas formales cuando no es posible deducir una contradicción dentro del sistema. Es decir, dado un lenguaje formal y un aparato deductivo (axiomas y reglas de inferencia), no es posible deducir una fórmula y su negación.

Completitud: En una lógica de primer órden, toda fórmula que es válida en un sentido lógico es demostrable.

Comentarios

Entradas populares de este blog

MAPA

MAPA DEL MEDITERRÁNEO Y SUS FILÓSOFOS:

HABERMAS

Aquel que ha enseñado por muchos años filosofía comienza más que a leer, a releer los textos que más le han interesado, no obstante la tendencia hacia las novedades filosóficas es algo, siempre criticable, pero que no se puede negar. En estos días cayó en mis manos una serie de conferencias de Jürgen Habermas dictadas en la Paris IV-Sorbonne. Es sabido que junto con Kart-Otto Apel son los últimos representantes de la Escuela neomarxista de Frankfurt y que sus tesis estuvieron dirigidas a superar el paradigma de la conciencia inaugurado por Descartes y continuado por Kant, para hacer depender la racionalidad no ya directamente del sujeto sino de la intersubjetividad para encaminar el pensamiento a un descentramiento del yo. La denominada ética del discurso es la teoría filosófica que proponen. ¿Qué quiere decir esto? Que a través del debate, de la discusión – Diskurs en alemán no tiene el mismo significado que discurso en castellano- entre iguales y apoyados en una moderada

El Conocimiento

¿Que es el conocer? Actividad que tiene como objetivo aprender un objeto o un estado de cosas de tal forma que lo podamos expresar y compartir. Podemos distinguir dos polos: - Sujeto: protagonista de la acción de conocer - Objeto: aquello sobre lo cual recae dicha acción, que resulta aprendida del conocido. Si se quiere conocer, hay que pretender descubrir conocimientos verdaderos. El conocimiento es la acción y el efecto de la apropiación intelectual de un objeto por un sujeto. Los grados del conocimiento Immanuel Kant distinguió el conocimiento en tres grados A) Opinión: Estado de conocimiento en el que el sujeto considera algo como verdadero sin tener seguridad de que lo sea. Se comprende por dos razones: - Desde el punto de vista objetivo: la persona no encuentra pruebas suficientes para convencer a los demás - Desde el punto de vista subjetivo: no se atreve a afirmar que esta seguro de lo que dice y prefiere decir "es lo que opino" B) Creencia: algui

(A) LA REFLEXIÓN FILOSÓFICA

Buscar este blog