Superveniencia, propiedades maximales y teoría de modelos (Supervenience, Maximal Properties, and Model Theory)

We discuss and analyze two reductive arguments due to Jaegwon Kim and Theodore Sider respectively. According to the first one, strong supervenience would imply necessary coextension of properties (i.e., reduction). According to the second, this would be also the case of global supervenience. Kim and Sider make essential use of their respective notions of maximal properties, which we analyze here in the light of a natural and interesting interpretation of the underlying theory of properties. Under this interpretation, in terms of model theory (see § 4), we obtain different possibilities of formal relations between the superveniencie theses and reduction, depending on the logic we use. Under at least one interesting interpretation, the arguments of Kim and Sider are not correct and we become the conclusion that these arguments are not valid in general.