[FOM] First- Vs Second-Order Logic: Origins of the Distinction?

[Walt Read]

There's some discussion in Badesa's _The Birth of Model Theory_.

On Thu, May 19, 2016 at 10:23 AM, Richard Heck <richard_heck at brown.edu> wrote:
> Does anyone have a good reference for historical work on the emergence of
> the distiction between first- and second-order logic? I'm particularly
> interested in how first-order logic came to be seen as "really logic". Quine
> was of course famously hostile to second-order 'logic', but I am guessing
> that there were earlier antecedents, probably emerging from work in
> mathematical logic itself.
>
> If anyone is able to sketch that story, I'd love to hear it.
>
> Thanks,
>
> Richard Heck
>
> PS What I myself know about this concerns only the emergence of Frege's
> awareness of the distinction. That part of the story gets told in my paper
> "Formal Arithmetic Before Grundgesetze", section 3, which can be found on my
> website.
>
>
> --
> -----------------------
> Richard G Heck Jr
> Professor of Philosophy
> Brown University
>
> Website:   http://rgheck.frege.org/
> Blog:      http://rgheck.blogspot.com/
> Amazon:    http://amazon.com/author/richardgheckjr
> Google+:   https://plus.google.com/108873188908195388170
>
> Check out my books "Reading Frege's Grundgesetze"
>   http://tinyurl.com/ReadingFregesGrundgesetze
> and "Frege's Theorem":
>   http://tinyurl.com/FregesTheorem
> or my Amazon author page:
>   amazon.com/author/richardgheckjr
>
>
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom
>