究，这个概念在历史上是很基本的，而这也是不同逻辑传统的创立者如柏拉图和亚里斯多德所设想的。现代的逻辑学家通常会希望确保对逻辑的研究只侷限于由适度一般化了的推论中所产生出来的论证；所以如《斯坦福哲学百科》所称，「逻辑……没有涵盖有效推理的整个课题，那是理性理论的工作。更明确地说，逻辑处理一种推论，其有效性可追溯至推论中的表述的形式特征，这可以是语言的，心理的，或其他的表述。」(Hofweber 2004).相对地，伊曼努尔·康德引入了另一种概念来阐述什么是逻辑。他主张逻辑应当被设想为判断的科学，这种想法被