🚀 go-pugleaf

In article <C1HvBI.D9M@cantua.canterbury.ac.nz> wft@math.canterbury.ac.nz (Bill Taylor) writes:

>   ... I particularly liked seeing defended in print, the "heretical doctrine" that
>   first-order logic is *not necessarily* the be-all and end-all in logic.
>   It is nice indeed, merely to have the view expressed that it may be a good
>   idea to "shop around" for the most convenient logic for one's needs. ...

This doctrine is not so heretical as it once was; if "logician" is
fairly broadly construed, I would guess that a majority of logicians
agree with it.  Not many would go as far as, say, Barwise in arguing for
logical pluralism, but a variety of constructive, Intuitionistic, and
modal logics are generally considered quite respectable these days.

On the subject of choosing an appropriate logic for mathematics, I
recommend having a look at Barwise and Feferman's _Model_Theoretic Logics_.

                                                        -- rar