Intuitionistic Logic is a system of symbolic logic that emphasizes the constructive aspect of mathematical proof, rejecting the law of excluded middle which is accepted in classical logic. It is foundational to intuitionism, a philosophy of mathematics that posits that the truth of a mathematical statement is demonstrated by our ability to construct a proof for it.