Objective Meaning of Logical Knowledge

摘要

Logic, same as other sufficiently developed sciences, features two types of knowledge: empirical and theoretical. At the empirical level a distinction is drawn between objects described by logical and non-logical terms. It is possible to divide the first group further, into those that describe objective reality and those that describe cognition. The second group consists of those designating or denoting objects, their properties and relations, including functional ones. The main feature of theoretical knowledge is that it deals with models of the objects studied. A model is an object that is similar to the original object, but simplified, and serves the purpose of cognition. Systems of modal logic are built upon models of empirical objects.