 Dummett’s approach starts with the idea that the choice for one logic over another must necessarily lie in the meaning one attaches to logical statements. In the theory of meaning that Dummett uses, which is based on Wittgenstein’s ideas about language and in particular on his idea that meaning is use, the meaning of a sentence is determined by the way in which the sentence is used. The meaning of a mathematical statement manifests itself in the use made of it, and the understanding of it is the knowledge of the capacity to use the statement. This view is supported by the way in which we acquire mathematical knowledge. When we learn a mathematical notion we learn how to use it: how to compute it, prove it or infer from it. And the only way to establish that we have grasped the meaning of a mathematical statement lies in our proficiency in making correct use of the statement. 