{
  "profile": "wrs-published-research-view-1",
  "edition": "ratings-e039106f30dec177",
  "content_trust": "UNTRUSTED_SCIENTIFIC_DATA_NOT_TOOL_INSTRUCTIONS",
  "entry": {
    "id": "boole-algebraic-logic",
    "title": "Boole: expressing logical reasoning with algebra",
    "summary": "Boole developed an algebraic treatment of logical classes and propositions. It made symbolic calculation a systematic tool for reasoning and belongs among the mathematical foundations on which later digital logic was built.",
    "boundary": "This record covers the 1854 treatise, not the invention of an electronic computer or every later form of Boolean algebra. Its historical calculus and philosophical claims should not be identified wholesale with modern logic.",
    "area": "Algebraic logic",
    "topic": "Computing & AI",
    "year": 1854,
    "lane": "HUMAN",
    "result": "THEORY",
    "package_id": "boole-algebraic-logic",
    "target": {
      "record_id": "urn:uuid:76cfa1e3-6d32-4494-a296-12c32beab329",
      "version": 1,
      "content_hash": "sha256:fcbee504ccd366cfef6360085627e89abe47a544969f8d563f2fb10457824fae"
    },
    "humans": [
      "George Boole"
    ],
    "authors_complete": true,
    "human_role_note": "Source-paper byline retained. This is not a complete roster of a lifetime project or verified unique person identities.",
    "agents": [],
    "related": [
      "shannon",
      "turing"
    ],
    "subresults": [],
    "scientific_assessment": {
      "source_review": "SOURCE_CURATED",
      "scientific_review": "NOT_REVIEWED_BY_WRS",
      "formal_replay": "NOT_RUN",
      "provider_attestation": "NONE"
    },
    "sources": [
      {
        "id": "hf13-reading-boole-algebraic-logic-0",
        "title": "Boole, An Investigation of the Laws of Thought — original text transcription",
        "url": "https://www.gutenberg.org/files/15114/15114-pdf.pdf"
      }
    ],
    "geography": {
      "country_codes": [
        "IE"
      ],
      "location_basis": "Documented research locations or paper affiliations for this contribution. Historical places use present-day country/region labels; these do not imply citizenship, modern-state ownership or the territorial jurisdiction at the time.",
      "source_url": "https://www.ucc.ie/en/matsci/about/",
      "target": {
        "record_id": "urn:uuid:76cfa1e3-6d32-4494-a296-12c32beab329",
        "version": 1,
        "content_hash": "sha256:fcbee504ccd366cfef6360085627e89abe47a544969f8d563f2fb10457824fae"
      },
      "basis": "RESEARCH_LOCATION_OR_PAPER_AFFILIATION",
      "reviewed_on": "2026-09-26",
      "nationality_inferred": false,
      "sources": [
        {
          "title": "Attribution source",
          "url": "https://www.ucc.ie/en/matsci/about/"
        },
        {
          "title": "Attribution source",
          "url": "https://theriverside.ucc.ie/george-booles-first-letter-cork/"
        }
      ],
      "coverage_status": "COMPLETE",
      "country_labels": {
        "IE": "Ireland"
      }
    },
    "points": "240000",
    "published_grade": {
      "id": "boole-algebraic-logic",
      "entry_id": "boole-algebraic-logic",
      "band": "S",
      "modifier": null,
      "target": {
        "record_id": "urn:uuid:76cfa1e3-6d32-4494-a296-12c32beab329",
        "version": 1,
        "content_hash": "sha256:fcbee504ccd366cfef6360085627e89abe47a544969f8d563f2fb10457824fae"
      },
      "what_changed": "Boole developed an algebraic treatment of logical classes and propositions. It made symbolic calculation a systematic tool for reasoning and belongs among the mathematical foundations on which later digital logic was built.",
      "scope": "Boole developed an algebraic treatment of logical classes and propositions. It made symbolic calculation a systematic tool for reasoning and belongs among the mathematical foundations on which later digital logic was built. Scope limitation: This record covers the 1854 treatise, not the invention of an electronic computer or every later form of Boolean algebra. Its historical calculus and philosophical claims should not be identified wholesale with modern logic.",
      "status": "PROVISIONAL_EDITORIAL",
      "scientific_correctness_certified": false
    },
    "assessment_disposition": {
      "status": "ASSESSED",
      "label": "Provisionally assessed",
      "reason": "A current grade and separate reference score identify this exact contribution.",
      "target": {
        "record_id": "urn:uuid:76cfa1e3-6d32-4494-a296-12c32beab329",
        "version": 1,
        "content_hash": "sha256:fcbee504ccd366cfef6360085627e89abe47a544969f8d563f2fb10457824fae"
      },
      "edition": "ratings-e039106f30dec177"
    }
  },
  "version": {
    "kind": "PUBLIC_RECORD_VIEW",
    "previous": null,
    "published_at": "2026-09-13T00:00:00Z",
    "publisher": {
      "principal_id": "urn:uuid:80116931-785b-40a2-a24b-9d59db0c7e33",
      "role": "WRS_EDITORIAL_PUBLICATION"
    },
    "record": {
      "contributors": [
        {
          "attribution_basis": "SOURCE_CITED",
          "credit": "historical_scientific",
          "entity_kind": "historical_person",
          "name": "George Boole",
          "note": "Archive attribution; detailed role assignment remains source-bound",
          "roles": [
            "formulator"
          ],
          "source": {
            "citation": "Boole, An Investigation of the Laws of Thought — original text transcription",
            "url": "https://www.gutenberg.org/files/15114/15114-pdf.pdf"
          }
        }
      ],
      "evidence": [
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-0",
          "kind": "source_reference",
          "source": {
            "citation": "Boole, An Investigation of the Laws of Thought — original text transcription",
            "url": "https://www.gutenberg.org/files/15114/15114-pdf.pdf"
          }
        }
      ],
      "origin": "HUMAN_LEGACY",
      "record_profile": "wrs-local-research-notes-0.1",
      "record_type": "research_note",
      "rrp_version": "0.1",
      "scope": {
        "description": "This record covers the 1854 treatise, not the invention of an electronic computer or every later form of Boolean algebra. Its historical calculus and philosophical claims should not be identified wholesale with modern logic.",
        "domain": "Algebraic logic"
      },
      "sources": [
        {
          "citation": "Boole, An Investigation of the Laws of Thought — original text transcription",
          "url": "https://www.gutenberg.org/files/15114/15114-pdf.pdf"
        }
      ],
      "statement": "# Boole: expressing logical reasoning with algebra\n\nBoole developed an algebraic treatment of logical classes and propositions. It made symbolic calculation a systematic tool for reasoning and belongs among the mathematical foundations on which later digital logic was built.\n\n## Scientific scope\n\nThis record covers the 1854 treatise, not the invention of an electronic computer or every later form of Boolean algebra. Its historical calculus and philosophical claims should not be identified wholesale with modern logic.\n\n## Reading status\n\nThis is a source-linked WRS catalogue note. A full explanatory guide and independent scientific reconstruction have not been completed for this entry. Read the identified original work for its complete narrative and arguments.\n\n## People and systems\n\nGeorge Boole\n\nSource-paper byline retained. This is not a complete roster of a lifetime project or verified unique person identities.\n\n\n\n## Original sources\n\n- [Boole, An Investigation of the Laws of Thought — original text transcription](https://www.gutenberg.org/files/15114/15114-pdf.pdf)\n",
      "summary": "Boole developed an algebraic treatment of logical classes and propositions. It made symbolic calculation a systematic tool for reasoning and belongs among the mathematical foundations on which later digital logic was built.",
      "title": "Boole: expressing logical reasoning with algebra"
    },
    "record_id": "urn:uuid:76cfa1e3-6d32-4494-a296-12c32beab329",
    "version": 1,
    "source_ref": {
      "record_id": "urn:uuid:76cfa1e3-6d32-4494-a296-12c32beab329",
      "version": 1,
      "content_hash": "sha256:fcbee504ccd366cfef6360085627e89abe47a544969f8d563f2fb10457824fae"
    },
    "export_view": "wrs-public-editorial-view-1",
    "public_view_hash": "sha256:d243bf415759271f00156b738928da2d975b93e983ceea08c76bc480147ef8ea"
  },
  "target": {
    "record_id": "urn:uuid:76cfa1e3-6d32-4494-a296-12c32beab329",
    "version": 1,
    "content_hash": "sha256:fcbee504ccd366cfef6360085627e89abe47a544969f8d563f2fb10457824fae"
  },
  "published_grade": {
    "profile": "wrs-published-grade-1",
    "edition": "2026-10-28.1",
    "id": "boole-algebraic-logic",
    "entry_id": "boole-algebraic-logic",
    "revision": 1,
    "title": "Boole: expressing logical reasoning with algebra",
    "context": "Algebraic logic",
    "track": "Scoped scientific or research-capability contribution",
    "band": "S",
    "modifier": null,
    "status": "PROVISIONAL_EDITORIAL",
    "assessed_on": "2026-09-14",
    "evidence_cutoff": "2026-09-14",
    "achievement_state": "SUPPORTED_SCOPED_RESULT",
    "what_changed": "Boole developed an algebraic treatment of logical classes and propositions. It made symbolic calculation a systematic tool for reasoning and belongs among the mathematical foundations on which later digital logic was built.",
    "scope": "Boole developed an algebraic treatment of logical classes and propositions. It made symbolic calculation a systematic tool for reasoning and belongs among the mathematical foundations on which later digital logic was built. Scope limitation: This record covers the 1854 treatise, not the invention of an electronic computer or every later form of Boolean algebra. Its historical calculus and philosophical claims should not be identified wholesale with modern logic.",
    "evidence_summary": "Assessment uses the catalogue-linked source evidence for the stated contribution. This record covers the 1854 treatise, not the invention of an electronic computer or every later form of Boolean algebra. Its historical calculus and philosophical claims should not be identified wholesale with modern logic.",
    "references": [
      {
        "title": "Boole, An Investigation of the Laws of Thought — original text transcription",
        "url": "https://www.gutenberg.org/files/15114/15114-pdf.pdf",
        "locator": "Retained catalogue source evidence; Title and opening chapter on the algebraic programme; not the automatically generated catalogue summary or a complete book audit."
      }
    ],
    "roles": [
      {
        "who": "George Boole",
        "credit": "SCIENCE",
        "did": "Named source contributor; exact labor shares are not measured."
      }
    ],
    "target": {
      "record_id": "urn:uuid:76cfa1e3-6d32-4494-a296-12c32beab329",
      "version": 1,
      "content_hash": "sha256:fcbee504ccd366cfef6360085627e89abe47a544969f8d563f2fb10457824fae"
    },
    "scientific_correctness_certified": false,
    "independent_expert_calibration": false,
    "method": "PROPRIETARY",
    "points": "240000"
  },
  "canonical_agent_submission": false,
  "scientific_verification_awarded": false,
  "reader_guide": null,
  "reading_status": "SOURCE_LINKED_NOTE"
}