Beyond semantic pollution: Towards a practice-based philosophical analysis of labelled calculi

Erkenntnis (forthcoming)
  Copy   BIBTEX


This paper challenges the negative attitudes towards labelled proof systems, usually referred to as semantic pollution, by arguing that such critiques overlook the full potential of labelled calculi. The overarching objective is to develop a practice-based philosophical analysis of labelled calculi to provide insightful considerations regarding their proof-theoretic and philosophical value. To achieve this, successful applications of labelled calculi and related results will be showcased, and comparisons with other relevant works will be discussed. The paper ends by advocating for a more practice-based approach towards the philosophical understanding of proof systems and their role in structural proof theory.

Author's Profile

Fabio De Martin Polo
Ruhr-Universit├Ąt Bochum (PhD)


Added to PP

34 (#94,400)

6 months
34 (#92,159)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?