Immanent Reasoning and the Dialogical Genealogy of Equality Interaction and the notion of Equality in Constructive Type Theory - HAL-SHS - Sciences de l'Homme et de la Société
Pré-Publication, Document De Travail Année : 2015

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.
Fichier principal
Vignette du fichier
Introduction Immanent Reasoning.pdf (451.69 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

halshs-01226153 , version 1 (08-11-2015)
halshs-01226153 , version 2 (13-02-2018)

Licence

Identifiants

  • HAL Id : halshs-01226153 , version 1

Citer

Shahid Rahman, Nicolás Clerbout. Immanent Reasoning and the Dialogical Genealogy of Equality Interaction and the notion of Equality in Constructive Type Theory. 2015. ⟨halshs-01226153v1⟩

Collections

OMNIPHILO
245 Consultations
106 Téléchargements

Partager

More