Second-order and Higher-order Logic

New SEP entry by Herb Enderton on “Second-order and Higher-order Logic“.

3 thoughts on “Second-order and Higher-order Logic

  1. I don’t know…The article repeats ancient prejudices; for instance, that the second-order variables are set variables. This neither helps the philosophical discussion of higher-order logic, nor the technical study of it.And, even though I have my doubts about it personally, no mention at all of Boolos’ plural interpretation is a bit disappointing for an article in the Stanford Encyclopaedia of *Philosophy*.

Leave a Reply

Your email address will not be published. Required fields are marked *