首页> 外文OA文献 >Immanent Reasoning and the Dialogical Genealogy of Equality Interaction and the notion of Equality in Constructive Type Theory
【2h】

Immanent Reasoning and the Dialogical Genealogy of Equality Interaction and the notion of Equality in Constructive Type Theory

机译:内在推理与平等互动的对话谱系与建构型理论中的平等观念

摘要

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.
机译:简介:本研究的主要论点是,身份的本体论和命题水平可以被认为是根源于对话性互动的一种特定形式,而对话性互动是由语义博弈论文献中的对话性决定的。被称为正式规则或模仿策略或(最近)称为苏格拉底规则。实际上,主要思想是,在战略层面上,通过确认表达的内涵身份的显式形式是拥护者选择的结果,拥护者复制对手的选择以引入定义真实。简而言之:根据我们的方法,身份表达解释了特定类型的论证互动。一阶逻辑中通常的命题身份谓词在稍后的阶段被系统地引​​入,并且是从本体论层面建立的身份得出的。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号