<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Equivalencia Lógica on kenji.blog</title><link>http://kenji.blog/es/tags/equivalencia-l%C3%B3gica/</link><description>Recent content in Equivalencia Lógica on kenji.blog</description><generator>Hugo -- gohugo.io</generator><language>es</language><copyright>kenjinote</copyright><lastBuildDate>Thu, 10 Sep 2026 21:00:00 +0900</lastBuildDate><atom:link href="http://kenji.blog/es/tags/equivalencia-l%C3%B3gica/index.xml" rel="self" type="application/rss+xml"/><item><title>¿Ver una manzana azul prueba que 'los cuervos son negros'? : Los cuervos de Hempel</title><link>http://kenji.blog/es/p/hempels-ravens/</link><pubDate>Thu, 10 Sep 2026 21:00:00 +0900</pubDate><guid>http://kenji.blog/es/p/hempels-ravens/</guid><description>&lt;img src="http://kenji.blog/p/hempels-ravens/img/hempels_ravens.jpg" alt="Featured image of post ¿Ver una manzana azul prueba que 'los cuervos son negros'? : Los cuervos de Hempel" />&lt;p>¿Cómo prueban las teorías los científicos? Normalmente, utilizan la &amp;ldquo;inducción&amp;rdquo;, que consiste en observar el mundo y recopilar datos.
Por ejemplo, si quisieras probar la hipótesis de que &amp;ldquo;todos los cuervos son negros&amp;rdquo;, observarías cuervos en todo el mundo y confirmarías uno por uno que son negros.&lt;/p>
&lt;p>Sin embargo, en la década de 1940, el lógico Carl Hempel señaló una extraña laguna lógica oculta en este método científico obvio.
Esta es la paradoja de los &lt;strong>cuervos de Hempel (Hempel&amp;rsquo;s Ravens)&lt;/strong>, que afirma que &lt;strong>&amp;ldquo;solo ver una manzana azul o zapatos rojos sirve como evidencia de que &amp;rsquo;los cuervos son negros&amp;rsquo;&amp;rdquo;&lt;/strong>.&lt;/p>
&lt;h2 id="sustitución-lógica-la-magia-de-la-contraposición">Sustitución lógica: La magia de la contraposición
&lt;/h2>&lt;p>Para entender el argumento de Hempel, es necesario recordar el concepto de &lt;strong>&amp;ldquo;contraposición&amp;rdquo;&lt;/strong> que se aprende en matemáticas de secundaria.&lt;/p>
&lt;p>En lógica, si una proposición &amp;ldquo;Si A entonces B&amp;rdquo; es verdadera, su contrapositiva &amp;ldquo;Si no es B entonces no es A&amp;rdquo; también debe ser verdadera (esto se llama equivalencia lógica).&lt;/p>
&lt;p>Hipótesis $H_1$: &lt;strong>&amp;ldquo;Todos los cuervos son negros (Si es un cuervo, es negro)&amp;rdquo;&lt;/strong>&lt;/p>
&lt;p>Tomemos la contrapositiva de esta hipótesis $H_1$.
Se convierte en &amp;ldquo;Si no es negro, no es un cuervo&amp;rdquo;.&lt;/p>
&lt;p>Hipótesis $H_2$: &lt;strong>&amp;ldquo;Todo lo que no es negro, no es un cuervo&amp;rdquo;&lt;/strong>&lt;/p>
&lt;p>Según las reglas de la lógica, $H_1$ y $H_2$ tienen &lt;strong>exactamente el mismo significado (equivalencia)&lt;/strong>. Si una se prueba, la otra se prueba automáticamente.&lt;/p>
&lt;h2 id="probar-los-cuervos-sin-ver-cuervos">Probar los cuervos sin ver cuervos
&lt;/h2>&lt;p>Ahora, para confirmar la hipótesis $H_1$ (los cuervos son negros), cada vez que encontramos un cuervo negro, la certeza (evidencia) de la hipótesis se fortalece un poco.
Todos están de acuerdo con esto.&lt;/p>
&lt;p>Sin embargo, dado que $H_1$ y $H_2$ tienen el mismo significado, encontrar evidencia para la hipótesis $H_2$ (lo que no es negro no es un cuervo) debería servir directamente como evidencia para la hipótesis $H_1$.&lt;/p>
&lt;p>Entonces, ¿cuál es la evidencia para $H_2$?
Solo necesitas encontrar &amp;ldquo;algo que no sea negro y no sea un cuervo&amp;rdquo;.&lt;/p>
&lt;ul>
&lt;li>Supongamos que hay una &lt;strong>&amp;ldquo;manzana azul&amp;rdquo;&lt;/strong> sobre la mesa. Esta no es negra ni es un cuervo. Por lo tanto, es evidencia que apoya a $H_2$.&lt;/li>
&lt;li>Había &lt;strong>&amp;ldquo;zapatos rojos&amp;rdquo;&lt;/strong> en el armario. Estos tampoco son negros ni son cuervos. Es evidencia para $H_2$.&lt;/li>
&lt;li>Hay una &lt;strong>&amp;ldquo;nube blanca&amp;rdquo;&lt;/strong> flotando en el cielo. Esta también es evidencia para $H_2$.&lt;/li>
&lt;/ul>
&lt;p>Dado que la evidencia para $H_2$ tiene el mismo valor que la evidencia para $H_1$, lógicamente se extrae la siguiente conclusión extraña.&lt;/p>
&lt;p>&lt;strong>&amp;ldquo;Cuantas más manzanas azules o zapatos rojos observes en una habitación, más se demuestra la validez de la hipótesis de que &amp;rsquo;todos los cuervos son negros&amp;rsquo;&amp;rdquo;&lt;/strong>&lt;/p>
&lt;div class="mermaid">graph TD
A["Proposición H1: Todos los cuervos son negros"] &lt;-->|Equivalencia Lógica (Contraposición)| B["Proposición H2: Lo que no es negro no es un cuervo"]
C["Observación: Cuervo negro"] -->|Sirve de evidencia| A
D["Observación: Manzana azul"] -->|Sirve de evidencia| B
D -.->|¿Por lo tanto esto también debería ser evidencia?| A
style A fill:#4CAF50,stroke:#333,stroke-width:2px,color:#fff
style B fill:#4CAF50,stroke:#333,stroke-width:2px,color:#fff
style C fill:#2196F3,stroke:#333,color:#fff
style D fill:#FF9800,stroke:#333,color:#fff&lt;/div>
&lt;h2 id="por-qué-es-contraintuitivo">¿Por qué es contraintuitivo?
&lt;/h2>&lt;p>No hay ningún ornitólogo en el mundo que profundice su convicción de que &amp;ldquo;los cuervos son negros&amp;rdquo; mirando una manzana azul. Aunque debería ser lógicamente impecable, ¿por qué nuestro sentido común lo rechaza?&lt;/p>
&lt;p>En el mundo de la filosofía y la estadística se han propuesto varios enfoques para esta paradoja.&lt;/p>
&lt;h3 id="1-solución-bayesiana-diferencia-en-la-cantidad-de-información">1. Solución bayesiana (Diferencia en la cantidad de información)
&lt;/h3>&lt;p>El contraargumento más convincente desde la perspectiva de la estadística moderna (probabilidad bayesiana) se centra en la diferencia en la &amp;ldquo;fuerza de la evidencia (cantidad de información)&amp;rdquo;.&lt;/p>
&lt;p>Hay abrumadoramente más &amp;ldquo;cosas que no son negras&amp;rdquo; en el mundo que &amp;ldquo;cosas negras&amp;rdquo;, y astronómicamente más &amp;ldquo;cosas que no son cuervos&amp;rdquo; que &amp;ldquo;cuervos&amp;rdquo;.&lt;/p>
&lt;p>Cuando ves una manzana azul, sin duda es evidencia de que &amp;ldquo;todos los cuervos son negros&amp;rdquo;, pero &lt;strong>su valor como evidencia (el grado de aumento de probabilidad) está infinitamente cerca de cero&lt;/strong>.
Incluso si se confirma una de las innumerables &amp;ldquo;cosas que no son negras&amp;rdquo; en el vasto universo, el aumento en la probabilidad de que &amp;ldquo;los cuervos sean negros&amp;rdquo; tiene aproximadamente el mismo impacto que quitar un solo grano de arena del desierto. Por otro lado, encontrar directamente un solo cuervo negro tiene un valor de evidencia abrumadoramente mayor.&lt;/p>
&lt;p>En resumen, la solución bayesiana es que lógicamente &amp;ldquo;una manzana azul es evidencia&amp;rdquo;, pero en la práctica &amp;ldquo;se puede ignorar porque su valor como evidencia es igual a cero&amp;rdquo;.&lt;/p>
&lt;h3 id="2-los-límites-de-la-ornitología-de-interior">2. Los límites de la &amp;ldquo;ornitología de interior&amp;rdquo;
&lt;/h3>&lt;p>Esta paradoja pone de relieve cuán frágiles son las premisas sobre las que se basa el núcleo de la ciencia, la &amp;ldquo;inducción (derivar leyes generales a partir de la observación)&amp;rdquo;. Si nos basamos únicamente en la equivalencia lógica, sería posible hacer &amp;ldquo;ornitología de interior&amp;rdquo;, donde podríamos verificar cualquier ley del universo (&amp;ldquo;todos los cisnes son blancos&amp;rdquo;, &amp;ldquo;todos los alienígenas no son verdes&amp;rdquo;, etc.) simplemente observando la basura en nuestra habitación sin salir a la calle.&lt;/p>
&lt;p>Los cuervos de Hempel es una paradoja muy interesante que muestra que las palabras &amp;ldquo;evidencia&amp;rdquo; y &amp;ldquo;prueba&amp;rdquo; que usamos inconscientemente no pueden ser capturadas del todo solo por las reglas de la lógica simbólica pura.&lt;/p></description></item></channel></rss>