Carlo Dalla Pozza - 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łudniowej Apulii, z Luigi Dalla Pozza, oficera włoskiej marynarki wojennej z regionu Veneto, i Cecilii Pontrelli z Apulii. Podczas nauki w szkole średniej w Liceo Scientifico Battaglini w Taranto Giovanni De Tommaso, twardy nauczyciel matematyki w starym stylu, dał mu zamiłowanie do problemów matematycznych i elegancji dowodów. Carlo studiował literaturę i filologię na Uniwersytecie w Bari, gdzie ukończył pracę magisterską o Renato Serra pod kierunkiem Aldo Vallone. Carlo przez całe życie przejawiał miłość do literatury włoskiej, w szczególności do XIX-wiecznych poetów Giacomo Leopardiego, Giosuè Carducci (nauczyciela Serry) i Gabriele d'Annunzio. Wśród włoskich klasyków wolał Dantego i Torquato Tasso.
Po rozprawie Carlo studiował lingwistykę teoretyczną u włoskiego tłumacza Pojęcia umysłu Ryle'a , Ferruccio Rossi-Landiego , a następnie na Uniwersytecie w Pizie, a następnie studiował metody formalne na Uniwersytecie Katolickim w Mediolanie. Zwrotem w jego karierze intelektualnej był udział w spotkaniach organizowanych w Turynie przez Norberto Bobbio , rozwijający nowe idee dotyczące problemów w filozofii prawa , zwłaszcza w pracy Hansa Kelsena , oraz nad formalizacją logiki deontycznej , ciężko pracując nad aksjomatyzacja zasad teorii prawa dla Principia Juris Luigiego Ferraioli . Carlo Dalla Pozza przez wiele lat pracował jako nauczyciel w liceum w prowincji Tarent, podczas gdy był bardzo aktywny 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 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 przyszła zbyt późno ze względu na obowiązkową politykę emerytalną w europejskich środowiskach akademickich.
Wśród czynników wpływających na studiach na lingwistyce i semiotycznych tekstologia , Janos Petöfi poprosił go, aby z nim pracować w Constanz, ale Dalla Pozza preferowane do pracy we Włoszech, gdzie był bardzo wpływowy za pośrednictwem połączeń z Towarzystwa Logiki i Filozofii Nauki i Towarzystwa 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 w latach 1996-2002, a także po przejściu na emeryturę do 2013), Padwa , Bolzano , oraz jego wykłady na temat logiki deontycznej na Uniwersytecie Rzymskim .
Oprócz wpływów Petöfiego i Kelsena, jego głównymi filozoficznymi przodkami są Gottlob Frege , Bertrand Russell i Rudolf Carnap , których twórczości poświęcił nieustanną refleksję. W 1988 publikuje bardzo klasyczny wkład do formalnego potraktowania niektórych argumentów w fizyce kwantowej (patrz odnośniki). Związek między jego zainteresowaniami językoznawczymi a pracą nad logiką daje formalna teoria pragmatyki ( akty mowy ), oparta na oryginalnym połączeniu logiki klasycznej (dotyczącej treści twierdzenia) i intuicjonistycznej (dotyczącej 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 dla formalnego traktowania asercji, pokazując, że głównym problemem z ich rozwiązaniem jest to, że znak asercji (wprowadzony przez Fregego) może być użyty tylko z elementarnym asertywnym 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 przez klasyczną interpretację klasycznych spójników prawdziwościowych ; Z drugiej strony spójniki pragmatyczne mają interpretację intuicjonistyczną jako uzasadnioną lub nieuzasadnioną . W ten sposób system formalny może traktować uzasadnienie twierdzenia, odróżniając je 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 również oryginalne rozwiązanie problemu zgodności logiki klasycznej i intuicjonistycznej. Po artykule Erkenntnisa pojawiły się inne prace dotyczące logiki pytań i odpowiedzi, logiki deontycznej i logiki substrukturalnej (patrz odnośniki poniżej). Prace Dalla Pozzy wzbudziły zainteresowanie w różnych kontekstach, zarówno w filozofii, jak i informatyce (zob. np. prace Richarda S. Andersona 2009, prace Kurta Ranaltera 2008. W 2008 roku jego ideom poświęcony został numer Fundamenta Informaticae w pragmatyce formalnej.
Dziedzictwo
Praca Dalli Pozzy znalazła zastosowanie w formalizacji systemów prawnych, w formalizacji pragmatyki jako teorii aktów mowy, w osobliwym nurcie filozofii fizyki kwantowej (zob. prace Claudio Garoli) oraz w niektórych osiągnięciach informatyka i logika (patrz prace Gianluigiego Bellina na temat pragmatycznej interpretacji bi-intuicjonizmu i kointuicjonistycznej logiki liniowej).
Pracuje
Spisy jego prac można znaleźć na stronie domowej Carlo Dalla Pozzy oraz na academia.edu, z którego czerpiemy podstawowe informacje:
- O logicznych podstawach podejścia Jauch-Piron 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, niepublikowana odręcznie (projekt, 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.), Refleksje nad podstawami matematyki. Eseje na cześć Solomona Fefermana - Wykłady ASL Uwagi z logiki , Natick Massachusetts, 2003 [8]
- Il problema di Gettier: osservazioni su giustificazione, prova e probabilità (z D. Chiffi), prelekcja na konferencji SIFA Analytic Philosophy and European Culture , Genua, 2004 [9]
- Pragmatyczna logika dla ekspresyjnej koncepcji norm i wartości oraz Problem Fregego-Geacha, Editoria Scientifica Elettronica , 2008 [10]
- Come distinguere scienza e non-scienza: verificabilità, falsificabilità e conformabilità bayesiana (z A. Negro), Carocci, 2017, ISBN 978-8-843-08078-6 , [11]