查询词典 proposition

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命题的肯定，拒绝了部分其辩护性预设。

The second, so far as the text is concerned, might be considered as merely a different wording of the first, were it not that the history of the council shows that Wyclif had directly opposed the Scholastic doctrine of "accidents without a subject" as absurd and even heretical (cf, De Augustinis, De re sacramentari, Rome, 1889, II, 573 sqq.), Hence it was the intention of the council to condemn the second article, not merely as a conclusion of the first, but as a distinct and independent proposition; wherefore we may gather the Church's teaching on the subject from the contradictory proposition;"Accidentia panis manent sine subjecto," ie the accidents of bread do remain without a subject.

第二，相对於文而言，可被视为仅仅是一个不同的措辞第一，如果不是被认为安理会历史表明wyclif直接反对学术上的理论，&如果没有意外的一个主题&一样荒谬甚至异端（比照，德奥古斯蒂尼斯，德重sacramentari ，罗马， 1889年第一，二， 573 sqq ），因此这是安理会打算谴责第二篇文章，而不是仅仅作为一种结论的第一，但作为一个独特和独立命题；哪，我们可以搜集教会的教学主题，从相互矛盾的命题&； accidentia潘尼斯manent正弦subjecto &，即事故的面包做的仍然是一个课题。

The second, so far as the text is concerned, might be considered as merely a different wording of the first, were it not that the history of the council shows that Wyclif had directly opposed the Scholastic doctrine of "accidents without a subject" as absurd and even heretical (cf, De Augustinis, De re sacramentari, Rome, 1889, II, 573 sqq.), Hence it was the intention of the council to condemn the second article, not merely as a conclusion of the first, but as a distinct and independent proposition; wherefore we may gather the Church's teaching on the subject from the contradictory proposition;"Accidentia panis manent sine subjecto," ie the accidents of bread do remain without a subject.

第二，相对于文而言，可被视为仅仅是一个不同的措辞第一，如果不是被认为安理会历史表明wyclif直接反对学术上的理论，&如果没有意外的一个主题&一样荒谬甚至异端（比照，德奥古斯蒂尼斯，德重sacramentari ，罗马， 1889年第一，二， 573 sqq ），因此这是安理会打算谴责第二篇文章，而不是仅仅作为一种结论的第一，但作为一个独特和独立命题；哪，我们可以搜集教会的教学主题，从相互矛盾的命题&； accidentia潘尼斯manent正弦subjecto &，即事故的面包做的仍然是一个课题。

Recall that the Dretskean line made "Dretskean sensitivity" an essential component of knowledge, where this demanded that an agent should have a belief which is not only true, but which "tracks" the truth of the proposition in question in the nearest possible world in which that proposition is false, no matter how "far off," modally speaking, that world is.

回顾Dretske式线路，把Dretske式敏感性作为知道的本质成分，这必须一个人应该有这样的信念——不仅真，而且在最接近世界中追踪真（——在这个世界其为假，无论是否&遥远&——这是在模态上说的）。

Objective To investigate the effects of interleukin-1 β converting enzyme gene on the biologic characteristics of ovarian cancer cells.

目的 探讨白细胞介素-1 β转换酶的表达，对卵巢癌细胞生物学特性的影响。

Campylobacter: This illness is the most commonly identified cause of diarrheal illness in the world.

弯曲：这种病是最常见的原因查明腹泻病，在世界上。