FOM: Lakatos as logic chopper

Julio Gonzalez Cabillon jgc at
Mon Dec 15 11:15:58 EST 1997

On Mon, 15 Dec 1997, Robert S Tragesser <RTragesser at> wrote:

>        I was greatly hoping that Jeff's question would have inspired some
>philosophical discussion of Lakatos rather than bibiography,  so how abot
>        In his review of Lakatos,  Sol Feferman worried about the
>implicature underlying Lakatosian "proof criticism" with the implication
>that no mathematical proof is really conclusive.   Perhaps this is what is
>atypical in Lakatos' examples,  that they catch mathematics in moments of
>problems in local foundations.
>        Are there conclusive proofs?   Are there informal conclusive

In order to try an answer to your question, would you be so kind as
to provide *definitions* of "conclusive proof", and of "informal
conclusive proof"? ...


Julio Gonzalez Cabillon

More information about the FOM mailing list