Lógica formal y lógica natural

1¿Qué ES LA Lógica? Es la subdisciplina filosófica encargada de esclarecer la verdad formal de los argumentos deductivos mas técnicamente, esta estudia de forma sistemática las leyes de diferencia, formalmente válidas. Lo que es lo mismo, las leyes del razonamiento formalmente correcto, en palabras mas sencillas es la ciencia encargada de estudiar la manera correcta de obtener nuevos conocimientos a partir de informaciones previa y además nos permite reconocer si lo que nos están diciendo es coherente o no desde un punto de vista formal.

LA VERDAD FORMAL O LOGÍCA y VERDAD IMPIRICA O MATERIAL, La verdad formal significa que una afirmación esta de acuerdo con el resto de afirmaciones del sistema, es coherente con el sistema y demostrable por procedimientos deductivos, la verdad empírica , en cambio significa que lo que se afirma esta de acuerdo con los hechos, se puede demostrar por medio de la experiencia al ser empíricamente observable, la lógica solo se ocupa de la validez formal de los argumentos y no de la verdad material de los mismos, sus enunciados son verdaderos o falsos solo por su estructura y no por el contenido material.

ARGUMENTOS DEDUCTIVOS, es un segmento lingüístico de cierta complejidad en el cual de la posición de trozos o segmentos iniciales, se sigue la posición de un trozo o su segmento final, estos argumentos se componen de enunciados , un enunciado es un segmento lingüístico con sentido completo en el que se afirma su verdad o falsedad.

Formación DE LOS ARGUMENTOS DEDUCTIVOS, si a los elementos de una deducción se les representa mediante símbolos, tenemos un esquema abstracto, vacío de contenido, manejable y operativo, además de ser este aplicable a otros elementos de idéntica estructura. En las deducciones simples la formalización de los argumentos puede ser prescindible, pero basta incrementar el grado de complejidad de los mismos para que la necesidad sea recomendable.

2 LENGUA FORMAL DE LA Lógica, lenguaje formal y lenguaje natural, el lenguaje natural es el que utilizamos normalmente, lo aprendemos de forma natural desde niños y no sirve para comunicarnos, expresar la información, sentimientos, órdenes, etc. Es un lenguaje flexible pero está cargado de redundancia, lagunas, imprecisiones y ambigüedades, la lógica deductiva pretende ser una ciencia universal y exacta y para ello necesita construir un lenguaje artificial preciso y operativo que vierte con unas reglas absolutamente rigurosas

ELEMENTOS DEL LENGUAJE FORMAL, -TABLA DE Símbolos FORMALES, en es tabla se hace inventario de símbolos con los que inventa el lenguaje, sería como el vocabulario de un lenguaje natural. -REGLAS DE Formación DE FORMULAS, seria como la gramática de los lenguajes naturales, no permiten distinguir entre expresiones bien construidas o mal construidas. - REGLAS DE Transformación DE FORMULAS, nos permite transformar las expresiones en otras equivalentes gracias a este conjunto de formulas podemos saber si la transformación es o no legítima o permitido por la ley.