formally in systems of second-order logic. Hume's principle is named for the Scottish philosopher David Hume and was coined by George Boolos. HP plays...

of Hume, were often critical of Hume's scepticism. Reid formulated his common sense philosophy, in part, as a reaction against Hume's views. Hume influenced...

restricted to a proof of Hume's principle; it is from this, in turn, that arithmetical principles are derived. On Hume's principle and Frege's theorem, see...

can be put into one-to-one correspondence—this is sometimes known as Hume's principle. This definition works in type theory, and in set theories that grew...

inconsistency by replacing one of its axioms, the notorious Basic Law V with Hume's Principle. The resulting system has since been the subject of intense work.[citation...

Peano axioms of arithmetic can be derived in second-order logic from Hume's principle. It was first proven, informally, by Gottlob Frege in his 1884 Die...

then derivable in second-order logic from Hume's principle. He gives informal arguments that (i) Hume's principle plus second-order logic is consistent,...

coherently transition from descriptive statements to prescriptive ones. Hume's law or Hume's guillotine is the thesis that an ethical or judgmental conclusion...

relation on the type of entities ranged over by α and β. For instance, Hume's principle, and Basic Law V. accessibility relation In modal logic, a relation...

which can be asserted without evidence can be dismissed without evidence. Hume's guillotine: What ought to be cannot be deduced from what is; prescriptive...