There is a visual language of thinking: a color is a type, a string is a relation, and a bead is an inference.
We begin to explore this language, starting in the “true or false” logic that we learn in school.
In this first page, we establish the basic elements of a logic. To navigate, there are links between the two halves.
Then in the following pages, we define the operations we can do in a logic.
First half below. Link to second half: Process and Inference
Logic is based on a simple idea.
<aside> <img src="/icons/circle_gray.svg" alt="/icons/circle_gray.svg" width="40px" /> We understand the world — meaning: Every thing in the world is some type of thing. Every thought of the world is some relation of types of things.
</aside>
In binary logic: our types are sets, and our thoughts are 0/1-relations.
A set is a collection $\mathrm{A}$, of elements $\mathrm{a:A}$.
Example. Suppose $\mathrm{A}$ is Animals, and $\mathrm{B}$ is Plants. So mouse:$\mathrm{A}$, and cactus:$\mathrm{B}$.