Pensar como operación – Acerca de los presupuestos e implicaciones de la lógica formal moderna

La lógica formal no es una ciencia que se encuentre libre de presupuestos. Más bien, su representación de la forma lógica se basa en presupuestos a los cuales la lógica misma no llega. Este artículo se propone aclararlos. Para ello, en un primer momento, consideraremos las determinaciones fundamentales de la forma lógica. En un segundo paso, esta consideración será profundizada a partir del análisis del concepto lógico-formal de “concepto”. Con él se plantean problemas que hacen necesario avanzar en la reflexión sobre la forma lógica. Ese avance necesario es la lógica trascendental en el sentido en el que la entiende Kant. /// Formal logic cannot claim to represent a presuppositionless science. In fact, its account of logical form rests upon a set of presuppositions, which is not justified within logic itself. This article shall elaborate on this in two steps. First, we shall highlight the primal determinations in formal logic’s account of logical form. Second, we shall deepen this with regard to the account of the concept. In doing so, we will encounter systematic problems, the resolution of which necessarily gives rise to a genuine self-reflection of logical form, which is transcendental logic in terms of Kant. /// Formale Logik ist keine voraussetzungsfreie Wissenschaft, sondern ihre Darstellung der logischen Form beruht auf Voraussetzungen, die sie selbst nicht einholt. Der Aufsatz soll dies verdeutlichen. Dazu werden in einem ersten Schritt die grundlegendsten Bestimmungen in der Fassung der logischen Form vergegenwärtigt. In einem zweiten Schritt wird dies mit Blick auf den formallogischen Begriff des Begriffs vertieft. Dabei treten systematische Probleme auf, deren Auflösung einen Fortschritt in der Selbstreflexion der logischen Form nötig macht: die transzendentale Logik im Sinne Kants.