Recent Comments
- wo on Teaching mathematical logic
- No, sorry, I didn't write up the solutions.
- Harriet Baber on Teaching mathematical logic
- Are there solutions to the exercises? I looked through but couldn't find.
- Alexander Pruss on Gödel, Mechanism, Paradox
- Here's a variant that uses a non-factive operator (inspired by Modal Liars). Let P be epistemic...
- wo on Gödel, Mechanism, Paradox
- Nice! More generally, the fact that knowledge entails truth makes it not too surprising that...
- Alexander Pruss on Gödel, Mechanism, Paradox
- Another thought on your formalized Knower. It feels very close to just a formalized contingent Liar....
- wo on Gödel, Mechanism, Paradox
- @Alexander: Thanks. Maybe you're right that we can't fully grasp the meaning of G,...
- Alexander Pruss on Gödel, Mechanism, Paradox
- What I just said stupidly missed what K(n) means. I now take it that K(n) means that n is the number...
- Alexander Pruss on Gödel, Mechanism, Paradox
- Here's a really naive thought. It's obvious that ¬K(⌜G⌝). Why? Well, it is well within...