Subtyping and Multiple Realization
As many of you may know, I have been thinking about the following problem for a while: Suppose that scientists discover a high level property G that is prima facie multiply realized by two sets of lower level properties, F1, F2, …, Fn, and F*1, F*2, …, F*m. One response …