Paradoja del taringuero
En el pueblo de Taringa es bien sabido que todos son gordos, vírgenes y pobres. Pero como voy a mostrar con el siguiente razonamiento, esto implica una paradoja. Lo primero es establecer una serie de enunciados verdaderos que nos servirán como guía:
a) Los taringueros son gordos
b) Las personas pobres comen poco
c) Los gordos no comen poco
Asignemos a cada expresión un símbolo: Taringueros (T), gordos (G), pobres (P), comer poco (CP). Con las flechas --> indicamos que tal cosa implica tal otra, y el guión antes de cada símbolo significa la negación del mismo. Ejemplo: Brad Pitt--> -T, que traducido a lenguaje corriente sería: Brad Pitt no es taringuero.
Ahora transcribamos las oraciones a nuestro precario lenguaje.
a) T --> G
b) P --> CP
c) G --> -CP
Establecemos una sencilla cadena de razonamiento, T --> G y G --> -CP, y como P--> CP, la negación de CP implica la negación de P, es decir -CP --> -P. Pasándolo a limpio tenemos que:
T--> G --> -CP --> -P
Ahora nos saltamos los pasos intermedios y tenemos que T--> -P, es decir, los taringueros no son pobres, lo cual es absurdo, porque en la definición misma de taringuero está implícito el ser pobre. Es decir, somos seres complejos y contradictorios, fuera de toda lógica. Pero lo único que puede estar fuera de la lógica son las ideas descabelladas, inexistentes, o algo así como un Dios. Como existimos, es claro que no somos un manojo de ideas inexistentes, entonces tenemos que ser Dios. Así llegamos a la conclusión que ahora convierto en axioma:
Los taringueros somos Dios.
En el pueblo de Taringa es bien sabido que todos son gordos, vírgenes y pobres. Pero como voy a mostrar con el siguiente razonamiento, esto implica una paradoja. Lo primero es establecer una serie de enunciados verdaderos que nos servirán como guía:
a) Los taringueros son gordos
b) Las personas pobres comen poco
c) Los gordos no comen poco
Asignemos a cada expresión un símbolo: Taringueros (T), gordos (G), pobres (P), comer poco (CP). Con las flechas --> indicamos que tal cosa implica tal otra, y el guión antes de cada símbolo significa la negación del mismo. Ejemplo: Brad Pitt--> -T, que traducido a lenguaje corriente sería: Brad Pitt no es taringuero.
Ahora transcribamos las oraciones a nuestro precario lenguaje.
a) T --> G
b) P --> CP
c) G --> -CP
Establecemos una sencilla cadena de razonamiento, T --> G y G --> -CP, y como P--> CP, la negación de CP implica la negación de P, es decir -CP --> -P. Pasándolo a limpio tenemos que:
T--> G --> -CP --> -P
Ahora nos saltamos los pasos intermedios y tenemos que T--> -P, es decir, los taringueros no son pobres, lo cual es absurdo, porque en la definición misma de taringuero está implícito el ser pobre. Es decir, somos seres complejos y contradictorios, fuera de toda lógica. Pero lo único que puede estar fuera de la lógica son las ideas descabelladas, inexistentes, o algo así como un Dios. Como existimos, es claro que no somos un manojo de ideas inexistentes, entonces tenemos que ser Dios. Así llegamos a la conclusión que ahora convierto en axioma:
Los taringueros somos Dios.