Immanent Reasoning and the Dialogical Genealogy of Equality Interaction and the notion of Equality in Constructive Type Theory
Résumé
Résumé: La principale thèse de la présente étude est que le niveau ontologique et propositionnel de l'identité peut être considéré comme enraciné dans une forme spécifique de l'interaction dialogique gouverné par ce qui, dans la littérature sur la théorie sémantiques des jeux, a été appelé règle formelle ou stratégie de copy-cat ou (plus récemment) règle socratique. En fait, l'idée principale est que les formes explicites de l'identité intensionnelle exprimées au moyen d'une affirmation sont, au niveau stratégique, le résultat de choix du proposant, qui copie les choix de son adversaire afin d'introduire une définition réelle. En bref : selon notre approche, les expressions d'identité explicitent un type particulier d'interaction argumentative. Le prédicat d’identité propositionnelle habituel en logique du premier ordre est introduit, de manière systématique, à un stade ultérieur et il résulte de l'identité établie au niveau ontologique.
Origine | Fichiers produits par l'(les) auteur(s) |
---|