Page:An Investigation of the Laws of Thought (1854, Boole, investigationofl00boolrich).djvu/237

CHAP. XIV.] and this is the form of reduction sought. Now according to the principle asserted in Prop, ., Chap, ., the whole relation connecting any particular set of the symbols in the above equation may be deduced by developing that equation with reference to the particular symbols in question, and retaining in the result only those constituents whose coefficients are unity. Thus, if $$\scriptstyle{x}$$ and $$\scriptstyle{y}$$ are the symbols chosen, we are immediately conducted to the equation whence we have  with the interpretation, If gravitation is necessarily present, matter is not a necessary being. Let us next seek the relation between $$\scriptstyle{x}$$ and $\scriptstyle{w}$. Developing (1) with respect to those symbols, we get The coefficient of $\scriptstyle{xw}$, and it alone, reduces to unity. For $\scriptstyle{t\bar{v}\bar{z}\bar{y}+t\bar{v}z\bar{y}=t\bar{v}\bar{y}}$,|undefined and $\scriptstyle{tv\bar{y}+t\bar{v}\bar{y}=t\bar{y}}$,|undefined and $\scriptstyle{\bar{t}\bar{y}+t\bar{y}=\bar{y}}$,|undefined and lastly, $\scriptstyle{y+\bar{y}=1}$. This is always the mode in which such reductions take place. Hence we get

of which the interpretation is, If motion exists, matter is not a necessary being. If, in like manner, we develop (1) with respect to $$\scriptstyle{x}$$ and $\scriptstyle{z}$, we get the equation

with the interpretation, If matter is a necessary being, the world is merely material, and without a presiding intelligence.