Doctrine of formal logic being a translation of the first section of the Subjective logic