in it , he had attempted to prove , through derivations and symbolic logical operations , that when the rules of lewis system were applied to propositional operations that included an existential instantiation from russells system , the resulting instantiated variable must indeed exist , at least as far as the concept of existence had any meaning within the proposition .