论证；所以如《斯坦福哲学百科》所称，「逻辑……没有涵盖有效推理的整个课题，那是理性理论的工作。更明确地说，逻辑处理一种推论，其有效性可追溯至推论中的表述的形式特征，这可以是语言的，心理的，或其他的表述。」(Hofweber 2004).相对地，伊曼努尔·康德引入了另一种概念来阐述什么是逻辑。他主张逻辑应当被设想为判断的科学，这种想法被戈特洛布·弗雷格採纳，写入他的逻辑与哲学着作之中，其中，思维（）这一词取代了康德的判断（）。在此观点下，有效的逻辑推论是源于判断或思维的结构特征。