{ "batch_id": "source-review-batch15-2026-11-01", "review_date": "2026-11-01", "protocol": "research/source-review-standard.md", "protocol_approval": "Owner-approved source-review standard for local audit work on 2026-11-01.", "branch": "audit/source-review-high-risk", "publication_state": "Local-only work in the existing source-audit worktree; unstaged and uncommitted. No commit, push, merge, release, or remote-branch change.", "reviewer_type": "AI-assisted claim-level audits with item-level self-check after edits; no human expert review is claimed.", "batch_scope": "3 remaining expansion entries: statue-and-clay, problem-of-the-many, condorcet-paradox.", "selection_method": "Selected cases where live disputes over identity, composition, vagueness, or voting assumptions materially affect what the example establishes.", "counts": { "audit_records_before_batch_all_repository": 50, "expansion_inventory_entries_with_audit_records_before_batch": 47, "entries_in_batch": 3, "audit_records_after_batch_all_repository": 53, "expansion_inventory_entries_with_audit_records_after_batch": 50, "total_expansion_inventory_entries": 57, "expansion_inventory_entries_without_audit_records_after_batch": 7, "audited_entries_outside_expansion_inventory_after_batch": 3, "batch_status_counts": { "source_checked": 3 }, "all_repository_status_counts_after_batch": { "source_checked": 51, "partially_source_checked": 2, "needs_source_check": 0, "expert_reviewed": 0 } }, "status_summary": "This batch has 3 source_checked and 0 partially_source_checked entries for their declared claim-traceability scopes. These labels do not state philosophical truth, consensus, exhaustive review, or human expertise.", "limits": [ { "id": "statue-and-clay", "limitations": [ "Whether Gibbard’s contingent-identity account succeeds remains disputed; this audit checks attribution and traceability, not the metaphysical conclusion.", "Gibbard’s original article, the SEP entries, and Schwarz’s survey were consulted at relevant passages rather than read cover to cover; no exhaustive literature review was performed.", "The article’s compact list of response families is an educational summary, not a comprehensive taxonomy of theories of material constitution.", "The publisher landing page for Gibbard provided bibliographic metadata but not full text; relevant primary passages were read in a hosted reproduction.", "The proposed data patch is local evidence only; data/experiments.json was not edited.", "No human subject-matter expert reviewed the article; no expert review is claimed." ] }, { "id": "problem-of-the-many", "limitations": [ "No named or qualified human subject-matter expert reviewed the article; no expert-review claim is made.", "Only relevant passages, not the complete Unger article or Geach book, were read cover to cover; the primary Geach passage came from an unofficial scan.", "The SEP survey is a selective secondary overview, not an exhaustive history of the literature; competing proposals and their criticisms are not settled by this audit.", "The audit verifies attribution and traceability, not the truth or soundness of Unger’s or Geach’s arguments, or which theory of identity, vagueness, composition, or counting is correct." ] }, { "id": "condorcet-paradox", "limitations": [ "The primary French essay was consulted only at the relevant passage in OCR text, not as a complete work or by inspection of the corresponding facsimile pages; the OCR may contain errors.", "The article's three-voter table is an educational presentation of the standard cycle and is not claimed as a verbatim reproduction of Condorcet's exact original example.", "The empirical frequency and practical significance of Condorcet cycles remain debated; this review read selected sources rather than an exhaustive literature review, and underlying elections often lack complete pairwise preference data.", "Different voting rules handle cycles in different ways; the article names representative principles but does not survey all resolution methods or settle their merits.", "No human subject-matter expert reviewed this entry." ] } ], "validation": { "repository_validator": "PASS: python3 scripts/validate.py — 132 entries; JSON schema, article sections, metadata, references, README, and local links checked. External URLs checked for syntax only.", "unit_tests": "PASS: python3 -m unittest discover -s tests -v — 18 tests, all OK.", "git_diff_check": "PASS: git diff --check — no whitespace errors.", "article_dataset_reference_alignment": "PASS: all 3 Further Reading URL lists match the matching data references in order; all date_verified values are 2026-11-01.", "item_ledgers": "PASS: item evidence ledgers and data patches parse as JSON; required claim/source fields and allowed relationships checked.", "inventory_reconciliation": "PASS: 53 audit records; 50 of 57 expansion IDs covered; 7 remain; 3 records outside the inventory.", "git_state": "Confirmed: branch audit/source-review-high-risk at HEAD 0d26e66; no staged paths; all work remains local, unstaged, uncommitted, and unpushed." }, "entries": [ { "review_date": "2026-11-01", "reviewer_type": "AI-assisted claim-level source audit with self-check after edits; no human expert review is claimed.", "protocol": "research/source-review-standard.md (approved 2026-11-01)", "id": "statue-and-clay", "title": "Lumpl and Goliath: The Statue and the Clay", "article_path": "experiments/identity/statue-and-clay.md", "status": "source_checked", "scope": "Claim-level traceability review of the full article and its matching dataset record. Checked the attribution and bibliographic date for Allan Gibbard’s Contingent Identity; the original Lumpl/Goliath setup, persistence criteria, shared actual history, and squeezing counterfactual; the logical framing of identity and modal difference; Gibbard’s account of proper names and modal predication; the families of responses and the existence of scholarly disagreement; the distinction between source-based history and editorial teaching analogies; and reconciliation of the revised Further Reading URLs and order with a proposed data patch. This status records traceability, not the truth of contingent identity, a settled solution, exhaustive literature review, or expert review.", "summary": "The article has been corrected to match Gibbard’s original two-piece statue scenario: joining the halves begins the statue and clay piece together, and smashing the statue ends both. It now distinguishes the actual story from Gibbard’s counterfactual in which squeezing the clay into a ball leaves Lumpl existing while Goliath ceases, and identifies Gibbard’s persistence criteria as part of his proposal rather than settled ordinary usage. The article frames constitution, identity, revisionary/eliminativist, and contingent-identity approaches as competing families, states that the issue remains disputed, and labels person/body and ship/timber comparisons as teaching analogies. Relevant passages from the primary article, two SEP entries, and Wolfgang Schwarz’s scholarly survey were read; bibliographic metadata was separately verified. The revised article’s four Further Reading URLs and their order are reproduced exactly in the proposed data patch. This audit did not edit data/experiments.json; unrelated shared-worktree changes are outside this item review.", "sources": [ { "title": "Contingent Identity", "author": "Allan Gibbard", "publication": "Journal of Philosophical Logic, vol. 4, no. 2 (1975), pp. 187–221; full text consulted in a University of San Diego-hosted PDF reproduction.", "stable_url": "https://home.sandiego.edu/~baber/metaphysics/readings/Gibbard.ContingentIdentity.pdf", "source_type": "Primary philosophical work", "access_level": "Relevant passages in the full work; the article was not read cover to cover.", "exact_locations_read": "§I and pp. 188–192, especially pp. 189–192: Gibbard’s stipulated persistence criteria for lumps and statues; the two-half statue of the infant Goliath, joined halves creating a statue and a new piece of clay together, and the smashing that ends both; his identity proposal and squeezing-into-a-ball counterfactual. Pp. 193–194 on the systematic physical account and the challenge to rigid-name semantics; pp. 210–211 on modal and counterfactual predication for concrete things and individual concepts.", "limitations": "Primary evidence for what Gibbard proposes and argues, not evidence that his metaphysical conclusion succeeds. Gibbard says his persistence criteria need only fit ordinary usage roughly and could be stipulated for the argument. Only relevant passages, not the complete article, were read. The online copy is a hosted reproduction rather than the publisher platform." }, { "title": "Material Constitution", "author": "Ryan Wasserman", "publication": "The Stanford Encyclopedia of Philosophy; first published 2009, substantive revision 2021; Spring 2024 archived version consulted.", "stable_url": "https://plato.stanford.edu/archives/spr2024/entries/material-constitution/", "source_type": "Scholarly reference work / secondary analysis", "access_level": "Relevant passages in the archived full entry; the complete entry was not read cover to cover.", "exact_locations_read": "Introduction and §1, “The Puzzles,” especially “The Puzzle of the Statue and the Clay” and the five-reply outline; §2, “Coincident Objects,” especially the constitution view, coinciding objects, and grounding objection. The read passages discuss why duplicates that share matter and many properties appear to differ in modal or persistence conditions, and outline eliminativist, dominant-kinds, relative-identity, and deflationist strategies.", "limitations": "A scholarly survey, not a primary statement by every theorist it discusses and not an exhaustive map of the literature. Its David/Lump setup differs in details from Gibbard’s named Goliath/Lumpl story. The entry evaluates popular replies but does not establish a consensus or settle the dispute." }, { "title": "Identity", "author": "Harold Noonan and Ben Curtis", "publication": "The Stanford Encyclopedia of Philosophy; first published 2004, substantive revision 2026-10-02; current entry consulted on 2026-11-01.", "stable_url": "https://plato.stanford.edu/entries/identity/", "source_type": "Scholarly reference work / secondary analysis", "access_level": "Relevant passage in §7 of the full entry; the complete entry was not read cover to cover.", "exact_locations_read": "§7, “Contingent Identity”: the summary of Gibbard’s Goliath/Lumpl example, the Kripkean response of denying identity, the motivation from coinciding material entities, Lewis’s person/body comparison, and the statement that the force of contingent-identity examples remains controversial.", "limitations": "Reference synthesis rather than primary argument. It establishes that the debate is treated as controversial, not that any one account is correct or that this audit canvassed all positions." }, { "title": "Contingent Identity", "author": "Wolfgang Schwarz", "publication": "Philosophy Compass, vol. 8, no. 5 (2013), pp. 486–495, first published 2013-03-27, DOI 10.1111/phc3.12028; full-text repository copy consulted.", "stable_url": "https://doi.org/10.1111/phc3.12028", "source_type": "Peer-reviewed secondary analysis / scholarly survey", "access_level": "Relevant sections in the full text, accessed via the Australian National University repository copy; the complete article was not read cover to cover.", "exact_locations_read": "§2, “Contingent identities,” including its discussion of metaphysical contingent-identity examples and Gibbard’s proposal; §3, “The case against contingent identity,” on objections including the argument from Leibniz’s Law; §4, “Accounts of contingent identity,” especially the explanation of Gibbard’s individual-concept semantics and the role of names and modal predication.", "limitations": "A survey that presents arguments and accounts rather than resolving them. The publisher landing page supplied metadata and an abstract, while relevant full-text passages were read from the institutional repository copy. The article does not establish a consensus." }, { "title": "Contingent identity", "author": "Allan Gibbard", "publication": "Springer Nature publisher record for Journal of Philosophical Logic, vol. 4 (1975), pp. 187–221; DOI 10.1007/BF00693273.", "stable_url": "https://link.springer.com/article/10.1007/BF00693273", "source_type": "Publisher bibliographic record / metadata source", "access_level": "Bibliographic and access metadata only; the publisher page indicated subscription access to the article.", "exact_locations_read": "Article title, author, publication month May 1975, journal, volume 4, pages 187–221, and DOI in the publisher record and citation section.", "limitations": "Metadata verification only. The publisher landing page did not provide accessible full text; substantive argument claims were checked against the separately accessed full-text reproduction." }, { "title": "Matching statue-and-clay project data record", "author": "Project data record; no external author", "publication": "Local data/experiments.json object with id statue-and-clay; inspected 2026-11-01.", "stable_url": null, "source_type": "Project metadata record, not an external source", "access_level": "The matching JSON object was inspected read-only.", "exact_locations_read": "The matching object’s id, title, original_publication, one existing Further Reading reference, and date_verified value (2026-10-31) were read from the initial working-copy snapshot before this item’s patch was prepared. The proposed patch supplies date_verified 2026-11-01 and the four Further Reading references in article order. This item did not write to data/experiments.json; unrelated shared-worktree modifications are outside this review.", "limitations": "Metadata reconciliation only; the data object does not establish philosophical or historical claims. The data patch is proposed and has not been applied to data/experiments.json." } ], "claim_evidence": [ { "material_claim": "Gibbard’s example begins when a sculptor joins two halves of a clay statue of the infant Goliath, simultaneously bringing into existence a statue and a new piece of clay, and the sculptor’s later smashing ends both.", "source_title": "Contingent Identity", "source_url": "https://home.sandiego.edu/~baber/metaphysics/readings/Gibbard.ContingentIdentity.pdf", "exact_location": "§I, p. 191: the two-half statue story and the simultaneous beginning and ending; compare pp. 190–191 on persistence criteria.", "relationship": "supports", "finding": "The primary text directly gives the two-piece setup, joins the halves to create the statue and piece of clay at once, and says that smashing the statue ends both after the same duration. The revised article now follows that setup rather than attributing a generic lump-shaped-into-a-statue and squashing-flat variant to Gibbard.", "limitation": "This establishes Gibbard’s presented story, not that his stipulated identity conditions are the only correct ones.", "required_edit": "Made: replaced the inaccurate simplified version with the two-piece creation and shared ending from Gibbard’s text." }, { "material_claim": "On Gibbard’s persistence criteria, a lump can survive being reshaped into a ball while the statue ceases; he uses this as a counterfactual in which both exist but are nonidentical.", "source_title": "Contingent Identity", "source_url": "https://home.sandiego.edu/~baber/metaphysics/readings/Gibbard.ContingentIdentity.pdf", "exact_location": "§I, pp. 189–192, especially pp. 191–192: lump and statue criteria and the squeezing-into-a-ball counterfactual.", "relationship": "supports_with_qualification", "finding": "Gibbard explicitly says that under the criteria he has given, the statue would cease while Lumpl survives in a new shape, though both exist and are not identical in the counterfactual. He frames this as his argument for contingent identity.", "limitation": "Gibbard calls his criteria approximate and allows that they may be stipulative; the counterfactual and his account of modal identity are disputed rather than a settled solution.", "required_edit": "Made: tied the survival contrast expressly to Gibbard’s stipulated criteria and stated the counterfactual as nonidentity despite both existing." }, { "material_claim": "Gibbard’s actual identity claim and the apparent modal contrast create a problem about strict identity, properties, and persistence rather than an uncontested demonstration of two objects.", "source_title": "Contingent Identity; Identity", "source_url": "https://plato.stanford.edu/entries/identity/", "exact_location": "Gibbard, §I, pp. 191–192, on actual identity and contingent nonidentity; Noonan and Curtis, SEP Identity §7, on the example, the Kripkean denial-of-identity response, and the continuing controversy.", "relationship": "supports_with_qualification", "finding": "The sources support presenting Gibbard’s conclusion as an argument and a live metaphysical dispute. The revised article explicitly says that strict identity precludes literal property difference, then distinguishes Gibbard’s counterfactual claim from rival accounts.", "limitation": "The sources do not settle whether contingent identity is coherent or whether Gibbard’s case is persuasive.", "required_edit": "Made: replaced the prior unqualified ‘they seem to differ’ framing with an explicit statement of the inferential tension and its disputed status." }, { "material_claim": "Constitution views, identity views, eliminativist or revisionary views, and contingent-identity proposals are competing approaches; the coincident-object approach faces a grounding question about differences in kind and persistence.", "source_title": "Material Constitution; Contingent Identity", "source_url": "https://plato.stanford.edu/archives/spr2024/entries/material-constitution/", "exact_location": "Wasserman, SEP Material Constitution, introduction and §1, ‘The Puzzle of the Statue and the Clay’ and its five replies; §2, ‘Coincident Objects,’ including the grounding objection at the discussion of shared parts and properties. Schwarz, §§2–4, on contingent identity and its objections/accounts.", "relationship": "supports_with_qualification", "finding": "The SEP entry explicitly distinguishes constitution-is-identity, constitution-is-not-identity, and revisionary approaches, and surveys eliminativist, dominant-kinds, relative-identity, and deflationist replies. It calls coinciding objects a popular response and states the grounding challenge. Schwarz surveys reasons for and against contingent identity. The revised article presents its short list as broad families, not an exhaustive or agreed taxonomy.", "limitation": "The article’s compressed teaching summary is not itself a full taxonomy of material-constitution theories; different views need not fit mutually exclusive labels.", "required_edit": "Made: removed oversimplified claims that monism is merely redescribing one object and that all object-denial theories reduce straightforwardly to particles arranged statue-wise; qualified the categories and emphasized open disagreement." }, { "material_claim": "Gibbard’s contingent-identity proposal depends on his treatment of persistence criteria, proper names, and modal predication; the proposal is not a settled account of ordinary object identity.", "source_title": "Contingent Identity; Wolfgang Schwarz, ‘Contingent Identity’", "source_url": "https://doi.org/10.1111/phc3.12028", "exact_location": "Gibbard, §§I–II, pp. 190–194, and pp. 210–211; Schwarz, §§2 and 4, especially the discussion of Gibbard’s individual-concept semantics and the semantic contribution of singular terms to modal predication.", "relationship": "supports_with_qualification", "finding": "Gibbard develops persistence criteria, an account of proper names, and an account of modal/counterfactual properties as part of his defense. Schwarz explains the proposal in terms of individual concepts and modal predicates sensitive to more than reference. The revised article presents these as Gibbard’s commitments, not as consensus.", "limitation": "This brief educational summary omits the formal details and objections to Gibbard’s semantics; a survey and selected primary passages cannot establish that his theory succeeds.", "required_edit": "Made: identified the assumptions as part of Gibbard’s proposal and qualified the conclusion as disputed." }, { "material_claim": "The person/body and ship/timber comparisons are teaching analogies, not identical historical formulations attributed to Gibbard; ship replacement is a related but structurally different persistence question.", "source_title": "Revised article framing; Identity; Material Constitution", "source_url": null, "exact_location": "Revised article §§5 and 7. For context, Noonan and Curtis, SEP Identity §7 (Lewis’s person/body case); Wasserman, SEP Material Constitution §1 (Ship of Theseus replacement story).", "relationship": "context_only", "finding": "The article labels these comparisons as analogies, distinguishes the person/body question from Gibbard’s specific example, and notes that ship cases typically focus on changing parts. The source passages support the relevant context; the analogy and teaching choice are editorial framing.", "limitation": "No claim is made that the cases are interchangeable or that Gibbard originated these extensions.", "required_edit": "Made: explicitly labeled the comparisons as teaching analogies and stated their structural differences." }, { "material_claim": "The attribution and publication information—Allan Gibbard, ‘Contingent Identity,’ Journal of Philosophical Logic, 1975, volume 4, pages 187–221, using Lumpl and Goliath—is accurate.", "source_title": "Contingent Identity; Springer Nature publisher record", "source_url": "https://link.springer.com/article/10.1007/BF00693273", "exact_location": "Original text opening page and journal header; Springer publisher record title/author/date/volume/pages and citation block. The original paper’s Goliath/Lumpl naming appears in §I, pp. 191–192.", "relationship": "supports", "finding": "The primary text identifies Allan Gibbard, the title, journal, year, and page range; the publisher record independently confirms May 1975, volume 4, pp. 187–221 and DOI. The original text uses the names Goliath and Lumpl.", "limitation": "Publisher metadata verifies citation details only; it does not establish the philosophical argument’s correctness.", "required_edit": "Made: retained the verified publication and thinker attribution; clarified in the source note that Gibbard’s account is a proposal." }, { "material_claim": "The revised article’s Further Reading references and order match the proposed data patch, with date_verified set to 2026-11-01; the existing dataset object has not been modified.", "source_title": "Revised article and matching statue-and-clay project data record", "source_url": null, "exact_location": "Article §9 and data/experiments.json object id statue-and-clay, compared with the proposed source-review-batch15-item-statue-and-clay-data-patch.json.", "relationship": "supports", "finding": "The four URLs in the revised article and proposed patch are identical and in the same order: Gibbard’s hosted full text; the archived Spring 2024 SEP Material Constitution entry; the SEP Identity entry; and Schwarz’s DOI. The existing data record had one SEP link and date_verified 2026-10-31; the proposed patch changes only that matching entry’s date and reference list. The dataset remains read-only and unchanged.", "limitation": "This is local metadata reconciliation only. The proposed patch has not been applied to data/experiments.json and does not establish philosophical claims.", "required_edit": "Made: prepared the specified local data patch; no dataset edit was made." } ], "unresolved_limits": [ "Whether Gibbard’s contingent-identity account succeeds remains disputed; this audit checks attribution and traceability, not the metaphysical conclusion.", "Gibbard’s original article, the SEP entries, and Schwarz’s survey were consulted at relevant passages rather than read cover to cover; no exhaustive literature review was performed.", "The article’s compact list of response families is an educational summary, not a comprehensive taxonomy of theories of material constitution.", "The publisher landing page for Gibbard provided bibliographic metadata but not full text; relevant primary passages were read in a hosted reproduction.", "The proposed data patch is local evidence only; data/experiments.json was not edited.", "No human subject-matter expert reviewed the article; no expert review is claimed." ] }, { "review_date": "2026-11-01", "reviewer_type": "AI-assisted claim-level source audit with self-check after edits; no human expert review is claimed.", "protocol": "research/source-review-standard.md (approved 2026-11-01)", "id": "problem-of-the-many", "title": "The Problem of the Many (Tibbles the Cat)", "article_path": "experiments/identity/problem-of-the-many.md", "status": "source_checked", "scope": "Claim-level traceability review of the revised article and its matching local dataset record. Checked Unger’s 1980 attribution and cloud-boundary setup; Geach’s Tibbles/hairs passage, the argument yielding 1,001 cat-candidates, and Geach’s own relative-identity response; the article’s distinction between those formulations; the assumptions, claims, qualifications, and scholarly objections attached to the outlined responses (restricted composition/nihilism, overpopulation, relative identity, almost-identity, semantic vagueness and epistemicism, and vague parthood); the educational framing and ordinary-counting qualifications; the difference between vague-boundary/candidate-counting puzzles and the separate Tibbles-and-tail parthood/persistence story; bibliographic names, dates, edition and page details; and alignment of Further Reading URLs/order with the proposed data patch. Status records traceability, not that any philosophical argument succeeds, that one response is correct or consensus, exhaustive literature review, or expert review.", "summary": "The revised article separates Unger’s original cloud-based many-or-none dilemma from Geach’s Tibbles argument. It now states that Geach’s example begins with at least 1,000 identifiable hairs, considers distinct feline-tissue masses omitting one hair at a time, and uses relative identity to say that different masses can be the same cat. It no longer describes this as a single generic taxonomy: the solutions and their objections are attributed as contested alternatives, including distinctions between Unger’s radical nihilist conclusion and restricted composition, between supervaluationism and indeterminate reference, and between Geach’s relative identity and Lewis’s almost-identity account. The cat-loses-its-tail example is explicitly separated as a parthood/persistence puzzle. Primary passages by Unger and Geach and relevant SEP sections were read; the article states that complete primary works were not read cover to cover. The local data patch uses the two stable archive URLs in the revised Further Reading order and leaves the read-only dataset unchanged.", "sources": [ { "title": "The Problem of the Many", "author": "Peter Unger", "publication": "Midwest Studies in Philosophy 5 (1980), 411–467; DOI 10.1111/j.1475-4975.1980.tb00416.x. Full text consulted via a PDF reproduction; the publisher’s PDC record was checked separately for bibliographic details.", "stable_url": "https://doi.org/10.1111/j.1475-4975.1980.tb00416.x", "source_type": "Primary philosophical work", "access_level": "Relevant passages in the full work; the full-text PDF was retrieved and parsed, but only the opening pages relevant to the cloud setup and argument were read for this audit.", "exact_locations_read": "Printed pp. 411–415, especially the opening discussion of vagueness and clouds (§1) and the beginning of the formal cloud argument (§2): Unger introduces the named problem, describes gradually dispersed droplets, and states the many-or-none dilemma. The article’s claim about Unger extending the topic to other kinds was checked at p. 411, lines naming stones, tables, and hands.", "limitations": "Only relevant passages were read, not the entire paper or all of its later argumentation. The primary text establishes Unger’s formulation and what he argues, not that its premises or conclusion are sound. The full text was read from a third-party PDF reproduction rather than the publisher-hosted paywalled copy." }, { "title": "Reference and Generality: An Examination of Some Medieval and Modern Theories", "author": "Peter Thomas Geach", "publication": "Third edition, Cornell University Press, 1980, §110, “How is ‘is the same A as’ related to a proper name for an A?”; first edition 1962. Edition and publication details checked against the scanned title page and Google Books bibliographic record.", "stable_url": "http://philosophieweb0.001.free.fr/GeachRandG.pdf", "source_type": "Primary philosophical work", "access_level": "Selected passage in a scanned full-book PDF; PDF pages 107–108 were parsed as text and the relevant §110 passage was read. The entire book was not read.", "exact_locations_read": "§110, the passage beginning “The fat cat sat on the mat. There was just one cat on the mat.” It states the 1,000-hair assumption, considers masses of feline tissue each omitting one hair, derives the apparent 1,001-cat result, and then says the distinct masses are the same cat while the original story of one cat stands.", "limitations": "The textual copy was obtained from an unofficial third-party scan; the official Google Books page confirms the third edition and publisher metadata but does not expose the argument passage. The scan’s PDF page numbers are not substituted for unverified printed pagination. The primary text establishes Geach’s proposal, not its correctness or acceptance." }, { "title": "The Problem of the Many", "author": "Brian Weatherson", "publication": "The Stanford Encyclopedia of Philosophy, Winter 2023 archive edition; substantive revision August 31, 2023.", "stable_url": "https://plato.stanford.edu/archives/win2023/entries/problem-of-many/", "source_type": "Scholarly reference work / secondary analysis", "access_level": "Relevant passages in the full archived entry; sections 1–7 and 9 were consulted, not every sentence of the entry.", "exact_locations_read": "§1 on Unger’s and Geach’s attributions, the cloud setup, and the breadth of solution domains; §§2–4 on Unger’s nihilism, overpopulation, and restricted/brutal composition; §5 on relative identity and objections; §6 on Lewis’s almost-identity proposal and objections; §7 on arguments and semantic vagueness, including supervaluationism and epistemicism; §9 on vague parthood and the separate Tibbles-and-tail example.", "limitations": "Secondary survey that presents a range of views and objections; it does not establish a consensus or settle the philosophical dispute. The audit follows the stable Winter 2023 version cited in the article, not a claim that every later editorial change was reviewed." }, { "title": "Identity Over Time", "author": "Andre Gallois and Irem Kurtsal", "publication": "The Stanford Encyclopedia of Philosophy, Spring 2026 archive edition; current fixed archive identified through SEP author/citation information.", "stable_url": "https://plato.stanford.edu/archives/spr2026/entries/identity-time/", "source_type": "Scholarly reference work / secondary analysis", "access_level": "Relevant passages in the full archived entry; the introduction and §4 were consulted, not the entire entry.", "exact_locations_read": "§1 on identity, change, and objects with changing parts; §4 on diachronic identity puzzles, coincidence, and persistence. These passages support only the article’s broad use of the entry as background on persistence and changing parts.", "limitations": "The consulted sections do not present Geach’s many-candidates cat argument or the specific Tibbles-and-tail illustration; the revised article attributes that tail illustration to Weatherson §9 instead. This source is contextual, not evidence for the many-candidate scenario." }, { "title": "The Problem of the Many (publisher record)", "author": "Philosophy Documentation Center; article author Peter Unger", "publication": "Midwest Studies in Philosophy, Volume 5 (1980), Studies in Epistemology; publisher bibliographic record, DOI 10.1111/j.1475-4975.1980.tb00416.x.", "stable_url": "https://www.pdcnet.org/msp/content/msp_1980_0005_0411_0467", "source_type": "Publisher bibliographic record", "access_level": "Metadata/catalogue record only; full article is paywalled on the publisher site.", "exact_locations_read": "The record’s title, author, journal volume/year, page range 411–467, and DOI.", "limitations": "Bibliographic metadata only; the argument was checked in the separately accessed full-text PDF reproduction, not on this page." }, { "title": "Reference and Generality: An Examination of Some Medieval and Modern Theories (Google Books record)", "author": "Google Books bibliographic record for Peter Thomas Geach", "publication": "Third edition, Cornell University Press, 1980; record gives 231 pages and ISBN 0-8014-1315-X.", "stable_url": "https://books.google.com/books/about/Reference_and_Generality.html?id=bv8tAAAAMAAJ", "source_type": "Bibliographic catalogue record", "access_level": "Metadata/catalogue record only.", "exact_locations_read": "Bibliographic information table: title, author, edition 3, publisher, year 1980, and ISBN. The first-edition year 1962 was checked against the scanned book’s title/copyright pages.", "limitations": "The record verifies bibliographic metadata only; it does not establish the Tibbles argument, which was read in the §110 scan passage." }, { "title": "Matching local data record", "author": "Project data record; no external author", "publication": "Local data/experiments.json record, id problem-of-the-many; read-only input inspected 2026-11-01.", "stable_url": null, "source_type": "Project metadata record, not an external source", "access_level": "Matching dataset object inspected before preparing the local patch.", "exact_locations_read": "The matching entry’s ID, title, current Further Reading references, and date_verified value were inspected. The proposed patch sets date_verified to 2026-11-01 and its two reference URLs match the revised article’s Further Reading links in the same order; no edit was made to data/experiments.json.", "limitations": "Metadata reconciliation only; it does not establish any philosophical or historical claim." } ], "claim_evidence": [ { "material_claim": "Unger introduced the named Problem of the Many in 1980 and presented it through a cloud with gradually fading boundaries and multiple overlapping candidate aggregates, generating a many-or-none dilemma.", "source_title": "The Problem of the Many; The Problem of the Many (publisher record); The Problem of the Many (SEP)", "source_url": "https://doi.org/10.1111/j.1475-4975.1980.tb00416.x", "exact_location": "Unger, printed pp. 411–415, especially §§1–2; PDC publisher record, bibliographic metadata; Weatherson, SEP Winter 2023, §1.", "relationship": "supports_with_qualification", "finding": "The primary paper supports the attribution and the cloud-based candidate-aggregate setup. Unger frames the outcome as a dilemma if the described ordinary cloud exists and argues that there are many equally eligible overlapping candidates. The revised article presents this as Unger’s stipulated philosophical argument, not as an established empirical count or quote.", "limitation": "The source establishes Unger’s argument, not the truth of its premises or conclusion; the full article was not read cover to cover.", "required_edit": "Made: separated the cloud formulation from the cat example and marked it as a paraphrased stipulated dilemma rather than an empirical claim." }, { "material_claim": "Geach’s Tibbles setup uses a cat with at least 1,000 identifiable hairs, considers tissue masses omitting one hair, derives an apparent 1,001-cat result, and responds that distinct tissue masses can be the same cat.", "source_title": "Reference and Generality; The Problem of the Many (SEP)", "source_url": "http://philosophieweb0.001.free.fr/GeachRandG.pdf", "exact_location": "Geach, Reference and Generality, 3rd ed. (1980), §110, PDF pages 107–108; Weatherson, SEP Winter 2023, §§1, 5, and 7.1.", "relationship": "supports_with_qualification", "finding": "Geach’s passage directly contains the hair/tissue construction, the apparent 1,001 result, and his resolution in terms of the different masses being the same cat. The revised article now distinguishes this relative-identity move from Unger’s cloud-based setup and marks the proposal as controversial.", "limitation": "A third-party scan was used for the primary passage; no printed page number was asserted. The primary text reports Geach’s own view, not its acceptance by later philosophers.", "required_edit": "Made: replaced the earlier generic atom/hair vignette with Geach’s actual omission-of-one-hair construction and explained his response." }, { "material_claim": "The Problem of the Many is about vague boundaries and competing candidate objects, but its relation to vagueness does not make it identical to the Sorites or to persistence-through-part-change puzzles.", "source_title": "The Problem of the Many (Unger); The Problem of the Many (SEP); Identity Over Time (SEP)", "source_url": "https://plato.stanford.edu/archives/win2023/entries/problem-of-many/", "exact_location": "Unger, pp. 411–415; Weatherson, SEP §1 (vague predicates, cloud boundaries, and solution domains) and §9 (separate Tibbles-and-tail parthood example); Gallois and Kurtsal, SEP Spring 2026 §§1 and 4 (identity and persistence through changing parts).", "relationship": "supports_with_qualification", "finding": "The SEP survey explicitly distinguishes the problem’s apparent connection to vague predicates from deeper composition and identity issues, and its §9 tail story is a separate time-sensitive parthood puzzle. The identity-over-time source supports broad context only. The revised article says both puzzles are related but not the same, and directs the Tibbles-and-tail attribution to Weatherson §9.", "limitation": "The identity-over-time source is a general secondary account and does not itself establish the Tibbles-tail example. The distinction is conceptual/editorial framing grounded in the SEP’s presentation.", "required_edit": "Made: clarified that Unger’s cloud case, Geach’s Tibbles masses, and the cat-loses-its-tail story are distinct presentations/questions." }, { "material_claim": "The outlined metaphysical responses include restricted composition or Unger-style nihilism, overpopulation, relative identity, and Lewis’s almost-identity proposal, with objections and different costs.", "source_title": "The Problem of the Many (SEP); Reference and Generality", "source_url": "https://plato.stanford.edu/archives/win2023/entries/problem-of-many/", "exact_location": "Weatherson, SEP §§2–6; Geach, §110 for the cat/relative-identity proposal.", "relationship": "supports_with_qualification", "finding": "The SEP surveys these as separate, competing options and gives objections; it notes overpopulation has defenders, distinguishes Unger’s radical conclusion from composition theories, and discusses challenges to both relative identity and almost-identity. The revised article now avoids collapsing all responses into “many cats” or a single almost-identity view.", "limitation": "The selected responses are illustrative, not exhaustive. No claim is made that any response is settled or accepted by consensus.", "required_edit": "Made: replaced compressed, potentially conflating solution labels with a qualified list of distinct response families and acknowledged disagreement." }, { "material_claim": "Semantic vagueness solutions, including supervaluationism and epistemicism, do not amount simply to saying every candidate is an equally permissible referent for the name Tibbles.", "source_title": "The Problem of the Many (SEP)", "source_url": "https://plato.stanford.edu/archives/win2023/entries/problem-of-many/", "exact_location": "Weatherson, SEP §7, especially §§7.1–7.3 and its discussion of supervaluationist precisifications, penumbral connections, epistemicism, and semantic indeterminacy in names/demonstratives.", "relationship": "supports_with_qualification", "finding": "The source distinguishes supervaluationist treatment of vague predicate extensions from related indeterminacy about demonstratives/names and records objections to the supervaluationist package. The revised article says candidate classifications can vary across admissible precisifications while “there is one cloud” may remain true, and does not identify that with unrestricted reference-indeterminacy.", "limitation": "The SEP entry itself notes outstanding objections and that the success of vagueness-based solutions is unsettled; the article gives a brief teaching summary rather than a full semantics.", "required_edit": "Made: corrected the earlier overbroad description of supervaluationism as each candidate being a permissible referent and stated its contested status." }, { "material_claim": "Some proposed responses locate indeterminacy in parthood/composition, while such moves remain controversial and do not automatically eliminate the many-candidates difficulty.", "source_title": "The Problem of the Many (SEP)", "source_url": "https://plato.stanford.edu/archives/win2023/entries/problem-of-many/", "exact_location": "Weatherson, SEP §9, on van Inwagen’s vague parthood/fuzzy constitution account and the difficulties of selecting among candidate objects.", "relationship": "supports_with_qualification", "finding": "The SEP describes a proposal to treat parthood as vague but questions how that handles the many candidate objects; it also distinguishes the cloud case from cats and people in the view discussed. The article avoids presenting ontological vagueness as a simple or accepted solution.", "limitation": "The sources survey but do not settle whether ontological vagueness is coherent or whether it solves all versions of the problem.", "required_edit": "Made: retained the metaphysical-vagueness option but made its contested and incomplete status explicit." }, { "material_claim": "Lewis’s almost-identity response treats everyday counting as sometimes relying on almost-identity rather than strict identity; this is one proposal, not an established fact about ordinary counting.", "source_title": "The Problem of the Many (SEP)", "source_url": "https://plato.stanford.edu/archives/win2023/entries/problem-of-many/", "exact_location": "Weatherson, SEP §6, including the statement that Lewis proposes counting by almost-identity and the section’s objections about strict identity and non-almost-identical candidates.", "relationship": "supports_with_qualification", "finding": "The source supports attributing the proposal to Lewis and describes objections. The revised article explicitly calls it one response and says other philosophers reject the analysis; it does not infer that ordinary counting in fact works this way.", "limitation": "This is a contested account of counting language and identity, not an empirical finding about speakers or a consensus view.", "required_edit": "Made: qualified the counting claim as an attributed response and stated that its consequences depend on disputed assumptions." }, { "material_claim": "Unger extends the argument beyond clouds to other ordinary kinds, while the article’s crowd extension is editorial teaching framing.", "source_title": "The Problem of the Many (Unger); The Problem of the Many (SEP)", "source_url": "https://doi.org/10.1111/j.1475-4975.1980.tb00416.x", "exact_location": "Unger, p. 411, lines naming stones, tables, and hands; Weatherson, SEP §§1–2 on objects including humans and the extension of the problem beyond clouds.", "relationship": "supports_with_qualification", "finding": "Unger explicitly says he will extend his arguments from clouds to other ordinary kinds, including stones, tables, and hands. The revised article attributes those examples to him and labels only the further crowd analogy as editorial framing.", "limitation": "The crowd example is not represented as a historical example or as a separately sourced case.", "required_edit": "Made: corrected the scope note so Unger’s own extensions are not mislabelled as editorial analogies." }, { "material_claim": "The article’s ‘more detailed physical description does not by itself settle the count’ sentence is an interpretive explanation of the puzzle, not a claim that science can never contribute.", "source_title": "The Problem of the Many (Unger); The Problem of the Many (SEP)", "source_url": "https://doi.org/10.1111/j.1475-4975.1980.tb00416.x", "exact_location": "Unger, pp. 413–415 on gradual dispersion and equally eligible overlapping complexes; Weatherson, SEP §1 and §7 on the setup and candidate extension issue.", "relationship": "supports_with_qualification", "finding": "The sources frame the problem around multiple candidate aggregates and the absence of a uniquely favored one under the stipulated assumptions. The revised article limits its claim to physical description alone not settling which collections count as the object.", "limitation": "This is an explanatory inference from the philosophical setup, not an independent result in physics or a universal claim that further empirical information is irrelevant.", "required_edit": "Made: recast the statement as a limited interpretive point tied to the stipulated setup." }, { "material_claim": "The revised Further Reading entries, their stable URLs and order match the proposed data patch; the target dataset record was not modified.", "source_title": "Revised target article; matching local data record; proposed data patch", "source_url": null, "exact_location": "Article §9 and research/source-review-batch15-item-problem-of-the-many-data-patch.json; read-only data/experiments.json object with id problem-of-the-many.", "relationship": "supports", "finding": "The article lists the Weatherson Winter 2023 archive first and the Gallois–Kurtsal Spring 2026 archive second; the proposed patch contains those same URLs in that order and sets date_verified to 2026-11-01. The input dataset still has its prior date and was not edited.", "limitation": "Local metadata reconciliation only; the patch is a proposed local file, not an applied dataset change.", "required_edit": "Made: created the requested data patch only; did not modify data/experiments.json." } ], "unresolved_limits": [ "No named or qualified human subject-matter expert reviewed the article; no expert-review claim is made.", "Only relevant passages, not the complete Unger article or Geach book, were read cover to cover; the primary Geach passage came from an unofficial scan.", "The SEP survey is a selective secondary overview, not an exhaustive history of the literature; competing proposals and their criticisms are not settled by this audit.", "The audit verifies attribution and traceability, not the truth or soundness of Unger’s or Geach’s arguments, or which theory of identity, vagueness, composition, or counting is correct." ] }, { "review_date": "2026-11-01", "reviewer_type": "AI-assisted claim-level source audit with self-check after edits; no human expert review is claimed.", "protocol": "research/source-review-standard.md (approved 2026-11-01)", "id": "condorcet-paradox", "title": "The Condorcet Paradox", "article_path": "experiments/society-and-justice/condorcet-paradox.md", "status": "source_checked", "scope": "Claim-level traceability review of the article and matching dataset entry. Checked the historical attribution and 1785 publication framing against the original French passage and modern reference works; the stated three-voter profile and pairwise-majority calculations; the assumptions of strict transitive rankings and pairwise majority; the absence of a Condorcet winner; the distinction between a cycle and sequential agenda effects; Condorcet-consistent and scoring procedures; single-peaked domain restrictions; the relationship to Arrow's theorem; probability-model assumptions and scholarly disagreement about empirical prevalence; and editorial/normative teaching prompts. The status records source traceability, not the truth of every normative interpretation, exhaustive literature coverage, consensus, or expert review.", "summary": "The revised article preserves the illustrative cycle while stating the profile and pairwise-majority assumptions explicitly. It separates the cycle in the pairwise relation from agenda effects in sequential voting, qualifies the discussion of scoring rules and domain restrictions, describes Arrow as a broader related result rather than a theorem derived from this example, and distinguishes conditional model-based likelihood from contested empirical prevalence. The original French essay's relevant discussion of a three-candidate election and majority judgments was accessed in OCR text; the article now identifies its example as a modern teaching presentation rather than a verbatim reconstruction of Condorcet's profile. Modern reference and scholarly sources were read at relevant passages. Dataset references were reconciled to the revised Further Reading list; the dataset itself was not modified.", "sources": [ { "title": "Essai sur l'application de l'analyse à la probabilité des décisions rendues à la pluralité des voix", "author": "Nicolas de Condorcet", "publication": "Paris: Imprimerie Royale, 1785; digitized edition hosted by the Internet Archive.", "stable_url": "https://archive.org/details/essaisurlapplica00cond", "source_type": "Primary historical work", "access_level": "Selected excerpt of the scanned work, accessed in the Archive.org DjVu OCR text; the complete work was not read.", "exact_locations_read": "Discours préliminaire, the passage beginning “Il nous reste à donner un dernier exemple: c'est le cas d'une élection entre trois candidats,” through the discussion of combinations of preference propositions and the contradictory conclusions arising from some combinations. No page number is asserted because the extracted OCR's printed Roman folio markers are unreliable in this passage.", "limitations": "The source is in French and was consulted through machine OCR rather than a critical edition or facsimile page inspection. The passage supports Condorcet's discussion of three-candidate preference judgments and possible inconsistency; it is not identical to the article's modern three-voter profile in the exact displayed notation." }, { "title": "Social Choice Theory", "author": "Christian List", "publication": "The Stanford Encyclopedia of Philosophy; first published 2013, substantive revision 14 October 2022; §§1.1, 3.1, and 3.3.1.", "stable_url": "https://plato.stanford.edu/entries/social-choice/", "source_type": "Scholarly reference work / secondary analysis", "access_level": "Relevant passages in the current entry were read through the page's extracted text; the entire entry was not read.", "exact_locations_read": "§1.1 attributes pairwise majority voting and the Condorcet paradox to the 1785 Essay and gives a one-third/one-third/one-third cycle; §3.1 defines profiles and pairwise majority and discusses the dependence of cycle frequencies on assumptions; §3.3.1 explains single-peaked domains and Black's result that cycles cannot occur under that restriction.", "limitations": "Secondary scholarly synthesis, not Condorcet's testimony. Probability statements are model-dependent; the entry itself notes that departures from impartial culture can substantially reduce cycle probabilities." }, { "title": "Voting Methods", "author": "Eric Pacuit", "publication": "The Stanford Encyclopedia of Philosophy, Fall 2017 archive; §§3.1 and 3.1.1 and the later discussion of the likelihood of voting paradoxes.", "stable_url": "https://plato.stanford.edu/archives/fall2017/entries/voting-methods/", "source_type": "Scholarly reference work / secondary analysis", "access_level": "Relevant passages in the fixed archived entry were read through the page's extracted text; the entire entry was not read.", "exact_locations_read": "§3.1 states the example's rankings and pairwise 2–1 cycle; §3.1.1 distinguishes Condorcet consistency from other voting methods and explains that some rules need a fallback when no Condorcet winner exists; the later likelihood discussion describes impartial-culture calculations and disagreement about empirical evidence and incomplete preference data.", "limitations": "Archived secondary reference account, not the primary source. Its discussion surveys research rather than resolving the empirical debate; probability conclusions depend on stated preference-distribution assumptions." }, { "title": "Arrow's Theorem", "author": "Michael Morreau", "publication": "The Stanford Encyclopedia of Philosophy; first published 13 October 2014, substantive revision 7 December 2025; §1, “The Will of the People?”", "stable_url": "https://plato.stanford.edu/entries/arrows-theorem/", "source_type": "Scholarly reference work / secondary analysis", "access_level": "Relevant passage in §1 and associated historical discussion were read through the page's extracted text; the entire entry was not read.", "exact_locations_read": "§1 gives the three-person ABC/BCA/CAB majority cycle, calls it the paradox of voting, attributes its discovery to Condorcet (1785), distinguishes Condorcet's study of particular procedures from Arrow's axiomatic approach, and reports contrasting interpretations of Arrow's normative implications.", "limitations": "Secondary interpretation. It establishes the conceptual and historical relationship but not that Arrow's theorem is logically derived from the three-option cycle. The article is not used as evidence that one normative reading is consensus." }, { "title": "Complexities of Majority Voting", "author": "Nicholas R. Miller", "publication": "Vote Democracy project module for the Centre for Philosophy of Natural and Social Science, London School of Economics; revised April 2018 (original November 2015); §§4.2, 8.1, and sequential-voting discussion.", "stable_url": "https://userpages.umbc.edu/~nmiller/RESEARCH/MAJVOTING.REV2018.NRM.pdf", "source_type": "Scholarly secondary analysis / research module", "access_level": "Relevant passages of the PDF were read in the returned PDF text extraction; the full document was not read.", "exact_locations_read": "§4.2, text extraction's ‘Majority Voting’ pp. 10–11, describes three-option Condorcet cycles and cycles across more alternatives; §8.1, extracted pp. 39–40, explains sequential pairwise voting and how agenda order determines the final outcome when there is no Condorcet winner.", "limitations": "A scholarly teaching module rather than a peer-reviewed journal article. Its agenda discussion concerns sequential pairwise procedures and should not be generalized to the pairwise-majority relation itself." }, { "title": "Behavioural social choice: a status report", "author": "Michel Regenwetter, Bernard Grofman, Anna Popova, William Messner, Clintin P. Davis-Stober, and Daniel R. Cavagnaro", "publication": "Philosophical Transactions of the Royal Society B, 364(1518), 833–843 (2009), especially §2, “The empirical rarity of the Condorcet paradox”; DOI 10.1098/rstb.2008.0259.", "stable_url": "https://pmc.ncbi.nlm.nih.gov/articles/PMC2689718/", "source_type": "Peer-reviewed scholarly article", "access_level": "Relevant full-text section (§2) was read in the PMC text extraction; the entire article was not read. Publisher metadata and abstract were separately consulted.", "exact_locations_read": "§2 reviews impartial-culture model literature, reports the authors' critique that results can be sensitive to assumptions, and describes their account of survey and ballot evidence suggesting limited empirical support for cycles. The publisher page supplied publication date, author list, journal, volume, pages, and DOI.", "limitations": "This is one scholarly position in a live debate, not a definitive prevalence estimate. Empirical detection depends on available preference data and the authors' interpretation of theoretical and observed evidence; Pacuit's reference account documents contrary views and data limitations." } ], "claim_evidence": [ { "material_claim": "The 1785 work is Condorcet's essay on majority decisions, and the original text discusses an election among three candidates with judgments about which candidate is preferable.", "source_title": "Essai sur l'application de l'analyse à la probabilité des décisions rendues à la pluralité des voix; Social Choice Theory; Arrow's Theorem", "source_url": "https://archive.org/download/essaisurlapplica00cond/essaisurlapplica00cond_djvu.txt", "exact_location": "Condorcet, Discours préliminaire, passage beginning “Il nous reste à donner un dernier exemple” and describing an election among three candidates; compare List §1.1 and Morreau §1 for bibliographic attribution and historical context.", "relationship": "supports_with_qualification", "finding": "The primary French OCR passage directly discusses three-candidate preference propositions and how majority judgments may yield inconsistent combinations. The secondary sources independently identify Condorcet's 1785 Essay with pairwise majority voting and the paradox.", "limitation": "OCR is imperfect and only the relevant French excerpt was consulted. The original passage is not the exact modern profile table in the article; the displayed table is explicitly framed as an educational example.", "required_edit": "Made: article identifies the original French passage and distinguishes it from the modern profile presentation." }, { "material_claim": "For the displayed strict rankings A>B>C, B>C>A, and C>A>B, pairwise majority yields A>B, B>C, and C>A, each by 2–1.", "source_title": "Revised article profile; Social Choice Theory; Voting Methods; Arrow's Theorem", "source_url": "https://plato.stanford.edu/archives/fall2017/entries/voting-methods/", "exact_location": "Article §1, calculations directly derived from its table; Pacuit §3.1; List §1.1; Morreau §1, which report the equivalent three-person cycle under equivalent labels/ranking order.", "relationship": "supports", "finding": "Each pairwise count follows directly from the stated profile, and the three consulted reference accounts describe the same structural cycle. The table itself is a standard modern illustrative profile, not a verbatim primary-text quotation.", "limitation": "The mathematical result is conditional on the stated rankings and one-vote-per-person pairwise majority rule; it is not a claim that every election cycles.", "required_edit": "Made: displayed the rankings and explicitly stated the strict, transitive-ranking and pairwise-majority assumptions." }, { "material_claim": "The pairwise-majority relation can be intransitive even when every individual ranking is transitive; in this profile there is no Condorcet winner.", "source_title": "Social Choice Theory; Voting Methods; Arrow's Theorem", "source_url": "https://plato.stanford.edu/entries/social-choice/", "exact_location": "List §1.1 defines the paradox and Condorcet winner; §3.1 defines pairwise majority and notes it does not guarantee transitive social preferences; Pacuit §3.1; Morreau §1.", "relationship": "supports", "finding": "The sources directly support the mathematical conclusion. The revised article says the pairwise relation exists but lacks a Condorcet winner, and does not infer that majority rule is universally incoherent.", "limitation": "The conclusion is about this profile and rule; the result alone does not settle the normative status of majority rule.", "required_edit": "Made: replaced the unqualified claim that majority will can be undefined with the narrower conclusion that no option beats every other under pairwise majority." }, { "material_claim": "A cyclic pairwise relation and the outcome of sequential pairwise voting are distinct; agenda order can affect the final option under sequential procedure.", "source_title": "Complexities of Majority Voting", "source_url": "https://userpages.umbc.edu/~nmiller/RESEARCH/MAJVOTING.REV2018.NRM.pdf", "exact_location": "Miller §4.2, pp. 10–11 in the text extraction, for the cycle; §8.1 and sequential pairwise voting discussion, pp. 39–40 in the text extraction, for procedure and agenda dependence.", "relationship": "supports_with_qualification", "finding": "Miller distinguishes the pairwise preference tournament from sequential committee procedure and explains why the order alternatives enter the sequential agenda can affect the winner when no Condorcet winner exists.", "limitation": "This is conditional on a sequential procedure. The profile itself fixes each pairwise comparison; agenda dependence should not be attributed to the static relation alone.", "required_edit": "Made: clarified that order matters when pairwise votes are conducted sequentially, not when describing the cycle itself." }, { "material_claim": "Condorcet-consistent methods elect a Condorcet winner when one exists, but a cycle leaves no such candidate and procedures need a fallback; a scoring method's selected outcome does not erase the pairwise cycle.", "source_title": "Voting Methods", "source_url": "https://plato.stanford.edu/archives/fall2017/entries/voting-methods/", "exact_location": "Pacuit §3.1.1, including the Condorcet rule and Copeland rule descriptions and discussion of scoring rules and Condorcet consistency.", "relationship": "supports_with_qualification", "finding": "The entry distinguishes a Condorcet-consistency criterion from other methods, shows that some rules need explicit treatment when no Condorcet winner exists, and explains that scoring rules need not select a Condorcet winner even when one exists.", "limitation": "Different methods resolve or present cycles differently; no single fallback is implied by the paradox itself.", "required_edit": "Made: replaced the blanket statement that scoring rules avoid cycles with the more precise distinction between selecting an outcome and making the pairwise relation transitive." }, { "material_claim": "Single-peaked profiles prevent majority cycles under the stated domain restriction; this conditional result does not establish that actual electorates always meet the restriction.", "source_title": "Social Choice Theory", "source_url": "https://plato.stanford.edu/entries/social-choice/", "exact_location": "List §3.3.1, ‘Relaxing universal domain,’ definition of single-peakedness and Black's result for odd electorates.", "relationship": "supports_with_qualification", "finding": "The reference states that single-peakedness ensures transitive majority preferences and a Condorcet winner at the median peak when the electorate is odd. The article retains this as a conditional mathematical result.", "limitation": "Single-peakedness is a substantive restriction on admissible preferences, not a general property of elections.", "required_edit": "Made: explicitly marked the result as conditional on the domain restriction." }, { "material_claim": "Arrow's theorem is related to the Condorcet paradox but studies a broader class of aggregation procedures under axioms; the normative implications of impossibility results are disputed.", "source_title": "Social Choice Theory; Arrow's Theorem", "source_url": "https://plato.stanford.edu/entries/arrows-theorem/", "exact_location": "Morreau §1 distinguishes Condorcet's study of particular procedures from Arrow's general axiomatic approach and reports opposing interpretations; List §1.2 on Arrow's general framework and §3.1 on the basic aggregation framework.", "relationship": "supports_with_qualification", "finding": "The sources support treating Condorcet's paradox as a precursor and motivating illustration, while Arrow's theorem concerns broader conditions. They do not warrant saying Arrow's theorem is simply a consequence of this particular three-voter example.", "limitation": "The article presents a concise historical relationship, not an exhaustive history of social-choice theory or a resolution of normative disputes.", "required_edit": "Made: replaced the loose ‘motivated ... led to Arrow’s theorem’ claim with a qualified account of relation and distinction." }, { "material_claim": "The probability of cycles depends on the assumed distribution of preferences; impartial culture is one model, while empirical prevalence and its interpretation remain disputed.", "source_title": "Social Choice Theory; Voting Methods; Behavioural social choice: a status report", "source_url": "https://plato.stanford.edu/archives/fall2017/entries/voting-methods/", "exact_location": "Pacuit's later discussion of the likelihood of voting paradoxes explains impartial-culture calculations, model assumptions and empirical-data limitations; List §3.1 describes sensitivity to preference-distribution departures; Regenwetter et al. §2 argues that theoretical predictions can be sensitive to assumptions and reports limited empirical support in studied data.", "relationship": "supports_with_qualification", "finding": "The sources agree that probability estimates are assumption-dependent but differ in their portrayal of the empirical risk. The article states that findings are disputed and that full pairwise-preference data are often unavailable; it does not assert a universal likelihood or consensus.", "limitation": "Only relevant sections and one peer-reviewed article were examined, not the full empirical literature. Regenwetter et al.'s conclusions are one scholarly position; the reference account notes opposing interpretations and data-inference issues.", "required_edit": "Made: qualified the frequency discussion by its preference-distribution assumptions and acknowledged empirical disagreement." }, { "material_claim": "The fairness, legitimacy, and procedural evaluation questions are normative teaching prompts, not historical claims or conclusions proved by the cycle.", "source_title": "Revised article framing; Arrow's Theorem", "source_url": "https://plato.stanford.edu/entries/arrows-theorem/", "exact_location": "Article §§2, 4, and 6; Morreau §1 reports competing interpretations of the normative implications of Arrow's theorem.", "relationship": "context_only", "finding": "The prompts are clearly labeled as questions. The revised exposition separates the mathematical finding from normative evaluation and avoids describing a contested interpretation as consensus.", "limitation": "Editorial questions are not claims established by the cited sources.", "required_edit": "Made: labeled fairness/legitimacy matters as normative discussion rather than mathematical conclusions." }, { "material_claim": "The dataset entry's date_verified and references match the revised article's Further Reading links in order.", "source_title": "Matching Condorcet Paradox data record", "source_url": null, "exact_location": "Read-only data/experiments.json object with id condorcet-paradox and revised article §9, compared after the edit; reference order is the same and the patch sets date_verified to 2026-11-01.", "relationship": "supports", "finding": "All six proposed reference URLs match the revised article's Further Reading URLs exactly and in the same order. The patch has the matching id and date_verified 2026-11-01; the source descriptions distinguish a primary historical text from secondary reference and scholarly sources.", "limitation": "Metadata reconciliation only; the dataset file remains unchanged and the patch is a local proposed patch, not applied data.", "required_edit": "Made: created the local data-patch file; did not modify data/experiments.json." } ], "unresolved_limits": [ "The primary French essay was consulted only at the relevant passage in OCR text, not as a complete work or by inspection of the corresponding facsimile pages; the OCR may contain errors.", "The article's three-voter table is an educational presentation of the standard cycle and is not claimed as a verbatim reproduction of Condorcet's exact original example.", "The empirical frequency and practical significance of Condorcet cycles remain debated; this review read selected sources rather than an exhaustive literature review, and underlying elections often lack complete pairwise preference data.", "Different voting rules handle cycles in different ways; the article names representative principles but does not survey all resolution methods or settle their merits.", "No human subject-matter expert reviewed this entry." ] } ] }