[FOM] First Order Logic

Alexandre Rademaker arademaker at gmail.com
Sun Sep 8 16:05:30 EDT 2013

On Sat, Sep 7, 2013 at 7:46 AM, Arnon Avron <aa at tau.ac.il> wrote:
> "For many years I maintain that the appropriate language
> for formalizing logic and mathematics is neither the first-order
> language nor the second-order one. The first is too weak for
> expressing what we all understand, the second involves too strong
> ontological commitments.

Dear Professor Arnon,

Could you please elaborate a little bit more on "the second-order
logic involving too strong ontological commitments"? What are does

all the best,

More information about the FOM mailing list