Platonism (about logic/mathematics)

Platonism about logic and mathematics says that facts like "no contradiction is true" or "2+2=4" are not human inventions, conventions, or even features of how minds happen to think — they are mind-independent abstract facts, discovered rather than made, true whether or not any mind ever existed to notice them.

The attraction is straightforward: it makes sense of why mathematical and logical truths feel necessary and non-negotiable in a way conventions never do. The classic cost, raised sharply by Paul Benacerraf, is epistemic: if these facts are abstract — not located anywhere, not causing anything — how do physical, causally-embedded human minds ever reliably come into contact with them well enough to know about them? Rival views (conceptualism, conventionalism, theistic conceptualism) each try to keep logic's necessity while closing that access gap differently.