【摘 要】
：
<正> 1.可能世界语义学的基本思想可能世界语义学是模态逻辑的形式语义学,它起源于莱布尼茨的可能世界理论。莱布尼茨认为,一个事态A是可能的,当且仅当A不包含逻辑矛盾。一个
论文部分内容阅读
<正> 1.可能世界语义学的基本思想可能世界语义学是模态逻辑的形式语义学,它起源于莱布尼茨的可能世界理论。莱布尼茨认为,一个事态A是可能的,当且仅当A不包含逻辑矛盾。一个由事态A1,A2,A3……形成的组合是可能的,当且仅当A1,A2,A3……推不出逻辑矛盾。由无穷多的具有各种性质的事物所形成的可能的事物的组合,就是一个可能世界。有许许多多的可能世界,例如现实世界就是一个可能世界,它是由上帝选择的一个最丰富、最完美的可能世界。他进而利用可能世界去讨论必然性、可能性、偶然性等问题,例如他认为:
其他文献
劳教经2013年初停用至年末废止,劳教适用的三类对象(行为)即刑法禁止行为不够刑事处罚的、卖淫嫖娼的和吸毒成瘾的,已被分流到刑法、治安处罚法和"禁毒法"(强制隔离戒毒)。至
以新加坡填海区公铁两用复合高架桥为例，介绍了钢板桩在承台开挖支护工程中的应用技术，叙述了基于 PLAXIS 软件的摩尔-库伦模块的钢板桩的长度、支撑和围檩结构验算以及施工过
为了检测柔性底盘二代样机的性能与参数,设计试制了一款双辊式柔性底盘试验台,并开发制作了测控系统。试验台由4对水平转动的双辊、4个回转中心与柔性底盘偏置转向中心同心的
鸡新城疫病毒(Newcastle Disease Virus,NDV)是危害家禽生产的重要病毒之一.试验选取黄芪、紫胡、金银花、野菊花、黄芩、藿香、芦根、细辛、栀子、甘草、马鞭草、鱼腥草、大
现代信息技术快速发展,在企业管理过程中的应用也越来越广泛,在企业营销管理、物流管理、人力资源管理等很多方面都有十分广泛的应用。现代信息技术在企业管理过程中的应用,
按揭贷款合同的主要当事人是借款购房的买受人和发放贷款的银行。按揭贷款合同发生纠纷,出卖人是否参加诉讼及其诉讼地位是有争议的问题之一。本文认为,出卖人是按揭贷款合同
近年来,农村信用社以其点多面广的优势,已然成为农村地区提供金融服务,支持"三农"经济发展的主力军。但通过调查发现,农村信用社由于受管理体制、人员素质相对低下、客户群体
<正>新世纪以来,党史界在继承、吸收以往研究成果的基础上,对中共二大的研究又取得了新的进展,有些研究成果更加丰富和深入。本文拟对这些研究成果进行大致梳理和述评,以期对
目的:初步探讨半导体激光在牙龈切除术及成形术中的应用,比较半导体激光与高频电刀和传统手术方法在临床疗效之间的差异。方法:收集需进行牙龈切除术及成形术的患者(20例,88
目的:探讨食管癌前病变组织p16及FHIT基因启动子区CpG岛的甲基化状况。方法:采用甲基化特异性聚合酶链反应(MSP)方法,对食管癌前病变不同阶段及鳞状细胞原位癌的病变组织进行