请输入您要查询的百科知识:
词条
可能世界语义学
释义
可能世界语义学
数理化力学卷
可能世界语义学
现代逻辑中借助于“可能世界”观念所建立起来的语义理论。由美国逻辑学家克里普克(Saul
Aaron
Kripke,1940—
)等人在20世纪50年代末至60年代初建立,因而又被称为“克里普克语义学”。它最初被用于模态逻辑,严密而清晰地揭示了多种模态公理系统的直观背景,使模态逻辑的研究进入了一个崭新的阶段。之后,它又被推广用于时态逻辑、道义逻辑、直觉主义逻辑等多种现代逻辑分支学科,推动了这些分支学科的发展。它对自然语言逻辑、逻辑哲学和语言哲学的研究,也有重要的影响。
出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
随便看
诺鲁孜节
读
读万卷书,行万里路
读与某同
读为
读书人
读书敏求记
读书杂志
读书生活
读书破万卷,下笔如有神
读书音
读写学校
读卖新闻
读卡器
读卷大臣
读卷官
读史方舆纪要
读四书大全说
读如
读律佩觿
读曰
读曲歌
读本
读校
读牌
百科全书收录258893条中英文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。
Copyright © 2004-2023 Newdu.com All Rights Reserved
更新时间:2025/6/17 4:07:06