Carlo Dalla Pozza

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 sureña de Apulia, hijo de Luigi Dalla Pozza, oficial de la Armada italiana originario de la región del Véneto, y Cecilia Pontrelli, natural de Apulia. Durante sus estudios de bachillerato en el Liceo Científico Battaglini de Taranto, Giovanni De Tommaso, un profesor de matemáticas de la vieja escuela, le inculcó el gusto por los problemas matemáticos y 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, sus autores favoritos eran Dante y Torquato Tasso.

Tras su tesis doctoral, Carlo estudió Lingüística Teórica con el traductor italiano de * El concepto de mente* de Ryle , Ferruccio Rossi-Landi , y posteriormente en la Universidad de Pisa , antes de cursar Métodos Formales en la Universidad Católica de Milán. Un punto de inflexión en su trayectoria intelectual fue su participación en las reuniones organizadas en Turín por Norberto Bobbio , donde desarrolló 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 Tarento, al tiempo que mantenía una intensa actividad científica, asistiendo a congresos y dando conferencias en diversas ocasiones. Fue alrededor de 1990 cuando obtuvo una plaza fija en la Universidad de Salento, Lecce, primero como "técnico laureado" y luego como "investigador". Una petición firmada por académicos italianos y extranjeros solicitando su ascenso a profesor asociado llegó demasiado tarde, teniendo en cuenta las políticas de jubilación obligatoria en el ámbito académico europeo.

Entre las influencias en sus estudios sobre lingüística y textología semiótica , Janos Petöfi le pidió que trabajara con él en Constanza, pero Dalla Pozza prefirió trabajar en Italia, donde fue muy influyente a través de sus 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ó clases continuamente sobre lógica y fundamentos de la informática desde 1996 hasta 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ó un pensamiento continuo. En 1988 publicó una contribución muy clásica para el tratamiento formal de un argumento en física cuántica (véanse las referencias). Un vínculo entre su interés por la lingüística y su trabajo en lógica lo establece 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 avance de la teoría se publicó en Erkenntnis en 1995. ^{[ 3 ]}

Al presentar su teoría de la formalización de la pragmática, Dalla Pozza define el modelo Frege-Reichenbach-Stenius para el tratamiento formal de las aserciones, demostrando que el principal problema de su solución radica en que el signo de aserción (introducido por Frege) solo puede utilizarse con fórmulas asertivas elementales. A continuación, introduce un conjunto de conectores pragmáticos que permite la construcción de fórmulas asertivas complejas. El "contenido" de las fórmulas asertivas se define mediante la interpretación clásica de los conectores veritativo-condicionales clásicos ; los conectores pragmáticos, por otro lado, tienen una interpretación intuicionista como justificado o no justificado . De este modo, el sistema formal puede tratar el valor de justificación de una aserció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 aserción de Frege a las herramientas metalógicas clásicas e introducir los fundamentos adecuados de una teoría formal de los actos de habla, la teoría de Dalla Pozza también ofrece 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, la lógica deóntica y la lógica subestructural (véanse las referencias a continuación). El trabajo de Dalla Pozza ha suscitado interés en diversos ámbitos, tanto en filosofía como en informática (véase, por ejemplo, el trabajo de Richard S. Anderson 2009, ^{[ 4 ]} y el de Kurt Ranalter 2008 ^{[ 5 ]} ). En 2008, un número de Fundamenta Informaticae se dedicó a sus ideas sobre pragmática formal. ^{[ 6 ]}

La obra de Dalla Pozza ha encontrado aplicación en la formalización de sistemas jurídicos, en la formalización de la pragmática como teoría de los actos de habla, en una tendencia particular de la filosofía de la física cuántica (véanse las obras de Claudio Garola) y en algunos desarrollos de la informática y la lógica (véanse las obras de Gianluigi Bellin sobre una interpretación pragmática del bi-intuicionismo y sobre la lógica lineal cointuicionista). ^{[ 7 ]}

Las listas de sus obras se pueden encontrar en la página web de Carlo Dalla Pozza ^{[ 8 ]} y en academia.edu, ^{[ 9 ]} de donde tomamos información básica:

• Sobre los fundamentos lógicos del enfoque de Jauch-Piron a la física cuántica (con G. Cattaneo, C. Garola, G. Nisticò), en International Journal of Theoretical Physics , vol. 27, n.° 11, 1988.
• Un'interpretazione pragmatica della logica proposizionale intuizionistica, en Usberti G. (ed.), Problemi fondazionali nella teoria del significato , Leo S. Olschki, Florencia, 1991
• Una fondazione pragmatica della logica delle domande, manuscrita inédita (borrador, mayo de 1991)
• Parlare di niente. Termini singolari non denotanti e atti illocutori, en 'Idee', año VIII, n° 23, 1993
• Una interpretación pragmática de la lógica proposicional intuicionista (con C. Garola), en Erkenntnis , 43, 1995 (pp.  81–109)
• Una logica pragmatica per la concezione “espressiva” delle norme, en Martino A. (ed.), Logica delle Norme , SEU, Pisa, 1997
• Una interpretación pragmática de las lógicas subestructurales (con G. Bellin), en W. Sieg, R. Sommer y C. Talcott (eds.), Reflexiones sobre los fundamentos de las matemáticas. Ensayos en honor de Solomon Feferman - Notas de conferencias de la ASL sobre lógica , Natick, Massachusetts, 2003.
• Il problema di Gettier: osservazioni su giustificazione, prova e probabilità (con D. Chiffi), conferencia en la conferencia SIFA Filosofía analítica y cultura europea , Génova, 2004
• Una lógica pragmática para la concepción expresiva de normas y valores y El problema de Frege-Geach, Editoria Scientifica Elettronica , 2008
• Come distinguire scienza e non-scienza: verificabilità, falsabilità e confermabilità bayesiana (con A. Negro), Carocci, 2017, ISBN 978-8-843-08078-6,