Recent Comments
- David Duffy on Time travel and sortal-relative predication
- One image that followed the spread of the concept of space-time was of a human being as a "worm"...
- Aram Harrow on De Finetti's theorem without symmetries?
- I wrote a paper with a version of a de Finetti theorem without symmetry: arxiv.org/abs/1310.0017...
- 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,...