Recent Comments
- Andrew Bacon on Bacon on higher-order logic
- Well, my way of turning model talk into stuff about the world is to assume the models are not purely...
- wo on Bacon on higher-order logic
- I see. Right, I'm trying to reconstruct your view in semantic terms, and you refuse. Fair enough....
- Andrew Bacon on Bacon on higher-order logic
- "I wonder if our main disagreement is simply about how to understand "logic"."...
- wo on Bacon on higher-order logic
- Thanks Andrew! That's helpful. I wonder if our main disagreement is simply about how to...
- Andrew on Bacon on higher-order logic
- Oh, one more thing: on your point about whether "it is provable in Peano Arithmetic that"...
- Andrew on Bacon on higher-order logic
- By the way, I'm not against giving a semantics for a higher-order language in a higher-order...
- Andrew on Bacon on higher-order logic
- Hi Wolfgang! Thanks for engaging with the book, I find your perspective very interesting! ...
- wo on Gödel, Mechanism, Paradox
- @Hüseyin: Hmm. But I'm not trying to formally capture knowledge or belief. The hypothesis...