Carlo Dalla Pozza

Carlo Dalla Pozza ( Taranto , 16 octombrie 1942 - Lecce , 18 iulie 2014 ) a fost un filosof și profesor italian .

Biografie

Fiul lui Luigi, ofițer al Marinei (regiunea Veneto) și al lui Cencilia Pontrelli, din Puglia, în timp ce studia la Liceo Scientifico Battaglini din Taranto, Giovanni De Tommaso, un profesor de matematică în stil „tradițional” și-a stimulat gustul pentru problemele matematice și pentru eleganța formală a demonstrațiilor. Carlo Dalla Pozza a studiat filosofia și literatura la Universitatea din Bari, unde a absolvit o teză despre Renato Serra, având pe Aldo Vallone în calitate de conducător . De-a lungul vieții sale, el combină dragostea pentru sistemele formale cu dragostea pentru literatura italiană, în special pentru Giacomo Leopardi , Giosuè Carducci (profesor de Renato Serra) și Gabriele d'Annunzio (iar printre clasici a preferat noua viață a lui Torquato Tasso și a lui Dante ) .

După absolvire, a studiat lingvistica teoretică la Bari cu Ferruccio Rossi-Landi și mai târziu la Universitatea din Pisa , apoi Metode formale la Cattolica din Milano . Un moment decisiv în cariera sa intelectuală este marcat de participarea la „întâlnirile Sf. Iosif” organizate la Torino de Norberto Bobbio . De aici dezvoltă idei noi în filozofia dreptului, în special cu privire la opera lui Hans Kelsen și cu privire la formalizarea logicii deontice cu o atenție deosebită asupra axiomatizării principiilor unei teorii generale a dreptului în colaborare cu Luigi Ferrajoli pentru Principia sa. Juris ^[1] .

În 1986 a organizat la Taranto împreună cu comandantul Nicola Marturano, pe atunci director al Centrului de procesare electronică a Marinei, întâlnirile Infogiure Taras Uno: IT Logic and Law, în colaborare cu Centrul Taranto al Universității Catolice a Inimii Sacre, pentru a la care au participat unele dintre cele mai reprezentative figuri ale dreptului, tehnologiei informației și logicii italiene și internaționale, inclusiv Carlos Alchourron , Antonio A. Martino , Luigi Ferrajoli , Amedeo G. Conte , părintele Roberto Busa , Paolo Comanducci, Mario Jori, Angela Filipponio , Giancarlo Taddei-Elmi, Riccardo Guastini și Giovanni Sartor. Preda câțiva ani în liceul din provincia Taranto , menținându-se activ științific și participând la conferințe ale societăților filozofice italiene (în special Societatea italiană de logică și filosofie a științei și Societatea italiană de filosofie analitică, încă de la prima sa națională Conferință în 1994 ^[2] până la cea de-a 6-a conferință „Filosofie analitică și cultură europeană” (GEnova 2004) ^[3] ). În 1990 a fost angajat la Universitatea din Lecce , unde predă logică și filosofie a limbajului.

Printre principalele influențe ale studiilor sale de lingvistică și semiotică textuală se numără cea a lui János Sándor Petöfi, care îl invită să lucreze cu el la Universitatea din Constanța . Cu toate acestea, alegerea lui Dalla Pozza este să rămână în Italia, unde continuă să predea și în afara Lecce, în special la Universitatea din Verona (unde predă continuu fundamentele de logică și informatică din 1996 până în 2002 și, ocazional, până în 2013), Padova , Bolzano și, pentru lecțiile sale de logică deontică, la Universitatea din Roma Tre .

Pe lângă influența lui Petöfi și Kelsen, cea mai mare influență asupra gândirii sale vine de la marile opere ale lui Gottlob Frege , Bertrand Russell și Rudolf Carnap , cărora Dalla Pozza le dedică un studiu continuu, cu o atenție deosebită viziunii filosofice a lui Carnap. În 1988 a publicat o contribuție cu o aromă neopozitivistă, discutând și formalizând unele argumente în fizica cuantică ^[4] . O legătură între interesele sale în lingvistică și activitatea sa în logica formală este dată de teoria sa formală a actelor de vorbire bazată pe o legătură originală între logica intuiționistă (utilizată pentru afirmarea actelor de vorbire) și logica clasică (folosită pentru conținuturile propoziționale). Primul pas al acestei teorii este publicat într-o lucrare cu două mâini cu Claudio Garola despre Erkenntnis în 1995. ^[5]

