Studies in Logical Theory