Diferenças entre a LÓGICA TRADICIONAL e a MODERNA

Lógica Tradicional e Lógica Moderna são apenas demarcações históricas de dois fenômenos com conveniências e diferenças. Embora não sejam conceitos claramente discerníveis, é possível traçar algumas notas que as distinguem acidentalmente.

Ambas as "lógicas" tem suas qualidades, mas eu sempre indico a todos que iniciem seus estudos com a Lógica Tradicional. Pensando nisso, criamos um curso de introdução à Lógica Tradicional, o Prolegômenos à Academia de Lógica, que estará em promoção até o dia 20 de março.

─────────────────────

Apoie o canal! Clique em "Seja membro" e tenha benefícios exclusivos.

E-mail para contato ou contribuição financeira via PIX:

Siga-me em outras redes:

─────────────────────

Playlists do canal

─────────────────────

Capítulos:
00:00 - Introdução
00:26 - Diferenças

─────────────────────

Alguns livros mencionados ou usados de bibliografia:

Lógica tradicional

Lógica formal moderna

Lógica informal moderna

─────────────────────

[Victorvictorelli]

Ambas as "lógicas" têm suas qualidades, mas eu sempre indico a todos que iniciem seus estudos com a Lógica Tradicional. Pensando nisso, criamos um curso de introdução à Lógica Tradicional, o Prolegômenos à Academia de Lógica, que estará em promoção até o dia 20 de março.

[jan_kulawa]

Eu gostaria de fazer duas observações. Em 6:47–7:08, prof. Victorelius diz que deseja conciliar as lógicas tradicionais e suas virtudes de base com as lógicas modernas e suas conquistas, com a implicação (em meu entendimento) de que isto não já fora feito no passado. Em 8:39–8:50, também diz que muitos lógicos da corrente moderna demonstraram ser fortemente ignorantes às verdades positivas das lógicas tradicionais, e por conta disto, desvirtuaram-nas ao formalizá-las em linguagens artificiais.

Em suma, isto não é o caso. De fato, as chamadas "lógicas clássicas" pouco têm em semelhança com as lógicas tradicionais da antiguidade e dos escolásticos medievais. Em adição, figuras chave da corrente moderna de lógica formal em seu início (de Frege e Boole, até Russell e Whitehead, e por fim Gödel e Tarski) realmente desvirtuaram as lógicas tradicionais em suas formalizações destas em luz dos avanços recentes na lógica formal (entre eles, as linguagens artificiais e as ferramentas da matemática moderna). Contudo, isto não é frequente, ou perene, na corrente moderna da lógica formal.

Há uma vasta literatura de trabalhos contemporâneos de conciliação das lógicas tradicionais com as lógicas modernas. Em particular, muitas das chamadas "lógicas não-clássicas" surgem de pesquisas modernas com a intenção de vincular as verdades positivas conquistadas pelas lógicas tradicionais sem cometer este erro singular de seus antecessores. O "tetralema" budista (em sânscrito, "catuṣkoṭi"), que tem um papel central na lógica e dialéctica do filósofo Nāgājurna da tradição Mahāyāna, fora analizado e contrastado em luz de desenvolvimentos recentes em lógicas intuicionistas, paraconsistentes, conexivas, multivalentes e plurivalentes [1].

Similarmente, a silogística proposicional dos estóicos fora reconstruida na forma de um cálculo de sequentes (um sistema de dedução natural estilo-Gentzen) por vários autores [2], entre eles William e Martha Kneale, quem são grandes autoridades sobre as lógicas tradicionais e a história de seu desenvolvimento até o presente [3]. Por fim, já durante o início do desenvolvimento moderno da lógica formal, figuras chave como Jan Łukasiewicz criticaram seus contemporâneos (como Russell e Whitehead) pela análise do silogismo categórico aristotélico em termos do cálculo de predicados clássico, e propuseram interpretações e formalizações modernas alternativas que tornaram-se imediatamente autoritativas [4].

Não obstante, é verdade que muitos lógicos modernos são ignorantes das lógicas tradicionais e crêem, como o prof. Victorelius mencionou, que as "lógicas clássicas" são "refinações", melhoramentos, das lógicas tradicionais, o que é falso. Também é verdade que muitos dos principais lógicos da modernidade, no passado (neste momento, distante de nós por 100–150 anos), desvirtuaram as lógicas tradicionais, e/ou não fizeram pretensão de conciliá-las com as lógicas modernas, mas apenas substituí-las indevidamente. Dito isto, a situação no discurso acadêmico contemporâneo é, já a algumas décadas, muito diferente (em particular, muito positiva e consciente com respeito às lógicas tradicionais), e a literatura de trabalhos com o propósito de unir as virtudes das lógicas tradicionais e modernas, felizmente, cresce em volume constantemente. (Veja, por exemplo, a bibliografia das referências citadas.)

