1.3 Lógica 

A Lógica estuda as relações que permitem passar de umas proposições para outras, distinguindo inferências válidas de associações meramente psicológicas, retóricas ou habituais. Não determina, por si só, o que existe; estabelece as condições formais segundo as quais uma conclusão decorre de determinadas premissas.

Numa filosofia relacional, a Lógica não é apenas a ciência da identidade dos termos. É também o estudo das relações entre termos, proposições, argumentos, provas, acontecimentos e contextos de enunciação. A validade formal é indispensável, mas não esgota a verdade, o sentido, a relevância nem o interesse de uma proposição.

1.3.1 Termos, conceitos e juízos

O pensamento lógico começa pela determinação dos termos. Um conceito reúne características, estabelece diferenças e permite reconhecer casos. A definição deve indicar o que uma coisa é sem ser circular, excessivamente ampla ou demasiado restrita.

O juízo relaciona conceitos e afirma ou nega alguma coisa. A proposição é a forma suscetível de ser verdadeira ou falsa; a frase é a sua expressão linguística. A mesma proposição pode ser expressa em línguas diferentes, e a mesma frase pode exprimir proposições diferentes consoante o contexto.

Importa distinguir:

• termo: aquilo que desempenha uma função no enunciado;
• conceito: unidade de significação;
• juízo: ato de afirmar ou negar;
• proposição: conteúdo avaliável como verdadeiro ou falso;
• enunciado: expressão linguística concreta;
• argumento: conjunto ordenado de premissas e conclusão.

1.3.2 Os princípios da lógica clássica

A lógica clássica assenta em princípios que tornam possível a estabilidade da argumentação.

O princípio de identidade, A=AA=A, exige que os termos conservem o mesmo significado durante uma inferência. Não afirma que as coisas reais sejam imutáveis; impede apenas que se altere silenciosamente o sentido das palavras no decurso do argumento.

O princípio de não contradição, ¬(P∧¬P)\neg(P\land\neg P), estabelece que uma proposição e a sua negação não podem ser simultaneamente verdadeiras no mesmo sentido, ao mesmo tempo e sob a mesma relação.

O princípio do terceiro excluído, P∨¬PP\lor\neg P, determina que uma proposição ou a sua negação deve ser verdadeira. Não deve ser confundido com a bivalência, segundo a qual toda a proposição possui exatamente um de dois valores: verdadeiro ou falso.

O princípio da razão suficiente, associado sobretudo a Leibniz, não é uma lei puramente lógica. Afirma que nada acontece sem que possa haver uma razão para ser assim e não de outro modo. Pertence à fronteira entre Lógica, Epistemologia e Metafísica.

1.3.3 Verdade, validade e solidez

Um argumento pode ser formalmente válido e conter premissas falsas. A validade diz respeito à relação entre premissas e conclusão: se as premissas forem verdadeiras, a conclusão não poderá ser falsa.

Um argumento é sólido quando é válido e possui premissas verdadeiras. Deve, por isso, distinguir-se:

• a verdade das proposições;
• a validade das inferências;
• a solidez dos argumentos;
• a relevância das premissas;
• a força persuasiva do discurso.

Uma afirmação pode ser verdadeira, mas irrelevante para o argumento. Pode ser falsa, mas filosoficamente interessante porque revela possibilidades, contradições ou alternativas. A Lógica deve dialogar com a Semântica, a Pragmática e a Retórica sem se dissolver nelas.

1.3.4 Lógica aristotélica — Predicação e silogismo

A lógica aristotélica organiza-se em torno dos termos, das proposições categóricas e dos silogismos. «Todos os homens são mortais; Sócrates é homem; logo, Sócrates é mortal» constitui o modelo clássico de inferência dedutiva.

O silogismo tornou possível uma análise rigorosa da inclusão entre classes e da relação entre universal, particular e singular. Contudo, a estrutura sujeito-predicado encontra dificuldades perante relações como «Pedro admira Maria», «A está entre B e C» ou «X depende de Y».

Uma filosofia relacional não deve abandonar Aristóteles, mas reconhecer que a predicação não representa todas as formas possíveis de relação.

1.3.5 Lógica proposicional e lógica de predicados

A lógica proposicional estuda relações entre proposições mediante operações como negação, conjunção, disjunção, implicação e equivalência:

¬P,P∧Q,P∨Q,P→Q\neg P,\quad P\land Q,\quad P\lor Q,\quad P\rightarrow Q

