逻辑的种类都有哪些（通俗解释什么叫逻辑）

逻辑的种类有形式逻辑和现代逻辑两种。
1. 形式逻辑着重于研究各种命题形式之间的关系规律，将逻辑当作一种推理形式，着重于逻辑推理的形式，如范畴、命题、谓词、命题函数等。
2. 现代逻辑则涉及到更加复杂的逻辑形式和推理模式。
除了考虑命题之间的语法形式外，还要考虑其语义内涵。
它将逻辑看作是一种推导或演绎的过程，通过分析前提得出的合法性。
例如，模态逻辑、互动逻辑、非经典逻辑等。
因此，需要着重考虑语义上的分析和推理。