Me parece que 'implica' en el idioma inglés no significa lo mismo que el operador lógico 'implica', de manera similar a cómo la palabra 'OR' en la mayoría de los casos significa 'OR exclusivo' en nuestro uso cotidiano del idioma.
Tomemos dos ejemplos:
Si hoy es lunes, mañana es martes.
Esto es cierto .
Pero si decimos:
Si el sol es verde, entonces la hierba es verde.
Esto también se considera cierto. ¿Por qué? ¿Cuál es la 'lógica' en inglés natural detrás de esto? Me deja boquiabierto.
Respuestas:
Los humanos son malos con la lógica hasta que tienen que emplearla para resolver los asuntos humanos. Piense en " si entonces BA B " como una especie de promesa: "Te prometo que si haces , haré B ". Tal promesa dice nada acerca de lo que podría hacer si usted no puede hacer una . De hecho, podría hacer B de todos modos, y eso noA B A B me haría mentiroso.
Por ejemplo, supongamos que tu madre te dice:
Y déjenos decir que no limpió su habitación, pero cuando entró a la cocina su mamá estaba haciendo panqueques. Pregúntate si esto hace que tu madre sea una mentirosa. ¡No es asi! Sería una mentirosa solo si limpiabas la habitación pero se negaba a hacer panqueques. Puede haber otras razones por las que decidió hacer panqueques (tal vez su hermana limpió su habitación). Tu mamá no te dijo "Si no limpias la habitación, no haré panqueques", ¿verdad?
Entonces si digo
eso no me hace mentiroso. El sol no es verde (no limpiaste la habitación), pero el pasto resultó ser verde de todos modos (pero tu mamá hizo panqueques de todos modos).
fuente
style="voice: laurence-fishburne"
...Es una convención: podríamos usar una diferente, pero esta es conveniente. Esto es lo que dice Terence Tao :
fuente
"A implica B" significa (corto) "si A es verdadero, entonces B es verdadero".
Significa (un poco más) "si A es verdadero, entonces afirmo que B es verdadero; si A es falso, entonces no hago ningún reclamo sobre B".
Ahora tome "Si el sol es verde, entonces la hierba es verde".
En la forma larga se traduce como "Si el sol es verde, entonces afirmo que la hierba es verde; si el sol no es verde, entonces no pretendo el color de la hierba". El sol no es verde, así que no pretendo el color de la hierba.
fuente
Pongamos un ejemplo. Supongamos que queremos expresar que es el único elemento del conjunto S que satisface la propiedad P . Entonces podemos escribir ∀ x ∈ Sa S P
Esto indica que cualquier elemento de x que satisfaga P debe ser igual a a . No pretende nada acerca de los elementos que no correspondan a P . Si b no satisface a P y es diferente de a, entonces P ( b ) es falso y b = a es falso, entonces P ( b ) ⇒ b = a es verdadero, tal como en su ejemplo.
fuente
Es importante tener en cuenta que muchas formas de lógica no tienen un concepto de cronología o causalidad. Si algo es cierto, entonces, dentro de su contexto, lo ha sido y seguirá siendo cierto para siempre. Decir que X implica Y no significa en ningún sentido que X hará que Y sea cierto. Simplemente significa que X no puede ser verdadero sin que Y también sea verdadero, e Y no puede ser falso sin que X también sea falso.
Describir de manera útil las relaciones causales en el mundo real requiere algo más allá de las construcciones utilizadas en la lógica "atemporal". Un concepto como "Para cualquier acción Y tal que X haga que Y sea razonable, Y se considerará razonable" puede ser útil en un universo causal incluso si X pudiera ser falso, pero el operador de implicación explota completamente en tales casos. Si uno dijera "X implica que Y se considerará razonable" y resultó que X nunca fue cierto, eso implicaría que todas las acciones se considerarán razonables.
No estoy seguro de qué formas de lógica incluyen los constructos necesarios para permitir enunciados que involucren causalidad unidireccional, pero reconocer que la definición lógica de "implica" no reconoce los conceptos de tiempo y causalidad debería facilitar la comprensión de por qué se comportan en forma contra-intuitiva.
fuente
Al usar Implication In English no se trata de las cosas u objetos que consideramos.
El sol es solo un objeto aquí, no le hagas ningún vínculo emocional, ya que un sol no puede ser verde.
Esto parece menos confuso que escribir en inglés.
fuente
S
"verde" como elG
"pasto" comoGG
algo cambia en absoluto.Para poner su cabeza en el lugar correcto para mi respuesta, quiero mencionar lo que me gusta llamar el Teorema de los Monos Voladores, o lo que Wikipedia le gusta llamar el Principio de Explosión , que establece:
Una vez que estamos en este reino donde sabemospags es falso, ya no estamos en la realidad. Estamos en una dimensión alternativa donde el Babel Fish es real, el negro es blanco y ten cuidado con el paso de cebra. Entonces, dado que ya no estamos en realidad, por supuesto, la afirmación podría ser cierta. Específicamente, puedo usar lo falso que supongo para probar lo que quiera. Asi que por su puestoF→ T y F→ F son ambas afirmaciones verdaderas.
fuente