FOM: 'Logical parsimony' of intuitionistic mathematics

[Torkel Franzen]

  Neil Tennant says:

  >The assumption is that, when judging of the adequacy of a particular kind
  >of `logically parsimonious' mathematics (say, intuitionism), we should be
  >insisting that it should provide the *theorems* supposedly needed for 
  >application within our physical theorizing.

  Another dubious assumption is that intuitionism is "logically
parsimonius".  After all, intuitionistic predicate logic contains any
number of logical distinctions that correspond to nothing in
mathematical knowledge or reasoning. This is rather an embarrassment
of (logical) riches than any kind of parsimony.

---
Torkel Franzen