Conservativeness and Eliminability for Anti-Realistic Definitions. Towards a Global View of the Meaning of Logical Constants

Francesca Poggiolesi (1)

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

According to the Polish logician S. Leśniewski, definitions give the whole meaning of the symbol they define and nothing more if, and only if, they respect two criteria: conservativeness and eliminability. These criteria were formulated in a way that suits realistic definitions. In this paper we will see in what way these two criteria should be reformulated if we want them to fit anti-realistic definitions (of logical constants). We will then show the consequences that these reformulations involve in the framework of the sequent calculus. Finally, in the light of the previous results, we will analyse the case of anti-realistic definitions for the modal operator box.

Mots clés: logic

Domaines: Histoire, Philosophie et Sociologie des sciences

Francesca Poggiolesi. Conservativeness and Eliminability for Anti-Realistic Definitions. Towards a Global View of the Meaning of Logical Constants. Shahid Rahman, Giuseppe Primiero, Mathieu Marion, eds. (Anti)-Realism. The Realism-Antirealism Debate in the Age of Alternative Logics, Springer, pp.169-181, 2011. ⟨halshs-00775813⟩