Note sur les logiques paraconsistantes et une variante de calcul C n - Université Jean Moulin Lyon 3 Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2022

Note sur les logiques paraconsistantes et une variante de calcul C n

Résumé

We recall the essentials of the history of paraconsistent logics and present the first calculations developed by Newton da Costa in the 1970s. Secondly, we propose a variant of paraconsistent logic (based on the systems Cn de da Costa, with slightly modified trivalent semantics). In fine, we discuss the philosophical interpretation of the paraconsistent logics from Gilles-Gaston Granger.
Nous rappelons l'essentiel de l'histoire des logiques paraconsistantes et présentons les premiers calculs élaborés par Newton da Costa dans les années 1970. Dans un deuxième temps, nous proposons une variante de logique paraconsistante (fondée sur la base des calculs C n de da Costa, avec une sémantique trivalente légèrement modifiée). In fine, nous discutons l'interprétation philosophique des logiques paraconsistantes de Gilles-Gaston Granger.
Fichier principal
Vignette du fichier
Variante-DC.pdf (367.69 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03679451 , version 1 (26-05-2022)

Identifiants

  • HAL Id : hal-03679451 , version 1

Citer

Daniel Parrochia. Note sur les logiques paraconsistantes et une variante de calcul C n. 2022. ⟨hal-03679451⟩
43 Consultations
130 Téléchargements

Partager

Gmail Facebook X LinkedIn More