While supervenience, and more generally modal, definitions of physicalism are attractive, they do raise problems of a difficult nature such as the blockers problem and the sufficiency problem.
In the future, however, it would seem to me to be a good idea to think at least about the following: (a) The contrast between modal and non-modal definitions of physicalism.
But, the suggestion continues, modal definitions inevitably face problems of this sort.
When Locke defines the states of nature, slavery and war in the Second Treatise of Government, for example, we are presumably getting precise modal definitions from which one can deduce consequences.
For example, the conventional definition of modal parameters is invalid for LTV systems.
But the most significant difference, and the one that makes it possible to prove completeness for the modal system, is the definition of validity not as truth in all worlds of a maximal structure of worlds, but as truth across all the subsets of the maximal structure.
Validity can also be defined for various modal predicate logics by combining the definition of LPC-validity given earlier (see above Validity in LPC) with the relevant accounts of validity for modal systems, but a modal logic based on LPC is, like LPC itself, an undecidable system.
Covet modal racerback dress... is this the definition of style in comfort or what?
Specifically, this study is a RCT of a multi-modal exercise intervention, based on a broad definition of fitness which includes motor (balance, co-ordination, agility, proprioception, flexibility and reaction time) [ 12] and physical (cardiovascular and resistance) components.
