Incohérences et Différences
This is a personal and experimental series. I plan to:
- Explore the possibility of “bootstrapping” Logics and Mathematics in the spirit of Wissenschaft der Logik.
- Explore the possibility of formalizing “Logics” that are alien to formal logicians, mathematicians, PL people.
- Re-search the “pre-history” of formal logic, mathematics, and computer science in the spirit of Das Kapital.
- Establish the emancipatory theory of modern computer science as a product of World War II (and Cold War).
- Doing critiques of, or exploring the gap/rupture/boundary in and between formal logic/math and other “Logics”.
- Build bridges to our pioneers’ theories and praxis including natural sciences like quantum theory; as well as politics.
For now, I will just post some draft articles with very little organization (they are temporarily categorized loosely by their themes and topics).
Phenomenology
Computer Science
Uncategorized
Notes on Wissenschaft der Logik
Ismism‘s patch on Hegel’s Logik:
List of questions
More “practical” questions of philosophical interest to me:
- To account for “classifiers” in Chinese language.
- To account for adpositions in languages like English. Intuiting In-ness leads to Set Theory (the “canonical” theory of immanence), while About-ness leads to Phenomenology. What are we intuiting when we see a preposition like “for”, “of”, “at” and so on? (Phenomenology)
- To account for the transparency of faults, errors, and unfaithfulness of logical reasoning. (Psychoanalysis and Phenomenology)
- Phenomenology and quantum theory. Dialectical materialism and modern physics.
- Medicine based on variants of Phenomenology, and Structuralism.
- Alternative genesis of Artificial Intelligence (or temporarily, “transcendental AI”).