Neste artigo, pretendo explicitar o papel da lógica formal no projeto crítico kantiano. No tratamento dessa questão, abordarei a relação entre a lógica formal, frequentemente chamada por Kant de lógica geral, e a lógica transcendental. Assumirei a tese de que a lógica formal e a lógica transcendental são duas ciências racionais puras, distintas, independentes, porém, com conexões entre si, a despeito das leituras que sugerem que a lógica transcendental substitua a (...) lógica formal ou que a lógica formal mantenha a sua existência, devendo, no entanto, ser subordinada à lógica transcendental. Na caracterização da lógica formal, utilizarei, sobretudo, a Jäsche-Logik. Quanto à lógica transcendental, exposta na Kritik der reinen Vernunft, irei me servir da leitura semântica de Loparic para tratar do conhecimento metafísico da natureza. Inicio o artigo apontando a proximidade de Kant com a lógica formal e o seu emprego na elaboração do projeto crítico. (shrink)

In the 1950s, some philosophers of GDR attempted to incorporate advances in logical formalization to scientific study in the countries of the former socialist bloc. In the present article are collected their reflections.

1. Da Leibniz a Kant.--2. L'algebra della logica.

Este artigo visa esclarecer a relação entre a lógica formal e a lógica especulativa. Esta relação é tal que entre os dois tipos de lógica há um desenvolvimento interno na direção de uma única noção, ou seja, a de forma lógica. Tomarei como ponto de partida a análise da lógica de Wolff e mostrarei que esta é já uma lógica que vai além do sentido meramente formalista dessa disciplina, na medida em que está (...) já voltada para a objetividade. Na viragem transcendental kantiana há, por sua vez, uma tentativa de passar das determinações conceituais abstratas para o desenvolvimento de determinações orientadas para os objetos de conhecimento e, assim, para o conteúdo do próprio conhecimento. Finalmente, o projeto lógico hegeliano é tal que não implica a saída das malhas da rede conceitual da lógica formal e transcendental, mas a investigação dessas malhas de modo a delinear a estrutura interna de cada um dos nós da rede. Mais especificamente, Hegel pretende desenvolver uma noção de forma lógica que não mais é limitada e dependente de um conteúdo externo a ela, porque é uma forma absoluta, ou seja, uma forma capaz de gerar o seu próprio conteúdo através do desenvolvimento da sua dialética imanente. (shrink)

1. Da Leibniz a Kant.--2. L'algebra della logica.

El tema de la presente reflexión es, por una parte, la Fenomenología genética de Edmund Husserl, desarrollada en gran medida en Lógica formal y lógica trascendental de 1929; por otra, la llamada Fenomenología trascendental frente a la Filosofía kantiana en la Crítica de la razón pura (1973). Aborda el problema del origen del conocimiento junto a su legitimación y el problema de la validez. El propósito aquí es explicar el origen del conocimiento desde el análisis de la (...) experiencia y/o la intencionalidad según la posición de Husserl, en estos términos las referencias a la lógica y a las matemáticas son constantes. (shrink)

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. (shrink)

Livro-texto de introdução à lógica, com (mais do que) pitadas de filosofia da lógica, produzido como uma versão revista e ampliada do livro Forallx: Calgary. Trata-se da versão de 13 de outubro de 2022. Comentários, críticas, correções e sugestões são muito bem-vindos.