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

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

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