La lógica formal


La lógica formal
Se encarga de estudiar las condiciones (ósea las leyes) para que un pensamiento sea correcto (especialmente, cuando se trata del raciocinio).

Otras definiciones de lógicaformal:
* Estudia a los elementos y estructuras de los pensamientos en general
* Estudia los modos o “formas” como se realizan los razonamientos
* Estudia el pensamiento y las condiciones ideales quehacen posible el conocimiento progresivo en orden a la verdad
* Estudia las estructuras fundamentales del pensamiento, especialmente las estructuras del pensamiento científico
* Es la filosofíanormativa de las formas mentales
* Estudia cómo sacar a la luz las estructuras lógicas de nuestro pensamiento
* Estudia el pensamiento en cuanto que lo analiza para descubrir sus formas y condiciones decorrección
* Es la ciencia de los pensamientos en cuanto tales
* Las formas de los pensamientos, conceptos, juicios y razonamientos
Enunciados declarativos = proposiciones
Se expresan por medio deargumentos
Estudia…
Que son…
Reciben el nombre de…
Que… La lógica formal, como un análisis explícito de los métodos de razonamientos, se desarrolló originalmente en tres civilizaciones de lahistoria antigua: China, India y Grecia entre el Siglo V y el Siglo I a. C. Sin embargo Aristóteles fue el primero en emplear el término “Lógica” para referirse al estudio de los argumentos dentro del"lenguaje apofántico

Como manifestador de la verdad en la ciencia.
Con Aristóteles nace la lógica formal. Aristóteles formalizó el cuadro de oposición de los juicios y las formas válidas delsilogismo.

Kant en el siglo XVIII pensaba que Aristóteles había llevado la lógica formal a su perfección, por lo que básicamente hasta entonces no había habido prácticamente modificaciones de importancia.Y lo justificaba al considerar que siendo la lógica una ciencia formal, era por ello analítica y a priori, lo que justifica su necesidad y su universalidad, pues es la razón la que trata consigo...