La lógica intuicionista es una de las maneras de abordadabordar el [[Constructivismo (matemáticas)|Constructivismo]] en matemáticas. El uso de Lógicas constructivistas en general han sido vistas como un tema controvertido entre matemáticos y filósofos.
La objecionobjeción masmás reconocida que tiene es que excluye el Principio del tercero excluido y la eliminación de doble negación, las cuales han sido reglas centrales para el [[Lógica proposicional|Cálculo proposicional]], y que [[David Hilbert]] escribió de ellas: "Quitando el Principio del tercero excluido a un matemático, seria lo mismo, a quitar un telescopio a un astrónomo o los guantes a un boxeador, prohibir la existencia a enunciados y el principio de exclusionexclusión es equivalente a renunciar a toda la ciencia de las matemáticas."
