Ingenieria Industrial

Razonamiento lógico

En un sentido restringido, se llama razonamiento lógico al proceso mental de realizar una inferencia de una conclusión a partir de un conjunto de premisas. La conclusión puede no ser una consecuencia lógica de las premisas y aún así dar lugar a un razonamiento, ya que un mal razonamiento aún es un razonamiento en sentido amplio, no en el sentido de la lógica. Los razonamientos pueden ser válidos correctos o no válidos incorrectos.

En general, se considera válido un razonamiento cuando sus premisas ofrecen soporte suficiente a su conclusión. Puede discutirse el significado de "soporte suficiente", aunque cuando se trata de un razonamiento no deductivo no podemos hablar de validez sino de "fortaleza" o "debilidad" del razonamiento dependiendo de la solidez de las premisas, la conclusión podrá ser más o menos probable pero jamás necesaria, solo es aplicable el término "válido" a razonamientos del tipo deductivo. En el caso del razonamiento deductivo, el razonamiento es válido cuando la verdad de las premisas implica necesariamente la verdad de la conclusión.

Los razonamientos no válidos que, sin embargo, parecen serlo, se denominan falacias.

El razonamiento nos permite ampliar nuestros conocimientos sin tener que apelar a la experiencia. También sirve para justificar o aportar razones en favor de lo que conocemos o creemos conocer. En algunos casos, como en las matemáticas, el razonamiento nos permite demostrar lo que sabemos.

El término "razonamiento" es el punto de separación entre el instinto y el pensamiento, el instinto es la reacción de cualquier ser vivo. Por otro lado el razonar nos hace analizar,y desarrollar un criterio propio, el razonar es a su vez la separación entre un ser vivo y el hombre.

Tautología

De Wikipedia, la enciclopedia libre

Saltar a: navegación, búsqueda

Para otros usos de este término, véase Tautología (retórica).

En lógica, una tautología (del griego ταυτολογία, "decir lo mismo") es una fórmula bien formada de un sistema de lógica proposicional que resulta verdadera para cualquier interpretación; es decir, para cualquier asignación de valores de verdad que se haga a sus fórmulas atómicas.1 2 La construcción de una tabla de verdad es un método efectivo para determinar si una fórmula cualquiera es una tautología o no.2

[editar] Tablas de verdad

Artículo principal: Tabla de verdad.

En un sistema de lógica proposicional, una interpretación no es más que una función que asigna un único valor de verdad a todas las fórmulas atómicas bajo consideración. Diferentes interpretaciones, por lo tanto, difieren sólo en las asignaciones de valores de verdad que hacen. Una tautología es una fórmula bien formada que bajo cualquier interpretación de sus componentes atómicos, tiene valor de verdad 1 (verdadero). Por lo tanto, para determinar si una fórmula cualquiera es una tautología, basta con considerar todas las posibles interpretaciones de las fórmulas atómicas, y calcular el valor de verdad del todo. Esto se logra mediante una tabla de verdad. Por ejemplo, considérese la fórmula p ∧ q. Como a cada fórmula atómica puede asignársele uno de dos posibles valores de verdad, hay en total 22 = 4 posibles combinaciones de valores de verdad. Es decir, cuatro interpretaciones posibles: o ambas son verdaderas; o p es verdadera y q falsa; o p es falsa y q verdadera; o ambas son falsas. Esto puede presentarse mediante una simple tabla:

El lenguaje natural como modelo de un cálculo lógico

Naturalmente el cálculo lógico es útil porque puede tener aplicaciones.

Pero ¿en qué consiste o cómo se hacen tales aplicaciones?

Para el cálculo de enunciados podemos considerar que el lenguaje natural es un modelo de C si podemos someterlo, es decir, aplicarle una correspondencia en C. Este proceso es lo que se llama formalización del lenguaje.

El lenguaje científico necesita "formalizar el lenguaje" a fin de evitar ambigüedades en las expresiones y en los contenidos semánticos de las palabras.

Cuando es posible se llega a una formalización completamente sometida a reglas previamente establecidas, como se pretende en este caso, y los elementos que constituyen las Expresiones bien formadas (EBF)s del lenguaje natural se pueden sustituir por variables sin significado, sin contenido semántico alguno porque realizarían la misma función que cualquier expresión de la lengua que cumpla la función sintáctica de la expresión. Entonces podemos proceder como en un cálculo.

