Lógica (logikê) — Ciência das leis formais do raciocínio correto e da argumentação válida, voltada não ao que se pensa, mas à estrutura que torna uma inferência legítima. O termo deriva do grego logos (razão, palavra, discurso), e a expressão logikê technê designava a “arte do raciocinar”. A lógica não avalia se as premissas são verdadeiras, mas se a conclusão decorre necessariamente delas: ocupa-se da validade, não da verdade material. Aristóteles é considerado seu fundador, reunindo no conjunto de tratados depois chamado Organon a análise do silogismo — inferência em que de duas premissas se extrai uma conclusão (por exemplo: “todo homem é mortal; Sócrates é homem; logo, Sócrates é mortal”). Os estoicos, sobretudo Crisipo, desenvolveram em seguida a lógica proposicional, centrada nas relações entre enunciados inteiros (se… então, ou, e). Por séculos a lógica aristotélica permaneceu praticamente intocada, até que, no final do século XIX, Gottlob Frege, com a Begriffsschrift (1879), criou a lógica de predicados e a teoria da quantificação, fundando a lógica matemática moderna. Bertrand Russell e Alfred North Whitehead a expandiram nos Principia Mathematica. O jovem Wittgenstein, no Tractatus Logico-Philosophicus, sustentou que a lógica exibe a forma do mundo. Distingue-se da retórica (arte de persuadir) e relaciona-se de perto com a epistemologia, que investiga a justificação do conhecimento.

← Glossário