The theory of logical types I summarized in this post opens up a lot of useful doors once you understand that it’s an error to try to compare a member of a class with its class—for example, an individual’s behavior with his family’s behavior, or the family’s with the community’s. It’s not that they’re different, it’s that they exist on an entirely different order of magnitude. The system “Paul” is not composed on the same components nor subject to the same feedbacks as the system “Paul’s family including Paul.” They are playing on very different fields, and by very different rules.
( Read more... )