¿La casa azul en mi bloque es azul si no hay una casa azul en mi bloque?

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).

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í.

Los lógicos retirarían la declaración, “la casa azul en mi bloque es azul”, algo como esto:

Hay exactamente una x, de modo que x es azul y x es una casa en mi bloque; y x es azul.

Esto, al ser una declaración existencial, es falso, porque no hay (por lo que nos dices) nada que responda a la descripción. Para más en este sentido, es posible que desee leer el periódico clásico de Bertrand Russell sobre el actual Rey de Francia, “En Denotación”.

Pero algunos lógicos pretenden que ser capaz de dar tales glosas técnicas de alguna manera les otorga el derecho de considerar resueltos tales rompecabezas. Pero obviamente, o al menos es obvio para mí, la picazón no se ha eliminado con éxito. Así que déjame rascarlo de una manera diferente.

Por un lado, si estamos hablando del mundo real (y no nos has dicho que no lo estamos haciendo), entonces “la casa azul en mi bloque” suena como una tontería, porque con la palabra “el” estás insinuando , o fingiendo, que algo responde únicamente a la descripción. La última vez que lo comprobé, descartar tales construcciones como simples tonterías no era muy popular entre los filósofos, pero como sea, me parece correcto, de todos modos, llamarlo “tonterías” si ambos implican (con “el”) que hay una casa azul en su bloque, y en la misma frase que dice que no hay una casa azul en su bloque.

Por otro lado, supongamos que estamos hablando de un mundo ficticio. (O un mundo imaginario, o un mundo equivocado, o un mundo pasado o futuro, cualquier cosa contrafactual). Supongamos que precedió su afirmación sobre la casa azul en su bloque de esta manera: “Érase una vez, en este mismo bloque, había una casa azul “. Y luego un niño inteligente que vive en la cuadra interrumpe y dice: “¿Es azul la casa en mi cuadra si no hay casa azul en mi cuadra?” Luego puede responder: “Quiero decir, en la historia, hay una casa azul. No estoy hablando del mundo real. Obviamente estoy hablando de la historia, ¡tonto! Y en esta historia, sí, hay una casa azul en tu cuadra, y sí, era azul “.

El hecho de que podamos hablar de manera ficticia, que podamos imaginar y hablar “sobre” cosas que no son el caso, es lo que hace posible construcciones paradójicas como “la casa azul que no existe”. Si se entiende que estás hablando del mundo real, entonces “la casa azul que no existe” es simplemente una tontería, un error lingüístico.

Depende de la fiabilidad del informante. ¿Quién te dijo que no hay casa azul? Si el informante es daltónico y usted no lo es, entonces, por supuesto, la casa es azul.

Una casa azul es azul por definición. El número de casas azules dentro de cualquier área definida (como su bloque) se puede enumerar, pero puede ser cero. En el caso de que el número sea cero (“no hay una casa azul en mi bloque”), esto todavía no contradice el azul del concepto de la casa azul.

Si no hay una casa azul en mi bloque, la entidad “casa azul en mi bloque” no tiene ninguna existencia objetiva.
En mi opinión, esta pregunta es de hecho una pregunta precedida por una declaración. Se puede formular de esta manera:
a) No hay casa azul en mi bloque.
b) ¿hay en mi bloque alguna casa a la que pueda asignarse el atributo “azul”?
De esta manera la respuesta parece evidente: “No”.

Yo diría que no.
Usted dice claramente que no hay una casa azul en el bloque, luego haga una pregunta sobre una casa “azul”. Las declaraciones triunfan sobre las preguntas. Esa “casa azul” en tu bloque es probablemente un color mezclado con algunos elementos azules. Decir aguamarina, es difícil decir si es azul o verde.

Esta no es una cuestión filosófica. Es lingüístico. Así, la respuesta es: las ideas verdes incoloras duermen furiosamente.

Error de referencia : variable indefinida ‘la casa azul en mi bloque’.

A menos que esta sea una pregunta tipo truco, eso es una contradicción. No puede haber una casa azul en su bloque si no hay casas azules en su bloque.