逻辑的种类有形式逻辑和现代逻辑两种。

1. 形式逻辑着重于研究各种命题形式之间的关系规律，将逻辑当作一种推理形式，着重于逻辑推理的形式，如范畴、命题、谓词、命题函数等。

2. 现代逻辑则涉及到更加复杂的逻辑形式和推理模式。

除了考虑命题之间的语法形式外，还要考虑其语义内涵。

它将逻辑看作是一种推导或演绎的过程，通过分析前提得出的合法性。

例如，模态逻辑、互动逻辑、非经典逻辑等。

因此，需要着重考虑语义上的分析和推理。