7-8 ▪ COPI, Irving. Introdução à Lógica. São Paulo: Mestre Jou, 1978.
▪ GENSLER, Harry J. Introdução à Lógica. 1ª Ed. São Paulo: Paulus, 2016.
▪ JAPIASSÚ, Hilton. Dicionário básico de filosofia. Versão Kindle. Rio de
Janeiro: Zahar, 1990.
▪ MARCONDES, Danilo. Iniciação à História da Filosofia. Versão Kindle.
Rio de Janeiro: Zahar, 2010.
▪ MORTARI, Cézar. Introdução à Lógica. São Paulo: Unesp, 2001.
Síntese histórica e principais termos e conceitos – Parte 2 História da Lógica Distinção entre Aristóteles e os Estoicos:
▪ Aristóteles focou em "todo,” “nenhum” e “algum”. Os estoicos focaram em
“se-então,” “e” e “ou.” ▪ Aristóteles utilizou letras como variáveis e expressou argumentos como condicionais longos, como “Se todo A é B, e todo C é A, então todo C é B”. Os estoicos utilizaram variáveis numéricas e expressaram argumentos como conjuntos de enunciados, como “Se 1 então 2. Mas não-2. Portanto, não 1.” ▪ Aristóteles viu a lógica não como parte da filosofia, mas como uma ferramenta geral para qualquer tipo de pensamento. Os estoicos viram a lógica como uma das três áreas da filosofia (as outras duas sendo física e ética). Mas ambos concordam que estudantes devem estudar lógica cedo, antes de ir para as outras áreas. Lógica Medieval: ▪ Os lógicos medievais levaram adiante a estrutura básica de Aristóteles e dos estoicos. A lógica foi se tornando paulatinamente mais importante em educação superior. ▪ Boécio (480-524) foi importante na transição para idade média. Ele escreveu sobre lógica, incluindo comentário. E também traduziu Aristóteles para o latim. ▪ O mundo árabe, por sua vez, dominou a lógica entre 800 e 1200. Traduziram Aristóteles para o árabe, escreveram comentários e trabalhos originais sobre lógica e outras áreas. Lógica Medieval: ▪ Nos séculos 11 e 12, trouxeram um ressurgimento da lógica na Europa cristã; primeiro com Anselmo e Pedro Abelardo. ▪ Tomás de Aquino (1224-74), o filósofo medieval mais influente, teve pouco impacto no desenvolvimento da lógica. Mas usou baste a lógica em seus escritos. ▪ No século XIV, Guilherme de Ockham ficou conhecido pela “Navalha de Ockham” (que devemos aceitar a teoria mais simples que explica os dados adequadamente) e sua tentativa de evitar metafísica na análise da linguagem; ele também desenvolveu princípios de lógica modal. Lógica Medieval:
▪ A lógica foi importante na Idade Média - tanto em escritos
filosóficos como na educação superior. ▪ As primeiras universidade do mundo estavam florescendo na Europa, e elas colocaram uma grande ênfase na lógica. ▪ Um sinal da influência da lógica medieval é a persistência dos termos latinos (como modus ponens e Tollens, a priori, a posteriori) mesmo hoje. Lógica na Modernidade: ▪ A lógica aristotélica foi dominante até o final do séc. 19. Kant declarou que Aristóteles inventou e aperfeiçoou a lógica, e que nada mais de importância fundamental pôde ser apreendido ou acrescentado. Porém, a verdadeira revolução da lógica veio a mais ou menos cem anos depois de Kant. ▪ Hegel propôs que a lógica deveria reconhecer contradições na natureza como chave para compreender como o pensamento evolui historicamente; uma visão provoca seu oposto, e então as duas tendem a vir juntas em uma síntese superior. ▪ Marx também viu contradições no mundo como reais, e aplicou essa ideia a lutas políticas e revoluções. Lógica na Modernidade: ▪ Leibniz, um dos inventores do cálculo, teve uma percepção desses desenvolvimentos futuros... Ele propôs a ideia de linguagem simbólica que reduziria o raciocínio a algo como um cálculo aritmético. ▪ Leibniz criou uma notação lógica muito semelhante à de Boole (e muito mais cedo do que Boole), contudo só foi publicado depois de Boole. ▪ George Boole (1815-64), considerado o pai da lógica matemática, em sua obra “álgebra booleana” trouxe um avanço à lógica, uma vez que ele defendeu que o cálculo matemático pudesse ser utilizado para checar correção de inferências. Mas a verdadeira revolução ainda estava por vir... Lógica contemporânea: ▪ Gottlob Frege (1848-1925) é o pai da lógica contemporânea com seu Begriffschrift (“Conceitografia” - 1879). Este livreto introduziu um simbolismo que, pela primeira vez, permitiu combinar toda o “todo”, “nenhum” e “algum” de Aristóteles com o “se-então”, “e” e “ou” dos estoicos. ▪ Podendo assim simbolizar formas como “Se tudo que é A ou B é então C e D, então tudo que não D é não A”. ▪ Frege também demonstrou como fazer análise de argumentos com relações (como “x ama y”) e quantificadores múltiplos: “Existe alguém que todos amam”, que é “todo mundo ama alguém” (não o inverso). Lógica contemporânea: ▪ Frege queria mostrar que a aritmética era redutível à lógica, isto é, que todos os conceitos básicos da aritmética (como números e adição) são definíveis em termos puramente lógicos e que todas as verdades da aritmética são passíveis de seres provadas utilizando apenas axiomas e regras de inferência lógicas. ▪ O trabalho de Frege, apesar de sua importância, foi amplamente ignorado até que Bertrand Russell (1872-1970) veio analtecê-lo nos primeiros anos do século 20. ▪ Russel admirava enormemente Frege e seu trabalho inovador em lógica. Eles trabalharam linhas similares, apesar que Russell mostrou a Frege um “paradoxo”, em seu sistema lógico. Lógica contemporânea: ▪ Para evitar o paradoxo, Russell com seu antigo professor Alfred North Whitehead, trabalhou para desenvolver a lógica e a teoria de conjuntos de uma maneira que evitava a contradição. ▪ Eles também desenvolveram um simbolismo mais intuitivo, baseado no trabalho de Giuseppe Peano. O resultado foi o massivo Principia Mathematica, que foi publicado entre 1910 e 1913. ▪ Após o “Principia” a lógica simbólica clássica gradualmente se tornou dominante no século 20, substituindo a lógica aristotélica. Várias técnicas de prova foram desenvolvidas doravante, e sistemas lógicos. Lógica contemporânea:
▪ Ludwig Wittgenstein (1889-1951) influenciou decisivamente as
duas principais vertentes da filosofia analítica da linguagem contemporânea, a primeira, que poderíamos chamar de semântica formal, e a segunda, de pragmática. ▪ Wittgenstein nasceu em Viena, estudou engenharia em Berlim e posteriormente em Manchester, na Inglaterra. ▪ Em Cambridge, estudou com Bertrand Russell, então um dos mais importantes filósofos a trabalhar essas questões. Lógica contemporânea:
▪ O Tractatus deve ser entendido a partir do contexto filosófico
das obras de Gottlob Frege (1848-1925) e Bertrand Russell (1872-1970), da proposta – que de certa forma remonta a Leibniz no séc. XVII – de fundamentar o conhecimento da realidade, as teorias científicas, na lógica, e não na epistemologia. ▪ No Tractatus predomina a ideia de um isomorfismo entre a linguagem e a realidade. Lógica contemporânea: ▪ Kurt Gödel (1906-1978) mostrou que a axiomatização de Russell da lógica clássica era, dadas certas assunções semânticas, correta, pois apenas coisas certas eram passíveis de serem provadas. ▪ Mas ele também mostrou, contra Frege e Russell, que aritmética não pode ser reduzida a qualquer sistema formal: nenhum conjunto consistente de axiomas e regras de inferência seria suficiente para provar todas as verdades aritméticas; esse resultado, chamado teorema de Gödel, é talvez o resultado mais impressionante e surpreendente da lógica do século 20. Lógica na atualidade: ▪ A lógica foi importante no desenvolvimento de computadores. Lógicos como John von Neumann, Alain Turing e Arthur Burks ajudaram a desenvolver o primeiro computador eletrônico de larga escala. ▪ Atualmente três departamentos estudam lógica: filosofia, matemática e ciência da computação. Cada um de uma perspectiva diferente. ▪ Lógica hoje é também uma importante parte de ciência cognitiva, que é uma abordagem interdisciplinar ao fenômeno do pensamento e que inclui áreas como linguística, psicologia, biologia (especialmente áreas que lidam com o cérebro e sistemas sensórios), computadores (especialmente inteligência artificial), e outras áreas da filosofia (especialmente epistemologia e filosofia da mente). Conclusão: ▪ Então, a lógica tem uma história complexa: ✓ de Aristóteles e estoicos na Grécia antiga, ✓ através da Idade Média e Iluminismo, ✓ à turbulência do século 19 e a transformação da lógica com Frege e Russell, ✓ e nos séculos 20 e 21 o desenvolvimento de lógicas clássicas e não clássicas e o nascimento da era do computador. Perguntas para discussão:
1. Qual a importância de Frege para lógica? E qual a
diferença entre a lógica simbólica da lógica aristotélica?
2. Como se deu o desenvolvimento da lógica nos períodos
medieval e moderno? E quais foram os principais pensadores destes períodos?