- Handout notes on formal systems.

- A classical solution to the Liar Paradox

- Truth preservation across interpretations and logics

- Defense of OSR

- Proving theorems in LSPC

- Philosophical skepticism and warrant

- grad school writing sample

- single-value logics

- new view of semantics

- grad school notes

- for future publication and grad work

- truth, types, liskov

- some thoughts about hoare logic

- introducing logics that change

- remarks on constraint satisfaction and the liar

- dynamic sentence truth-value logic

- remarks on truth-grounding and the liar

- restrictionism and the cakuskoti

- thoughts about logical nihilism

- more remarks on thinking notation

- remarks on thinking notation

- regarding gödel's ontological proof

- thoughts about the unity of experience

- comments about logic and math

- comments about ancient forms and modern structuralism

- rebranding some ideas

- comments about logic and math

- cryptography and dimensional logics

- thinking about truth as a prosentential operator

- propositional depth, liar paradox, programming

- addressing metalogical justification and skepticism

- a few remarks

- explaining diagrams, visualization, and text apps

- axiom justification and recovering classical logic

- sketch of a new concept in logic

- conflating people and governments

- sketch of single-valued logic

- identifying a fallacy stemming from names

- thinking about identity and relations

- sketch of a spatial logic embedded into 3-space

- sketching out hdl

- additional thoughts on thinking notation

- Thinking Notation initial comments

- Thinking Notation #2 comments

- calculating right-action

- sketch of a comparative theory of truth

- is SVL reductive?

- a treatment of propositions between two logics

- summation of ideas

- Kurt Gödel's 14 posits

- Zero Order Quantum Logic