Therefore, a formal truth is a true proposition to determine whether the formal proposition is of universal effectiveness or relation of satisfaction.
满足关系是当理由型的具体命题真时论断型的具体命题一定真的形式命题关系。
The only truth that might seem instructive to him is not formal: it comes to life and unfolds in men.
在他看来，这看似有所收获的唯一真实不是形式上的：这种真实具有生命并在人们之中逐渐展现自我。
"Outline of a theory of truth" is about the logical paradox, in which Kripke put forward a theory of truth of "fixed point", and gave concrete formal construction.
《真理论纲要》就是克里普克关于语义悖论的研究成果。他在其中提出了“定点”真理理论，并给出了具体的形式建构。
应用推荐