Интуициони́стская ло́гика — логика, удовлетворяющая интуиционистским требованиям к математическим рассуждениям. Форма логики предикатов, отражающая взгляд интуиционизма на характер логических законов, считающихся допустимыми в применении к доказательствам суждений из тех частей дедуктивных наук (особенно математики), которые существенно связаны с понятием математической бесконечности. В интуиционистской логике нет закона снятия двойного отрицания.
В качестве интуиционистской логики обычно рассматривается формальная логическая система, построенная нидерландским математиком А. Гейтингом в 1930 году. Она охватывает логику предикатов. При построении интуиционистской математики логические связки, употребляемые для формулировки математических суждений, истолковываются способом, отличным от классического. Любое суждение считается осмысленным, только если оно выражает возможность умственного построения, и считается истинным, только если исследователю удалось выполнить соответствующее построение.