Corpus ID: 12789449

75 ON THE LAW OF EXCLUDED MIDDLE

@inproceedings{Brouwer200775OT,
  title={75 ON THE LAW OF EXCLUDED MIDDLE},
  author={E. Brouwer},
  year={2007}
}
The purpose of this paper is to discuss the possibility of a system of logic in which the law of excluded middle is not assumed, and also to point out what seem to be errors in a recent paperf in which the conclusion is reached that such a system of logic is self-contradictory. The law of excluded middle is the logical principle in accordance with which every proposition is either true or false. This principle is used, in particular, whenever a proof is made by the method of reductio ad… Expand