  The objection recognizes moral truths, but rejects the idea that reality contains moral facts for moral truths to correspond to. Logic provides another example of a domain that has been “flagged” in this way. The logical positivists recognized logical truths but rejected logical facts. Their intellectual ancestor, Hume, had already given two definitions of “true”, one for logical truths, broadly conceived, the other for non-logical truths: “Truth or falsehood consists in an agreement or disagreement either to the real relations of ideas, or to real existence and matter of fact” (Hume, Treatise, 3.1.1, cf. 2.3.10; see also Locke, Essay, 4.5.6, for a similarly two-pronged account but in terms of object-based correspondence).