Logical study of basic truths about knowledge, values, and the world