Logiques dialogiques ‘multivalentes'

Logiques dialogiques ‘multivalentes'

Le but de cet article est de montrer comment les logiques dites multivalentes peuvent être formulées dans le cadre de la logique dialogique. Pour formuler les règles de particule pour ces logiques on introduit l’idée de différents modes d’assertion. En donnant ensuite les règles de particule et les...

Cur síos iomlán

Sábháilte in:
Sonraí bibleagrafaíochta
Príomhchruthaitheoir: Rückert, Helge
Formáid: Article ou chapitre numérique
Teanga:Français
Foilsithe / Cruthaithe: 2004
Rochtain ar líne:Accès Université d'Orléans et IFPM
Accès Université d'Orléans et IFPM
id cairn-SCIE_082_0004
record_format cairn
spelling cairn-SCIE_082_0004SCIEPhilosophia Scientiæ https://shs.cairn.info/revue-philosophia-scientiae-2004-2-page- ?lang=fr https://doi.org/10.4000/philosophiascientiae.564 Logiques dialogiques ‘multivalentes' Rückert, Helge2004 fre Philosophia Scientiæ | 8-2 | 2 | 2004-10-01 | p. - | 1281-2463 SCIE_08275 Le but de cet article est de montrer comment les logiques dites multivalentes peuvent être formulées dans le cadre de la logique dialogique. Pour formuler les règles de particule pour ces logiques on introduit l’idée de différents modes d’assertion. En donnant ensuite les règles de particule et les règles structurelles appropriées, on peut reconstruire dialogiquement les systèmes standards de logiques multivalentes. Cela est fait explicitement pour la logique `a trois valeurs de Łukasiewicz (L3c). En remplaçant la règle structurelle classique par sa contrepartie intuitionniste on obtient des versions intuitionnistes de systèmes multivalents (par exemple L3i). Les systèmes dialogiques multivalents L3c et L3i sont illustrés par quelques exemples et pour conclure on formule les tableaux stratégiques correspondants.Aim of this paper is to show how so-called multi-valued logics can be formulated within the framework of Dialogical Logic. In order to formulate the particle rules for multi-valued logics the concept of different assertion modes is introduced. Then, by giving appropriate particle and structural rules standard systems of multi-valued logics can be reconstructed dialogically. This is done explicitly for Łukasiewicz’ logic with three values (L3c). By replacing the classical structural rule by its intuitionistic counterpart one obtains intuitionistic versions of the multi-valued systems (for example L3i). The dialogical multi-valued systems L3c and L3i are illustrated with some examples and finally strategic tableaux for them are formulated.Cairn free access
language Français
format Article ou chapitre numérique
building 0/Bibliothèque numérique/
1/Bibliothèque numérique/Cairn/
description Le but de cet article est de montrer comment les logiques dites multivalentes peuvent être formulées dans le cadre de la logique dialogique. Pour formuler les règles de particule pour ces logiques on introduit l’idée de différents modes d’assertion. En donnant ensuite les règles de particule et les règles structurelles appropriées, on peut reconstruire dialogiquement les systèmes standards de logiques multivalentes. Cela est fait explicitement pour la logique `a trois valeurs de Łukasiewicz (L3c). En remplaçant la règle structurelle classique par sa contrepartie intuitionniste on obtient des versions intuitionnistes de systèmes multivalents (par exemple L3i). Les systèmes dialogiques multivalents L3c et L3i sont illustrés par quelques exemples et pour conclure on formule les tableaux stratégiques correspondants.
author Rückert, Helge
spellingShingle Rückert, Helge
Logiques dialogiques ‘multivalentes'
author_facet Rückert, Helge
author_sort Rückert, Helge
title Logiques dialogiques ‘multivalentes'
title_short Logiques dialogiques ‘multivalentes'
title_full Logiques dialogiques ‘multivalentes'
title_fullStr Logiques dialogiques ‘multivalentes'
title_full_unstemmed Logiques dialogiques ‘multivalentes'
title_sort logiques dialogiques ‘multivalentes'
publishDate 2004
container_title
container_issue
url https://ezproxy.univ-orleans.fr/login?url=https://shs.cairn.info/revue-philosophia-scientiae-2004-2-page- ?lang=fr
https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.4000/philosophiascientiae.564
_version_ 1877246818566275073

Míreanna comhchosúla