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

Jean-Jacques Rousseau: LA VOLUNTAD GENERAL

Segun Rosseau el ser humano en estado de naturaleza lleva una vida placida y sencilla.
La union en sociedades es lo que promueve la propiedad privada, que es el peor de los enemigos de la bondad humana (la envidia y la codicia) apartir de aqui aparecen las relaciones de dominio.
Rosseau propone que surge un contrato que reside en una voluntad general que defiende el interes de la comunidad por encima de cualquier interes particular.
El contrato social de Rosseau no implica ninguna renuncia, ya que el individuo no posee ningun derecho previo a la institucion de la sociedad.







APRENDIZ DE MISTICA

John Locke: EL CONTRATO LIBERAL

Segun Locke, el ser humano en su estado de naturaleza es libre y dueño de absoluto de su vida y hacienda. Ademas, existe una ley que obliga a todo ser humano a respetar la vida, la salud y las propiedades de los demas. Sin embargo la existencia de individuos que atentan contra esta ley, y violentan con ello la absoluta libertad del ser humano, obliga a que se establezca un contrato entre individuos diferentes que garantice el respeto de esta legitimidad, en esta decision se encuentra el origen de la sociedad. En la sociedad civil todas las personas se imponen la obligacion de respetar la libertad y las propiedades de los demás. Se establecen las caracteristicas y obligaciones del Estado.
Locke sostiene que el poder del Estado no es absoluto, los gobernantes tambien estan obligados a respetar las leyes, para ello se realiza una separacion de poderes:

• El poder legislativo-> su funcion es dictar las ordenes.Dentro de este poder se encuentra el poder judicial.
• El poder ejecutivo-> debe velar por el respeto y la correcta ejecucion de las leyes. Este poder es subordinado por el legislativo.

APRENDIZ DE MISTICA

Thomas Hobbes: HOMO HOMINI LUPUS

El ser humano en su estado de naturaleza es egoista, debido esta igualdad y continua lucha por los recursos, el ser humano vive en un situacion de guerra perpetua de unos contra otros.




El ser humano dotado de la razon ve claramente que esta forma de existencia debe ser superada, surgiendo asi como consecuencia natural la necesidad de establecer un contrato mediante el cual todos los firmantes acuerden someterse a un monarca. De esta union surge la sociedad civil que esta formada por los miembros e instituciones de un Estado como un gran Leviatan (el monarca).
El Estado segun Hobbes es:

" La fuerza que castiga a aquel que incumple la norma"

APRENDIZ DE MISTICA

Las teorias del contrato de la legitimidad del poder

Este contrato se presenta como hipotetico y su funcion es justificar un tipo concreto de organizacion politica.
Los maximos representantes de esta doctrina son Hobbes, Locke y Rousseau; todos ellos parten del ideal antropocentrico que inaugura la modernidad y de la critica a las estructuras de legitimacion del poder medievales.
Las caracteristicas comunes entre las tres figuras son:

• Afirmacion de la autonomia del individuo.
• Crítica de la concepcion teocratica del poder que habia prevalecido en Europa durante la Edad Media.
• Establecimiento de una serie de derechos dependientes de la actividad racional del ser humano.

APRENDID DE MISTICA

¿Como se obtiene la legitimidad del poder politico?

La legitimidad de un sujeto puede ser entendida de tres porturas fundamentales:

1. Dependiendo de su origen -> la legitimidad proviene de las cualidades que deben tenr de form obligada aquellos que quieran el poder.
2. Dependiendo de los fines -> sera legitimada si el poder politico garantiza algun fin concreto, como un bien común y que respete los derechos de los ciudadanos.
3. Dependiendo de las formas de dominio -> la legitimidad del poder politico varia según la sociedad y sus relaciones de dominio.

APRENDIZ DE MISTICA