Carlo Dalla Pozza (16 de octubre de 1942 en Taranto - 18 de julio de 2014 en Lecce ) [1] fue un filósofo de la ciencia y lógico italiano.
Carlo Dalla Pozza nació en Taranto, en la región sur de Apulia, de Luigi Dalla Pozza, un oficial de la Armada italiana de la región del Véneto, y Cecilia Pontrelli de Apulia. Durante sus estudios secundarios en el Liceo Scientifico Battaglini de Taranto, Giovanni De Tommaso, un duro profesor de matemáticas a la antigua usanza, le inculcó el gusto por los problemas matemáticos y por la elegancia de las demostraciones. Carlo estudió literatura y filología en la Universidad de Bari, donde se graduó con una tesis sobre Renato Serra bajo la dirección de Aldo Vallone. A lo largo de su vida Carlo manifestó su amor por la literatura italiana, en particular por los poetas del siglo XIX Giacomo Leopardi, Giosuè Carducci (maestro de Serra) y Gabriele d'Annunzio. Entre los clásicos italianos prefería a Dante y Torquato Tasso.
Después de su tesis, Carlo estudió Lingüística Teórica con el traductor italiano de El concepto de mente de Ryle , Ferruccio Rossi-Landi, y más tarde en la Universidad de Pisa, antes de estudiar Métodos formales en la Universidad Católica de Milán. Un giro en su carrera intelectual se produjo a partir de su participación en reuniones celebradas en Turín por Norberto Bobbio , desarrollando nuevas ideas sobre problemas de la filosofía del derecho, especialmente sobre la obra de Hans Kelsen , y sobre la formalización de la lógica deóntica , trabajando intensamente en la Axiomatización de los principios de una teoría del derecho para los Principia Juris de Luigi Ferraioli. [2] Carlo Dalla Pozza trabajó durante muchos años como profesor de secundaria en la provincia de Taranto, al mismo tiempo que era muy activo científicamente, asistiendo a congresos y dando conferencias en diversas ocasiones. Sólo hacia 1990 obtuvo un puesto permanente en la Universidad de Salento, Lecce, primero como "tecnico laureato" y luego como "ricercatore". Una petición firmada por académicos italianos y extranjeros pidiendo que fuera ascendido a profesor asociado llegó demasiado tarde, en vista de las políticas de jubilación obligatoria en el mundo académico europeo.
Entre las influencias en sus estudios de lingüística y textología semiótica, Janos Petöfi le pidió que trabajara con él en Constanz, pero Dalla Pozza prefirió trabajar en Italia, donde fue muy influyente a través de conexiones con la Sociedad de Lógica y Filosofía de la Ciencia y la Sociedad de Filosofía Analítica, y también a través de sus conferencias sobre lógica, filosofía de la ciencia e informática (principalmente en los años noventa) en la Universidad de Verona (donde impartió conferencias continuamente sobre Lógica y Fundamentos de la Informática de 1996 a 2002 y también después de su jubilación hasta 2013), Padua, Bolzano y sus conferencias sobre Lógica Deóntica en la Universidad de Roma.
Además de las influencias de Petöfi y Kelsen, sus principales antepasados filosóficos se encuentran en Gottlob Frege , Bertrand Russell y Rudolf Carnap , a cuyas obras dedicó continuo pensamiento. En 1988 publica una contribución muy clásica para un tratamiento formal de algunos argumentos en física cuántica (ver referencias). Un vínculo entre su interés por la lingüística y su trabajo en lógica viene dado por la teoría formal de la pragmática ( actos de habla ), basada en una conexión original entre la lógica clásica (relativa al contenido de la afirmación) y la lógica intuicionista (relativa al acto de afirmación). ). El primer paso de la teoría se publicó en Erkenntnis en 1995. [3]
Al presentar su teoría de una formalización de la pragmática, Dalla Pozza define el modelo de Frege-Reichenbach-Stenius para el tratamiento formal de las afirmaciones, mostrando que el principal problema con su solución es que el signo de afirmación (introducido por Frege) sólo puede usarse con afirmaciones elementales. fórmulas. Luego introduce un conjunto de conectivos pragmáticos que permiten la construcción de fórmulas asertivas complejas. El "contenido" de las fórmulas asertivas viene dado a través de la interpretación clásica de los conectivos condicionales de verdad clásicos ; Los conectivos pragmáticos, por otro lado, tienen una interpretación intuicionista como justificados o no justificados . De esta manera, el sistema formal puede tratar el valor de justificación de una afirmación, distinguiéndolo del valor de verdad de la proposición expresada por la fórmula. Además de explicar la irreductibilidad del signo de afirmación de Frege a las herramientas metalógicas clásicas e introducir el fundamento adecuado de una teoría formal de los actos de habla, la teoría de Dalla Pozza ofrece también una solución original al problema de la compatibilidad entre la lógica clásica y la intuicionista. Al artículo de Erkenntnis le siguieron otros trabajos sobre la lógica de preguntas y respuestas, sobre lógica deóntica y sobre lógica subestructural (ver referencias a continuación). El trabajo de Dalla Pozza ha despertado interés en diferentes contextos, tanto en filosofía como en informática (ver, por ejemplo, el trabajo de Richard S. Anderson 2009, [4] y el trabajo de Kurt Ranalter 2008 [5] ). En 2008 se dedicó un número de Fundamenta Informaticae a sus ideas en la pragmática formal. [6]
El trabajo de Dalla Pozza ha encontrado aplicación en la formalización de los sistemas jurídicos, en la formalización de la pragmática como teoría de los actos de habla, en una tendencia peculiar en la filosofía de la física cuántica (véanse los trabajos de Claudio Garola) y en algunos desarrollos en informática y lógica (véanse los trabajos de Gianluigi Bellin sobre una interpretación pragmática del biintuicionismo y de la lógica lineal cointuicionista). [7]
Se pueden encontrar listas de sus obras en la página de inicio de Carlo Dalla Pozza [8] y en academia.edu, [9] de donde extraemos alguna información básica: