engleski

Logical laws in a formalization of a Kantian concept theory

We reconstruct the logical role of the laws of non-contradiction, sufficient reason and excluded middle for a formalized theory of concepts as it can be established and formalized on the basis of Kantian conceptions of “general” and transcendental” logic. We further develop the approaches of (Kovač 2013, 2015), and show, in particular, that features of justification logic (contained in the logic of “hypothetical judgment”) should be assumed to enable the derivability within the concept theory. A semantic labelled tree structure is used for modeling the resulting formal concept theory. The role of subject-predicate distinction is commented on with respect to its role in defining logical opposition and in the avoidance of logical and semantic antinomies.

formal system, logical laws, forms of judgment, Kant, justification

nije evidentirano