Hunter, Geoffrey (1980). "What do the Consistency Proofs for
Non-Euclidean Geometry Prove?" _Analysis_ 40: 79-83.
He also has a recent rather scathing (but justified, in my view)
critique of W. V. O. Quine's most famous article:
Hunter, Geoffrey (1995). "Quine's Two Dogmas of Empiricism'."
_Philosophical Investigations_ 18(4): 305-328.
David Stump
University of San Francisco
At 01:56 PM 1/21/99 -0500, Jeremy Smith wrote:
>
> Dear all,
>
> Many thanks to those who have replied so far to my query about S.W. Steen.
> I tend to stumble across obscure books by obscure authors, as my latest
> question might illustrate.
>
> Can anyone give me any information about a Geoffery Hunter, (formerly?)
> from the University of St. Andrews? He wrote what is (in my opinion) a
> charming little book called 'Metalogic: An Introduction to the Metatheory
> of Standard First-Order Logic'.
>
> As with Steen, I'd also appreciate any opinions or other information about
> the above book. I encourage any one with access to a good library to take
> a look at this book. It's at quite a low-level, but it seems to me to be
> excellent and I can't understand why it's not more widely known. It *is*
> (unlike Steen's book) still in print.
>
>
> Many thanks,
> Jeremy Smith