Peter F. has written:
I wanted to let you know about a paper that was recently put on the arXiv which I think you and many readers of this site will find very interesting, in case it hasn’t been noticed yet:
Penelope Maddy & Jouko Väänänen “Philosophical Uses of Categoricity Arguments” https://arxiv.org/abs/2204.13754
This does indeed on a quick skim look a seriously interesting and thought-provoking paper (though not an easy read: there is a lot of detailed argument here). Thanks for the pointer!
Dr Smith,
Do you have any suggestions regarding international logics? I need to read Church’s formalisation of Frege, but I find it hard.
Sorry, I meant intensional logics.
Would https://plato.stanford.edu/entries/logic-intensional/ be a good place too start, if you aren’t familiar with that?
I didn’t find that particularly easy to follow.
Possibly GAMUT vol 2:
Logic, Language, and Meaning, Volume 2: Intensional Logic and Logical Grammar, by L. T. F. Gamut
Yeah, I have read that. Very helpful. But I seem to need a lot more to be able to read Church’s work.