LA LÓGICA FORMAL

Bueno, los examenes están ya encima y empiezan los agobios. Incluso mucha gente no sabe aun los contenidos que entran en cada examen. Pues esta entrada de hoy va para esos despitadillos, ya que hoy voy a repasar todos los contenidos teóricos que os teneis que saber con respecto a la lógica formal.

Lo primero, saber que es la lógica formal.

La lógica formal es la ciencia que estudia el razonamiento válido, es decir, estudia aquellos razonamientos que garantizan que a partir de la verdad de las premisas es posible garantizar la verdad de la conclusión.

También tenemos que saber difenciar los términos verdad y validez.

La verdad es una cualidad de las proposiciones que nosotros les añadimos desde nuestro sistema de creencias.
Mientras que la validez, se refiere a a la forma de relación que se establece entre las premisas y la conclusión. Por lo tanto podemos asegurar que un argumento es válido, siempre y cuando no incumpla ninguna de las reglas de la sintaxis.

Argumentos apofánticos: argumentos que pueden ser verdaderos o falsos. Las proposiciones son argumentos apofánticos, excepto aquellas que expresan deseo, duda, conjetura, interrogación y exclamación.

El método de las tablas de verdad nos puede ofrecer tres resultados diferentes:

1.Indeterminación: el esquema argumentativo no es válido siempre; arroja en algunos casos la verdad y en otros la falsedad, dependiendo de la combinación.
2.Contradicción: todas las alternativas arrojan como resultado la falsedad.
3.Tautología: en todos los casos la forma del argumento ofrece un resultado verdadero, por lo que el argumento es válido.

El lenguaje esta formado por un alfabeto y unas reglas sintácticas con los que podemos construir palabras, juicios y oraciones. La lógica nos permite averiguar si esos argumentos son correctos o no, nos permite construir frases con sentido. De ahi la gran importancia de la lógica (además de la indudable importancia de la lógica en la infórmatica que ya ha comentado mi queridisimo compañero Yobates en la entrada anterior).

En cuanto a las leyes lógicas, os daré una gran noticia, (que probablemente conozcais), y es que no hace falta estudiarselas para el examen :D , ya que nos harán entrega de una hoja en la que vienen todas las leyes lógicas, aunque de poco os servirá si no sabéis manejarlas, así que voy a hacer un ejercicio aquí mismo.

Ahi que obtener t:

-1 p --> q
-2 (q^s) --> t
-3 r --> s
-4 p^r
5 p EC 4
6 r EC 4
7 s MP 3,6
8 q MP 1,5
9 q^s IC 7,8
10 t MP 2,9

Espero que os haya servido de ayuda.

Saludos

FILÓSOFO BELEROFONTE

Lógica

Conclusiones lógicas

El mejor poder de la lógica es que nos permite, a partir de ciertos hecho que sabemos que son ciertos obtener nuevos hechos tanto o más ciertos que los primeros. Algunos ejemplos:

+Hace 50 años todo el mundo fumaba. Los que fumaban entonces actualmente son viejos. La esperanza de vida de los actuales viejos a aumentado, luego fumar alarga la vida.

+Los médicos recomiendan un vaso de vino diario para prevenir el cáncer. Luego, si tomamos al menos dos litros diarios de vino, podemos prevenir el cáncer de todo nuestro edificio.


jajaja ahora en serio.

La lógica es una ciencia formal que estudia qué argumentos son válidos y qué conclusiones son verdaderas partiendo de premisas verdaderas, e identifica los pasos erróneos que se producen en la demostración.

Como es una ciencia formal diremos que no estudia ninguna de las parcelas de la realidad.

Ésta ciencia fue descubierto por un señor llamado Aristóteles allá por el siglo VI a.c.

Junto con el álgebra Boole la lógica formal fue la base de lo que hoy en día conocemos como INFORMATICA. Los ordenadores que tenemos en casa actúa siguiendo las leyes lógicas.Por lo tanto, podemos decir que la filosofía fue la que descubrio el funcionamiento de un elemento tan importante como lo es la informática.

Deberes para hoy: formalizar la primera proposición que he hecho (la del tabaco) y demostrar que no se cumple. Si no suspenso general.

FILÓSOFO YÓBATES