A lógica de predicados introduz variáveis, predicados e quantificadores:

∀x,∃x,R(x,y)\forall x,\quad \exists x,\quad R(x,y)

Com De Morgan, Peirce, Frege e Russell, a Lógica adquiriu capacidade para formalizar relações de dois ou mais termos. Já não se limita a afirmar que uma propriedade pertence a um sujeito: pode representar dependência, proximidade, sucessão, parentesco, causalidade ou correspondência.

A lógica das relações é decisiva para o Guia. Mostra formalmente que nem todo o sentido pode ser reduzido a propriedades internas de entidades isoladas. Todavia, a existência de uma lógica relacional não demonstra, por si só, uma ontologia relacional: fornece-lhe uma linguagem possível.

1.3.6 Dedução, indução, abdução e analogia

A dedução extrai consequências necessárias de determinadas premissas. Não aumenta necessariamente a informação contida nelas, mas torna explícitas as suas implicações.

A indução parte de casos observados para formular regularidades ou generalizações. As suas conclusões são ampliativas, mas permanecem falíveis.

A abdução, desenvolvida por Peirce, propõe uma hipótese capaz de explicar um acontecimento inesperado. É central na descoberta científica: não prova imediatamente a hipótese, mas indica uma possibilidade digna de investigação.

A analogia transfere relações conhecidas de um domínio para outro. Pode ser fecunda, mas torna-se enganadora quando as semelhanças ocultam diferenças relevantes.

A Heurística necessita das quatro operações: a dedução verifica consequências; a indução reconhece padrões; a abdução inventa explicações; a analogia constrói passagens.

1.3.7 Necessidade, possibilidade, tempo e obrigação

A lógica modal formaliza os modos segundo os quais uma proposição pode ser afirmada:

• necessidade: aquilo que não pode ser de outro modo;
• possibilidade: aquilo que pode ser;
• contingência: aquilo que é, mas poderia não ser;
• impossibilidade: aquilo que não pode ser.

Dela derivam ou com ela se relacionam várias lógicas especializadas:

• a lógica temporal, que formaliza passado, presente, futuro, permanência e sucessão;
• a lógica deôntica, que estuda obrigação, permissão e proibição;
• a lógica epistémica, que representa conhecimento, crença e ignorância;
• a lógica doxástica, centrada nos sistemas de crenças;
• a lógica da ação, que analisa agentes, decisões e consequências.

Estas lógicas são fundamentais para ligar a Heurística à Ética, ao Direito, à História e à Cosmopolítica.

1.3.8 Lógicas não clássicas e pluralismo lógico

A lógica clássica não é o único sistema formal possível. Algumas lógicas modificam determinados princípios para responder a problemas específicos.

A lógica intuicionista não aceita irrestritamente o terceiro excluído: afirmar que algo existe exige poder construí-lo ou demonstrá-lo.

As lógicas polivalentes admitem mais de dois valores de verdade. A lógica difusa representa graus de pertença ou de verdade, sendo útil em situações sem fronteiras nítidas.

As lógicas paraconsistentes permitem trabalhar com contradições localizadas sem concluir arbitrariamente qualquer proposição. As lógicas relevantes exigem uma conexão efetiva entre premissas e conclusão.

O pluralismo lógico não implica relativismo. Cada sistema deve declarar os seus axiomas, regras, domínios de aplicação e critérios de correção. Diferentes lógicas podem formalizar diferentes aspetos do real sem que todas as inferências se tornem igualmente aceitáveis.

1.3.9 Contradição, oposição e dialética

É indispensável não confundir contradição lógica com conflito real. «P e não P» é uma contradição formal. A oposição entre capital e trabalho, indivíduo e comunidade ou conservação e mudança não constitui automaticamente uma contradição lógica.

A dialética estuda tensões, oposições e transformações reais. A Lógica determina se as proposições utilizadas para as descrever são coerentes. A dialética não autoriza a aceitar qualquer contradição; a lógica formal não permite eliminar os conflitos concretos mediante simples definições.

Esta distinção prepara a Dialética relacional da Ontologia: as relações podem incluir tensão e incompatibilidade sem que o pensamento abdique da coerência.

1.3.10 Paradoxos, autorreferência e limites

Os paradoxos revelam dificuldades nas regras, nos conceitos ou nos níveis de linguagem. O paradoxo do mentiroso interroga a autorreferência; o paradoxo de Russell mostrou os problemas de uma teoria ingénua dos conjuntos; os resultados de Gödel estabeleceram limites internos dos sistemas axiomáticos.

