1.Previous
3.Next

(Reid p. 155)

::Brouwer refused to accept the logical principle of the excluded middle, His argument was the following:

::"Suppose that A is the statement "There exists a member of the set S having the property P." If the set is finite, it is possible--in principle--to examine each member of S and determine whether there is a member of S with the property P or that every member of S lacks the property P." For finite sets, therefore, Brouwer accepted the principle of the excluded middle as valid. He refused to accept it for infinite

1.Previous
3.Next