Truth-Grounding and the Liar
- A classical solution to the Liar Paradox
Remarks on Truth-Grounding and the Liar #2
- remarks on constraint satisfaction and the liar
Fun Math Stuff and the Philosopher's Stone #3
- curry howard isomorphism
Remarks on Truth-Grounding and the Liar
- remarks on truth-grounding and the liar
Fun Math Stuff and the Philosopher's Stone #2
- comments about logic and math
Rebranding Some Of My Original Ideas
- rebranding some ideas
Fun Math Stuff and the Philosopher's Stone
- comments about logic and math
Truth as a Prosentential Operator
- thinking about truth as a prosentential operator
The Liar Paradox in Programming
- propositional depth, liar paradox, programming