The science dealing with the criteria or formal principles of reasoning and thought.

• 有关推理和思维的规范或形式原理的科学。