Utilización De La Lógica Formal

La Lógica Formal es conocida también como lógica clásica o aristotélica, Se imputa al filosofo ARISTOTELES ser el creador de la misma, aunque ya existían antecedentes en PARMENIDES y ZELEO.. Asímismo con el paso del tiempo, con la evolución de algunas corrientes matemáticas, específicamente las aportaciones realizadas por los matemáticos EULER y BOOLE, a la álgebra, se da inicio a la LógicaModerna, Matemática, Simbólica o Logística.
1.¿Qué es la lógica?
La lógica formal:
El uso de Argumentos:
-Uso del lenguaje como diferencia entre el hombre actual y sus antepasados
Característica dellenguaje: Uso de argumentos.
- Parte principal del argumento: enunciados
- Enunciados iniciales del argumento: Premisas
- Enunciado final de un argumento: Conclusión
- Los argumentos ponen enpráctica la capacidad humana de reflexionar.
2.Forma de los argumentos
Entre los argumentos se dan semejanzas estructurales. Reciben el nombre de formas o figuras lógicas del argumento.
-Ejemplo
ModusTollens Silogismo Aristotélico
Si A entonces B Todo P es Q
Pero no B y todo Q es R
Por tanto, no A Por tanto todo P es R
Todo Argumento puede ser representado por una forma o figura lógica(compuesto por constantes y variables).
Hasta ahora se han señalado dos dimensiones del argumento, por un lado encontramos la materia o contenido y por otro la estructura o forma
3. La lógica Formal
Lalógica formal traza los principales patrones de uso de los argumentos abstrayendo el contenido de los mismos (estoicos y Aristóteles)
Definición de lógica formal: "Ciencia abstracta que tiene comoobjeto el análisis formal de los argumentos o también y más concisamente, como teoría formal del razonamiento".
Sobre la palabra lógica: Esta palabra se usa desde muy antiguo en el léxico filosófico ycientífico así como en el lenguaje natural. Proviene (etimología) del término griego logos que signifíca algo así como discurso, argumentación, y que entraña otros significados como son idea, razón o...