- Cleaning up confusions in logic and formal theories
Mar 10, 2023
- Leisure Readings
Mar 6, 2023
- Misconceptions about the Word 'Computation'
Feb 24, 2023
- Lawvere, Adjointness in Foundations
Feb 17, 2023
- Equalities in Type Theory
Feb 14, 2023
- Short Notes on Various Papers, 2023
Mar 11, 2023
- The Law of Excluded Middle
Feb 1, 2023
- Further comments on Dummett's Comments on Frege
Jan 29, 2023
- Language, Logic and Theories of Meaning
Feb 15, 2023
- Remarks on Categorical Logic
Feb 12, 2023
- Notes on Martin Lof's Siena Lectures
Feb 14, 2023
- Cybernetics, Consciousness and Metasystem Transition
Dec 12, 2022
- Notes on 「The Philosophical Basis of Intuitionistic Logic」
Nov 13, 2022
- Readings on William Lawvere's Work
Nov 9, 2022
- Readings on Per Martin Loef's Work
Nov 9, 2022
- The Meaning of Implications
Aug 20, 2022
- Short Notes on Various Papers, 2022
Nov 12, 2022
- Quantifier as Adjoints
Jul 21, 2022
- Notes and comments on 'Axiomatic Methods and Category Theory' by Andrei Rodin
Jul 21, 2022
- Notes and comments on Frege's Philosophical Writings
Jul 21, 2022
- Notes on 'The Logical Foundation of Cognition'
Jul 21, 2022
- Against Realism
Jul 21, 2022
- Personal Recommendation Library
Jul 21, 2022
- Notes on Dummett's 2000 paper
Jul 21, 2022
- Intuitionism
Jul 21, 2022
- 韩林合，维特根斯坦《哲学研究》解读
Jul 21, 2022
- Short Reviews
Feb 24, 2023