选言判断新析

●本文从语言逻辑的角度对选言判断作了新的分析。第一,重新评估了传统的关于判别选言判断真假的“是否穷尽”的原则。其次,认为识别选言判断是相容还是不相容的标准不能只从句型方面着眼,在必要时还必须从内容方面着眼。最后,文章还提出了一些过去无人注意的、可处理为选言判断的句型。     

标准模态逻辑的判定方法和完全性

本文首先说明标准模态逻辑的D、T、S_4、S_5系统和它们的〈W、R、V〉模型;然后根据其模型,制定通用规则和专用规则,作语义图以判定公式是否常真;最后借语义图,证明这四个系统的完全性。     

求重言等值式的一组图式

命题逻辑所揭示的逻辑规律都是重言式,其中有一部分是重言等值式。重言等值式在逻辑学这个大学科中占有极其重要的地位,是命题逻辑、谓词逻辑乃至普通逻辑的规律和推导工具。重言等值式的重要性质是:等值的两端具有相同的真值,←→的赋值永真,所以当等值的一端出现在任一公式中时,可以用另一端代替,而不改变原公式的真值。有些重言等值式是命题逻辑中常用的,因为这些重言等值式本身是逻辑规律,同时又是