[FOM] FOM: What is a proof?

Antonino Drago drago at unina.it
Tue Jan 27 18:32:51 EST 2009

 The questions by John Corcoran about What is a proof? of 22/1/09 and the 
answer by Bill Taylor
lead me to ask in my
 turn the following questions, which in some sense represent a particualr
case of his questions:

 Intuitionist logic ancludes ad absurdum proofs as respectable proofs.
 However their results are not positive sentences, but no more than double
 negated sentences.
 In other terms, intuitiionist logic accepts weak ad absurdum theorems only.
 The passage of these results to the corresponding positive sentences means
 to make use
 of classical logic, because in it the double neagtion law holds true.
 In such a case the previous weak ad absurdum proofs become strong ad
 absurdum proofs.
 I ask:
 1) the notion of a proof allows a change of the kind of logic? If yes, are
 the intuitionistic ad absurdum proofs (i.e. the weak ones) equal to the
 classical ad absurdum proofs (i.e. the strong ad absurdum ones)?. If not, 
 the Markoff's principle always invalid?
 2) the status of an ad absurdum proof is the same of a direct proof?
 Best greetings
 Antonino Drago 

More information about the FOM mailing list