A definition makes a claim about every case
To say a thing is good exactly when it is pleasant is a biconditional. It is true or false of each case you can describe, so a single case where the two come apart is enough to refute it.
A definition of “good” predicts, for every case you can describe, whether it is good. Write the cases as a table, evaluate a candidate definition on every row, and classify each disagreement as too broad or too narrow. The lab also searches for the short formulas that fit the cases you accept.
Core ideas
The method is the one used for any definition: propose, then try to break it with a case. The three ideas below say what counts as breaking it.
To say a thing is good exactly when it is pleasant is a biconditional. It is true or false of each case you can describe, so a single case where the two come apart is enough to refute it.
A definition is too broad when it counts a case good that the table says is not, and too narrow when it leaves out a case the table says is good. It can be both, and the two repairs pull in opposite directions.
The case table is judgment, not measurement. You may reject a verdict, but you then owe a reason, and the lab shows what the other cases cost you when you do.
The material
Four conditions, five cases, and two candidate definitions.
G. E. Moore’s open question argument starts from a contrast. If “a bachelor is an unmarried man” is a real definition, then asking of an unmarried man whether he is a bachelor is a closed question: no competent speaker can sensibly doubt it. But asking of a pleasant thing whether it is good is open. Someone who asks it is not confused. So “good” does not simply mean “pleasant”.
The lab does not run that test. It runs the method the test motivates, which is the method of cases: describe a case, settle its verdict before consulting any definition, and see which definitions agree.
A proposed definition is a formula in the conditions P (pleasant), D (desired), A (authentic: the person’s beliefs about the life are true) and H (harmless to others). It fits a case when the formula is true exactly when the case is good.
Five cases, with each condition marked 1 if it holds and 0 if not, and the verdict the case table records.
Test hedonism, “good = pleasant”, which is the formula P. It is true of the good life, and of the experience machine and the satisfied sadist, which the table says are not good: too broad. It is false of the hard-won project and the unwanted cure, which the table says are good: too narrow. It fits only the first case. The lab calls it too broad and too narrow.
Desire fares differently. “Good = desired”, the formula D, fits the good life and the project but is too broad on the machine and the sadist and too narrow on the cure. A different shape of failure, from different cases.
The pairs search then asks which conjunctions or disjunctions of two conditions fit all five cases. It finds A ∧ H: good when the life is authentic and harms no one. That is a candidate, and a modest one. It fits these cases, and a sixth case could break it. A philosopher would also ask whether it still passes the open question.
What if you reject a verdict? The hedonist can say the machine life is good. In the lab, click that verdict and change it. Hedonism then fits two cases instead of one, and it still fails on the other three. Rejecting a verdict is allowed, but it is a specific move with a specific price, which is what makes it different from a shrug about taste.
The limit is stated once. The lab checks formulas against the table you give it. It does not decide which cases belong in the table, or whether four conditions are the right ones to describe a life.
Interactive
A definition tested against every case in the table
Method
Settle the cases first. A definition judged before the cases is a definition judged on how it sounds.
Choose the conditions the definition is built from and mark each case 1 or 0 on each condition. A case is one row.
Decide whether the case is good before looking at any definition. The verdict column is your data, and it is allowed to be disputed later.
Compute the formula’s value for each case and mark the rows where it differs from the verdict.
Definition says good, table says not: too broad. Definition says not, table says good: too narrow. Report the first row of each kind.
Either revise the definition to fit the cases, or defend the verdict you are refusing. Both are legitimate; the second needs a reason beyond the definition.
Evaluate the formula P on each row and compare it with the verdict.
One agreement in five, with failures in both directions. The machine is the classic case: pleasant, desired by the user, not authentic. The search finds A ∧ H as a fit to all five, which is why the lab reports a candidate rather than a definition.
Given a definition and a table of cases, you should be able to evaluate the definition on every row, name each disagreement as too broad or too narrow, and say whether you would revise the definition or dispute the verdict.
Something to change about this lesson? Write it down, tick it off when it is handled, and export the list when you want to act on it. Kept in this browser only: nothing is sent anywhere, and nobody is notified.
No recommendations yet for this lesson.