No siempre es posible, pero es, sería, el lenguaje ideal de la ciencia,2 porque evitaría la necesidad de "interpretación". No habría más que sustiuir variables por variables lingüísticas y constantes por sus expresiones lingüísticas formalizadas.

Es lo que se pretende en este apartado: someter las expresiones del lenguaje natural a unas variables simbólicas mediante unas reglas de simbolización:

[editar] Reglas de simbolización

Regla I.

Cada uno de los enunciados simples del lenguaje natural se sustituirá por variables proposicionales simbolizadas por letras minúsculas: p, q, r, s, t,.....

Regla II.

Las expresiones del lenguaje natural tales como "no", "no es cierto", "no es el caso que" "es falso", "es imposible" y todas aquellas que sean equivalentes, se sustituirán por el símbolo ¬

Llueve: p; No llueve: ¬ p

Regla III.

Las expresiones del lenguaje natural tales como "y", "ni", "pero", "que", "mas", y todas las que sean equivalentes, se sustituyen por el símbolo /\

Llueve: p; Hace frío: q; Llueve y hace frío: p /\ q;

Regla IV.

Las expresiones del lenguaje natural tales como "o", "o...o", "bien...bien", "ya...ya", y sus equivalentes, se sustituyen por el símbolo \/

Llueve: p; Hace frío: q; O llueve o hace frío: p \/ q

Regla V.

Las expresiones naturales tales como "si.... entonces", "luego...", "por tanto", "por consiguiente", "con tal que...", "se infiere", "se deduce" y sus equivalentes se sustituirán por el símbolo →

Llueve: p; Hace frío: q; Si llueve entonces hace frío: p → q

Regla VI.

Las expresiones del lenguaje natural tales como "...si y solo si...", "...equivale a...", "...es igual a...", "vale por...", "...es lo mismo que...", y sus equivalentes se sustituirán por el símbolo ↔

Llueve: p; Hace frío: q; Llueve si y solo si hace frío: p ↔ q

Uso de paréntesis:

1.- No se utiliza paréntesis en aquellos casos en que los conectores afecten a enunciados simples o atómicos.

2.- Se utiliza paréntesis cuando el conector afecte a toda una conjunción, disyunción, condicional o bicondicional.

3.- Se utiliza el paréntesis en las expresiones conjuntivas y disyuntivas precedidas o seguidas de un condicionador o bicondicionador.

4.- Se utiliza el paréntesis en las expresiones que nos interese precisar la dominancia del conector, o bien porque los conectores posean la misma dominancia -como en el caso del conjuntor y del disyuntor que son idempotentes- o bien porque el sentido de la expresión exige la alteración de la dominancia de las conectivas fuertes -el condicionador y el bicondicionador que son las conectivas fuertes.

Lógica

De Wikipedia, la enciclopedia libre

(Redirigido desde «Logica»)

Saltar a: navegación, búsqueda

La lógica es una ciencia formal que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo λογική (logike), que significa «dotado de razón, intelectual, dialéctico, argumentativo», que a su vez viene de λόγος (logos), «palabra, pensamiento, idea, argumento, razón o principio».

La lógica examina la validez de los argumentos en términos de su estructura lógica, independientemente del contenido específico del discurso y de la lengua utilizada en su expresión y de los estados reales a los que dicho contenido se pueda referir.

Esto es exactamente lo que quiere decir que la lógica es una ciencia «formal».

Tradicionalmente ha sido considerada como una parte de la filosofía. Pero en su desarrollo histórico, a partir del final del siglo XIX, y su formalización simbólica ha mostrado su íntima relación con las matemáticas; de tal forma que algunos la consideran como Lógica matemática.

En el siglo XX la lógica ha pasado a ser principalmente la lógica simbólica. Un cálculo definido por unos símbolos y unas reglas de inferencia.1 Lo que ha permitido un campo de aplicación fundamental en la actualidad: la informática.

Hasta entonces la lógica no tuvo este sentido de estructura formal estricta. La tradición aristotélica y estoica,2 mantuvo siempre una relación con los argumentos del lenguaje natural, concediendo por tanto a los argumentos

...