# Carlo Dalla Pozza

**Carlo Dalla Pozza** (October 16, 1942, Taranto – July 18, 2014, Lecce ^{[1]} ) was an Italian Philosopher of Science and Logician.

## Contents

## Life

Carlo Dalla Pozza was born in Taranto, in the Southern region Apulia, from Luigi Dalla Pozza, an officer of the Italian Navy from Veneto region, and Cecilia Pontrelli from Apulia. During high school studies at the Liceo Scientifico Battaglini of Taranto, Giovanni De Tommaso, a tough old-style teacher of mathematics, gave him the taste for mathematical problems and for the elegance of proofs. Carlo studied literature and philology at the University of Bari, where he graduated with a dissertation on Renato Serra under the supervision of Aldo Vallone. Throughout his life Carlo manifested his love for Italian literature, in particular for the 19th century poets Giacomo Leopardi, Giosue` Carducci (teacher of Serra) and Gabriele d'Annunzio. Among Italian classics he preferred Dante and Torquato Tasso.

After his dissertation Carlo studied theoretical Linguistics with the Italian translator of Ryle's 'Concept of Mind' Ferruccio Rossi Landi and later at the University of Pisa, before studying Formal Methods at the Catholic University in Milano. A turn in his intellectual career came from his participation to meetings held in Torino by Norberto Bobbio, developing new ideas on the problems of philosophy of Laws, especially on the work of Hans Kelsen, and on the formalization of Deontic logic, working hard on the axiomatization of the principles of a Theory of Law for Luigi Ferraioli's *Principia Juris*.^{[2]} Carlo Dalla Pozza worked for many years as a High School teacher in the province of Taranto, while he was scientifically very active, attending conferences and giving lectures in various occasions.Only around 1990 he obtained a permanent position at the University of Salento, Lecce, first as "tecnico laureato" and then as "ricercatore". A petition signed by Italian and foreign scholars asking that he should be promoted Associate Professor came too late in view of compulsory retirement policies in European academia.

Among the influences in his studies in Linguistics and Semiotic Textology Janos Petöfi asked him to work with him in Constanz, but Dalla Pozza preferred to work in Italy where he has been very influential through connections with the Society of Logic and Philosophy of Science and the Society of Analytic Philosophy, and also through his lectures in logic, philosophy of science and computer sciences (mainly in the nineties) at the University of Verona (where he lectured continuously on Logic and Foundations of Computer Science from 1996 to 2002 and also after retirement until 2013) Padua, Bolzano and his lectures on Deontic Logic at the University of Rome.

Besides the influence of Petöfi and Kelsen, his main philosophical ancestors are to be found in Gottlob Frege, Bertand Russell and Rudolf Carnap, to whose works he devoted continuous thought. In 1988 he publishes a very classical contribution for a formal treatment of some argument in Quantum Physics (see references). A link between his interest in linguistics and his work in logic is given by the formal theory of pragmatics (speech acts), based an original connection between classical logic (concerning the content of the assertion) and intuitionistic logic (concerning the act of assertion). The first move of the theory has been published on *Erkenntnis* in 1995.^{[3]}

Presenting his theory of a formalization of pragmatics Dalla Pozza defines the Frege-Reichenbach-Stenius model for the formal treatment of assertions, showing that the main problem of their solution is that the assertion sign (introduced by Frege) can be used only with elementary assertive formulas. He then introduces a set of pragmatic connectives which allows for the construction of complex assertive formulas. The "content" of assertive formulas is given through the classical interpretation of classical *truth conditional connective*; pragmatic connectives, on the other hand, have an intuitionistic interpretation as *justified* or *not justified*. In this way the formal system may treat the justification value of an assertion, distinguishing it from the truth value of the proposition expressed by the formula. Besides explaining the irriducibility of Frege's assertion sign to classical metalogical tools,and introducing the proper foundation of a formal theory of Speech Acts, Dalla Pozza's theory gives also an original solution to the problem of the compatibility of classical and Intuitionistic logic. The *Erkenntnis* paper has been followed by other works on the logic of questions and answers, on Deontic logic and on substructural logic. (see references below). Dalla Pozza's work has raised interest in different contexts, both in philosophy or computer science (see for instance the work of Richerd S. Anderson 2009,^{[4]} ad the work of Kurt Ranalter 2008.^{[5]} In 2008 an issue of *Fundamenta informaticae* has been devoted to his ideas of formal pragmatics.^{[6]}

## Applications

The work by Dalla Pozza has found application in the formalization of Legal Systems, in the formalization of pragmatics as a theory of speech acts, on a peculiar trend in the philosophy of quantum physics (see the works of Claudio Garola) and on some development computer science and in logic (see the works of Gianluigi Bellin on a pragmatic interpretation of bi-intuitionism and on co-intuitionistic linear logic).^{[7]}

## Works

Lists of his works can be found at Carlo Dalla Pozza Home page^{[8]} and on academia.edu ^{[9]} from which we take some basic information:

- On the logical foundations of the Jauch-Piron approach to Quantum Physics (with G. Cattaneo, C. Garola, G. Nisticò), in
*International Journal of Theoretical Physics*, Vol. 27, n° 11, 1988 [2] - Un’interpretazione pragmatica della logica proposizionale intuizionistica, in Usberti G. (ed.),
*Problemi fondazionali nella teoria del significato*, Leo S. Olschki, Firenze, 1991 [3] - Una fondazione pragmatica della logica delle domande, unpublished handwritten (draft, May 1991) [4]
- Parlare di niente. Termini singolari non denotanti e atti illocutori, in 'Idee', anno VIII, n° 23, 1993 [5]
- A pragmatic interpretation of intuitionistic propositional logic (with C. Garola), in
*Erkenntnis*, 43, 1995 (pp. 81–109) [6] - Una logica pragmatica per la concezione “espressiva” delle norme, in Martino A. (ed.),
*Logica delle Norme*, S.E.U., Pisa, 1997 [7] - A pragmatic interpretation of substructural logics (with G. Bellin), in W. Sieg, R. Sommer and C. Talcott (eds.),
*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à (with D. Chiffi), talk at the
*SIFA conference Analytic Philosophy and European Culture*, Genoa, 2004 [9] - A pragmatic logic for the expressive conception of norms and values and The Frege-Geach problem,
*Editoria Scientifica Elettronica*, 2008 [10] *Il problema della demarcazione. Verificabilità, falsificabilità e confermabilità bayesiana a confronto*(with A. Negro), Carocci, Roma (forth.)

## References

- ↑ see Obituary
- ↑ Luigi Ferrajoli,
*Principia juris. Teoria del diritto e della democrazia. vol. 3. La sintassi del diritto*, Bari: Edizioni Laterza: 2007 - ↑ A pragmatic interpretation of intuitionistic propositional logic (with C. Garola), in
*Erkenntnis*, 43, 1995 (pp.81-109) - ↑ Richard Stuart Anderson
*Some Remarks on the Frege-Geach Embedding Problem*2009 - ↑ Kurt Ranalter, "A Semantic Analysis of a Logic of Assertions, Oblicagion and Causal Implication" in
*Fundamenta Informaticae*, 84, n.3-4, 2008 (443-470) - ↑ Fundamenta Informaticae, 84, n.3-4, 2008
- ↑ See the papers that can be downloaded from the last part of Bellin's home page [1]
- ↑ Web page of Carlo Dalla Pozza
- ↑ unisalento.academia.edu/CarloDallaPozza