 This principle is clearly violated in classical logic, because classical logic proves \((A \vee \neg A)\) also for formulas that are independent of the logic, i.e. for which both \(A\) and \(\neg A\) are not a tautology. The inclusion of the principle Ex Falso Sequitur Quodlibet, \((\bot \rightarrow A)\), in intuitionistic logic is a point of discussion for those studying Brouwer’s remarks on the subject; in van Atten 2008, it is argued that the principle is not valid in Intuitionism and that the logical principles valid according to Brouwer’s views are those of relevance logic. See van Dalen 2004 for more on Brouwer and Ex Falso Sequitur Quodlibet. 