Hume's principle or HP says that, given two collections of objects F {\displaystyle {\mathcal {F}}} and G {\displaystyle {\mathcal {G}}} with properties...

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...

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...

('the number of...', or N x : F x {\displaystyle Nx:Fx} ), relying on Hume's principle. However, Frege's work was short-lived, as it was found by Bertrand...

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...

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,...

answering to every unit of the other, we pronounce them equal", now called Hume's principle, which was used extensively by Gottlob Frege later during the rise...

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...

have abandoned Basic Law V in favor of abstraction principles such as Hume's principle (the number of objects falling under the concept F equals the number...

precisely if they are isomorphic as objects in Set. Combinatorial class Hume's principle Suppes, Patrick (1972) [originally published by D. van Nostrand Company...

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

of the known paradoxes. The most cited candidate to replace BLV is Hume's principle, the contextual definition of '#' given by '#F = #G if and only if...

interval level variable. Cohen's kappa Coherence (units of measurement) Hume's principle Inter-rater reliability Logarithmic scale Ramsey–Lewis method Set theory...

one-to-one correspondence is today known as Hume's principle, although Hume, like Galileo, believed the principle could not be applied to the infinite. The...

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...

correspondence. This (purely definitional) assumption is sometimes known as Hume's principle. As Frege said, "If a waiter wishes to be certain of laying exactly...

"independent logical principle". Russell found: "Hume's skepticism rests entirely upon his rejection of the principle of induction. The principle of induction...

the content of a judgment involving numerical identity by relying on Hume's principle (which states that the number of Fs equals the number of Gs if and...

In logic, the law of excluded middle or the principle of excluded middle states that for every proposition, either this proposition or its negation is...

problem-solving principle that recommends searching for explanations constructed with the smallest possible set of elements. It is also known as the principle of parsimony...

Subjects (1739–40) is a book by Scottish philosopher David Hume, considered by many to be Hume's most important work and one of the most influential works...

necessity. Hume's dictum is a thesis about necessary connections between distinct entities. Its original formulation can be found in David Hume's A Treatise...

deduction." She ends with a discussion of Hume's implicit sanction of the validity of deduction, which Hume describes as intuitive in a manner analogous...

acknowledged Hume's assistance "in the background" and, after their contact was exposed (in April 1993, Adams had been spotted going into Hume's house in...

important aspects. For example, Hume's views on personal identity do not appear. However, more vital propositions, such as Hume's argument for the role of habit...

Philosophy. New York: St Martin's Press. p. 156. Despite Hume's radical empiricism, set forth near 1740, Hume was also committed to common sense and apparently...

even more severe than Hume thinks. Hume claims that this instance is 'singular', but Alexander Broadie writes: The reason Hume's instance is not singular...

Miracles" is the tenth section of David Hume's An Enquiry Concerning Human Understanding (1748). In this piece, Hume states that evidence of miracles is never...