É necessário distinguir:

• contradição: afirmação simultânea de PP e não PP;
• paradoxo: resultado inaceitável produzido por premissas aparentemente aceitáveis;
• antinómia: conflito entre conclusões racionalmente sustentáveis;
• aporia: dificuldade conceptual que impede uma solução imediata.

Os limites formais não destroem a racionalidade. Obrigam-na a reconhecer os seus pressupostos, níveis e condições de aplicação.

1.3.11 Argumentação, falácias e espaço público

A lógica informal estuda argumentos expressos em linguagem corrente. Analisa ambiguidades, pressupostos ocultos, generalizações abusivas e estratégias de manipulação.

Devem ser tratadas falácias como:

• ataque pessoal;
• espantalho;
• falso dilema;
• petição de princípio;
• apelo indevido à autoridade;
• generalização precipitada;
• confusão entre correlação e causalidade;
• seleção tendenciosa dos dados;
• mudança do sentido de um termo;
• apelo à emoção em lugar de razões.

Nem toda a persuasão é falaciosa. A argumentação pública exige lógica, mas também credibilidade, interpretação do contexto e consideração do auditório. A democracia depende da possibilidade de distinguir desacordo racional, erro, mentira e manipulação.

1.3.12 Whitehead — Da lógica das relações à lógica do processo

Whitehead participou, com Russell, numa das maiores tentativas de fundamentar a Matemática através da Lógica. Mas a sua filosofia posterior mostra os limites de uma ontologia construída exclusivamente a partir de substâncias e predicados.

As proposições whiteheadianas não são apenas frases declarativas. Articulam acontecimentos reais e possibilidades de determinação. Podem funcionar como propostas ou «atrativos para o sentir»: apresentam maneiras possíveis de organizar a experiência.

Por isso, uma proposição falsa pode ser interessante. A falsidade não se converte em verdade, mas pode introduzir uma possibilidade imaginativa que permita transformar o mundo. A Lógica avalia a coerência e as consequências; a criatividade determina a novidade que uma proposição torna possível.

1.3.13 Serres — Lógica das passagens e dos terceiros

Serres chama a atenção para tudo aquilo que as divisões binárias tendem a excluir: misturas, intermediários, traduções, parasitas e passagens entre saberes. A comunicação real contém desvios, ruído e transformação.

O «terceiro instruído» de Serres não deve ser apresentado como um terceiro valor numa lógica formal. É uma figura filosófica da mediação: aquele que atravessa fronteiras e se transforma ao passar entre ciências, culturas e linguagens.

Serres não elimina a lógica clássica. Mostra que as situações concretas incluem relações mais complexas do que as alternativas rígidas entre identidade e diferença, ordem e desordem, ciência e literatura, natureza e cultura.

1.3.14 Latour — Lógica da investigação e cadeias de referência

Latour não substitui a validade formal por relações sociais. Mostra que, nas ciências, a passagem das premissas às conclusões depende também de instrumentos, inscrições, amostras, padrões, instituições e cadeias de referência.

Uma demonstração matemática pode ser analisada formalmente; uma afirmação científica exige ainda verificar como os dados foram produzidos, transportados e transformados. A força da conclusão depende simultaneamente da inferência e da resistência da cadeia de mediações.

A verdade não é fabricada arbitrariamente pela sociedade. É sustentada por redes capazes de conservar referências através de sucessivas transformações. A lógica formal examina a inferência; a investigação latouriana examina o percurso que tornou possíveis as premissas.

1.3.15 Lógica, algoritmos e inteligência artificial

A computação traduz operações lógicas em procedimentos executáveis. Portas lógicas, circuitos, linguagens de programação, bases de dados e sistemas de prova automática mostram como as inferências podem ser incorporadas em máquinas.

A inteligência artificial contemporânea combina abordagens simbólicas, estatísticas e neuronais. Um modelo de linguagem pode produzir conclusões plausíveis sem possuir uma representação explícita das premissas ou uma garantia formal de validade. Fluência verbal e inferência correta não são equivalentes.

A relação entre lógica e inteligência artificial coloca novas questões: explicabilidade, consistência, decisão automática, responsabilidade, enviesamento e controlo humano. O problema já não é apenas saber se uma máquina calcula, mas compreender que inferências executa, com que dados, segundo que regras e com consequências para quem.