Link to original

Plato was not actually an idealist in the sense that he believed that conscious or mental experience is primary.

Plato takes these ideal forms as starting points. The ideal table is sometimes given as an example, but that’s probably not a core arcchetype of the universe or of god itself, but tables are created by human beings in particular cultural contexts, and they are an archetype in our perception. The way in which we classify the world, there is something like an ideal table. The forms that Plato is talking about are actually dimensions in an embedding space. In some of his texts, he alludes to a world outside of our perception, our mental construction that we experience, and that world is an outside [of our?] simulated world that is isomorphic to the world that we experience in these forms.

Link to original

"Traditional platonism"

A complete metaphysical, epistemological, and ethical package:

Theory of Forms: there are abstract, non-physical, eternal, unchanging entities (the Forms / ideas / eidê). For every kind of thing there’s a Form — the Form of Beauty, of Justice, of Circle, of the Good.

Particulars “participate” in Forms: A beautiful thing is beautiful because it partakes of the Form of Beauty. Physical objects are imperfect, shifting copies of perfect, stable originals.

Forms are more real than particulars.
Ontological hierarchy: Forms > physical things > images/shadows.
Plato’s Cave: what you see with your eyes is the shadow, not the thing.

Forms are accessed by reason, not senses. Episteme (knowledge) is of Forms; doxa (belief/opinion) is of the sensible world. The senses mislead.

The Form of the Good is the highest. Like the sun in the cave: source from which all other Forms derive their reality and intelligibility. Has ethical/political content — only philosopher-kings, who know the Forms, should rule.

Recollection (Meno): learning is remembering Forms the soul saw before birth. Ties to soul’s immortality.

Modern "mathematical Platonism" keeps one thin claim

Mathematical objects (numbers, sets, functions) exist mind-independently as abstract entities; we discover them.