11.04.2013 Views

Introducción a la Lógica Algebraica ∗ - Facultad de Matemáticas ...

Introducción a la Lógica Algebraica ∗ - Facultad de Matemáticas ...

Introducción a la Lógica Algebraica ∗ - Facultad de Matemáticas ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Los ejemplos 5 y 6 son un caso extremo <strong>de</strong> argumento en el que no hay<br />

premisas, sólo conclusión. Los ejemplos 1, 2, 6 y 7 son argumentos correctos.<br />

El 6 es correcto simplemente porque su conclusión no pue<strong>de</strong> ser falsa. De<br />

hecho, po<strong>de</strong>mos agregar todas <strong>la</strong>s premisas que queramos y el argumento<br />

seguirá siendo correcto. El último es correcto porque no es posible que <strong>la</strong>s<br />

dos premisas sean verda<strong>de</strong>ras. Los ejemplos 1 y 2 los analizaremos más<br />

a<strong>de</strong><strong>la</strong>nte.<br />

La evi<strong>de</strong>ncia presentada por <strong>la</strong>s premisas no es suficiente para afirmar <strong>la</strong><br />

conclusión <strong>de</strong> los argumentos 3, 4 y 5. El argumento 3 es incorrecto porque<br />

obviamente Juan podría ir al cine y dormir allí. Para 4, si reemp<strong>la</strong>zamos <strong>la</strong><br />

pa<strong>la</strong>bra “mamífero” por “cuadrúpedo”, vemos que el argumento obtenido es<br />

“el mismo” (ya volveremos sobre esto en <strong>la</strong> próxima sección), si acepto uno<br />

como correcto, el otro también <strong>de</strong>be serlo. Sin embargo <strong>la</strong>s premisas <strong>de</strong> <strong>la</strong><br />

segunda versión son verda<strong>de</strong>ras y <strong>la</strong> conclusión falsa. Debemos <strong>de</strong>sechar este<br />

argumento por incorrecto. No es necesario hacer notar que 5 no es un buen<br />

argumento, sin embargo, es uno <strong>de</strong> los más usados en <strong>la</strong> vida cotidiana.<br />

1.1 Estructura <strong>Lógica</strong> <strong>de</strong> los Argumentos<br />

Intuitivamente, <strong>la</strong> corrección <strong>de</strong> un argumento <strong>de</strong>pen<strong>de</strong> más <strong>de</strong> <strong>la</strong> forma en<br />

que se re<strong>la</strong>cionan <strong>la</strong>s oraciones que los componen que <strong>de</strong>l tema <strong>de</strong>l que se está<br />

hab<strong>la</strong>ndo <strong>de</strong> tal manera que si alguien no conoce el significado <strong>de</strong> una pa<strong>la</strong>bra,<br />

igual <strong>de</strong>be po<strong>de</strong>r <strong>de</strong>terminar <strong>la</strong> corrección <strong>de</strong>l argumento. Por ejemplo,<br />

8.<br />

Todas <strong>la</strong>s flores son rojas.<br />

Esta margarita es una flor.<br />

Luego esta margarita es roja.<br />

es el mismo argumento que 1. en el sentido <strong>de</strong> tener <strong>la</strong> misma forma o<br />

estructura lógica. Si aceptamos <strong>la</strong> corrección <strong>de</strong>l primero, <strong>de</strong>bemos aceptar<br />

<strong>la</strong> <strong>de</strong>l segundo, obsérvese sin embargo, que en este <strong>la</strong> conclusión es falsa.<br />

De alguna manera, el contenido <strong>de</strong> lo que se dice más bien oculta que esc<strong>la</strong>rece<br />

esta estructura. Por ejemplo, consi<strong>de</strong>remos<br />

9.<br />

Todos los flum son pran.<br />

Frafrá es un flum.<br />

Luego Frafrá es un pran.<br />

5

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!