Consequences and Design in General and Transcendental Logic

Abstract

In this article, I consider Kant's dichotomy between general and transcendental logic in light of a retrospective reconstruction of two approaches originating in 14th century scholasticism that are used to demarcate formal and material consequences. The first approach (e. g., John Buridan, Albert of Saxony, Marsilius of Inghen) holds that a consequence is formal if it is valid-because of its form only-for any matter. Since the matter of a consequence is linked to categorematic terms, its formal validity is defined as being invariant under substitutions for such terms. According to the second approach (e. g., Richard Billingham, Robert Fland, Ralph Strode, Richard Lavenham), the validity of a formal consequence stems from the formal understanding of the consequent in the consequence's antecedent. I put forward the hypothesis that in his logical taxonomy, Kant attempted to reconcile the substitutional interpretation of formal consequences and a formal analysis of the transcendental relations of objects of experience. However, if we interpret the limitations imposed by transcendental logic on the power of judgement in the spirit of the scholastic ontology of transcendental relations, it would contradict Kant's critique of dogmatic ontology. Following in Luciano Floridi's path, I thus propose to consider transcendental logic, not as a system of consequences equipped with ontologically grounded transcendental limitations, but rather as the logic of design. The logic of design has the benefit of enriching traditional logical tools with a series of notions borrowed primarily from computer programming. A conceptual system designer sets out feasibility requirements and defines a system's functions that make it possible to achieve the desired outcome using available resources. Kant's project forbids a dogmatic appeal to the transcendental relations and eternal truths of scholasticism. However, the constitutive nature of the rules of transcendental logic in regard to the power of judgement precludes the pluralism of conceptual systems that can be interpreted within possible experience. Thus, the optimisation problem of finding the best conceptual design from all feasible designs is beyond the competence of transcendental logic.