网站首页
汉语
俄语
英语
请输入您要查询的字词:
字词
可能世界语义学
释义
可能世界语义学
数理化力学卷
可能世界语义学
现代逻辑中借助于“可能世界”观念所建立起来的语义理论。由美国逻辑学家克里普克(Saul
Aaron
Kripke,1940—
)等人在20世纪50年代末至60年代初建立,因而又被称为“克里普克语义学”。它最初被用于模态逻辑,严密而清晰地揭示了多种模态公理系统的直观背景,使模态逻辑的研究进入了一个崭新的阶段。之后,它又被推广用于时态逻辑、道义逻辑、直觉主义逻辑等多种现代逻辑分支学科,推动了这些分支学科的发展。它对自然语言逻辑、逻辑哲学和语言哲学的研究,也有重要的影响。
出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
随便看
█
是什么意思
█
是什么意思
█
是什么意思
█
是什么意思
█
是什么意思
█
是什么意思
█
是什么意思
█
是什么意思
█
是什么意思
█
是什么意思
█
是什么意思
█
是什么意思
█
是什么意思
█
是什么意思
█
是什么意思
█
是什么意思
█
是什么意思
█
是什么意思
█
是什么意思
█
是什么意思
█
是什么意思
█
是什么意思
█
是什么意思
█
是什么意思
█
是什么意思
виски 的意思
вискограф 的意思
вискограф的意思
вискоза 的意思
вискоза的意思
вискозиметр 的意思
вискозиметр的意思
вискозиметрия的意思
вискозиметрия 的意思
вискозин 的意思
menstrual period
menstrual periods
menstruate
menstruated
menstruates
menstruating
menstruation
menstruous
menstruum
mensurability
修远网汉语字词典收录72225条汉语词条,基本涵盖了全部常见汉语字词的翻译、注释及用法释义,是语文学习的有利工具。
Copyright © 2021-2025 mythu.net All Rights Reserved
更新时间:2026/3/16 3:16:09