“可能世界语义学”的意思、由来-百科全书

可能世界语义学　　现代逻辑中借助于“可能世界”观念所建立起来的语义理论。由美国逻辑学家克里普克(SaulAaronKripke,1940—　)等人在20世纪50年代末至60年代初建立,因而又被称为“克里普克语义学”。它最初被用于模态逻辑,严密而清晰地揭示了多种模态公理系统的直观背景,使模态逻辑的研究进入了一个崭新的阶段。之后,它又被推广用于时态逻辑、道义逻辑、直觉主义逻辑等多种现代逻辑分支学科,推动了这些分支学科的发展。它对自然语言逻辑、逻辑哲学和语言哲学的研究,也有重要的影响。

出处：数理化力学卷 • 数　　学 • 数理逻辑 • 数学基础

词条	可能世界语义学
释义	可能世界语义学数理化力学卷可能世界语义学　　现代逻辑中借助于“可能世界”观念所建立起来的语义理论。由美国逻辑学家克里普克(SaulAaronKripke,1940—　)等人在20世纪50年代末至60年代初建立,因而又被称为“克里普克语义学”。它最初被用于模态逻辑,严密而清晰地揭示了多种模态公理系统的直观背景,使模态逻辑的研究进入了一个崭新的阶段。之后,它又被推广用于时态逻辑、道义逻辑、直觉主义逻辑等多种现代逻辑分支学科,推动了这些分支学科的发展。它对自然语言逻辑、逻辑哲学和语言哲学的研究,也有重要的影响。出处：数理化力学卷 • 数　　学 • 数理逻辑 • 数学基础
随便看	阿哥阿喀琉斯阿喀琉斯和埃阿斯玩骰子阿善遗址阿嘎钦阿国阿图什阿图姆阿图尔·鲁宾斯坦阿图岛阿图阿加阿圭略阿坎阿坝阿坝藏族羌族自治州阿坝藏族自治州阿垅阿埃塔人阿城阿基坦阿基坦盆地阿基琉斯·塔提奥斯阿基米得阿基米德阿基米德(前)