The problem of harmony in classical logic - Archive ouverte en Histoire etPhilosophie des Sciences et des Techniques Accéder directement au contenu
Chapitre D'ouvrage Année : 2020

The problem of harmony in classical logic

Résumé

A widely debated issue in philosophy of logic concerns the possibility of an inferentialist account of classical logic. Many proposals to show that classical logic satisfies the requirements of inferentialist semantics (such as harmony) demand to modify the ordinary natural deduction rules. In this paper, we try to explain why the ordinary natural deduction rules for classical logic are not harmonious and therefore not directly justifiable within an inferentialist framework. We show however that an indirect justification of classical logic, passing through negative translation, can be acceptable from an inferentialist point of view.
Fichier non déposé

Dates et versions

hal-02918618 , version 1 (20-08-2020)

Identifiants

  • HAL Id : hal-02918618 , version 1

Citer

Giulio Guerrieri, Alberto Naibo. The problem of harmony in classical logic. The Logica Yearbook 2019, College Publications, pp. 49-65, 2020, 978-1-84890-327-2. ⟨hal-02918618⟩
196 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More