分类:逻辑

逻辑，在它纯粹的形式上，是接受一组假定并达成一个结论的推理。更加明确的说，逻辑是对说明性的推理系统的研究，它是为引导人类(同样也可能是其他有智能的生命/机器/系统)“应当”如何进行推理而提出的系统。逻辑指出那些推论形式是有效的那些不是。在传统上，逻辑是作为哲学的分支来研究，但它也可以被当作数学和计算机科学的分支。人类“实际上”如何推理通常在其他学科下研究，这包括认知心理学。