词语 | 逻辑 |
释义 | 逻辑(邏輯)
词语解释
[logic] 关于推论与论证的学科。在逻辑中,一个论证的构成是一组为真的陈述(前提)足以使进一步陈述(论证的结论)为真。逻辑可分为演绎逻辑、归纳逻辑以及所谓非形式谬论的研究(参阅演绎[deduction]、归纳[induction]、形式谬论和非形式谬论[fallacy, formal andinformal])。现代形式逻辑以命题与演绎论证为主题,并从这些命题与演绎论证的内容中抽取它们所包含的逻辑形式。逻辑学家使用符号标志法来表示那些逻辑形式,以利于推论和验证其正确性。逻辑常项包括(1)命题连结词,如“非”(┐)、“与”(∧)、“或”(∨)、“若-则”(鑨)。(2)存在量词与全称量词“鱧x”(可读作“对于至少有一个体,称为x,……为真”)及“靃x”(“对于每一个体,称为x,……为真”)。以及(3)等同概念(以=表示)与(4)一些属于逻辑的谓词。逻辑常项(1)的研究领域被称作命题演算。涉及上述(1)、(2)与(4)者,属一阶谓词演算领域。若强调上述(3)之缺乏,则须加入形容词“不等同”。逻辑是哲学与数学领域的重要基础。参阅规范逻辑(deontic logic)和模态逻辑(modal logic)。 |
随便看 |
汉语词典收录了463404条汉语词条,基本涵盖了全部常用汉语词语的中英文释义及用法,是汉语学习的有利工具。