The problem of harmony in classical logic - HAL 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.

Domaines

Philosophie
Loading...
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⟩
197 Consultations
0 Téléchargements
Dernière date de mise à jour le 07/04/2024
comment ces indicateurs sont-ils produits

Partager

Gmail Facebook Twitter LinkedIn Plus