Abstract

Here we shall employ the term "classical" to denote situations in science in which all propositions satisfy all the laws of classical logic, including that of excluded middle. This means that if x is a proposition of a given field of science, then the following statements will be true in regard to it: "either x or non-x," "either x is true or non-x is true," "x is either true or false." The emphasis here upon the law of excluded middle is associated with the fact that criticism of this law is the basic content of nonclassical criticism of classical logic