Sciences humaines et sociales > Accueil > Modélisation et utilisation du contexte > Numéro 1 > Article
Yves Bouchard
Université de Sherbrooke
Canada
Publié le 20 mars 2018 DOI : 10.21494/ISTE.OP.2018.0242
Ce papier présente un cadre logique capable d’exprimer un contextualisme épistémologique. Le contextualisme épistémologique repose sur la possibilité d’une interprétation indexicale des connaissances de l’opérateur, selon laquelle les conditions de vérité des attributions des connaissances manifeste une variabilité contextuelle d’une telle manière que les connaissances dans un contexte n’implique pas de connaissances dans d’autres contextes. Au moyen d’une notion de contexte épistémique définie sur la base de la notion de contexte développée par McCarthy et Buvac en Intelligence Artificielle, le papier montre comment une interprétation indexicale des connaissances de l’opérateur peut être modélisée formellement à travers un système de déduction naturellequi permet le raisonnement classique parmi des contextes gouvernés par différents concepts de connaissance.
This paper aims at presenting a logical framework capable of expressing epistemological contextualism. Epistemological contextualism relies upon the possibility of an indexical interpretation of the knowledge operator, according to which the truth conditions of knowledge attributions exhibit a contextual variability in such a way that knowledge in one context does not entail knowledge in every context. By means of a notion of epistemic context defined on the basis of the notion of context developed by McCarthy and Buvaˇc in artificial intelligence, I show how an indexical interpretation of the knowledge operator can be formally modeled through a natural deduction system that enables classical reasoning among contexts governed by different concepts of knowledge.
Contextualisme épistémologique contexte épistémique normativité épistémique raisonnement logique déduction naturelle
epistemological contextualism epistemic context epistemic normativity reasoning logic natural deduction