范式

美国科学哲学家库恩的概念。原为希腊文，表示词尾变化的范例。库恩借用这一概念指一个科学共同体的成员所共有的东西，这一范式包括他们公认的科学理论、定理、概念、方法、科学模型、具体范例以及共同的世界观。范式是一个科学共同体形成和持续的基础，它使这个共同体有统一的方向和协调的合作，保证科学研究稳定顺利地进行。处于一定范式下的科学叫作常态科学，有没有范式是区分科学与前科学的标志。库恩后来对范式的解释又增添了新的内容，除了综合意义的一面，又强调了范式的具体的典型事例意义，还提出用“专业母体”一词来代替范式。

命题逻辑中特定类型的表达式，用以显示复合命题的重要特性。分合取范式和析取范式。合取范式是由简单析取式所组成，简单析取式是一析取式，其支命题或是一命题变元，或是一命题变元的否定。例如，

(p∨?q)∧ (?p∨q)

合取范式的作用在于显示重言式。对于一合取范式，如果每一简单析取式常真，则合取范式常真;如果有一个简单析取式不常真，则合取范式不常真。一个简单析取式要常真，则其中至少有一命题变元和它的否定同时出现。析取范式是由简单合取式所组成，简单合取式是一合取式，其支命题或是一命题变元，或是一命题变元的否定，例如，

(p∧?q) ∨ (?p∧q)

析取范式的作用在于显示矛盾式。对于一析取范式，如果每一简单合取式常假，则析取范式常假;如果有一个简单合取式不常假，则析取范式不常假。一个简单合取式要常假，则其中至少有一命题变元和它的否定同时出现。任何一个命题表达式，都可以通过一定的步骤转变为与其等值的合取范式或析取范式。