概念来阐述什么是逻辑。他主张逻辑应当被设想为判断的科学，这种想法被戈特洛布·弗雷格採纳，写入他的逻辑与哲学着作之中，其中，思维（）这一词取代了康德的判断（）。在此观点下，有效的逻辑推论是源于判断或思维的结构特征。
演绎和归纳.演绎推理关注于从给定的前提下有什么是可得出的。而归纳推理（从观察中推论出可靠广义化的过程）有时也被包含在对逻辑的研究中。相对应地，必须要区分出演绎有效性和归纳有效性。一个推论是演绎有效的，若且唯若不可能存在所有前提皆为真但结论为假的状况。对于形式逻辑的系统，演