Carlo Dalla Pozza

Carlo Dalla Pozza (16 oktober 1942 i Taranto – 18 juli 2014 i Lecce ) var en italiensk vetenskapsfilosof och logiker.

Biografi

Carlo Dalla Pozza föddes i Taranto, i södra Apulien, från Luigi Dalla Pozza, en officer från den italienska flottan från Veneto-regionen, och Cecilia Pontrelli från Apulien. Under gymnasiestudier vid Liceo Scientifico Battaglini i Taranto, gav Giovanni De Tommaso, en tuff gammaldags lärare i matematik, honom smaken för matematiska problem och för elegansen av bevis. Carlo studerade litteratur och filologi vid universitetet i Bari, där han tog examen med en avhandling om Renato Serra under ledning av Aldo Vallone. Under hela sitt liv visade Carlo sin kärlek till italiensk litteratur, särskilt för 1800-talspoeterna Giacomo Leopardi, Giosuè Carducci (lärare i Serra) och Gabriele d'Annunzio. Bland italienska klassiker föredrog han Dante och Torquato Tasso.

Efter sin disputation studerade Carlo teoretisk lingvistik hos den italienska översättaren av Ryles The Concept of Mind , Ferruccio Rossi-Landi , och senare vid universitetet i Pisa, innan han studerade formella metoder vid katolska universitetet i Milano. En vändning i hans intellektuella karriär kom från hans deltagande i möten som hölls i Torino av Norberto Bobbio , där han utvecklade nya idéer om problem i rättsfilosofin, särskilt om Hans Kelsens arbete , och om formaliseringen av deontisk logik , och arbetade hårt med axiomatisering av principerna för en rättsteori för Luigi Ferraiolis Principia Juris . Carlo Dalla Pozza arbetade i många år som gymnasielärare i provinsen Taranto, samtidigt som han var vetenskapligt mycket aktiv, deltog i konferenser och höll föreläsningar vid olika tillfällen. Först omkring 1990 fick han en fast tjänst vid University of Salento, Lecce, först som "tecnico laureato" och sedan som "ricercatore". En petition undertecknad av italienska och utländska forskare som bad att han skulle befordras till docent kom för sent med tanke på den obligatoriska pensionspolitiken i den europeiska akademin.

Bland influenserna på hans studier i lingvistik och semiotisk textologi bad Janos Petöfi honom att arbeta med honom i Constanz , men Dalla Pozza föredrog att arbeta i Italien där han var mycket inflytelserik genom kontakter med Society of Logic and Philosophy of Science och Society of Analytic Philosophy , och även genom sina föreläsningar i logik, vetenskapsfilosofi och datavetenskap (främst på nittiotalet) vid universitetet i Verona (där han föreläste kontinuerligt om Logic and Foundations of Computer Science från 1996 till 2002 och även efter pensionering t.o.m. 2013), Padua , Bolzano , och hans föreläsningar om deontisk logik vid universitetet i Rom .

Förutom influenserna från Petöfi och Kelsen återfinns hans främsta filosofiska förfäder i Gottlob Frege , Bertrand Russell och Rudolf Carnap , vars verk han ägnade kontinuerligt eftertanke. 1988 publicerar han ett mycket klassiskt bidrag för en formell behandling av något argument inom kvantfysiken (se referenser). En koppling mellan hans intresse för lingvistik och hans arbete med logik ges av den formella teorin om pragmatik ( speech acts ), baserad på en ursprunglig koppling mellan klassisk logik (beträffande påståendets innehåll) och intuitionistisk logik (beträffande påståendeakten) ). Det första draget av teorin publicerades på Erkenntnis 1995.

Genom att presentera sin teori om en formalisering av pragmatiken definierar Dalla Pozza Frege-Reichenbach-Stenius-modellen för den formella behandlingen av påståenden, och visar att huvudproblemet med deras lösning är att påståendetecknet (infört av Frege) endast kan användas med elementärt påstående. formler. Han introducerar sedan en uppsättning pragmatiska bindemedel som möjliggör konstruktionen av komplexa assertiva formler. "Innehållet" i assertiva formler ges genom den klassiska tolkningen av klassiska sanningsvillkorliga bindningar ; pragmatiska bindemedel, å andra sidan, har en intuitionistisk tolkning som motiverade eller inte motiverade . På detta sätt kan det formella systemet behandla ett påståendes rättfärdigandevärde, och skilja det från sanningsvärdet av påståendet uttryckt av formeln. Förutom att förklara irreducerbarheten av Freges påståendetecken till klassiska metalliska verktyg, och introducera den riktiga grunden för en formell teori om talhandlingar, ger Dalla Pozzas teori också en originell lösning på problemet med kompatibiliteten mellan klassisk och intuitionistisk logik. Uppsatsen Erkenntnis följdes av andra arbeten om logiken i frågor och svar, om deontisk logik och om substrukturell logik (se referenser nedan). Dalla Pozzas arbete har väckt intresse i olika sammanhang, både inom filosofi och datavetenskap (se t.ex. Richard S. Andersons arbete 2009 och Kurt Ranalters arbete 2008). År 2008 har ett nummer av Fundamenta Informaticae ägnats åt hans idéer inom formell pragmatik.

Arv

Dalla Pozzas arbete har funnit tillämpning i formaliseringen av rättssystem, i formaliseringen av pragmatik som en teori för talhandlingar, på en speciell trend inom kvantfysikens filosofi (se Claudio Garolas verk) och på vissa utvecklingar inom datavetenskap och logik (se verk av Gianluigi Bellin om en pragmatisk tolkning av bi-intuitionism och om co-intuitionistisk linjär logik).

Arbetar

Listor över hans verk finns på Carlo Dalla Pozzas hemsida och på academia.edu, där vi hämtar lite grundläggande information:

På de logiska grunderna för Jauch-Pirons syn på kvantfysik (med G. Cattaneo, C. Garola, G. Nisticò), i International Journal of Theoretical Physics, Vol. 27, nr 11, 1988 [2]
Un'interpretazione pragmatica della logica proposizionale intuizionistica, i Usberti G. (red.), Problemi fondazionali nella teoria del significato , Leo S. Olschki, Firenze, 1991 [3]
Una fondazione pragmatica della logica delle domande, opublicerad handskriven (utkast, maj 1991) [4]
Parlare di niente. Termini singolari non denotanti e atti illocutori, i 'Idee', anno VIII, nr 23, 1993 [5]
En pragmatisk tolkning av intuitionistisk propositionell logik (med C. Garola), i Erkenntnis , 43, 1995 (s. 81–109) [6]
Una logica pragmatica per la concezione "espressiva" delle norme, i Martino A. (red.), Logica delle Norme , SEU, Pisa, 1997 [7]
En pragmatisk tolkning av substrukturella logiker (med G. Bellin), i W. Sieg, R. Sommer och 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à (med D. Chiffi), föredrag vid SIFA-konferensen Analytic Philosophy and European Culture , Genua, 2004 [9]
En pragmatisk logik för den uttrycksfulla uppfattningen om normer och värderingar och The Frege-Geach problem, Editoria Scientifica Elettronica , 2008 [10]
Come distinguere scienza e non-scienza: verificabilità, falsificabilità e confermabilità bayesiana (med A. Negro), Carocci, 2017, ISBN 978-8-843-08078-6 , [11]