论文部分内容阅读
模态逻辑语义学是经典逻辑语义学的一个扩张，对“可能”、“必然，，等词进行了刻画，而概率从某个角度来说是对“可能”的更加精确的表示。本文试图在模态逻辑语义学的基础之上，形式化地刻画如下直观思想：每一个在某一世界上有一定概率发生的事件都一定会在其可通达的某个（或者某些）可能世界上发生。
有限模型下的模态概率逻辑
【摘 要】
：
模态逻辑语义学是经典逻辑语义学的一个扩张，对“可能”、“必然，，等词进行了刻画，而概率从某个角度来说是对“可能”的更加精确的表示。本文试图在模态逻辑语义学的基础之上，形式
【机 构】
：
清华大学哲学系
【出 处】
：
逻辑学研究
【发表日期】
：
2014年3期
其他文献
光照水电站水库为不完全多年调节水库，水库水温属分层型。如果按原设计取用深层水，下泄的低温水将对下游河道生态环境产生显著的不利影响。本文在对水库水温分布状况分析的基础
从材料选择、防渗结构类型介绍了膜料防渗工程的设计，然后阐述了具有土保护层、砂砾料保护层和刚性材料保护层的膜料防渗形式和保护层厚度，最后介绍了防渗结构与建筑物连接应注
目前我国对于岩溶地区隧道绿色施工评价的研究较少,岩溶地区作为一种典型的水环境敏感区,对隧道绿色施工有着更高的标准。本评价模型采用层次分析法和专家打分法,针对岩溶地
嘉陵江某航电枢纽工程闸墩在一期一枯末的混凝土浇筑中，闸墩底部产生裂缝，在二枯施工完成后闸墩顶部也产生了裂缝。本文阐述了对这些裂缝的处理情况及处理结果分析。
摘要：文章通过建构一个灰色系统，以时间投入、健康投入和教育投入为指标，应用灰色局势决策理论，试图建立建筑工程安全事故精神损失赔偿的评价模型。在确定灰色局势白化值、不同年
针对在火电电网中加入抽水蓄能的问题，基于MATLAB优化工具箱建立节能调度模型。以电网煤耗量最小为目标函数，计算在相同等效替代不同发电方式下，抽水蓄能电站在调峰填谷时对电网
文章利用湖北省柑橘种植农户调查数据,通过建立多元线性回归模型,分析了不同销售渠道选择对农户收入的影响。研究表明相对于依赖中间商销售,自行销售柑橘有助于提高农户收入
非形式逻辑出现于上个世纪70年代，它首先是一种寻求更好的大学逻辑教学方式的努力。进而，非形式逻辑学者们逐渐开始触及和探讨越来越多的理论议题，即发展不依赖于形式逻辑的关于
对于论证中理由的充分性，可以从两个维度来加以分析，一个是从逻辑上，一个是从认识论上。基于此，本文提出了一种新的论证类型理论。从逻辑上而言，论证中从前提推至结论的过程，它可能