网站首页
汉语
俄语
英语
请输入您要查询的字词:
字词
可能世界语义学
释义
可能世界语义学
数理化力学卷
可能世界语义学
现代逻辑中借助于“可能世界”观念所建立起来的语义理论。由美国逻辑学家克里普克(Saul
Aaron
Kripke,1940—
)等人在20世纪50年代末至60年代初建立,因而又被称为“克里普克语义学”。它最初被用于模态逻辑,严密而清晰地揭示了多种模态公理系统的直观背景,使模态逻辑的研究进入了一个崭新的阶段。之后,它又被推广用于时态逻辑、道义逻辑、直觉主义逻辑等多种现代逻辑分支学科,推动了这些分支学科的发展。它对自然语言逻辑、逻辑哲学和语言哲学的研究,也有重要的影响。
出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
随便看
鞍鞯是什么意思
鞍韂是什么意思
鞍马是什么意思
鞑是什么意思
鞑靼是什么意思
鞑靼人是什么意思
鞑靼斯坦共和国是什么意思
鞑靼海峡是什么意思
鞑靼语是什么意思
鞓是什么意思
鞔是什么意思
鞕是什么意思
鞗是什么意思
鞘是什么意思
鞘磷脂是什么意思
鞘糖脂是什么意思
鞘翅是什么意思
鞘翅目是什么意思
鞘脂是什么意思
鞘膜是什么意思
鞘膜积液是什么意思
鞘藻属是什么意思
鞙是什么意思
鞙鞙是什么意思
鞚是什么意思
кабелеукладчик的意思
кабель 的意思
кабель的意思
кабель-заправочная 的意思
кабель-заправочная的意思
кабель-искатель的意思
кабель-искатель 的意思
кабель-кран 的意思
кабель-кран的意思
кабель-мачта 的意思
地球上的居民
地球中心论
地球中心说
地球以外的
地球仪
地球动力学的
地球化学
地球卫星
地球原始论
地球年代学
修远网汉语字词典收录72225条汉语词条,基本涵盖了全部常见汉语字词的翻译、注释及用法释义,是语文学习的有利工具。
Copyright © 2021-2025 mythu.net All Rights Reserved
更新时间:2026/1/29 11:10:25