Logica

DEFINICION
La lógica es la ciencia que se encarga de exponer las leyes, modos y formas del razonamiento. Se trata de una ciencia formal que no tiene contenido, pero que se dedica al estudio de las formas válidas de inferencia. Es decir, trata del estudio de los métodos y principios utilizados para distinguir el razonamiento correcto del incorrecto.

En otras palabras, la lógica es:
"Elconjunto 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."

El objeto de estudio de esta ciencia son las formas, estructuras o esquemas depensamiento; por eso mientras las otras ciencias se centran en las relaciones de su objeto de estudio con diversos fenómenos, la lógica se ocupa de las relaciones mismas.
Podemos distinguir entre dos tipos generales de lógica:
a) La lógica formal, también llamada lógica pura, que es precisamente la “ciencia” que determina cuáles son las formas correctas y válidas de los raciocinios.
b) La lógicamaterial, también llamada lógica aplicada, que es en la cual un proceso de raciocinio o de pensamiento se analiza en consideración al contenido real de sus premisas y que por lo tanto debe llevar a una conclusión que sea concordante con la realidad.

-------------------------------------------------
Sistemas lógicos
Sistema formal.
Existe un debate sobre si es correcto hablar de una lógica, o devarias lógicas, pero en el siglo XX se han desarrollado no uno, sino varios sistemas lógicos diferentes, que capturan y formalizan distintas partes del lenguaje natural. Se podría definir a un sistema lógico como un conjunto de cosas, que nos ayudan en la toma de decisiones que sean lo más convenientemente posible.
Un sistema lógico está compuesto por:
1. Un conjunto de símbolos primitivos (elalfabeto, o vocabulario).
2. Un conjunto de reglas de formación (la gramática) que nos dice cómo construir fórmulas bien formadas a partir de los símbolos primitivos.
3. Un conjunto de axiomas o esquemas de axiomas. Cada axioma debe ser una fórmula bien formada.

4. Un conjunto de reglas de inferencia. Estas reglas determinan qué fórmulas pueden inferirse de qué fórmulas. Por ejemplo,una regla de inferencia clásica es el modus ponens, según el cual, dada una fórmula A, y otra fórmula A → B, la regla nos permite afirmar que B.
1. Una interpretación formal. En los lenguajes naturales, una misma palabra puede significar diversas cosas dependiendo de la interpretación que se le dé. Por ejemplo, en el idioma español, la palabra «banco» puede significar un edificio o un asiento,mientras que en otros idiomas puede significar algo completamente distinto o nada en absoluto. En consecuencia, dependiendo de la interpretación, variará también el valor de verdad de la oración «el banco está cerca». Las interpretaciones formales asignan significados inequívocos a los símbolos, y valores de verdad a las fórmulas.

Lógicas clásicas

Los sistemas lógicos clásicos son los másestudiados y utilizados de todos, y se caracterizan por incorporar ciertos principios tradicionales que otras lógicas rechazan. Algunos de estos principios son: el principio del tercero excluido, el principio de no contradicción, el principio de explosión y la monoticidad de la implicación. Entre los sistemas lógicos clásicos se encuentran:
* Lógica proposicional
* Lógica de primer orden* Lógica de segundo orden
Lógicas no clásicas
Los sistemas lógicos no clásicos son aquellos que rechazan uno o varios de los principios de la lógica clásica. Algunos de estos sistemas son:
* Lógica difusa: Es una lógica plurivalente que rechaza el principio del tercero excluido y propone un número infinito de valores de verdad.
* Lógica relevante: Es una lógica paraconsistente que...