Carlo Dalla Pozza

Carlo Dalla Pozza (16 października 1942 w Taranto – 18 lipca 2014 w Lecce ) był włoskim filozofem nauki i logikiem.

Biografia

Carlo Dalla Pozza urodził się w Taranto, w południowym regionie Apulia, jako syn Luigiego Dalla Pozzy, oficera włoskiej marynarki wojennej z regionu Veneto i Cecilii Pontrelli z Apulii. Podczas nauki w szkole średniej w Liceo Scientifico Battaglini w Tarent, Giovanni De Tommaso, twardy nauczyciel matematyki w starym stylu, zaszczepił w nim zamiłowanie do problemów matematycznych i elegancji dowodów. Carlo studiował literaturę i filologię na Uniwersytecie w Bari, gdzie pod kierunkiem Aldo Vallone ukończył rozprawę na temat Renato Serra . Przez całe życie Carlo manifestował swoją miłość do literatury włoskiej, w szczególności do XIX-wiecznych poetów Giacomo Leopardiego, Giosuè Carducciego (nauczyciela Serry) i Gabriele d'Annunzio. Spośród włoskich klasyków preferował Dantego i Torquato Tasso.

Koncepcji umysłu Ryle'a , Ferruccio Rossi-Landiego , a później na Uniwersytecie w Pizie, zanim studiował Metody Formalne na Uniwersytecie Katolickim w Mediolanie. Zwrot w jego karierze intelektualnej nastąpił po uczestnictwie w spotkaniach organizowanych w Turynie przez Norberto Bobbio , rozwijaniu nowych idei dotyczących problemów w filozofii prawa, zwłaszcza nad pracami Hansa Kelsena , oraz nad formalizacją logiki deontycznej , intensywnie pracując nad aksjomatyzacja zasad teorii prawa dla Principia Juris Luigiego Ferraiolego . Carlo Dalla Pozza przez wiele lat pracował jako nauczyciel w szkole średniej w prowincji Taranto, będąc jednocześnie bardzo aktywnym naukowo, uczestnicząc w konferencjach i wygłaszając wykłady przy różnych okazjach. Dopiero około 1990 roku uzyskał stałą posadę na Uniwersytecie w Salento w Lecce, najpierw jako „tecnico laureato”, a następnie jako „ricercatore”. Petycja podpisana przez włoskich i zagranicznych uczonych z prośbą o awans na profesora nadzwyczajnego pojawiła się zbyt późno w świetle obowiązkowej polityki emerytalnej w europejskich środowiskach akademickich.

Wśród czynników, które wywarły wpływ na jego studia nad językoznawstwem i tekstologią semiotyczną , Janos Petöfi poprosił go o współpracę z nim w Konstancji, ale Dalla Pozza wolał pracować we Włoszech, gdzie był bardzo wpływowy dzięki powiązaniom z Towarzystwem Logiki i Filozofii Nauki oraz Towarzystwem filozofii analitycznej , a także poprzez wykłady z logiki, filozofii nauki i informatyki (głównie w latach dziewięćdziesiątych) na Uniwersytecie w Weronie (gdzie wykładał nieprzerwanie Logika i Podstawy Informatyki od 1996 do 2002, a także po przejściu na emeryturę do 2013), Padwa , Bolzano i jego wykłady z logiki deontycznej na Uniwersytecie Rzymskim .

Oprócz wpływów Petöfiego i Kelsena, jego głównych filozoficznych przodków można znaleźć w Gottlob Frege , Bertrand Russell i Rudolf Carnap , których pracom poświęcił nieustanną uwagę. W 1988 roku publikuje bardzo klasyczny wkład do formalnego traktowania niektórych argumentów w fizyce kwantowej (patrz bibliografia). Związek między jego zainteresowaniami językoznawczymi a pracą nad logiką daje formalna teoria pragmatyki ( akty mowy ), oparta na oryginalnym związku między logiką klasyczną (dotyczącą treści twierdzenia) a logiką intuicjonistyczną (dotyczącą aktu twierdzenia). ). Pierwszy ruch teorii został opublikowany na Erkenntnis w 1995 roku.

