Investigations into the Predicate Calculus