This is where I collect and write things, mostly on academe and artificial intelligence. Established in 2010, by Vaishak Belle.
I haven’t laboured to read through too much of that document, but the proposition vs judgement thing is precisely where I would get stuck. I’ve spoken to many colleagues about their work on type theory, and I recognise it plays a major role in the foundations of programming languages. I need to find an accessible starting point from sorted first order logic. (And I wouldn’t trust chatGPT for something like this unless I’m sure there’s a couple of documents it had access to and can summarise.)