La paradoja del conocimiento condicional de Yalcin
Para todo S y P, DESENTRECOMILLADO: “S sabe que P” es verdadero si y sólo si S sabe que P. OBJETIVIDAD: Si S afirma P y P es verdadero, S dice algo verdadero. (DESENTRECOMILLADO) y (OBJETIVIDAD) no sólo parecen ser verdaderas, sino que parecen ser platitudes sobre el lenguaje. Sin embargo, parece haber contra-ejemplos, como el siguiente (mi versión, adaptada de la de Yalcin): Juan es jurado del concurso canino y sabe que Fido es el ganador, pero aún no se anuncia. Juan está caro de escribir el discurso de premiación. Para evitar el resultado se filtre antes del anuncio oficial, Juan ha escrito no sólo el discurso oficial, sino también otro discurso falsos donde elogia a Dido otro perro en la competencia, un perro que además no era siquiera uno de los diez mejores. Aunque esconde bien los discursos, Helena los encuentra y Juan se da cuenta. Supongamos, además, que las habilidades cognitiva y epistémicas de Helena (y de Juan) son óptimas y que así Helena puede fácil...