Hume's Principle, which grounds the Precedes relation via equinumerosity, is a material abstraction principle, not a logical truth, as George Boolos argued in 'Is Hume's Principle Analytic?'.

?Rate how convincing each reason is below to see the overall strength.

No one has weighed in yet. Be the first to share reasons for or against this statement.

George Boolos(as the philosopher who challenged Hume's Principle's status): An American philosopher and logician (1940–1996) who wrote influential papers about mathematical logic, philosophy of mathematics, and what counts as truly logical versus empirical truths.
Hume's Principle(Philosophy of mathematics, neo-logicism): A principle codifying the condition under which two concepts are equinumerous, namely when the number of objects falling under each concept is identical
Material abstraction principle(as the classification of what Hume's Principle is): A rule about how we form general ideas by drawing from real, physical facts about the world—rather than being true just from pure logic alone.
Precedes relation(as what Hume's Principle supposedly explains): A logical relationship where one thing comes before or is ordered earlier than another thing.

Based on where you are in your exploration