Since each of φ1 and φ2 fixes an n-ary truth-function of the variables involved, and these truth-functions are distinct (since φ1 and φ2 were to be non-equivalent) the above Vf / Vg application of Rautenberg's result tells us that neither of ⊢1, ⊢2, is included in the other.
On the one hand, this proposal is in tension with the idea that necessarily coextensive properties may be distinct since they can confer different causal powers on their instances (Sober 1982 contains a strong argument that this can happen, though the jury is probably still out on this issue).
There is now a small body of research suggesting the hardwiring of psychopaths might be distinct, since a lack of empathy actually shows up on MRI scans.
Our data indicate that the genetic underpinnings responsible for PHP and PHD are distinct, since three conditions that block PHP have no impact on PHD.
This is consistent with mismatch analysis, and such an expansion may have occurred via the Tifton uplift in southern Georgia or the Ocala uplift in northern Florida, both thought to have been distinct since the Eocene [ 22].
Our novel findings are distinct since we show that IL-10−/− mice maintain a reduced bacterial load in the lung and spleen during Mtb infection, which was independent of the genetic background studied.
The FM group was distinct since they had widespread pain complaints, the highest Systemic Complaints scores, the lowest pain thresholds, and highest numbers of tender points of the 3 groups.
Thus, microtubule association and regulation may be a common feature of both proteins; however, their functions at microtubules appear to be distinct since the RanBP10 knockout mouse platelet microtubule defects are not compensated for by RanBPM (Kunert et al., 2009; Meyer et al., 2012).
When I asked an engineer friend who builds "developer tools" for his definition, he noted that a tool is distinct from a product, since a product is "experienced rather than used".
Our in vitro model is distinct from other systems since RA promotes expression of all UPs, together with developmental markers of the definitive endoderm in both a temporal and concentration-dependent manner in vitro.