Prezentându-și teoria formalizării pragmaticii, Dalla Pozza definește un model Frege-Reichenbach-Stenius pentru tratamentul formal al afirmațiilor, arătând că principala problemă a acestei teorii este limitarea introdusă de Frege (și acceptată de Michael Dummett ) pentru care semnul de afirmare poate fi utilizat numai pentru formule asertorii elementare. Dar, așa cum susțin mulți lingviști, există acte de vorbire compuse; și pentru a permite tratarea actelor de vorbire compuse și a depăși limitarea modelului Frege-Reichenbach-Stenius, Dalla Pozza introduce un set de conectivități pragmatice care permit construirea unor formule asertive complexe. Conținutul formulelor asertive este dat de interpretarea clasică și de conectivele verofuncționale; conectivele pragmatice (care conectează acte lingvistice asertive) au în schimb o interpretare intuiționistă, adică nu au valori de adevăr, ci valori de justificare (de fapt, un act asertiv nu este, ca act, adevărat sau fals, dar poate fi justificat sau nu justificat) În acest fel, sistemul formal distinge aseribilitatea unui act asertiv de valoarea de adevăr a propoziției afirmate. Pe lângă faptul că explică ireductibilitatea semnului fregean de afirmare la un tratament în termeni de logică clasică și introduce o bază formală a teoriei actelor de vorbire, Dalla Pozza oferă și o soluție originală la problema compatibilității dintre logica clasică și intuiționist. logică.

Eseul despre Erkenntnis este urmat de lucrări despre logica erotică, logica deontică și logica substructurală (vezi referințele de mai jos). Opera lui Dalla Pozza a stârnit interes în diverse domenii, de la filosofia limbajului la filosofia fizicii (în colaborare cu Claudio Garola) până la logică și informatică (în special începând cu colaborarea sa cu Gianluigi Bellin ^[6] ). Pe lângă lucrările lui Richard S. Anderson 2009 ^[7] și Kurt Ranalter 2008 ^[8], un număr din Fondamenta Informaticae din 2008 este dedicat teoriei sale formale a pragmaticii ^[9]

Influența lui Dalla Pozza se extinde astfel nu numai la filosofia fizicii și filosofia limbajului, ci și la logică și informatică, în special cu trei conferințe în cinstea sa organizate la Verona (2003) , la Paris (2004) și la Sirmione (2008) , bazat pe colaborarea dintre Departamentul de Informatică al Universității din Verona, Universitatea Queen Mary din [Londra] și Universitatea din Paris 12 ( Laboratoire d'Algorithmique, Complexité et Logique ). Amintirile personalităților și prietenilor internaționali sunt colectate pe un site în cinstea sa. ^[10]

Lucrări

O listă a lucrărilor lui Dalla Pozza poate fi găsită pe pagina sa de pornire ^[11] și pe academia.edu ^[12] .

• Despre fundamentele logice ale abordării Jauch-Piron asupra fizicii cuantice (cu G. Cattaneo, C. Garola, G. Nisticò), în International Journal of Theoretical Physics , Vol. 27, nr. 11, 1988 [1]
• O interpretare pragmatică a logicii propoziționale intuiționiste, în Usberti G. (ed.), Probleme fundamentale în teoria sensului , Leo S. Olschki, Florența, 1991 [2]
• O fundație pragmatică a logicii întrebărilor, scrisă de mână nepublicată (proiect, mai 1991) [3]
• Vorbește despre orice. Termeni singulari care nu denotă și acte ilocutive, în „Idei”, anul VIII, nr. 23, 1993 [4]
• O interpretare pragmatică a logicii propoziționale intuiționiste (cu C. Garola), în Erkenntnis , 43, 1995 (pp. 81-109) [5]
• O logică pragmatică pentru concepția „expresivă” a normelor, în Martino A. (ed.), Logica delle Norme , SEU, Pisa, 1997 [6]
• O interpretare pragmatică a logicii substructurale (cu G. Bellin), în W. Sieg, R. Sommer și C. Talcott (eds.), Reflections on the Foundations of Mathematics. Eseuri în onoarea lui Solomon Feferman - ASL Lectures Notes in Logic , Natick Massachusetts, 2003 [7]
• Problema lui Gettier: observații despre justificare, dovadă și probabilitate (cu D. Chiffi), discuție la conferința SIFA Filosofie analitică și cultură europeană , Genova, 2004 [8]
• O logică pragmatică pentru concepția expresivă a normelor și valorilor și problema Frege-Geach, Editoria Scientifica Elettronica , 2008 [9]
• Cum să distingem știința și non-știința: verificabilitatea, falsificabilitatea și confirmabilitatea bayesiană (cu A. Negro), Carocci, 2017, ISBN 978-8-843-08078-6 , [10]

Notă

Portalul Biografiilor : accesați intrările Wikipedia care se ocupă de biografii