| 拽巷逻街：指大声呼叫，惊动街坊。 |
| 辩证逻辑：关于辩证思维形式、规律和方法的科学。主要研究反映客观事物矛盾的概念、判断、推理等辩证思维形式的运动变化及其规律。与形式逻辑不同，它不是单纯地研究思维的形式结构，而是从形式和内容的有机结合上，考察思维形式的联系和发展规律。注重思维内容的真理性，要求人们用全面的和发展的观点去观察事物；对具体事物作具体分析；用实践来检验人的思想的正确性。其基本规律是唯物辩证法基本规律在思维中的具体表现。 |
| 传统逻辑：亦称“普通逻辑”。不同于数理逻辑的形式逻辑。它创立于古代，不断丰富发展而沿用迄今，故称。 |
| 形式逻辑：逻辑学的分支学科。研究思维的形式结构及其规律。撇开具体的思维内容，研究概念、判断和推理（尤其是演绎推理）及其正确联系的规律和规则；反映事物最简单、最普遍、最常见的联系，表达最初步的但很重要的思维规律。基本规律有：同一律、矛盾律和排中律。 |
| 符号逻辑：数理逻辑。 |
| 数理逻辑：数学的一个分支，用数学方法研究推理、计算等逻辑问题。也叫符号逻辑。 |
| 谓词逻辑："谓词，在谓词逻辑中，原子命题分解成个体词和谓词。个体词是可以独立存在的事或物，包括现实物、精神物和精神事三种。谓词则是用来刻划个体词的性质的词，即刻划事和物之间的某种关系表现的词。如“苹果”是一个现实物个体词，""苹果可以吃""是一个原子命题，“可以吃”是谓词，刻划“苹果”的一个性质，即与动物或人的一个关系。"。 |
