Lógica Moderna

A Lógica Moderna foi fundada por George Boole (1815/11864) e por Gottlob Frege (1848/1925) no séc. XIX, apesar de pertencer a Bertrand Russell (1873/1970) e a Alfred N.Whitehead (1861-1947) o primeiro tratado sobre a Lógica Moderna, Principia Mathematica (1919/1913). Este tratado constitui uma obra clássica fundamental sobre a Lógica Moderna, também designada por Logística, Lógica Simbólica ou ainda de Lógica Matemática.

A lógica usada por Carroll, no seu trabalho, aparece em oposição à Lógica Antiga fundada por Aristóteles na Antiguidade, que lhe valeu o título de: Pai da Lógica. Segundo Aristóteles a lógica era uma disciplina de natureza filosófica, organizando-se a partir de uma análise filosófica dos caracteres próprios do nosso pensamento e da maneira como o nosso pensamento se refere ao real. No princípio da Idade Moderna, certas ciências foram progressivamente afastando-se da filosofia para se apoiarem em verificações empíricas - passam a seguir o ideal da ciência positiva - sem pretensão directa à "inteligibilidade filosófica" - o ideal que era defendido desde a antiguidade e para o qual convergiam todas as ciências quando procuravam organizar as suas afirmações a partir da essência dos objectos. A última das ciências a afastar-se da filosofia foi a Lógica.

Olga Pombo:  opombo@fc.ul.pt