If determinable instances and determinate instances were token-identical, then determinable instances would be associated with more powers than are associated with their determinable type.
determinate(Contrasted with determinables; taken to be independently posited in the causal/ontological economy)
A maximally specific instance of a determinable property (e.g., scarlet as a determinate of red)
powers(Distinguished from sensible qualities to argue that causal necessity is never directly perceived.)
The underlying causal capacities of bodies by which they produce effects, held to be entirely unknown and unobservable.
type(Epistemic type spaces in multi-agent belief systems)
A structured object of the form ⟨f₀, f₁, …⟩ containing some fₙ for every natural number n, used to represent an agent's full hierarchy of informational attitudes.
Wilson (2012) moreover argues, contra MacDonald and MacDonald (1986), Ehring (1996), and others, that determinables and determinates are token-distinct, since if they were token-identical, then determinable instances would be associated with more powers than are associated with their type—but that would be reason for denying that the instance was of the determinable type. This consideration also pushes against taking determinable types to be metaphysically reducible to (identified with) disjun