逻辑学 :研究用于区分正确推理与不正确推理的方法和原理的学问。
命题 :一个陈述;通常使用陈述句断定的东西,因而都是或真或假的——尽管真、假可能是未知的。
陈述 :一个命题;通常是陈述句断言的东西,但不是陈述句本身。每一个陈述一定或真或假,尽管其真、假可能是未知的。
推论 :结论加之从中推出结论的前提;论证。做出一个推论——从前提推出一个结论——是一个以其他某些命题为基础得到或断定一个命题的过程。
论证 :任意一组命题,其中一个命题(即结论),声称得到其他命题(即前提)的支持。论证的结论是从论证的前提推出来的。
结论 :任一论证中,其他命题声称支持的命题,或者其他命题被作为其理由的命题。结论是从一个或者更多其他命题(即前提)推出的命题。
前提 :一个论证中,推论所依赖的命题;声称为推出的结论提供根据或理由的命题。
结论指示词 :出现在一个论证中的一个词或短语(如“所以”或“因此”),通常指示其后的内容是该论证的结论。
前提提示词 :一个论证中的一个词或短语(如“由于”和“因为”),通常标志其后的内容是作为前提的陈述。
反问句 :一个用来做陈述的句子或话语,由于它是以既不真也不假的疑问句形式出现的,因而字面上它并不断定任何东西。
省略式 :一个言述不完整的论证,其未言述的部分被认为是理所当然(为真)的。
演绎论证 :传统上区分的两种主要论证之一,另一种是归纳论证。一个演绎论证断言其结论是从前提必然地推出的。如果一个演绎论证的结论是从其前提必然地推出的,那么它是有效的;否则,它是无效的。
归纳论证 :传统上区分的两种主要论证之一,另一种是演绎论证。一个归纳论证断言其前提只给结论带来某种程度的概然性,而不是确定性。
可靠论证 :一个论证是可靠的当且仅当:(a)它是有效的并且(b)它的前提都为真。基于(a)和(b),一个可靠的论证必定有一个真结论。