Nuevos ensayos de lógica modal

Kripke revolucionó la lógica modal a través de la semántica; Poggiolesi ataca desde un ángulo igualmente fundamental pero distinto: la teoría de la prueba. En lugar de hablar de mundos posibles, analiza cómo se construyen rigurosamente las deducciones dentro de sistemas modales, ofreciendo una perspectiva 'nonobvious' complementaria al enfoque semántico kripkeano.

Evita la conexión obvia (ensayos sobre Kripke) y en su lugar muestra la fructífera aplicación de su marco lógico-semántico a un dominio concreto: la temporalidad. Es un ejemplo de cómo el instrumental kripkeano trascendió la filosofía para modelar fenómenos complejos, una recomendación que rara vez aparece en listas introductorias sobre Kripke.

Kripke atacó profundamente la tradición empirista y verificacionista que Carnap representa. Entender a Carnap es entender el 'establishment' filosófico contra el que reaccionaron las tesis de Kripke sobre la necesidad a posteriori y el esencialismo. La conexión es de oposición fundacional en la arquitectura del pensamiento analítico.

Mientras Kripke ataca el descriptivismo fregeano, Davidson ataca toda la idea de un 'significado' como entidad. Ambos comparten una profunda desconfianza hacia ciertas construcciones teóricas tradicionales en filosofía del lenguaje, aunque sus soluciones difieran. La conexión es a nivel de las preguntas fundamentales sobre qué constituye una teoría semántica adecuada.

Presenta un desarrollo especializado de la lógica modal (el campo que Kripke transformó) desde una tradición filosófica centroeuropea (polaca) con poca visibilidad en el canon anglosajón. Muestra la asimilación y evolución de las ideas kripkeanas en un contexto académico 'obscure' para la mayoría de los lectores.

Aplica el marco semántico-relacional inspirado por Kripke a problemas epistémicos, desde una tradición filosófica latinoamericana. Es un ejemplo concreto de cómo la revolución kripkeana en la semántica modal fructificó en áreas aplicadas, fuera del circuito principal de publicaciones en inglés.

Kripke, en 'Naming and Necessity' y probablemente en sus ensayos modales, emplea un estilo argumentativo similar al de Russell: parte de aparentes trivialidades o ejemplos concretos para derivar conclusiones filosóficas profundas, usando un lenguaje directo y evitando el jargon innecesario. La conexión es estilística y metodológica.

Aunque es la obra más famosa de Kripke, su inclusión aquí es 'estructural' porque comparte el género y formato con 'Nuevos ensayos de lógica modal': ambos son colecciones de trabajos filosóficos técnicos pero accesibles, que presentan argumentos innovadores en un estilo conversacional y riguroso. Muestra la evolución de su pensamiento en el mismo formato de ensayo.