Hume diskuterer problemet i bog III, del I, sektion I af hans A Treatise of Human Nature.
“In every system of morality, which I have hitherto met with, I have always remark’d, that the author proceeds for some time in the ordinary ways of reasoning, and establishes the being of a God, or makes observations concerning human affairs; when all of a sudden I am surpriz’d to find, that instead of the usual copulations of propositions, is, and is not, I meet with no proposition that is not connected with an ought, or an ought not. This change is imperceptible; but is however, of the last consequence. For as this ought, or ought not,that expresses some new relation or affirmation, ’tis necessary that it shou’d be observ’d and explain’d; and at the same time that a reason should be given; for what seems altogether inconceivable, how this new relation can be a deduction from others, which are entirely different from it.”
Hume mener ikke, at man kan slutte en moralsk proposition (en der indeholder bør), fra en deskriptiv proposition (en der indeholder er).
Overvej dette argument:
- Alle Emil’s overbevisninger er sandt.
- Det er Emil’s overbevisning at man bør bruge Google.
- Det er sandt, at man bør bruge Google. (1, 2)
- Man bør bruge Google. (3)
Problem?
Hvis det er sandt, at man ikke kan slutte bør fra er hvor er så bør-præmisset i dette argument? Vi ved at argumentet er logisk gyldigt og vi antager at præmisserne er sande.
Man kunne måske mene, at der er tale om en semantisk illusion, og at der virkelig er et bør-præmis. Det ville nok være bedst, i så fald, at analysere (2). Måske kan lidt doksastisk logik hjælpe?
(2) Det er Emil’s overbevisning at man bør bruge Google.
Omskrives til:
(2′) Bx(∀O(G))
Dermed ligger bør-præmisset skjult bag ‘Emil tror’. Hvis alt Emil tror, er tilfældet, så må det være tilfældet, at (∀O(G).
Mere præcist, så fortæller (1) at alle overbevisninger som Emil har er sande. ∀Bx=T. Dermed ved vi, at alle bør bruge Google er sandt (∀O(G)=T. Og da påstanden at P er sand, er det samme som at hævde P, så må påstanden ‘alle bør bruge Google er sand’, være det samme som alle bør bruge Google.