形式逻辑在EST汉译过程中的运用

形式逻辑(formal logic)是研究抽象思维发展初级阶段形式及其规律的科 学。思维的形式是概念、判断以及推理。思维形式的规律,即逻辑规律,是由概念组成判断和判断组成推理时应遵循的规律,分为同一律、排中律、不矛盾律及充足理由律。本文以形式逻辑中概念种属关系和四种逻辑规律在EST汉译中的运用为例,来认证科技翻译中引入形式逻辑知识的科学性和必要性。