逻辑形式【英】

logical form

译文来源

[1] 金炳华，冯契.哲学大辞典[Z].上海辞书出版社，2001：930.
[2] Logical Form. via: https://plato.stanford.edu/entries/logical-form/

定义

逻辑形式亦称“思维的形式结构”。统指由逻辑常项和变项组成的各种命题形式和由各种命题形式组成的各种推理形式。比如：“一切物质都是可以分割的”，“一切正义的事业都是要胜利的”，“一切金属都是可塑的”，这些命题的具体内容虽然各不相同，但它们却都具有共同的结构，即其组成要素（概念）之间具有共同的联系方式。用公式来表达就是“一切S都是P”，这就是上述诸命题共同的逻辑形式。任何逻辑形式都由逻辑常项和变项组成。在“一切S都是P”中，“一切”、“是”是逻辑常项，“S”、“P”是变项。“逻辑形式……不是空洞的外壳，而是客观世界的反映”（列宁，1990：151）。它是人们在思维中反映现实最一般特征（如任何对象都有这种或那种属性，任何对象之间都具有某种一定的关系等等）的形式。各种逻辑形式是在人类社会历史实践过程中形成的，具有全人类的性质。在思维过程中，使用这种或那种逻辑形式是由在思维中所反映的内容决定的。在传统形式逻辑或普通逻辑中，逻辑形式是由用一定的自然语言所表示的逻辑常项和用一定的符号语言所表示的变项所构成的公式来表达的；在数理逻辑中，逻辑形式是由作为特殊的逻辑语言或形式化语言出现的逻辑演算的结构来表达的，而一定的逻辑演算的公式是和一定自然语言的表达式相适应的（金炳华等，2001：930）。每一种逻辑形式都有自己特有的逻辑常项，逻辑形式不同，逻辑常项就不同；变项却不是如此，不同的逻辑形式可以有相同的变项。

定义来源

[1] 列宁.列宁全集[M].人民出版社，1990.
[2] 金炳华，冯契.哲学大辞典[Z].上海辞书出版社，2001.

例句

1. 到现在为止我们所讲的有关桑乔二重化为创造者和创造物的这一点，他终于以如下的逻辑形式表达出来：创造者和创造物转变为假设的我和被假设的我，从而（就［他对他的我所作的］假设是一种设定而言）变为设定的我和被设定的。——《马克思恩格斯全集（第三卷）》，1956：298

1. What we have said so far about the division of Sancho into creator and creation, he himself now finally expresses in a logical form: the creator and the creation are transformed into the presupposing and the presupposed ego, or (inasmuch as his presupposition [of his ego] is a positing) into the positing and the posited ego. -Quoted from Karl Marx Frederick Engels Collected Works (Vol. 5), 1975: 265.

2. 正如我们在上面所看到的，同位语还可以被反转过来，从而玩弄新的更复杂的戏法，并得出更惊人的结果。我们在那里还看出同位语就是从数学中抄袭来的无穷级数的逻辑形式。——《马克思恩格斯全集（第三卷）》，1956：308

2. The apposition, as we have seen above, can also be reversed and thus lead to new, even more complicated tricks and more astounding results. We have seen there, too, that the apposition is the logical form of the infinite series of mathematics. -Quoted from Karl Marx Frederick Engels Collected Works (Vol. 5), 1975: 275.

网络参考例句

例句 1：
而美国学者郝泽（Hauser）与英国学者丹普尔（Damper）虽然就CRA的逻辑形式提出了总计四种诊断模式，却都没有正确地揭示出CRA的真正错误。——“对‘汉字屋论证’逻辑结构的五种诊断模式”，载于《复旦学报（社会科学版）》2008年第3期
Although Hauser and Damper used to evaluate CRA from a logical point of view by offering four relevant diagnoses, their bullets missed the target, either.

例句 2：
取消部分逻辑形式，如不相容选言命题形式、必要条件假言命题形式及一些基础有效的论证形式，是以《逻辑学导论》和《简明逻辑学导论》为代表的当代国际上逻辑导论教科书改革的一个值得关注的重要动向。——“从思维实践视角看当代逻辑导论教科书改革的一个动向——以《逻辑学导论》和《简明逻辑学导论》为例”，载于《中国人民大学学报》2013年第5期
During the reform of textbooks on contemporary logic introduction represented by Introduction to Logic and A Concise Introduction to Logic, there is a noticeable new trend worth of our attention: canceling some of the logical forms, such as the exclusive disjunctive statement form, hypothetical statement form under necessary conditions and some basic effective argument forms.

例句 3：
可满足性是逻辑语义理论的基本概念。在分析基元命题内部的逻辑形式的基础上，研究了可拓逻辑的语法及语义理论，给出了可拓逻辑中的可满足性定义。——“可拓逻辑的可满足性问题研究”，载于《数学的实践与认识》2015年第12期
Satisfiability is the elementary concept of logical semantics. In this paper, with the analysis of the logical form inside basic-element proposition, the syntax and semantics of extension logic is studied. The definition of satisfiability in extension logic is given.