Truth and justification for deductive systems: on the primary postulates and analyticity of justifications

Abstract

The concept of analyticity plays an important role in establishing truths. Both in the traditional logic of terms and modern logic of predicates, similar approaches are used to reconstruct the idea of reliable substantiation. Kant used the categories of synthetic a priori, Frege relied on the features of terms (individual constants and functions) to formulate the conditions for the application of definitions. As a result, primary statements as the begining for substantiation presuppose the existence and uniqueness of a defined subject (definite descriptions), similar to the localization of objects in space and time by Kant’s synthetic apriori judgments.