网站首页
汉语
俄语
英语
请输入您要查询的字词:
字词
可能世界语义学
释义
可能世界语义学
数理化力学卷
可能世界语义学
现代逻辑中借助于“可能世界”观念所建立起来的语义理论。由美国逻辑学家克里普克(Saul
Aaron
Kripke,1940—
)等人在20世纪50年代末至60年代初建立,因而又被称为“克里普克语义学”。它最初被用于模态逻辑,严密而清晰地揭示了多种模态公理系统的直观背景,使模态逻辑的研究进入了一个崭新的阶段。之后,它又被推广用于时态逻辑、道义逻辑、直觉主义逻辑等多种现代逻辑分支学科,推动了这些分支学科的发展。它对自然语言逻辑、逻辑哲学和语言哲学的研究,也有重要的影响。
出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
随便看
全空泡螺旋桨是什么意思
全站仪是什么意思
全类是什么意思
全粤义士义民公檄是什么意思
全纯函数是什么意思
全纳教育是什么意思
全纵深攻击是什么意思
全纵深防御是什么意思
全组合测角法是什么意思
全缠派是什么意思
全美保险监督官协会是什么意思
全美原油管道是什么意思
全耳毛兔是什么意思
全能是什么意思
全能冠军是什么意思
全能型政府是什么意思
全脐螺是什么意思
全腔肺双向分流术是什么意思
全膀胱切除术是什么意思
全膛增程弹是什么意思
全自动电子计时是什么意思
全色片是什么意思
全色盲是什么意思
全芳备祖是什么意思
全英草地网球锦标赛是什么意思
макродефект 的意思
макродинамика的意思
макродинамика 的意思
макрозерно的意思
макрозерно 的意思
макрозэрно的意思
макрозэрно 的意思
макроиндикатор 的意思
макроиндикатор的意思
макроисследование 的意思
骚婊子
骚扰
骚扰性毒气
骚然
骠
骡
骡夫
骡子
骡车
骤
修远网汉语字词典收录72225条汉语词条,基本涵盖了全部常见汉语字词的翻译、注释及用法释义,是语文学习的有利工具。
Copyright © 2021-2025 mythu.net All Rights Reserved
更新时间:2026/7/30 1:11:00