Bibliothèque du CELAF-INSTITUT
Accueil
CAHIER PHILOSOPHIQUE
Paru le : 04/01/2007
|
[n° ou bulletin]
N° 005 - CAHIER PHILOSOPHIQUE [texte imprimé] . - 2007 . - 223 p. Langues : Français ( fre) |
Exemplaires
Dépouillements
Ajouter le résultat dans votre panier
[article]
| Titre : |
Création et identité |
| Type de document : |
texte imprimé |
| Auteurs : |
Mahamadé SAVADOGO, Auteur |
| Année de publication : |
2007 |
| Article en page(s) : |
pp.01-13 |
| Langues : |
Français (fre) |
| Mots-clés : |
CONSISTANCE OPERATEUR opérateurs LOGIQUE PROPRIà‰Tà‰ REMARQUABLE RàˆGLE DE PARTICULE ; RECHERCHES |
| Résumé : |
Dans cet essai nous présentons une interprétation renouvelée des
règles structurelles du calcul des séquents. Il est question de soutenir
précisément que les règles structurelles, non seulement expriment de
manière directe les propriétés remarquables de la conséquence logique,
mais surtout garantissent la consistance de la logique classique et celle de la
logique intuitionniste des prédicats. Par ailleurs, une compréhension plus
approfondie de ces règles –y incluant toutes les perspectives de lecture (topdown, bottom-up, à gauche et à droite du séquent)– permet de voir
apparaître plus de propriétés remarquables telles que la compacité et la
clôture disjonctive ; toutes choses que la seule lecture standard de ces règles
ne laisse pas souvent apparaître. |
in LE CAHIER PHILOSOPHIQUE D'AFRIQUE > N° 005 [04/01/2007] . - pp.01-13
[article] Création et identité [texte imprimé] / Mahamadé SAVADOGO, Auteur . - 2007 . - pp.01-13. Langues : Français ( fre) in LE CAHIER PHILOSOPHIQUE D'AFRIQUE > N° 005 [04/01/2007] . - pp.01-13
| Mots-clés : |
CONSISTANCE OPERATEUR opérateurs LOGIQUE PROPRIà‰Tà‰ REMARQUABLE RàˆGLE DE PARTICULE ; RECHERCHES |
| Résumé : |
Dans cet essai nous présentons une interprétation renouvelée des
règles structurelles du calcul des séquents. Il est question de soutenir
précisément que les règles structurelles, non seulement expriment de
manière directe les propriétés remarquables de la conséquence logique,
mais surtout garantissent la consistance de la logique classique et celle de la
logique intuitionniste des prédicats. Par ailleurs, une compréhension plus
approfondie de ces règles –y incluant toutes les perspectives de lecture (topdown, bottom-up, à gauche et à droite du séquent)– permet de voir
apparaître plus de propriétés remarquables telles que la compacité et la
clôture disjonctive ; toutes choses que la seule lecture standard de ces règles
ne laisse pas souvent apparaître. |
|
Exemplaires
