On the importance of being analytic. The paradigmatic case of the logic of proofs

Francesca Poggiolesi (1)

1 IHPST - Institut d'Histoire et de Philosophie des Sciences et des Techniques

In the recent literature on proof theory, there seems to be a new raising topic which consists in identifying those properties that characterise a good sequent calculus. The property that has received by far the most attention is the analyticity property. In this paper we propose a new argument in support of the analyticity property. We will do it by means of the example of the logic of proofs, a logic recently introduced by Artemov [1]. Indeed a detailed proof analysis of this logic sheds new light on the logic itself and perfectly exemplifies our argument in favour of the analiticity.

Mots clés: philosophy of science

Domaines: Histoire, Philosophie et Sociologie des sciences

Francesca Poggiolesi. On the importance of being analytic. The paradigmatic case of the logic of proofs. Logique et Analyse, 2012, 55 (219), pp.443-461. ⟨halshs-00775807⟩