La legge di Hume (anche detta problema dell'essere e del dover essere, in inglese Is–ought problem) è un principio filosofico metaetico formulato dal filosofo scozzese David Hume, per il quale bisogna operare in ogni momento la distinzione e la separazione tra «ciò che è» e «ciò che deve essere»; in termini più formali, quindi, nell'economia di un discorso vanno separate le proposizioni descrittive (ovvero che dichiarano ciò che una cosa è) da quelle prescrittive (ovvero ciò che deve essere), rimarcando che filosofi, soprattutto della morale, in passato hanno trasformato l'iniziale è nel deve, mutando quindi la descrizione in un precetto. Considerando ciò un errore, la legge di Hume vieta il salto logico tra proposizioni indicanti fatti (l'essere, in inglese is, in tedesco Sein) e proposizioni indicanti valori (il dover essere, in inglese ought, in tedesco Sollen). Questo risultato pone i fondamenti dello sviluppo, nel XX secolo, della metaetica analitica, e verrà ripreso da George Edward Moore nella formulazione del principio di fallacia naturalistica. La formulazione della legge si trova nel Trattato sulla natura umana, libro terzo, sezione prima:

Impressione è un termine utilizzato da David Hume (1711-1776) per distinguerla dalla sensazione in sé. Il filosofo empirista inglese se ne serve nella sua analisi del rapporto tra pensiero e realtà materiale ossia tra idea e impressione.

David Hume Pinsent (pronuncia: /ˈpɪnˌsɛnt/; Birmingham, 24 maggio 1891 – Farnborough, 8 maggio 1918) è stato un filosofo britannico, collaboratore e amico di Ludwig Wittgenstein.

David Hume (Edimburgo, 7 maggio 1711 – Edimburgo, 25 agosto 1776) è stato un filosofo scozzese. È considerato il terzo e forse il più radicale dei British Empiricists ("empiristi britannici"), dopo l'inglese John Locke e l'anglo-irlandese George Berkeley.