题目

逻辑学的一个问题
Give an example of a statement about things in the world that cannot be formalized as a contradiction,nor a tautology nor a contingent ( possibly true or possibly false ) proposition in propositional logic.Explain your reasoning.

提问时间：2021-01-02

答案

"Mathematics may be defined as the subject in which we never know what we are talking about,nor whether what we are saying is true."
Bertrand Russell,
As we don't know what we are talking about,this statement cannot be formalized as a contradiction,nor a tautology nor a contingent ( possibly true or possibly false )proposition in propositional logic.