Is Medieval Logic Formal?

The question of whether medieval logic is formal and what it would even mean to be formal. John MacFarlane had already done work in this direction, but there were things that I thought could be done even better than he had done. And so because I was worried about this situation of people talking past each other, I once wrote a paper called The Different Ways in which logic is said to be formally. It wanted precisely to do a taxonomy of these different ways in which people talk about logic as being formal nowadays,. But also actually going back in history. So just of the eight senses that I distinguished in this paper, I'll just briefly mention three, which may come across as familiar to