形式邏輯分為傳統形式邏輯和現代形式邏輯。傳統的形式邏輯主要包括演繹邏輯和歸納邏輯；
現代形式邏輯主要指數理邏輯(也稱符號邏輯)。
數理邏輯有很多分支，如模態邏輯、規範邏輯、多值邏輯、優化邏輯、結構邏輯、程序邏輯等等。
邏輯分為形式邏輯(普通邏輯)、數理邏輯、哲學邏輯、模糊邏輯、非形式邏輯、辯證邏輯、限制邏輯等等。
邏輯學的研究對象主要是思維的邏輯形式、基本規律和簡單的邏輯方法。教學內容主要包括導論、命題邏輯、詞匯邏輯、模態邏輯、歸納邏輯、邏輯基本規律和論證。在“邏輯現代化”思想的指導下，對內容進行選擇和安排，立足於現代邏輯的高度處理傳統邏輯內容，保留其精華，力求現代邏輯與傳統邏輯有機結合；密切關註思維和自然語言的現實性和特點，努力做到符合認知規律和教學要求的先進性、科學性和適用性的有機統壹，為實現我們的教學目標具有啟發性。