the.com/logic
the rulebook reality follows even when humans absolutely refuse to
means The principles of valid reasoning — the formal study of how conclusions correctly follow from premises, and by extension any sound, consistent line of thought.
from From Greek 'logikē,' short for 'logikē technē' — 'the art of reasoning' — built on 'logos,' that enormously load-bearing Greek word meaning 'word,' 'reason,' 'account,' or 'speech.' It traveled through Latin 'logica' and Old French before settling into English. The same 'logos' seeds a whole dynasty of '-logy' words, where it quietly shifted to mean 'the study of' — so biology, geology, and theology are all distant cousins of logic, each a discourse about something.
- ancient roots
- Aristotle formalized it 2,300 years ago
- machine brain
- every computer runs on logic gates
- famous limit
- Godel proved some truths can't be proven
- two flavors
- deduction guarantees, induction merely bets
chinese room argument — john searle's 1980 thought experiment questioning whether symbol manipulation constitutes understanding
turing machine — alan turing's 1936 abstract computing model that formalized the concept of mechanical computation