Przedstawiając swoją teorię formalizacji pragmatyki, Dalla Pozza definiuje model Fregego-Reichenbacha-Steniusa do formalnego traktowania twierdzeń, pokazując, że głównym problemem z ich rozwiązaniem jest to, że znak asercji (wprowadzony przez Fregego) może być używany tylko z elementarną asercją formuły. Następnie wprowadza zestaw spójników pragmatycznych, który pozwala na konstruowanie złożonych formuł asertywnych. „Treść” formuł asertywnych jest dana poprzez klasyczną interpretację klasycznych spójników prawdziwościowych ; Z drugiej strony spójniki pragmatyczne mają intuicjonistyczną interpretację jako uzasadnione lub nieuzasadnione . W ten sposób system formalny może traktować wartość uzasadnienia twierdzenia, odróżniając ją od wartości logicznej zdania wyrażonego formułą. Poza wyjaśnieniem nieredukowalności znaku asercji Fregego do klasycznych narzędzi metalologicznych i wprowadzeniem właściwego fundamentu formalnej teorii aktów mowy, teoria Dalla Pozzy daje także oryginalne rozwiązanie problemu zgodności logiki klasycznej i intuicjonistycznej. Erkenntnisa pojawiły się inne prace dotyczące logiki pytań i odpowiedzi, logiki deontycznej i logiki substrukturalnej (patrz odnośniki poniżej). Prace Dalli Pozzy wzbudziły zainteresowanie w różnych kontekstach, zarówno w filozofii, jak i informatyce (patrz np. praca Richarda S. Andersona 2009 i praca Kurta Ranaltera 2008). W 2008 numer Fundamenta Informaticae został poświęcony jego pomysłom z zakresu pragmatyki formalnej.

Dziedzictwo

Prace Dalli Pozzy znalazły zastosowanie w formalizacji systemów prawnych, w formalizacji pragmatyki jako teorii aktów mowy, w swoistym nurcie w filozofii fizyki kwantowej (patrz prace Claudio Garola) oraz w niektórych opracowaniach w informatyka i logika (patrz prace Gianluigiego Bellina na temat pragmatycznej interpretacji biintuicjonizmu i kointuicjonistycznej logiki liniowej).

Pracuje

Wykazy jego prac można znaleźć na stronie domowej Carlo Dalla Pozzy oraz na stronie academia.edu, z której czerpiemy podstawowe informacje:

O logicznych podstawach podejścia Jaucha-Pirona do fizyki kwantowej (z G. Cattaneo, C. Garola, G. Nisticò), w International Journal of Theoretical Physics , tom. 27, nr 11, 1988 [2]
Un'interpretazione pragmatica della logica proposizionale intuizionistica, w: Usberti G. (red.), Problemi fondazionali nella teoria del significato , Leo S. Olschki, Firenze, 1991 [3]
Una fondazione pragmatica della logica delle domande, niepublikowane odręcznie (szkic, maj 1991) [4]
Parlare di niente. Termini singolari non denotanti e atti illocutori, w „Idee”, anno VIII, nr 23, 1993 [5]
Pragmatyczna interpretacja intuicjonistycznej logiki zdań (z C. Garolą), w: Erkenntnis , 43, 1995 (s. 81–109) [6]
Una logica pragmatica per la concezione „espressiva” delle norme, w: Martino A. (red.), Logica delle Norme , SEU, Pisa, 1997 [7]
Pragmatyczna interpretacja logik substrukturalnych (z G. Bellinem), w: W. Sieg, R. Sommer i C. Talcott (red.), Reflections on the Foundations of Mathematics. Essays in Honor of Solomon Feferman - ASL Lectures Notes in Logic , Natick Massachusetts, 2003 [8]
Il problema di Gettier: osservazioni su giustificazione, prova e probabilità (z D. Chiffi), wykład na konferencji SIFA Analytic Philosophy and European Culture , Genua, 2004 [9]
Pragmatyczna logika ekspresyjnej koncepcji norm i wartości oraz problem Fregego-Geacha, Editoria Scientifica Elettronica , 2008 [10]
Come distinguere scienza e non-scienza: verificabilità, falsificabilità e confermabilità bayesiana (z A. Negro), Carocci, 2017, ISBN 978-8-843-08078-6 , [11]