Logical Thinking About a Future Society