Leyes lógicas.

• MODUS PONENS:

Si p entonces q. Tengo p, entonces tengo q.

• MODUS TOLLENS:

Si p, entonces q. Tengo no q, entonces tengo no p.

• SILOGISMO DISYUNTIVO:

Tengo p o q. Si tengo no q, tengo p.
Tengo p o q. Si tengo no p, tengo q.

• ELIMINACIÓN DEL NEGADOR: 

Tengo no no p, tengo p.

• INTRODUCCIÓN DEL CONJUNTOR:

Tengo p y tengo q. Tengo p y q.

• ELIMINACIÓN DEL CONJUNTOR:

Tengo p y q. Consigo por un lado p, y por otro q.

• TRANSITIVIDAD DEL CONDICIONAL:

Si p entonces q. Si q entonces z. Obtengo si p entonces z.

• ELIMINACIÓN DEL BICONDICIONAL:

Si solo si p entonces q, obtenemos por un lado si p entonces q y por otro lado si q entonces p.

• INTRODUCCIÓN DEL BICONDICIONAL:

Por un lado: Si p, entonces q.
Por otro lado: Si q, entonces p.
Obtengo: Si solo si p, entonces q.

• TRANSITIVIDAD DEL BICONDICIONAL:

Por un lado: Si solo si p, entonces q.
Por otro lado: Si solo si q, entonces s.
Obtengo: Si solo si q, entonces s.

• LEYES DE MORGAN:

1. Si no p y q, entonces no p y no q.
2. Si no p o q, entonces no p o no q.

• REGLAS DE DEFINICIÓN:

· Conjuntor (^): 

1.  Si solo si no no p y no no q, entonces p o q.
2. Si solo si p y q, entonces si no no p, entonces no q.

· Disyuntor ():

1. Si solo si no no p o no no q, entonces p y q.
2. Si solo si p o q, entonces, si no p, entonces q.

MÍSTCA.

Tabla de verdad.

1. En primer lugar, asignamos los valores 1 y 0 a las proposiciones simples que componen la fórmula, combinando de todos los modos posibles tales valores.
2. En segundo lugar, hayamos los valores de verdad de las conectivas existentes en la fórmula, empezando por las menos dominantes y terminando por la conectiva dominante.

Al hacer la tabla de verdad de cualquier fórmula nos podemos encontrar con tres casos:

• Tautología:

Es una fórmula siempre válida, sean cuales sean los valores de verdad de las proposiciones que la integran. Es decir, solo tiene unos (1).

•  Contradicción:

Es una fórmula no válida nunca, sean cuales sean los valores de verdad de las proposiciones que la integran. Es decir, solo tiene ceros (0).

• Indeterminación o contingencia:

Es una fórmula que puede ser válida o no, en función de los valores de verdad de las proposiciones que la integran. Es decir, es una fórmula cuya tabla de verdad tiene unos (1) y ceros (0) no importa en que proporción.

Los símbolos de la lógica preposicional.

• Negador:

Es aquella conectiva que al aplicarse a una proposición cualquiera, la convierte en falsa si es verdadera y en verdadera si es falsa.

• Conjuntor:

Es la conectiva que sólo es verdadera si las dos proposiciones que une son ambas verdaderas, y que es falsa en los demás casos.

• Disyuntor:

Conectiva que sólo es falsa si las dos proposiciones que une son ambas falsas, y verdadera en los demás casos.

• Condicional:

Es aquella conectiva que sólo es falsa cuano, siendo el antecedente verdadero, el consecuente sea falso, y la verdadera en los demás casos. Llamamos "antecedente del condicional a la proposición que se halla a su izquierda, y "consecuente" a la que está a su derecha.

• Bicondicional:

Es aquella conectiva que sólo es verdadera si las dos proposiciones unidas por ella tienen ambas el mismo valor de verdad, es decir, son ambas verdaderas o falsas a la vez.


MÍSTICA.

