Recent Comments
- justin clarke-doane on The absoluteness of consistency
- Hi! I think we’re all agreed (for present purposes) that if PA has a (standard) model then it...
- wo on The absoluteness of consistency
- Thanks Justin! You are evidently much more familiar with pluralism than me. My thought is that...
- Justin Clarke-Doane on The absoluteness of consistency
- Hi! Thanks very much for the careful post. You say that in a non-standard model of PA + ~Con,...
- 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"...