Greg Restall on Nostr: nprofile1q…s2kqx Yes, Bacon's book, and Williamson's work over the last decade, has ...

nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpq3g2ev73ec8ylfdf5pazc2dwhsaaxhtrxxqc86ct7n2hg4epyyxgqqs2kqx (nprofile…2kqx) Yes, Bacon's book, and Williamson's work over the last decade, has fostered a lot of interest in higher order languages in more traditional philosophical logic these days.

The paper I'm writing is resolutely first-order, partly because my immediate focus there is a very different discussion, but hopefully in the next year or so I'll have time to connect even more of those streams.