Playground
Write a note and read its reasoning.
Socrates argues that life returns from death. Follow his argument, then ask whether survival is enough to show that a soul can never perish.
Something to tryTry granting the conclusion about survival. Does the final, stronger claim follow?
A reconstruction of Phaedo 70c–72d, followed by our own objections. The exhaustion argument is read as an independent reason; it could instead support the principle about opposites. “Cyclical” refers to coming to be, not circular reasoning. The later comparison with Cebes is labelled in the note.
Download the note ↓A familiar choice, with one moral premise made visible. The objection questions the step from counting lives to deciding what to do.
Something to tryWhich assumption would you question first: the predicted outcome, or the moral premise?
A deliberately bounded switch case: the outcomes are certain and there is no third option. These are stipulations of the example. It presents one line of reasoning, not a resolution of the trolley problem.
Download the note ↓An incident report explains a failure. A week later, the team uses the same evidence to propose a fix. Has the evidence earned that new conclusion?
Something to tryOpen the later discussion. Compare the objection to the log timestamps with the objection to increasing the pool size.
A fictional incident. The report is quoted separately from our reconstruction. Reusing the logs keeps one shared observation, while the new support for the proposed fix is a separate connection. The local text beside a use is a note about this discussion.
Download the note ↓A surprising result admits more than one explanation. Two observations work together, another stands on its own, and some checks remain open.
Something to trySuppose the controls used a different reagent lot. Which part of the explanation needs another look?
A fictional lab run. Weak controls implicate the reagent only with the shared-lot premise. Overnight storage is a separate reason; the plate-position effect offers an alternative. The note leaves the follow-up experiment open.
Download the note ↓A short first note for writing, moving, and reading back one small argument.
Tab indents and Shift-Tab outdents. Shift-arrow selects text. Cmd/Ctrl-Shift-[ folds a passage; Cmd/Ctrl-Shift-] unfolds it. After [, choose a mark; after @, choose a name. Tab or Enter takes a suggestion. Press Escape, then Tab, to leave the editor. Two idle Escapes switch Vim keys on or off; Edit has the same setting.
A strand runs from a conclusion down through what rests on it: grounds, objections, and objections to the step. Choose a line to find where it was written.
How each line became points and connections, and why a line made none. It explains compilation, not the quality of the reasoning.
Written references
Only written references are listed. Locations select their whole source block, not a name token.
Inspect
Key
supportschallengesanswers · responds toconcerns · clarifiesfrom the outline or a local Bearingwritten beneath, states no relationDrag a mark to arrange it; pinch to zoom. Arranging changes only the drawing. Right click or hold a mark for source and revision options.