知性思維，是指運用普通形式邏輯的思維規則所進行的思維，形式邏輯是知性思維的集中體現。形式邏輯的基本規則最先由古希臘哲學家亞里士多德所闡明，它由同一律、矛盾律、排中律所構成。同一律的公式為“A是A”，它是指在同一思維過程中，一個思想（概念、判斷等）所反映的對象是什麼就是什麼，不能是別的什麼東西。矛盾律的公式為“A不是非A”，它是說一對矛盾判斷或者反對判斷不能同時為真，其中必有一假。排中律的公式為“A是B或不是B”，它是說一對矛盾判斷不能同時為假，其中必有一真。知性思維要求人們的思維必須是確定的，不能自相矛盾，不能“亦此亦彼”、模稜兩可。19世紀以後，數理邏輯作為形式邏輯的一個分支開始興起，它運用數學方法和專門的符號結構，並藉助形式化的邏輯運算來研究邏輯思維。數理邏輯所運用的符號結構有助於用準確的語言來表達複雜的推論，對於人工智慧以及現代科學的發展起了巨大的推動作用。
思維有知性思維和理性思維兩個不同的層次。所謂知性思維，是指運用普通形式邏輯的思維規則所進行的思維，形式邏輯是知性思維的集中體現。形式邏輯的基本規則最先由古希臘哲學家亞里士多德所闡明，它由同一律、矛盾律、排中律所構成。同一律的公式為“A是A”，它是指在同一思維過程中，一個思想（概念、判斷等）所反映的對象是什麼就是什麼，不能是別的什麼東西。矛盾律的公式為“A不是非A”，它是說一對矛盾判斷或者反對判斷不能同時為真，其中必有一假。排中律的公式為“A是B或不是B”，它是說一對矛盾判斷不能同時為假，其中必有一真。知性思維要求人們的思維必須是確定的，不能自相矛盾，不能“亦此亦彼”、模稜兩可。19世紀以後，數理邏輯作為形式邏輯的一個分支開始興起，它運用數學方法和專門的符號結構，並藉助形式化的邏輯運算來研究邏輯思維。數理邏輯所運用的符號結構有助於用準確的語言來表達複雜的推論，對於人工智慧以及現代科學的發展起了巨大的推動作用。
