{"id": "card_theory_boolean_algebra_propositional_logic", "kind": "reference", "title": "Boolean algebra / propositional logic", "body": "Boolean algebra / propositional logic — an engine domain that can touch it: formal_logic. Calibration: seals. Two values and three operations — AND, OR, NOT — with laws of their own (De Morgan's, distribution, double negation). Boole published it in 1847 as an attempt to put reasoning into algebra, with no application in view.\n\nIT SAT UNUSED FOR NINETY YEARS. Claude Shannon's 1937 master's thesis observed that a relay is either open or closed, so a switching circuit IS a Boolean expression — and every digital computer since has been built on that identification. It is the clearest case on this floor of pure structure waiting decades for the physical system that would need it, and an argument for keeping mathematics that has no use yet.", "source": {"label": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "url": "", "domain": "formal_logic", "authority_tier": "reference"}, "shelf": "theories", "box": "theory", "bands": ["theory", "formal_logic", "seals", "calibration", "mathematics", "formal", "reasoning"], "subject": "Boolean algebra / propositional logic", "connections": [{"to_card_id": "card_spine_theories", "relationship": "member_of", "evidence": "a theory the sciences and math run on, calibrated"}, {"to_card_id": "card_theory_formal_logic_epistemology", "relationship": "same_form", "evidence": "Boole's algebra IS propositional inference in arithmetic dress: AND/OR/NOT over {0,1} reproduce conjunction, disjunction and negation, and validity becomes tautology"}, {"to_card_id": "card_cs_logic_gates", "relationship": "connects_at", "evidence": "Boolean algebra / propositional logic - the theory card of the same algebra"}], "author": "engine", "created_at": 0.0, "updated_at": 0.0, "visibility": "public", "lifecycle_stage": "public", "volatility": "permanent", "surface": "secular", "generated": false, "extra": {"calibration": "seals", "engine_domain": "formal_logic", "section": "Mathematics & formal reasoning"}, "call": "theories.theory", "facets": {"subject": ["calibration", "formal", "formal_logic", "mathematics", "reasoning", "seals"]}, "presentation": {"glyph": "•", "kind_label": "theory", "by": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "authority": "reference", "posted": "", "standing": ""}, "neighbors": [{"id": "card_spine_theories", "title": "The theories the sciences and math run on", "relationship": "on the shelf of", "why": "a theory the sciences and math run on, calibrated", "href": "/card/card_spine_theories", "resolved": true}, {"id": "card_theory_formal_logic_epistemology", "title": "Formal logic & epistemology (validity, inference)", "relationship": "same form", "why": "Boole's algebra IS propositional inference in arithmetic dress: AND/OR/NOT over {0,1} reproduce conjunction, disjunction and negation, and validity becomes tautology", "href": "/card/card_theory_formal_logic_epistemology", "resolved": true}, {"id": "card_cs_logic_gates", "title": "Logic gates — the 16 functions of two inputs", "relationship": "connects at", "why": "Boolean algebra / propositional logic - the theory card of the same algebra", "href": "/card/card_cs_logic_gates", "resolved": true}], "house": {"door": "FIND", "kind": "card", "trail": "connections", "seal": "/card/card_theory_boolean_algebra_propositional_logic", "next_step": {"do": "follow a connection: what this card rests on, and what rests on it", "door": "FIND", "tool": "card_connections", "params": {"id": "card_theory_boolean_algebra_propositional_logic"}}, "ends": "a verdict or a card · the trail · a seal · one next step"}}