Conocimiento mutuo (lógica)

El conocimiento mutuo es un concepto fundamental sobre la información en la teoría de juegos , la lógica (epistémica) y la epistemología . Un evento es conocimiento mutuo si todos los agentes saben que ocurrió el evento. ^{[1] : 73} Sin embargo, el conocimiento mutuo por sí solo no implica nada sobre lo que los agentes saben sobre el conocimiento de otros agentes: es decir, es posible que un evento sea conocimiento mutuo pero que cada agente no sea consciente de que los otros agentes saben que ha ocurrido. ^[2] El conocimiento común es una noción relacionada pero más sólida; cualquier hecho que sea de conocimiento común también es conocimiento mutuo.

El filósofo Stephen Schiffer , en su libro Significado , desarrolló una noción que llamó "conocimiento mutuo" que funciona de manera bastante similar al "conocimiento común" de David K. Lewis . ^[3]

Las comunicaciones (verbales o no verbales ) pueden convertir el conocimiento mutuo en conocimiento común. Por ejemplo, en el rompecabezas de niños embarrados con dos niños (Alice y Bob, ), si ambos tienen la cara embarrada (es decir, ), ambos saben que hay al menos una cara embarrada. Escrito formalmente, let , y luego tenemos . Sin embargo, ninguno de los dos sabe que el otro niño sabe ( ), lo que hace que el conocimiento sea mutuo . Ahora supongamos que si Alice le dice a Bob que lo sabe (de modo que se convierta en conocimiento común , es decir ), y luego Bob le dice a Alice que él también sabe (de modo que se convierta en conocimiento común , es decir ), esto se convertirá en conocimiento común ( ), que es equivalente al efecto de un anuncio público "hay al menos una cara embarrada". ${\displaystyle G=\{a,b\}}$ ${\displaystyle M_{a}\land M_{b}}$ ${\displaystyle p=[\exists x\!\in \!G(M_{x})]}$ ${\displaystyle K_{a}p\land K_{b}p}$ ${\displaystyle (\neg K_{a}K_{b}p)\land (\neg K_{b}K_{a}p)}$ ${\displaystyle p=[\exists x\!\in \!G(M_{x})]}$ ${\displaystyle p}$ ${\displaystyle K_{a}p}$ ${\displaystyle C_{G}K_{a}p}$ ${\displaystyle p}$ ${\displaystyle K_{b}p}$ ${\displaystyle C_{G}K_{b}p}$ ${\displaystyle p}$ ${\displaystyle C_{G}E_{G}p\Rightarrow C_{G}p}$

Ver también

• Elefante en el cuarto
• Las nuevas ropas del emperador
• Conocimiento distribuido

enlaces externos

• Steven Pinker . "La materia del pensamiento: el lenguaje como ventana a la naturaleza humana". RSA .

Referencias

1. Osborne, Martin J. y Ariel Rubinstein . Un curso de teoría de juegos . Cambridge, MA: MIT, 1994. Imprimir.
2. Peter Vanderschraaf, Giacomo Sillari (2007). Conocimiento común. Enciclopedia de Filosofía de Stanford . Consultado el 18 de noviembre de 2011.
3. Stephen Schiffer, Significado , segunda edición, Oxford University Press, 1988. La primera edición fue publicada por OUP en 1972. Además, David Lewis, Convención , Cambridge, MA: Harvard University Press, 1969. Para una discusión sobre Lewis y Schiffer. nociones, véase Russell Dale, The Theory of Meaning (1996).