查询词典 incorrect proposition

For example, a necessarily true proposition is a proposition that would be true no matter what possible world was actual.

例如，一个必然真命题，就是无论哪一个可能世界成为现实世界都会是真的命题。

0211 If they world had no substance, then whether a proposition had sense would depend on whether another proposition was true.

2.0211 假如世界没有实体，那么一个命题是否有意义就依赖于另一个命题是否为真。

0211 If the world had no substance, then whether a proposition had sense would depend on whether another proposition was true.

2.0211 如果世界没有实体，那么一个命题有无意义就要取决于另一个命题是不是真的了。

A formal truth is a true proposition to determine whether the formal proposition is of universal effectiveness or relation of satisfaction.

形式真理是断定形式命题具有普遍有效性或者满足关系的真实命题。

Their relation of satisfaction is that if a reasontyped concrete proposition is true, the corresponding statementtyped concrete proposition will be true.

追求形式真理，是逻辑科学特有的任务和使命，因而形式真理是逻辑科学基本的、核心的概念，是逻辑学存在和发展的惟一根据。

Therefore, a formal truth is a true proposition to determine whether the formal proposition is of universal effectiveness or relation of satisfaction.

不仅如此，形式真理也是哲学真理论的研究对象，自然也就成为马克思主义真理观不能回避的研究领域。

Data query for proposition with universal quantifier and data query for implication proposition are two categories of the most practical and difficult data queries.

带有全称量词命题与蕴含命题的数据查询是数据库应用系统中最实用的两类查询，但也是最难的两种数据查询。

If proposition 1 is true, then the change of aerostatic pressure mentioned in proposition 2 can not cause the contrary change in the pressure intensity in the charmber.

如果说命题一是真的，则第二命题所说的空气静压的高低变化就不能影响推力室内的压强进行相反的低、高变化！

And Kant is clear that no one can acquire insight into that proposition merely from attending to the concepts involved, and yet that it is known 'with complete apodictic certainty'.22 We can again understand what Kant means, by regarding the intended transcendental proof as a matter of discovering the presuppositions of having the situated thought that underpins the central proposition.

我们通过视所期待的先验证据为'发现用于巩固核心命题的the situated thought的预设'，我们能再次理解Kant的意指。

In addition to a theory being logically self-referentially inconsistent, a theory can be inconsistent by virtue of itself denying or implying the contrary of one of its justificatory, semantic, or pragmatic presuppositions. Performative inconsistency derives from the self-referential denial of semantic or pragmatic presuppositions--in other words, a performatively self-falsifying proposition denies a necessary condition if its being meaningfully affirmed.27 The affirmation of a self-stultifying proposition, by contrast, denies one of its justificatory presuppositions.

除了'一个理论能在逻辑上自指不一致'外，一个理论能依据'自己被拒绝'或'内含其辩护性/语义性/语用性预设的反对'而得到不一致；换句话说，如果其被有意义地肯定，则是一个performatively self-falsifying的命题拒绝了一个必要条件。27 （作为对比，对self-stultifying命题的肯定，拒绝了部分其辩护性预设。

My father is over 60 years old, and he lifts weights every day.

我爸爸六十多岁了，他每天都练习举重。

Then in a serious tone she declared:"It doesn't pay, dear boy, to look like a ninny with one's wife the first night."

两眼湿润了，她把身子蜷得很小，这样似乎可以更好地闻闻自己。