Carlo Dalla Pozza - Carlo Dalla Pozza
Carlo Dalla Pozza (16 de octubre de 1942 en Taranto - 18 de julio de 2014 en Lecce ) fue un filósofo italiano de la ciencia y la lógica.
Biografía
Carlo Dalla Pozza nació en Taranto, en la región sur de Apulia, de Luigi Dalla Pozza, un oficial de la Marina italiana de la región de Veneto, y Cecilia Pontrelli de Apulia. Durante sus estudios de bachillerato en el Liceo Scientifico Battaglini de Tarento, Giovanni De Tommaso, un duro profesor de matemáticas a la antigua, le dio el gusto por los problemas matemáticos y por la elegancia de las pruebas. Carlo estudió literatura y filología en la Universidad de Bari, donde se graduó con una disertación sobre Renato Serra bajo la supervisió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 prefirió a Dante y Torquato Tasso.
Después de su tesis, Carlo estudió Lingüística Teórica con el traductor italiano de El concepto de la 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 vino de su participación en las reuniones celebradas en Torino por Norberto Bobbio , desarrollando nuevas ideas sobre problemas en la filosofía del derecho, especialmente sobre el trabajo de Hans Kelsen , y sobre la formalización de la lógica deóntica , trabajando duro en la axiomatización de los principios de una teoría del derecho para los Principia Juris de Luigi Ferraioli . Carlo Dalla Pozza trabajó durante muchos años como profesor de bachillerato en la provincia de Taranto, siendo científicamente muy activo, asistiendo a conferencias y dando conferencias en diversas ocasiones. Recién hacia 1990 obtuvo un puesto permanente en la Universidad de Salento, Lecce, primero como "técnico laureato" y luego como "ricercatore". Una petición firmada por académicos italianos y extranjeros pidiendo que lo ascendieran a profesor asociado llegó demasiado tarde en vista de las políticas de jubilación obligatorias en la academia europea.
Entre las influencias en sus estudios sobre 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 en lógica, filosofía de la ciencia e informática (principalmente en los noventa) en la Universidad de Verona (donde impartió clases de manera continua 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ó un pensamiento continuo. En 1988 publica una contribución muy clásica para un tratamiento formal de algún argumento 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 (sobre el contenido de la afirmación) y la lógica intuicionista (sobre el acto de afirmación). ). El primer movimiento de la teoría se publicó en Erkenntnis en 1995.
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 aserciones, mostrando que el principal problema con su solución es que el signo de aserción (introducido por Frege) sólo puede usarse con asertividad elemental 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 se da a través de la interpretación clásica de las conectivas condicionales de verdad clásicas ; Los conectivos pragmáticos, por otro lado, tienen una interpretación intuicionista como justificada o no justificada . 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 aserción de Frege a las herramientas metálicas clásicas, e introducir la base adecuada 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. El artículo de Erkenntnis fue seguido por otros trabajos sobre la lógica de las 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 despertado interés en diferentes contextos, tanto en filosofía como en informática (ver por ejemplo el trabajo de Richard S. Anderson 2009, y el trabajo de Kurt Ranalter 2008. En 2008 se dedicó un número de Fundamenta Informaticae a sus ideas en pragmática formal.
Legado
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 (ver 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 bi-intuicionismo y sobre la lógica lineal co-intuicionista).
Obras
Las listas de sus obras se pueden encontrar en la página de inicio de Carlo Dalla Pozza y en academia.edu, de donde tomamos información básica:
- Sobre los fundamentos lógicos del enfoque de Jauch-Piron de la física cuántica (con G. Cattaneo, C. Garola, G. Nisticò), en International Journal of Theoretical Physics , vol. 27, n ° 11, 1988 [2]
- Un'interpretazione pragmatica della logica proposizionale intuizionistica, en Usberti G. (ed.), Problemi fondazionali nella teoria del significato , Leo S. Olschki, Firenze, 1991 [3]
- Una fondazione pragmatica della logica delle domande, manuscrita inédita (borrador, mayo de 1991) [4]
- Parlare di niente. Termini singolari non denotanti e atti illocutori, en 'Idee', anno VIII, n ° 23, 1993 [5]
- Una interpretación pragmática de la lógica proposicional intuicionista (con C. Garola), en Erkenntnis , 43, 1995 (pp. 81-109) [6]
- Una logica pragmatica per la concezione “espressiva” delle norme, en Martino A. (ed.), Logica delle Norme , SEU, Pisa, 1997 [7]
- Una interpretación pragmática de la lógica subestructural (con G. Bellin), en W. Sieg, R. Sommer y C. Talcott (eds.), Reflexiones sobre los fundamentos de las matemáticas. Ensayos en honor a Solomon Feferman - ASL Lectures Notes in Logic , Natick Massachusetts, 2003 [8]
- Il problema di Gettier: osservazioni su giustificazione, prova e probabilità (con D. Chiffi), charla en la conferencia SIFA Analytic Philosophy and European Culture , Génova, 2004 [9]
- Una lógica pragmática para la concepción expresiva de normas y valores y el problema de Frege-Geach, Editoria Scientifica Elettronica , 2008 [10]
- Come distinguere scienza e non-scienza: verificabilità, falsificabilità e confermabilità bayesiana (con A. Negro), Carocci, 2017, ISBN 978-8-843-08078-6 , [11]