Logical omniscience is usually thought as a big problem faced by standard modal or epistemic logic study, or its application in areas like distributed artificial intelligence research. However, by arguing with the question how or under what senses it's raised as a problem, we find this problem is just declared unclearly, or even improperly. That is, in some sense, it's just a problem given by some scholars fundamental-confusedly and so invalidly. Hence, if there's some problem there, it must be some problem else, but definitely not that logical omniscience problem, because there are no proper grounds for us to declare this problem upon.
展开▼
