论文部分内容阅读
在模态谓词逻辑语义学构建的过程中,巴坎公式扮演着重要的角色。以自由逻辑为基础的模态谓词逻辑是对经典模态谓词逻辑的改造。具有较好的柔韧性和宽容度,它可以容纳经典谓词逻辑。用自由逻辑系统解读巴坎公式,增加扩展公理和收缩公理,可以获得常域选择下的模态谓词逻辑。但这种逻辑仍有谜团需要我们去化解。
巴坎公式和自由逻辑
【摘 要】
：
在模态谓词逻辑语义学构建的过程中,巴坎公式扮演着重要的角色。以自由逻辑为基础的模态谓词逻辑是对经典模态谓词逻辑的改造。具有较好的柔韧性和宽容度,它可以容纳经典谓词
【机 构】
：
华南师范大学政治与行政学院
【出 处】
：
湖南科技大学学报：社会科学版
【发表日期】
：
2010年4期
【基金项目】
：
教育部人文社会科学研究2008年度一般项目“模态逻辑与美国实用主义哲学研究”（08JA720010）
其他文献
在分离附着系数路面工况下,如果不对车辆左右两侧制动力进行合理的控制,车辆在制动时会发生制动跑偏的现象.这在北方地区尤其明显.利用带前轮转向角反向偏转的方法不仅可以有
实验结果表明：湘乡城关镇话声调共有7个单字调,属于声调调类中＂平声三分＋上声＋去声三分＂的格局。次阳平和阴去的区别度不大,其余各声调能清楚区别开来。次阳平和阴去依靠声母类别
采用特定的正弦信号激励的复阻抗测量电路、移相90°的同步分离电路,消除电容式水分仪中电阻分量Rx的影响,把电容分量Cx分离出来,解决了传统测量方法中电阻信号与电容信
铟是一种银白色易熔稀散金属，在地壳中的储量只有黄金的1／6，具有质软、延展性好、强光透性以及导电性等特点，主要以与其他有色金属组成一系列的化合物半导体、光电子材料、特殊合
“发展才是硬道理”，对于中国这样的发展中国家尤其如此。在“后危机时代”，中国应该在科学发展观指导下，尽可能规避风险，理性地应对危机，走中国特色的社会主义发展道路。为此，要正