For 10 points, name this British philosopher who wrote Treatise on Human Nature and An Enquiry Concerning Human Understanding.
George Boolos resolved Frege's fifth Basic Law of arithmetic by replacing it with a logical operation named for this thinker, who asserted that one should believe in a certain event only if a natural cause would be less plausible than divine intervention. This man used the metaphor of a house to explain the argument from design in a work about Pamphilus and Cleanthes, who (*) debate the existence of God. The section "On Miracles" appears in a work by this author of Dialogues Concerning Natural Religion that introduces the dilemma of inducing a moral imperative from a descriptive statement, the is/ought problem. For 10 points, name this British philosopher who wrote Treatise on Human Nature and An Enquiry Concerning Human Understanding.
George Boolos resolved Frege's fifth Basic Law of arithmetic by replacing it with a logical operation named for this thinker, who asserted that one should believe in a certain event only if a natural cause would be less plausible than divine intervention.
David {Hume}