Ladder

Non classical logic — the ladder

One essay so far against this idea. A ladder is the distinct arguments that stand against one idea, and this one has room to grow.
  1. U¬UU ∪ ¬U¬¬UU is an interval with 1 point taken out; ¬U is the inside of what is leftU and ¬U together miss the endpoints, and ¬¬U hands them back — so U ∨ ¬U is not everything and ¬¬U is not U

    The middle that is not excluded

    Either it is raining or it is not. Drop that as an axiom and what is left is still a logic — one with models made of open sets and of stages of knowledge, in which a set and its negation between them miss the boundary.

    rung 1 · logic

All ladders