Thoughtscript[io]

Adam In Tae Gerard
Truth-Grounding and the Liar
- A classical solution to the Liar Paradox
Propositional Stability
- Truth preservation across interpretations and logics
Truth-Only Logic
- single-value logics
Inner Semantics
- new view of semantics
Constraint Satisfaction and Classical Extensions of KF
- for future publication and grad work
On the Origins of Contradiction
- on the origins of the concept of contradiction
Truth-Only Logic #4
- truth, types, liskov
Remarks on Truth-Grounding and the Liar #2
- remarks on constraint satisfaction and the liar
Ground Facts and Truth #2
- universal knowledge ontology
Non-Eternalist Logic #2
- dynamic sentence truth-value logic
Remarks on Truth-Grounding and the Liar
- remarks on truth-grounding and the liar
Truth as a Prosentential Operator
- thinking about truth as a prosentential operator
The Liar Paradox in Programming
- propositional depth, liar paradox, programming
Addressing Metalogical Justification
- addressing metalogical justification and skepticism
Truth-Only Logic #2
- sketch of single-valued logic
Ground Facts and Truth
- automating truth and proof
Truth-Only Logic
- sketch of a comparative theory of truth
Truth-Only Logic #3
- is SVL reductive?