An interdisciplinary study of the dynamics of utterances in social communication in terms of dynamic modal logic

从动态模态逻辑角度对社会传播中话语动态进行跨学科研究

基本信息

批准号：
22H00597
负责人：
山田友幸
金额：
$ 4.66万
依托单位：
Hokkaido University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2022
资助国家：
日本
起止时间：
2022-04-01 至 2027-03-31
项目状态：
未结题

项目摘要

山田と佐野は、項列様相述語論理に等号を追加し、さらに指令と約束の言語行為を表現する動的様相演算子を導入した動的項列義務論理を定式化し、その静的基盤論理に相対的な完全性を証明した。その際、各可能世界に存在する個体の範囲が変化しうる可変個体領域を導入し、個体の存在の偶然性を反映する自然な体系のもとで言語行為の効果の特徴づけを実現した。佐野はこれに加え、直観主義認識論理に拡張を施した様々な体系に関して、ヒルベルト流公理化の完全性、ゲンツェン流式計算の完全性、カット除去定理などを証明したほか、van Benthem と Liu の関係変化の動的論理を直観主義論理へ一般化し、再帰公理に基づく書き換え戦略による完全性証明、再帰公理の意味を考慮した代替意味論に基づく完全性証明、再帰公理の発想を生かした推件計算の定義を行い、再帰公理の三つの有益な側面を明らかにした。また述語論理のレベルで直観主義論理と古典論理を組み合わせた体系に対してヒルベルト流公理化とゲンツェン流式計算を定義し、健全性と完全性を示した。東条は、意味論において可能世界間に同値分類を導入し、エージェントの関心外の命題は真偽に差異があろうとも同じパーティションの中におさめることで、アクセスできる可能世界(の同値類)の数を縮小させ、他のエージェントの信念変化が自動的に察知されてしまう現象を回避できる信念論理の定式化に成功した。金子は、ゲーム理論におけるプレーヤーを理想的数学者とみなすことを避け、他人の状況に自分を挿入して、他人がどのように考えるかを考える行為を取り上げて、社会的文脈の中での信念・知識の発生を論理学の立場から分析することを提案した。また、社会学での ”Symbolic Interactionism” による研究を考慮に入れ、証明論とモデル理論それぞれのアプローチの役割に関する方法論的な視点を提案した。

Yamada和Sano在术语序列模式的谓词逻辑中添加了相等的符号，并制定了动态术语 - 序列义务逻辑，引入了代表命令和承诺语言动作的动态模式运算符，并证明了其对静态基础逻辑的相对完整性。在这种情况下，引入了可变的个体区域，其中每个可能的世界中存在的个体范围可能会发生变化，并且在自然系统下，语言行动的效果被描述为反映了个体存在的机会。除此之外，SANO证明了希尔伯特公理化的完整性，Genzen的演算计算的完整性以及切除的剪切理论，就已扩展到Intuitionist Cognition的逻辑的各种系统以及Hilbert的Axioms的完美之类的各种系统而言，以及Genzen的完整性，以及Cutor的计算。他将范·本蒂姆（Van Benthem）和刘（Liu）之间关系变化的动态逻辑推广到直觉主义逻辑上，并使用基于递归公理的重写策略做出了完美的证明，这是基于递归公理的替代语义的完美证明，并考虑了递归公理的含义，以及利用恢复性的三个有用的概念概念的尖锐计算，这些定义是有效的三个有用的。此外，Hilbert的公理化和Genzen的计算是定义的，该系统在谓词逻辑水平上结合了直觉主义逻辑和经典逻辑，表明声音性和完整性。 TOJO在语义上可能引入了可能的世界之间的等效分类，并通过保持在同一分区中不利于代理的命题，即使真理和虚假存在差异，可访问的世界（相等价值）的数量可以减少，并且可以减少他在格式信念逻辑上成功地避免了其他Antomenon的现象，而这些现象是自动化的。 Kaneko建议避免将游戏理论视为理想的数学家，而将自己插入他人的情况，并思考他人的思维方式，并从逻辑角度分析社会环境中信念和知识的发生。我们还考虑了在社会学中使用“象征性互动主义”的研究，并提出了一种方法论观点，涉及每种方法的证明理论和模型理论的作用。

项目成果

期刊论文数量（21）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

Analytic Cut and Mints' Symmetric Interpolation Method for Bi-intuitionistic Tense Logic

双直觉时态逻辑的解析 Cut 和 Mints 对称插值法

DOI：
发表时间：
2022
期刊：
Advances in Modal Logic
影响因子：
0
作者：
Katsuhiko Sano and Tomoyuki Yamada;Youan Su and Katsuhiko Sano;Hiroakira Ono and Katsuhiko Sano
通讯作者：
Hiroakira Ono and Katsuhiko Sano

直観主義論理と古典論理の組み合わせにおけるcollapsing problemと、シークエント計算におけるその回避方法について

直觉逻辑与经典逻辑结合的崩溃问题以及后续计算中如何避免

DOI：
发表时间：
2023
期刊：
影响因子：
0
作者：
Sato Yuji;Sato Mikiko;豊岡正庸・佐野勝彦
通讯作者：
豊岡正庸・佐野勝彦

Logic of Awareness in Agent's Reasoning

Agent推理中的意识逻辑

DOI：
发表时间：
2023
期刊：
影响因子：
0
作者：
Yudai Kubono;Teeradaj Racharak and Satoshi Tojo
通讯作者：
Teeradaj Racharak and Satoshi Tojo

Epistemic Logic: Foundations and Applications

认知逻辑：基础和应用

DOI：
发表时间：
2022
期刊：
影响因子：
0
作者：
小手川正二郎;河野哲也;関本幸;池田喬;Katsuhiko Sano;天田悠;天田悠;Mamoru Kaneko
通讯作者：
Mamoru Kaneko

Three faces of recursion axioms: the case of constructive dynamic logic of relation changers

递归公理的三个方面：关系变换器的构造动态逻辑的情况

DOI：
10.1093/logcom/exac013
发表时间：
2022
期刊：
Journal of Logic and Computation
影响因子：
0.7
作者：
Katsuhiko Sano and Tomoyuki Yamada;Youan Su and Katsuhiko Sano;Hiroakira Ono and Katsuhiko Sano;Ryo Hatano and Katsuhiko Sano
通讯作者：
Ryo Hatano and Katsuhiko Sano