Recent Comments
- Jonathan Mai on Teaching logic: Tarski vs Mates vs "logical constants"
- Yes, you're right about the associated proof systems using free variables. I forgot about that...
- wo on Teaching logic: Tarski vs Mates vs "logical constants"
- Thanks Jonathan. Right, I've seen versions of this as well. I guess it's usually combined...
- Jonathan Mai on Teaching logic: Tarski vs Mates vs "logical constants"
- Your approach resembles the alternative to a satisfaction based semantics for quantification you...
- David Duffy on Are we living in a computer simulation?
- I see the simulation hypothesis as per Tipler 1994 (appealing to Dyson's "Time without...
- wo on Integrating centred information
- Thanks Stephan! I didn't know that paper. I still haven't read it, but from what you say,...
- Stephan on Integrating centred information
- Thanks Wo for yet another rich and thought-provoking post. Am I right that you think that the doxastic...
- David Duffy on Kripke on empty names
- Perhaps I should have resisted... (1b) Sherlock Holmes is not a detective. T in all scenarios...
- 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...