The observational predicate calculus and complexity of computations (Preliminary communication)