FOM: first order and second order logic: once more

Martin Davis martin at
Fri Sep 1 15:00:34 EDT 2000

At 09:49 AM 9/1/00 +0100, Roger Bishop Jones wrote:
>Or, as I might put it: much better.
>For some purposes at least (e.g. saying what you mean).
>Roger Jones

This is one of a series of comments in which Roger Jones extols the virtues 
of his understanding of second order logic. It's not a bad thing to find 
virtues where others find flaws, so I would invite Jones to provide a 
sample dialog in which these virtues become apparent, specifically in which 
some clear propositions are being communicated using second order validity 
in some essential manner. .


                           Martin Davis
                    Visiting Scholar UC Berkeley
                      Professor Emeritus, NYU
                          martin at
                          (Add 1 and get 0)

More information about the FOM mailing list