The concept of type-values and token-values, as discussed by Søvik and Eikrem, can be understood in the context of the distinctions often made in study concerning values and identities. Here, I'll summarize the distinction and provide examples extracted from relevant sources and general interpretations:

Type-Values

Type-values refer to general categories or kinds of value that multiple instances can belong to. They are abstract and not tied to specific instances.

Examples:

1. Moral Goodness: This is a general category of value that can be ascribed to various actions, intentions, or characters.
2. Beauty: As a type-value, beauty can apply to various objects, art forms, or experiences.
3. Justice: This type-value can be related to laws, policies, and behaviors that are fair and equitable.

Token-Values

Token-values are specific instances or occurrences that fall under a type-value.

Examples:

1. A Specific Charitable Act: This can be an instance (token-value) under the type-value of moral goodness.
2. A Particular Painting: A specific work of art that is beautiful would be a token-value of the type-value of beauty.
3. A Fair Legislative Act: This is a specific instance of justice as a type-value.

Source

For a deeper dive into this topic along with their specific discussions and analyses, you can refer to a detailed reply in their text "Evolutionary Theodicy and the Type-Token Distinction" PDF.

In this context, Søvik and Eikrem argue about the role of such values in evolutionary theodicy, discussing how particular instances and general categories interact within moral discourse.

Visual Representation

To illustrate the concept, here's a visual representation to differentiate type-values and token-values:

For more in-depth examples and discussions, refer to specific texts and analyses within the philosophy and theology domains focusing on values and ethics.