El lenguaje formal.

El lenguaje formal es un lenguaje artificial cuyos símbolos son formales (carecen de significado) y cuyas reglas sintácticas poseen la operatividad y la eficacia de un cálculo. La Lógica y las Matemáticas son lenguajes artificiales y formales.

Los símbolos de un lenguaje formal carecen de significado porque no se refieren a la realidad.

Las reglas de un lenguaje formal poseen la eficacia de un cálculo ya que mediante esas reglas podemos saber si una fórmula (conjunto de símbolos) es una expresión bien formada del lenguaje. Mediante la aplicación de las reglas podremos deducir bien formadas del lenguaje realizando alguna operación sobre otras expresiones bien formadas de él.


MÍSTICA.

Insuficiencias del lenguaje natural.

Las exigencias de la ciencia o la formulación de razonamientos complejos necesitan una exactitud y precisión que el lenguaje natural no posee.

 CONSECUENCIAS DE LAS INSUFICIENCIAS:

1. Imprecisiones semánticas:

En el lenguaje natural hay muchas palabras ambiguas (cuyo significado no es preciso) y polisémicas (palabras que tienen más de un significado).

     2. Deficiencias sintácticas:

Las reglas sintácticas que determinan como combinaar correctamente las palabras del lenguaje natural carecen de criterios rigurosos que permitan evitar las oraciones sin sentido.


MÍSTICA.

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.

Examina la validez de los argumentos en términos de su estructura, (estructura lógica), independientemente del contenido específico del discurso y de la lengua utilizada en su expresión y del los estados reales a los que dicho contenido se pueda referir. Lo que significa que 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.  Lo que ha permitido un campo de aplicación fundamental en la actualidad: la informática.

Los filósofos racionalistas, al situar el origen de la reflexión filosófica en la conciencia, aportaron, a través del desarrollo del análisis como método científico del pensar, los temas que van a marcar el desarrollo de la lógica formal.

La palabra lógica ha sido utilizada como lógica trascendental por KANT, en el sentido de investigar los conceptos puros a priori del entendimiento o categorías trascendentales.

MÍSTICA.

Falacias

¿QUE ES UNA FALACIA?
Una falacia es un razonamiento logico incorrecto, pero que psicologicamente puede ser persuasivo.
TIPOS DE FALACIAS:
Existen falacias formales (son razonamientos no validos pero que a menudo se aceptan por su semejanza con formas validas de razonamiento) o no-formales (son razonamientos en los cuales lo que aportan las premisas no es adecuado para justificar la conclusion a la que se quiere llegar; se pretende convencer no aportando buenas razones sino apelando a elementos no pertinentes). Dentro de las falacias formales existen de afirmacion del consecuente, de negacion del antecedente y silogismo disyuntivo. Dentro de las falacias no-formales encontramos de ambigüedad, de insuficiencia y de irrelevancia.

1. Afirmacion del consecuente: partiendo de un condicional y dandose o afirmando el segundo se concluye el antecedente (modus ponens).
2. Negacion del antecedente: partiendo de un condicional y negando el primero se obtiene la negacion del consecuente.
3. Silogismo disyuntivo: partiendo de un disyuncion y afirmando uno de los dos componentes se obtiene la negacion del otro componente.
4. De ambigüedad:aparecen en razonamientos cuya formacion contiene palabras cuyos significados cambian de manera mas o menos sutil durante el razonamiento.
5. De insuficiencia: son aquellas en que se encuentran ocultas premisas que no son probadas o que son falsas. Pueden ser de generacion apresurada, de generacion inadecuada, de falsa causa o de insuficiencia de pruebas.
6. De irrelevancia: las premisas estan relacionadas con el motivo de la discusion, no constituyen ninguna evidencia parala conclusion. Pueden ser de apellatio, ad hominem, ad baculum, ad misericordiam, ad populum, ad verecundiam y ad ignorantiam.

APRENDIZ DE MISTICA