权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

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 Yamada Sano, project description, etc., and instructions to add words and actions to show that the phase operator of the action is involved in the operation of the project, and that the basic theory of the action is related to the completeness of the statement. Both internationally and in all possible worlds, there are individual body ranges that can be accessed in the individual field, and the existence of contingency in the individual body reflects the fact that the words and deeds of the natural environment system can be easily realized. The general theory of van Benthem, the general theory of knowledge, the completeness of flow axiomatization, the completeness of flow calculation, the elimination of the theorem, the generalization of theory, the generalization of axiom and axiom, the generalization of the theory, the axiom, the generalization of the system, the axiom, the axiom. "axiom" means "axiom" instead of "axiom" instead of "axiom", "axiom" means "axiom" instead of "axiom" means "axiom" means "axiom" instead of "axiom" means "axiom" means "axiom" instead of "axiom" means "axiom" means "axiom" instead of "axiom" means "axiom" instead of "axiom". In this paper, we should discuss the definition and completeness of the flow axiomatization system in the system. It means that the number of possible worlds is different, the number of possible worlds (similar) is very small, and the number of possible worlds (similar) is very small. He is concerned about the realization of belief in the realization of success, just as he avoids the belief theory and formulates the success story. In the theory of gold and gold, the ideal mathematicians do not know how to avoid, other people's behavior is divided into each other, and the behavior of others is collected from the examination. in the literature of the society, there is a proposal for the analysis of beliefs, beliefs, knowledge and knowledge in the field of health science. The study of "Symbolic Interactionism" in the field of sociology and sociology is based on the study of the methodology of the method of service cutting.

项目成果

期刊论文数量（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と、シークエント計算におけるその回避方法について

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