请输入您要查询的百科知识:
词条
可能世界语义学
释义
可能世界语义学
数理化力学卷
可能世界语义学
现代逻辑中借助于“可能世界”观念所建立起来的语义理论。由美国逻辑学家克里普克(Saul
Aaron
Kripke,1940—
)等人在20世纪50年代末至60年代初建立,因而又被称为“克里普克语义学”。它最初被用于模态逻辑,严密而清晰地揭示了多种模态公理系统的直观背景,使模态逻辑的研究进入了一个崭新的阶段。之后,它又被推广用于时态逻辑、道义逻辑、直觉主义逻辑等多种现代逻辑分支学科,推动了这些分支学科的发展。它对自然语言逻辑、逻辑哲学和语言哲学的研究,也有重要的影响。
出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
随便看
药剂员
药剂士
药剂学
药剂师
药剂浸种
药力
药动学
药卢
药发傀儡
药品
药品医疗器械的例外
药品检验所
药品监督管理
药品管理
药品管理法
药园
药头
药学
药害
药师
药师三尊
药师佛
药师如来
药师寺
药引
百科全书收录258893条中英文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。
Copyright © 2004-2023 Newdu.com All Rights Reserved
更新时间:2025/6/22 1:23:48