Usuario discusión:Romero15

Hola, Romero15. Te agradeceré que no edites arbitrariamente los artículos; otros editores deben perder tiempo valioso en revertir tus acciones y empañas la imagen de Wikipedia que puede hacerse un visitante ocasional. Recuerda además que las ediciones arbitrarias pueden ser consideradas un acto de vandalismo (lo que nos obligaría a bloquearte). Puedes visitar la página de ayuda para informarte y tienes la zona de pruebas para hacer ensayos de edición. Gracias. Matdrodes (discusión) 18:11 7 may 2009 (UTC)

Bloqueo

Has sido bloqueado para evitar que continúes editando en Wikipedia. Si deseas hacer contribuciones útiles, eres bienvenido a regresar después de que tu bloqueo expire. Si consideras que este bloqueo es erróneo, copia y pega aquí esta plantilla {{Desbloquear|Motivo de desbloqueo}} especificando claramente los motivos. HUB (discusión) 18:27 7 may 2009 (UTC)

Sistemas lógicos

Existe un debate sobre si es correcto hablar de una lógica, o de varias 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.

Un sistema lógico está compuesto por:

1. Un conjunto de símbolos primitivos (el alfabeto, 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é formulas. 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.

Estos cuatro elementos completan la parte sintáctica de los sistemas lógicos. Sin embargo, todavía no se ha dado ningún significado a los símbolos discutidos, y de hecho, un sistema lógico puede definirse sin tener que hacerlo. Tal tarea corresponde al campo llamado semántica formal, que se ocupa de introducir un quinto elemento:

5. 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 "los bancos son instituciones". 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ás estudiados 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 predicados de primer orden
• Lógica de predicados 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 intuicionista:
• 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 evita el principio de explosión al exigir que para que una implicación sea válida, el antecedente y el consecuente deben compartir al menos una variable.
• Lógica cuántica: Desarrollada para lidiar con razonamientos en el campo de la mecánica cuántica, su característica más notable es el rechazo de la propiedad distributiva.

Lógicas modales

Las lógicas modales están diseñada para tratar con expresiones que califican la verdad de los juicios. Así por ejemplo, la expresión "siempre" califica a un juicio verdadero como verdadero siempre. No es lo mismo decir "está lloviendo" que decir "siempre está lloviendo".

• Lógica modal: Trata con las nociones de necesidad, posibilidad, imposibilidad y contingencia.
• Lógica deóntica: Se ocupa de las nociones morales de obligación y permisibilidad.
• Lógica temporal: Abarca operadores temporales como "siempre", "nunca", "antes", "después", etc.
• Lógica epistémica: Es la lógica que formaliza los razonamientos relacionados con el conocimiento.
• Lógica doxástica: Es la lógica que trata con los razonamientos acerca de las creencias.