Etapas de la borrachera… (ejercicio de lógica)

Lo que inspiró la siguiente formulación fue éste vídeo:

El solipsismo apoya la teoría de que nuestra realidad depende de nuestro cerebro. Ser solipsista supone creer en la existencia propia en cuanto cosa pensante (res cogitans). Se es solipsista o no. Si el solipsismo es una etapa de la borrachera entonces todo borracho es un solipsista «en potencia». Si el solipsismo, además, supone estar en un sueño perpetuo, entonces la vida es sueño. Si la vida es sueño entonces se puede prescindir de la moral. Si se prescinde de la moral entonces hay mayor conflicto interno. Si hay, por otra parte, tendencia al conflicto, entonces se puede ser borracho para ahogar las penas. Si no se es solipsista entonces la vida no es sueño. Si se es solipsista sí lo es… Por lo tanto, si se es solipsista entonces se puede ser borracho para ahogar las penas.

p = ser solipsista.
q = solipsismo es etapa de la borrachera.
r = todo borracho es un solipsista en potencia.
s = solipsismo es sueño perpetuo.
t = la vida es sueño.
tª = prescindir de la moral.
sª = tendencia al conflicto.
rª = ser borracho para ahogar penas.

v = disyunción.
∆ = conjunción.
—› = implicación.
¬ = negación.

-1. p v ¬p
-2. q —› r
-3. s —› t
-4. t —› tª
-5. tª —› sª
-6. sª —› rª
-7. ¬p —› ¬t
-8. p —› t por lo tanto p —› rª

screenshot-at-2017-01-21-203303

====================

NOTAS AL PIE

====================

1 Hipótesis del teorema de la deducción.
2 Hipótesis 1 de casos de la línea 1.
3 Modus ponens de la línea 8 y la 10.
4 Modus ponens de la línea 4 y la 11.
5 Modus ponens de la línea 5 y la 12.
6 Modus ponens de la línea 6 y la 13.
7 Hipótesis 2 de casos de la línea 1.
8 Hipótesis de absurdo.
9 Producto de la línea 9 y la 15.
10 Reducción al absurdo desde la línea 16 a la 17.
11 Eliminación de la doble negación de la línea 18.
12 Modus ponens de la línea 3 y la 19.
13 Modus ponens de la línea 4 y la 20.
14 Modus ponens de la línea 5 y la 21.
15 Modus ponens de la línea 6 y la 22.
16 Regla de casos de la línea 1, por el proceso hipotético desde la línea 10 a la 14 y desde la 15 hasta la 23.
17 Teorema de la deducción desde la línea 9 a la 24.

Anuncios

Deja un comentario... // Write a comment...

Introduce tus datos o haz clic en un icono para iniciar sesión:

Logo de WordPress.com

Estás comentando usando tu cuenta de WordPress.com. Cerrar sesión / Cambiar )

Imagen de Twitter

Estás comentando usando tu cuenta de Twitter. Cerrar sesión / Cambiar )

Foto de Facebook

Estás comentando usando tu cuenta de Facebook. Cerrar sesión / Cambiar )

Google+ photo

Estás comentando usando tu cuenta de Google+. Cerrar sesión / Cambiar )

Conectando a %s