{
  "title": "Galileo’s tied-stones argument: logic check",
  "description": "Check of the tied-stones argument in Galileo's Two New Sciences (1638), First Day, as translated by Crew and de Salvio (1914), pp. 62-64. Premises P1 to P4 as stated on the page; two independent methods: every weak ordering of the three speeds (13 orderings) and every integer case with weights 1 to 6 and speeds 1 to 12 (25,920 cases). No case satisfies P1 and P2 together; each premise alone is satisfiable; with the weaker rule (a heavier body is never slower) every satisfying case gives the heavy and light stone the same speed. Also records the dialogue's own speeds of eight and four (p. 63). Compiled 2026-10-31. License CC BY 4.0.",
  "license": "CC BY 4.0",
  "license_url": "https://creativecommons.org/licenses/by/4.0/",
  "creator": "Puzzles, Charts & Dilemmas",
  "page": "https://puzzleschartsanddilemmas.com/thought-experiments/galileo-falling-bodies/",
  "derived_from": [
    "Galileo, Dialogues Concerning Two New Sciences, trans. Henry Crew and Alfonso de Salvio (New York: Macmillan, 1914), First Day, pp. 61-65, 72, 75-76 (public domain), https://archive.org/details/dialoguesconcern00galiuoft"
  ],
  "method": "Compiled by Puzzles, Charts & Dilemmas from the data listed"
}