# About Logic

- There are many logical systems; in each of them, any statement is translatable into another one. And back again.
- Electrical systems (including computer processors) are machines that can also be perfectly translated back and forth to logic.
- The same is true of cause and effect (or algorithms). Algorithms can be modeled perfectly by an electrical system or by logic.
- There is otherwise not a special relationship between logic and observations in the world. It’s one-to-one with electrical systems and algorithms, but not with facts about existence.
- Logical primitives, however intuitively appealing, are not rules about the world, they are only rules about a logical system.
- The purpose of science is to rigorously describe the differences between logic and observation.
- Scientists cultivate a bias in favor of observation, logicians cultivate a bias in favor of some logical model.
- Some questions and statements are independent of logic: they cannot (even theoretically) be answered or proven.
- Logical systems cannot be used to prove themselves consistent. It is always possible in every logical system there are statements that can be proven both true and false.
- Even questions and statements that are theoretically possible to answer or prove may still practically impossible to answer or prove.
- There is no moral or philosophical rule that requires existence to be logical or consistent.