Logic of Computer-Based Intrinsic Classifications