Si la pregunta nos pide que asumamos la verdad tanto de una afirmación como de su negación, entonces la casa azul en su bloque es azul y no azul, porque todo sigue a una contradicción.
Primero, permítame mostrar que todo sigue de una contradicción usando las reglas de la lógica de primer orden. (Las letras mayúsculas, como ‘P’, se ubican en lugar de una declaración, como “Está nevando” y puede ser verdadera o falsa).
1. Supongamos P
2. Supongamos que ~ P (No P)
3. P v Q (P o Q es verdadero. Justificación: podemos hacer este movimiento ya que tomamos P como verdadero en la línea 1, lo cual es suficiente para que P y cualquier otra cosa sea verdadera)
4. Q (Pero Q es lo que debe ser verdad, ya que en la línea 2. P es precisamente lo que no es verdad, y uno de los disyuntivos de una disyunción es verdadero)
Y así, de tomar P & ~ P (para ser verdad), Q sigue ((P & ~ P) -> Q).
- ¿Cuál es la visión del Dr. Kumar Vishwas sobre la seguridad de las mujeres?
- Templo de Jerusalén ¿Por qué reconstruirlo en su sitio auténtico?
- ¿Cuál es la verdad de la existencia?
- ¿Por qué la lógica no funciona en personas delirantes? ¿Por qué los delirios reforzados por una red social de personas son tan difíciles de tratar? ¿Por qué son inmunes a la lógica, la evidencia y el razonamiento cuando son efectivos en otras partes de la vida de esa persona?
- ¿Hasta dónde puede llegar el conocimiento? ¿La comprensión excepcional sobre el conocimiento siempre implica sabiduría?
Y dado que Q podría haber sido una afirmación, todo se sigue de una contradicción. Ahora, hagamos que las afirmaciones implícitas en la pregunta anterior sean explícitas utilizando la lógica de primer orden, y luego presentaré la contradicción.
(i) Existe una x tal que x es una casa, x es azul y x está en mi bloque.
(ii) No es el caso que exista una x tal que x sea una casa, x sea azul y x esté en mi bloque.
Dado que (ii) es solo la negación de (i), llamemos a estas sentencias P para (i) y ~ P para (ii).
La pregunta anterior pregunta: “¿es azul la casa azul de mi bloque si no hay una casa azul en mi bloque?”
Esa pregunta es equivalente a la pregunta: “Si no hay una casa azul en mi bloque, ¿entonces es azul la casa en mi bloque?”
Observe que el consecuente (posterior a la parte) del condicional if / then tiene una existencia implícita, la misma P tomada como negada en el antecedente (antes de la parte).
Si es así, entonces la pregunta es lógicamente equivalente con la pregunta:
Si ~ P, entonces, si P, es x azul?
En la lógica de primer orden, puedes simplemente asumir el antecedente de un condicional y ver qué obtienes de él para obtener el condicional completo, ya que un condicional realmente consiste en ver lo que obtienes si asumes que una afirmación es verdadera. Sin embargo, tenemos dos antecedentes para resolver la pregunta ‘is it blue’, P y ~ P:
¿Parecer familiar?:
1. Supongamos P
2. Supongamos ~ P
3. P v Q
4. Q
5. (P & ~ P) -> Q.
Dejemos que Q sea “es azul”, o “no es azul”, o tal vez incluso “es azul y no azul”. En resumen, la respuesta es que sí.