Основные различия между классической и интуиционистской логикой:

1. Критерии истинности высказываний. 1 В классической логике высказывание понимается как предложение, которое может быть истинным или ложным. 1 В интуиционистской логике истинность высказывания связана с возможностью его доказательства. 1
2. Количество классов высказываний. 1 В классической логике высказывания подразделяются на два класса: истинные и ложные. 1 В интуиционистской логике высказывания подразделяются на три класса: истинные, ложные и все прочие, или непроверенные. 1
3. Законы логики. 23 В интуиционистской логике нет закона исключённого третьего и закона снятия двойного отрицания. 2
4. Умозаключения. 1 В интуиционистской математике умозаключения не производятся по заранее установленным правилам. 1 Убедительность каждого логического шага должна проверяться непосредственно в соответствии с интуицией. 1