About Logic

  1. There are many logical systems; in each of them, any statement is translatable into another one. And back again.
  2. Electrical systems (including computer processors) are machines that can also be perfectly translated back and forth to logic.
  3. The same is true of cause and effect (or algorithms). Algorithms can be modeled perfectly by an electrical system or by logic.
  4. 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.
  5. Logical primitives, however intuitively appealing, are not rules about the world, they are only rules about a logical system.
  6. The purpose of science is to rigorously describe the differences between logic and observation.
  7. Scientists cultivate a bias in favor of observation, logicians cultivate a bias in favor of some logical model.
  8. Some questions and statements are independent of logic: they cannot (even theoretically) be answered or proven.
  9. 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.
  10. Even questions and statements that are theoretically possible to answer or prove may still practically impossible to answer or prove.
  11. There is no moral or philosophical rule that requires existence to be logical or consistent.