Ingormatica

LA LÓGICA
* La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida.
La lógica examina la validez de los argumentos en términos de su estructura, independientemente del contenido específico de los estados reales a los que aquéllos se puedan referir. En este sentido se habla de la lógica como ciencia «formal». La lógica esuna disciplina de la filosofía, las matemáticas y la informática.
* La denominación de la lógica, está directamente relacionada con la palabra griega logos, cuyo significado en griego antiguo es equivalente a “pensamiento” o “razón”, pero también “palabra” o “conocimiento”; y logiké era “lo relativo al logos” En definitiva, se trata del estudio de la forma en que funciona la facultad humana depensar y razonar.
* 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 los mé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.

LOS PRINCIPIOS LÓGICOS.* Como punto de partida del estudio de las leyes que rigen el proceso del razonamiento, se han establecido ciertas leyes fundamentales, que se consideran generales y anteriores a todos los que de ellos se deducen, que son producto de la intuición (resultado de un conocimiento directo e inmediato), y sobre los cuales se fundamentan todas las restantes normativas lógicas.
Estos principios seconsideran verdades axiomáticas, evidentes por sí mismas, que no tienen que, ni necesitan, demostrarse.
Son cuatro principios, los tres primeros enunciados por Aristóteles y el cuarto agregado por Leibnitz:
* El principio de identidad — Desde el punto de vista del ser, (ontológico) se enuncia expresando que todo objeto (de conocimiento) es igual a sí mismo. Sin embargo, desde el punto de vistalógico, su enunciado se relaciona con la estructura de las proposiciones, expresando que el principio de identidad se verifica cuando en una proposición verdadera el concepto contenido en el predicado es total o parcialmente idéntico al concepto contenido en el sujeto: “el triángulo tiene tres lados”.
* El principio de contradicción — También tiene una formulación ontológica conforme a la cualun objeto (de conocimiento) no puede ser y al mismo tiempo no-ser. Desde el punto de vista lógico, este principio se enuncia expresando que dos proposiciones contradictorias no pueden ser ambas verdaderas; o que toda contradicción encierra una falsedad: Si es verdad que “el triángulo tiene tres lados”, no puede ser verdad que “el triángulo no tiene tres lados”.
En relación a la lógicaaristotélica, o clásica, puede decirse que el principio de no contradicción es el fundamental de todos; al punto de que existen quienes lo consideran el único principio, del cual se extraen los otros.
* El principio de tercero excluido — Este principio está estrechamente vinculado con el de no contradicción, al punto que a veces se lo distingue de éste expresando que mientras el de no contradicción expresaque dos proposiciones contradictorias no pueden ser ambas verdaderas, el de tercero excluido expresa que dos proposiciones contradictorias no pueden ambas ser falsas. Sin embargo, es más apropiado referir este principio al concepto de valor de verdad de la lógica clásica, conforme al cual una proposición solamente puede tener valor de verdadera o de falsa; y por lo tanto, entre la verdad o lafalsedad, no existe una tercera posibilidad. En consecuencia, la relación con el principio de no contradicción queda mejor expresada en cuanto al principio de tercero excluido, si se enuncia en el sentido de que de dos proposiciones contradictorias, necesariamente una a ser verdadera y la otra ha de ser falsa.
* El principio de razón suficiente — Este principio fue enunciado por Leibnitz en...