Logic, Explainability and the Future of Understanding—Stephen Wolfram Writings

Logic is a foundation for many things. But what are the foundations of logic itself? In symbolic logic, one introduces symbols like p and q to stand for statements (or “propositions”) like “this is an interesting essay”.

https://writings.stephenwolfram.com/2018/11/logic-explainability-and-the-future-of-understanding/