logica formal

La lógica formal es la parte de la lógica que, a diferencia de la lógica informal, se dedica al estudio de la inferencia mediante la construcción de lenguajes formales, sistemas deductivos y semánticas formales. La idea es que estas construcciones capturen las características esenciales de las inferencias válidas en los lenguajes naturales, pero que al ser estructuras formales y susceptiblesde análisis matemático, permiten realizar demostraciones rigurosas sobre ellas.
La lógica formal no debe ser confundida con la lógica matemática, antes llamada lógica simbólica, que es una subdisciplina de la lógica formal.
Puede definirse la lógica como el conjunto de conocimientos que tienen por objeto la enunciación de las leyes que rigen los procesos del pensamiento humano; así como de losmétodos que han de aplicarse al razonamiento y la reflexión para lograr un sistema de raciocinio que conduzca a resultados que puedan considerarse como certeros o verdaderos. La lógica formal y la lógica material: En realidad la lógica formal y la material tratan sobre problemas bastante diferentes aunque relacionados. La lógica formal, también llamada lógica pura, está interesada en la forma oestructura de los razonamientos. La verdad de las premisas y de las conclusiones es una preocupación secundaria para esta rama de la lógica. La lógica formal trata de encontrar el método correcto para derivar una verdad a partir de otra. Digamos que la verdad de los enunciados que componen los argumentos es algo que se da por supuesto, algo de lo que se parte. Lo que le interesa a la lógica formales asegurar que el paso de las premisas a la conclusión esté bien fundamentado. El raciocinio puede definirse como un proceso del pensamiento (por tanto, exclusivamente humano) que a partir de ciertos conocimientos establecidos (llamados premisas), conduce a adquirir un conocimiento nuevo (contenido en la conclusión) sin que para ello haya que recurrir a nuevas constataciones u observacionessensibles distintas o adicionales a las ya contenidas en las premisas. Por lo tanto, la verdad a que conduce la lógica formal, es una verdad formal; que será verdad en tanto sea verdad el contenido de las premisas. Si en un razonamiento existe falsedad en las premisas y la conclusión asimismo es falsa; de todos modos el razonamiento será correcto o válido como razonamiento. La lógica material sepreocupa del contenido de la argumentación. Trata de averiguar la verdad de los términos y proposiciones de un argumento. La lógica material también llamada lógica aplicada, es aquella en que un proceso de raciocinio o de pensamiento se analiza en consideración al contenido real de sus premisas, y por lo tanto debe conducir a una verdad material, una conclusión que sea concordante con la realidad. Lalógica clásica de las proposiciones, no admite más que dos posibilidades de validez del razonamiento, o valores de verdad: verdadero o falso; por ello, se trata de una lógica binaria. No resulta admisible la existencia de un valor de verdad intermedio entre lo falso y lo verdadero, como podría ser lo “dudoso”; ni más débil que lo falso, como podría ser lo “imposible”. Por lo tanto, estos valoresde verdad se excluyen recíprocamente en forma absoluta, toda proposición encierra necesariamente uno de ellos. En tales condiciones, la validez de un razonamiento no depende ni es consecuencia del valor de su conclusión; un razonamiento puede ser no válido, aunque su conclusión sea verdadera. Para que un razonamiento sea correcto, es necesario que en todos los raciocinios de la misma forma,partiendo de premisas verdaderas, la conclusión sea igualmente verdadera. Un razonamiento puede ser válido si su conclusión es falsa, con tal que por lo menos una de sus premisas sea también falsa. En este caso, se estará frente a lo que se denomina refutación por el absurdo. Cuando se razona en base a dos premisas, una de las cuales es dudosa, al efectuar un razonamiento correcto que conduce a una...