权益分类	功能权益	普通用户	{{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 Sano, Xiang Lei's speech theory, equal sign, addition, command, restraint, speech act, expression, and action. The phase operator can be introduced into the dynamic deontology theory and formalized, and the static foundation theory can be used to prove its completeness. Every possible world exists, each possible world exists, the individual's scope changes, the individual realm can be transformed, and the individual can be introduced. The contingency of the existence reflects the natural system and the effect of the speech act. Sano Sano's knowledge, Naomi's epistemology theory's theory of knowledge, Zhang Shi's knowledge of the system, and Kan's flow public Completeness of physics and chemistry, completeness of ゲンツェン flow calculation, カット elimination theorem などをproof, したほか, van Benthem and Liu The theory of the change of the relationship is the generalization of the theory of directism, the proof of the completeness of the axiom of the axiom, the completeness of the axiom, and the consideration of the meaning of the axiom. Substituting the completeness proof of the theory of meaning, the completeness proof of the basis of the axiom, the definition of the row of calculations of the axiom of the axiom, and the beneficial side of the axiom of the axiom.また书语论　　　　　　　　　　　　　　　　　　　　　　　　　　　　的　　　　　　　　　　　　　　　 banks  by the combination ofヒルベルト流 axiomatization and とゲンツェン flow calculation をdefinition and soundness and completeness をshow した. Tojo, meaning theory, classification of the same values between possible worlds, introduction, and care outside The difference between the truth and the falsehood of the proposition is the same as the difference between the truth and the falsehood.クセスできるpossible world(のsimilarity)のnumberをshrinkさせ、his のエージェントのfaith 変Automatically detect the phenomenon, avoid it, believe in it, and establish it successfully. Kaneko は, ゲーム theory におけるプレーヤーをThe ideal mathematician とみなすことをavoidance, others' situation に自分をinsert して, others がどのように考えるかを考えるACT をtakeり上げて, SOCIAL CONTEXT の中でのBELIEF・Knowledge の発生を论学の Position からANALYSIS することをproposal した. "Symbolic Interactionism"によるResearch をConsideration に入れ、Proof theory とモデル Theory それぞれのアプローチのservice cut に关する Methodology なViewpoint をProposal した.

项目成果

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

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