逻辑的形式主要有以下几种：
1. 演绎逻辑：
演绎逻辑是一种从一般到特殊的推理过程。它通过已知的一般性原理或事实，推导出特殊情况下的结论。这种逻辑形式的主要特点是其普遍性和必然性。例如，从“所有人都会死亡”这一普遍真理，可以演绎出“某个具体的人也会死亡”的结论。
2. 归纳逻辑：
与演绎逻辑相反，归纳逻辑是一种从特殊到一般的推理过程。它通过对一系列具体事实或情况的观察，总结出一般的原理或规律。这种逻辑形式的重点是经验和观察。例如，观察到多个苹果落地，归纳出“所有苹果都会落地”的普遍性结论。
3. 抽象逻辑：
抽象逻辑是对概念、关系、命题等进行思维的一种形式。它不考虑具体事物的物理属性，只关注事物的本质和关系。抽象逻辑可以构建概念体系，进行推理和证明。数学和哲学中的逻辑大多是抽象逻辑。
4. 形式逻辑：
形式逻辑是一种研究推理结构的逻辑形式，主要关注推理的有效性和正确性。它不涉及具体的内容，只关注推理的形式结构。形式逻辑帮助人们识别和评估论证的正确性，是科学研究和论证的基础。
以上就是逻辑的主要形式。每种逻辑形式都有其独特的特点和应用场景，它们共同构成了人们思考和表达的基础。