/p∧→p/=0与/p∧→p/=1/2能使我们陷入"两难"吗?

在卢卡西维茨的三值逻辑理论L3中,当/P/=1/2时,/→p/=1/2,所以,p∧→p/=1/2.但是,在人们的"逻辑直觉"中,/p∧→p/=0.本文指出这种"逻辑直觉",其实是以二值逻辑暗中取代了三值逻辑,从而得出/p∧→p/=0这样的结果./p∧→p/=1/2与/p∧→p/=0由于不是以同样的逻辑理论为基础,而是分别以三值逻辑和二值逻辑为基础的结果,因而,它们并不能使人陷入"二难"的境地.     

／p∧-p／=0与／p∧-p／=1／2能使我们陷入“两难”吗？

在卢卡西维茨的三值逻辑理论L3中，当／p／=1／2时，／-p／=1／2，所以，／p∧-p／=1／2。但是，在人们的“逻辑直觉”中，／p∧-p／=0。本指出这种“逻辑直觉”，其实是以二值逻辑暗中取代了三值逻辑，从而得出／p∧-p／=0这样的结果。／p∧-p／=1／2与／p∧-p／=0由于不是以同样的逻辑理论为基础，而是分别以三值逻辑和二值逻辑为基础的结果，因而，它们并不能使人陷入“二难”的境地。     

情境语义学与可能世界语义学比较研究探析

情境语义学是一种新型语义理论，虽然它在意义和日常推理的哲学解释上获得极大成功，但在形式技术上还不够成熟。模态逻辑的形式技术方面已经发展得相当成熟，但它的可能世界语义学在哲学解释上却存在诸多困难。在这样的情况下，用情境语义学来改造模态逻辑，努力构造一种动态敏感且数学上严格的形式系统，就决定了今后逻辑发展的基本走势之一。     

哥德尔自指命题与悖论

"可证"的算子用法与谓词用法是严格区分概念层次的结果。"可证"的算子用法是从命题外部来理解"可证"的,而它的谓词用法则是从命题内部来理解的。哥德尔自指命题是否导致悖论,关键在于如何理解"可证"概念。如果把"可证"理解为语句算子,那么哥德尔自指命题就不会导致悖论。否则,如果把它理解为谓词,那么哥德尔自指命题就会导致悖论。     

专名及其逆向信息

从信息流动的角度来考察专名等表达式的情境意义，可以发现，专名等表达式还可以传递逆向信息。而以克里普克关于本质的论述为基础，则完全可以给出专名及其逆向信息的实在论基础。     

/p∧乛p/=0与/p∧乛p/=1/2能使我们陷入“两难”吗?

在卢卡西维茨的三值逻辑理论L3 中 ,当 /p/=1/2时 ,/p/=1/2 ,所以 ,/p∧p/=1/2。但是 ,在人们的“逻辑直觉”中 ,/p∧p/=0。本文指出这种“逻辑直觉” ,其实是以二值逻辑暗中取代了三值逻辑 ,从而得出 /p∧p/=0这样的结果。 /p∧p/=1/2与 /p∧p/=0由于不是以同样的逻辑理论为基础 ,而是分别以三值逻辑和二值逻辑为基础的结果 ,因而 ,它们并不能使人陷入“二难”的境地