*Referências:*
[1] Graham Priest. "The Logic of the Catuskoti". In: _Comparative Philosophy_, vol. 1, no. 2 (2010), pp. 24–54
[2] Susanne Bobzien. "Stoic Sequent Logic and Proof Theory". In: _History and Philosophy of Logic_, vol. 40, no. 3 (2019), pp. 234–265
[3] Martha e William Kneale. _O Desenvolvimento da Lógica_ (trad. de M.S. Lourenço, 2 ed., 1980)
[4] Jan Łukasiewicz. _Aristotle's Syllogistic From the Standpoint of Modern Formal Logic_ (2 ed., 1957)

[FuriadeAquiles]

Opa, por favor, faça mais video sobre este tema!!!

[danielfranceschi]

Muito bom. Acho que seria interessante um vídeo apresentando objeções de alguns lógicos modernos (Russel, por exemplo) à princípios lógicos tradicionais. Em que estariam fundados os mais frequentes rompimentos dos modernos em relação aos tradicionais (quando há tais rompimentos, claro).

[matheuspinho]

típico de modernóide "criticar" o antigo pelo simples fato de ser antigo sem terem um pingo de entendimento do que eles estão criticando

[jacksonvieira]

Muito bom o vídeo, você faria um vídeo comentando o Teorema da Imcompletude de godel??

[l.d.]

Por favor, faça o vídeo explicando por qual das lógicas apresentadas deveríamos começar. Observei que geralmente nas listas de recomendação dos livros sempre saímos da tradicional para a moderna.

[ordepze]

Eu estava me questionando sobre a diferença ONTEM, caramba que sorte minha resposta surgir 1 dia depois

[r.mulder]

Muito bom, esperava por esse video. Se não me engano Levi Strauss usou a linguagem logica para descrever as estruturas elementares dos mitos. Essa forma de escrita da logica moderna tb foi usada por lacan para escrever os processos de sexuação no humano

[Eduardo-cnmf]

Me dê, papai! Por favor, dê sequência.

[Joaopedro-wqur]

Qual logica começar para um estudante iniciante de computação e de Matematica?. E principalmente um estudante que recém descobriu gostar de matemática e programação?

[ATXx]

Esse tema é muito bom, gostaria de ver mais sobre

[raphaelchristi]

Na verdade o grande pai da lógica foi Parmênides. Ele foi o verdadeiro fundador da lógica. Foi o primeiro pensador a descrever o princípio da identidade . Que é o principal pilar da lógica.

[weslleymoren]

Qual dessas lógicas é "melhor" para quem quer aprender lógica, primeiramente para se sair melhor no estudo da matemática?

[bucasoliveira]

Tenho uma duvida. sei que voce é católico e gostaria de saber sua opinião sobre esse pensamento (mesmo acreditando que ele cai mais no âmbito espiritual do que no racional). Tendo que o pecado original surgiu pelo erro de Adão e Eva, não seria injusto todos os seres humanos carregarem um fardo de um erro que eles não cometeram?
OBS: Sou católico porem não consegui responder essa pergunta.

Deus te abençoe!!!! Você faz um ótimo trabalho na internet.

[Daweib]

basicamente vc resumiu qse todas as " tretas" da historia da filosofia

[hudsonmoraes]

Estudei álgebra de Boole quando fazia o curso de técnico em eletrônica no ensino médio, e ainda me lembro de tudo que estudei. Mas nunca estudei filosofia, pois na minha época não havia a disciplina de filosofia no segundo grau.
Eu até hoje não sei por que a álgebra de Boole é estudada de forma totalmente diferente nos livros de filosofia. Em vez de 0`s e 1`s, e funções E (.), OU (+), NÃO, etc, usam "p", "q", ^, etc, e nomes como conjunção e disjunção. Trata-se apenas de uma diferença de notação? Ou há algo mais além disso?
Até sobre teoremas de De Morgan se fala nos livros de filosofia. Só faltam usar o mapa de Karnaugh (diagramas usados para simplificar expressões lógicas.)
Em compensação, você nunca ouve falar de _modus tolens_ e _modus ponens_ nos livros de eletrônica digital.

[Marcos.sTorres]

Sempre que pesquiso sobre programacao falam sobre logica de programacao, seria a logica moderna? E se eu estudar Logica Classica eu tambem me desenvolveria nessa area de programacao?

[Pedrolojalima]

Por favor, aceite o fato de que voce precisa da logica tradicional para provar a si mesmo que deus existe, porque voce precisa que deus exista para ter as dores de suas questões entorpecidas.

PS: tente lidar com ess mensagem sem pensar lógicamente

[luisclaudio]

Poderia apresentar argumentos sobre : "os filhos pertencem ao Estado e não à família "