{
  "handle": "Induction",
  "mechanism": "Moving from specific observations ({{datum}}) to general rules. The conclusion is probable, not certain. Induction has no formal justification and never acquires one, so what the pattern requires is disclosure rather than soundness.",
  "gloss": "Specific to general logic",
  "invariants": [
    "A conclusion states the observations it generalises from and their range.",
    "Generalization: the output rule covers more cases than the input {{datum}}."
  ],
  "_meta": {
    "ring": 1,
    "tier": 1,
    "path": [
      "Mind",
      "Reasoning"
    ],
    "supersedes": [
      "sema:Induction#mh:SHA-256:abe3ea1b875d069d84888fdcdf27d52e8ad3e974e42d97d1c5da39d80a162707"
    ]
  },
  "sema_id": "sema:Induction#mh:SHA-256:1b39044c28c83bf79a7bfe108d0edaf616724b3cc0e9fec93086913101fc1530",
  "sema_ref": "Induction#1b39",
  "sema_stub": "1b39",
  "failure_modes": [
    "Unbounded extrapolation: the rule is applied outside the range the observations covered.",
    "Unrepresentative sample: the rule is well supported and the range was never the right one."
  ],
  "dependencies": {
    "references": {
      "datum": "sema:Datum#mh:SHA-256:f90456c1067ac5db4e9825a82a22bc58086022f8acd0d0f63fdfeaeb6be2e937"
    }
  },
  "sema_layer": "Mind",
  "sema_category": "Reasoning",
  "used_by": {
    "references": {
      "Abduction": "sema:Abduction#mh:SHA-256:e738d3035534bba0a6b165325ba64818abb897a0f6b9848bc00c7c17ca146921",
      "Generalize": "sema:Generalize#mh:SHA-256:29f133fe83dfe2cd7d2b432390f59e3a64a84866b964a2ca6199f8134ba64e7e"
    }
  }
}