INTRODUCTION A LA LOGIQUE PERTINENTE

François Rivenc

Ouvrages Année : 2005

INTRODUCTION A LA LOGIQUE PERTINENTE

(1)

François Rivenc

Fonction : Auteur
PersonId : 947732

Institut d'Histoire et de Philosophie des Sciences et des Techniques

Résumé

La logique classique a construit de diverses manières (syntaxiques ou sémantiques) un concept de conséquence logique. Ce concept est-il adéquat à notre compréhension intuitive de la conséquence? la logique pertinente répond NON, et propose une notion plus fine de la déduction logique. Cette étude a pour objet d'examiner les systèmes de la conséquence pertinente, et les nombreuses questions qu'ils soulèvent.

Mots clés

Pertinence déduction naturelle calcul des séquents sémantique négation

Domaines

Histoire, Philosophie et Sociologie des sciences

Liste complète des métadonnées

Format du dépôt	Fichier
Type de dépôt	Ouvrages
Titre	fr INTRODUCTION A LA LOGIQUE PERTINENTE
Résumé	fr La logique classique a construit de diverses manières (syntaxiques ou sémantiques) un concept de conséquence logique. Ce concept est-il adéquat à notre compréhension intuitive de la conséquence? la logique pertinente répond NON, et propose une notion plus fine de la déduction logique. Cette étude a pour objet d'examiner les systèmes de la conséquence pertinente, et les nombreuses questions qu'ils soulèvent.
Auteur(s)	François Rivenc ¹ 1 IHPST - Institut d'Histoire et de Philosophie des Sciences et des Techniques ( 1342 ) - 13 Rue du four 75006 PARIS - France Université Paris 1 Panthéon-Sorbonne ( 7550 ) ; Département d'Etudes Cognitives - ENS Paris ( 91936 ) ; École normale supérieure - Paris ( 59704 ) ; Université Paris Sciences et Lettres ( 564132 ) Centre National de la Recherche Scientifique UMR8590 ( 441569 )
Vulgarisation	Non
Langue du document	Français
Date de production/écriture	2005
ISBN	2 13 053758 8
Audience	Non spécifiée
Date de publication	2005
Page/Identifiant	257
Titre de la collection	SCIENCE, HISTOIRE ET SOCIETE
Commentaire	Texte presque intégral, sans les Appendices
Domaine(s)	Sciences de l'Homme et Société/Histoire, Philosophie et Sociologie des sciences
Éditeur commercial	Presses Universitaires de France
Directeur de collection	Dominique Lecourt
Mots-clés	fr Pertinence, déduction naturelle, calcul des séquents, sémantique, négation

Fichier principal

PDF_relevant_L.pdf ( 1.26 Mo )

Origine : Fichiers produits par l'(les) auteur(s)

François Rivenc : Connectez-vous pour contacter le contributeur

https://shs.hal.science/halshs-00879372

Soumis le : mardi 5 novembre 2013 à 10:29:29

Dernière modification le : vendredi 19 avril 2024 à 16:18:55

Dates et versions

halshs-00879372, version 1 (05-11-2013)

Identifiants

HAL Id : halshs-00879372 , version 1

Citer

François Rivenc. INTRODUCTION A LA LOGIQUE PERTINENTE. Presses Universitaires de France, pp.257, 2005, SCIENCE, HISTOIRE ET SOCIETE, Dominique Lecourt, 2 13 053758 8. ⟨halshs-00879372⟩

Exporter

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

UNIV-PARIS1 ENS-PARIS CNRS IHPST HIPHISCITECH OMNIPHILO PSL

352 Consultations

4412 Téléchargements

Dernière date de mise à jour le 20/04/2024

INTRODUCTION A LA LOGIQUE PERTINENTE

Résumé

Mots clés

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Partager