The paper makes an investigation of them and the definitions of necessary truth historically,analyses the relationship between necessity and contingency,necessary truth and contingent truth.
本文从历史的角度对必然性和偶然性、必然真理的定义做了一番考察,并分析了必然性和偶然性、必然真理和偶然真理的关系。
Starting from the classification of truth theory, this paper analyses the problems of different truth theories, and investigates the relations among logical truth, analytic truth and necessary truth by discussing Quines censure to analyticity and necessity, and concludes that their extensions and applied scopes are enlarging in turn, whereas the former is a subset of the latter.
通过论述蒯因对分析性和必然性的责难 ,对逻辑真理、分析真理、必然真理问题的关系作了考察 ,认为三者的外延及应用范围依次增大 ,前者依次是后者的子
Kripke advances the historical and casual theory of naming in his Naming and Necessity, which holds that both the necessary posterior truth and the contingent priori truth are in existence, to defend the modal logic in theory.
克里普克在《命名与必然性》中提出了历史的因果命名理论 ,并认为存在必然后验真理、偶然先验真理 ,这是为模态逻辑作理论上的辩护。
Verifying winning strategy with symbolic model checking;
基于符号化模型检测的对弈必胜策略验证
Language and World:an Explanation of Kripke s A Posteriori Necessary Truth;
语言与世界:对克里普克的后天必然真理的一个解释
Truth is a flower in whose neighborhood others must wither.
真理是一朵花，在它附近的花必然凋谢。
Man will suffer many disappointments in his quest for truth.
人类在探索真理过程中必然会遭受挫折。
Logical Truth and Quines Censure to Analyticity and Necessity;
论逻辑真理及蒯因对分析性和必然性的责难
(in logic) a statement that is necessarily true.
（逻辑学）必然真实的陈述。
"and go nobly on in your power, because you are good and true and without pride; and your right hand will be teaching you things of fear."
为真理，谦卑，公义，赫然坐车前往，无不得胜。你的右手必显明可畏的事。
The formation of Kang Youwei's economical thought is the inevitable outcome ofhis seaking truth from the West.
康有为经济思想的形成,是他向西方寻求真理的必然结果;
The truth must lie with one side or the other, and its lying with one side makes the other false.
真理必然存在于其中一方，这同时使另外一方成为谬误。
But then life moves along to confront us with realities, and slowly but surly this second truth dawns upon us.
但是现实往往事与愿违，然后渐渐地这第二条真理必然显现在我们面前。
for someone must stand up for what's right
因为必须有人捍卫真理
We must firmly uphold the truth, and truth requires a clear-cut stand.
我们必须坚持真理，而真理必须旗帜鲜明。
The lie lays at the truth and the truth must lay at the lie.
谎言打击真理，真理也必须反击谎言。
It follows that if you work hard, you will succeed.
如果你努力，你就会成功，那必然是真的。
There is never yet a truly great man that is not at the same time truly virtuous .
真正的伟人，道德必然高尚。
The entire apparatus must, of course, be evacuated.
当然，整个设备必须抽成真空。
If this true, that must be false.
如果这个是真的，那个必然是假的。
Senior government figures must have acquired in the cover-up.
政府高级官员必然已经默许掩盖真相。
Thought malice may darken truth, it cannot put it out.
恶意虽然会糟蹋真理，但无法消灭真理。