[Música] depois de 512 tentativas de fazer uma live explicando a diferença entre lógica tradicional e lógica moderna eu vou decidir fazer esse vídeo gravado certo para explicar essa diferença para vocês muitos me perguntam essa questão essa é uma dúvida de muita gente eu acho que hoje a gente vai poder esclarecer isso então como uma questão importante eu peço que você deixe o seu like E compartilhe com outras pessoas que precisariam saber dessa informação tá lógica tradicional e lógica moderna antes de tudo não são conceitos rigorosamente definidos uma distinção sobretudo temporal né de de fenômenos históricos
diferentes a lógica tradicional É a lógica que foi inventada barra descoberta por Aristóteles no Século IV antes de. Cristo certo existiam já antes de Aristóteles eh filósofos geômetras que faziam eh afirmações de caráter lógico diziam coisas a respeito da lógica mas não se existia por assim dizer uma ciência unificada um teoria uma teoria lógica ali o Aristóteles foi o precursor disso aí foi o grande pai da lógica e ela perdura como sendo a única existente até o século XIX com freg e Bully que vão ser respectivamente os pais Da Lógica moderna alguns Dizem que o
lienis também é um precursor de certa forma porque ele também já vem com essa ideia de criar uma linguagem é artificial mais ou menos Da Lógica mas é mais comum atribuir ao freg e ao bule o início da lógica moderna bom sendo fatos históricos diferentes fenômenos históricos diferentes é natural que tem uma série de diferenças né esses dois fenômenos Mas e a maioria dessas diferenças não são diferenças essenciais dessas duas coisas por exemplo a diferença provavelmente mais marcante entre a lógica tradicional e a lógica moderna é o fato de que a lógica tradicional usa linguagem
natural e a lógica moderna utiliza linguagem artificial o que isso significa se a gente pegar o mesmo argumento o argumento ontológico do Santo Anselmo e pedir para um lógico moderno e um lógico tradicional formalizar isso aí a gente vai ter esses dois resultados lógico tradicional vai formalizar num formato de um silogismo Deus é um ser perfeito ser perfeito necessariamente existe logo Deus necessariamente existe o lógico moderno vai dizer né que D uma constante individual que possui o predicado P ser perfeito depois vai dizer que para todo x se x é p então x necessariamente tem
o predicado da existência são as duas premissas e a conclusão por meio da regra de eliminação de universais que necessariamente D possu predicado de existir de um e de dois formas diferentes de formalizar mais ou menos a mesma coisa a linguagem artificial para pegar aqui um exemplo mais próximo de você talvez é parecido com a matemática ou com as linguagens de programação basicamente são linguagens que são criadas de forma artificial buscando ter mais clareza do que a linguagem natural a linguagem natural é uma linguagem que foi criada espontaneamente pela sociedade e portanto você você não
tem preocupações de clareza você não tem definições tão Claras das coisas a falta de clareza no caso é um dos grandes vícios da linguagem natural que a linguagem artificial tenta resolver essa é a diferença mais marcante entre as duas lógicas só que qual que é o problema de dizer que essa é a diferença entre as duas é que nada impede que você pegue a lógica tradicional por exemplo e tente formalizar ela numa linguagem artificial bem como nada impede que você Tente formalizar a linguagem as lógicas modernas né numa linguagem natural usando o silogismos e e
assim por diante diferenças linguísticas não são propriamente diferenças lógicas ou seja o que isso quer dizer quer dizer que o fato de você ter linguagens diferentes em duas lógicas diferentes não é o que vai torná-las lógicas diferentes O que torna elas lógicas diferentes são os princípios lógicos que elas seguem por exemplo são as regras de inferência que elas aceitam são as entidades que elas assumem e assim por diante é precisamente nesse sentido de lógica de diferenças lógicas que a lógica tr e lógica moderna mais se distinguem antes de tudo é importante entender que lógica tradicional
e lógica moderna não são apenas uma lógica então a lógica tradicional ali tá incluso a lógica de Aristóteles tá incluso a lógica dos estóicos dos megáricos a lógica dos árabes a lógica sei lá dos budistas a lógica dos cristãos medievais dos escolásticos e assim por diante a lógica moderna você tá incluso ali cálculo de predicados lógica proposicional tem as lógicas não clássicas lógica deôntica lógica modal lógica sei lá intuicionista lógica para consistente e assim por diante tanto a lógica tradicional quanto a lógica moderna englobam diversas lógicas mas entre as lógicas tradicionais Existem certas características mais
comuns que são por assim dizer questionadas a lógica moderna de modo geral a lógica tradicional a maioria dos lógicos tradicionais estão comprometidos por exemplo com uma espécie de Realismo lógico então a ideia de que os objetos Da Lógica são objetos reais no entanto a posição nominalista parece ser provavelmente né ou variações conceptualismo etc parecem ser posições mais comuns né na lógica moderna não Que todo lógico moderno seja nominalista Mas é uma posição mais frequente mais comum até porque também existem nominalistas na lógica tradicional de modo geral além disso a lógica tradicional vai ser uma lógica
que vai ter mais comprometimentos metafísicos né enquanto que é até um ideal por assim dizer da lógica moderna ter poucos né poucos comprometimentos metafísicos ou até ser possível nenhum né Essa é outra diferença que a gente nota nesses dois fenômenos históricos existem mais características que poderiam ser nomeadas aqui mas né Se trataria aqui meramente de uma descrição acidental dos acidentes desses fenômenos acho que não é uma coisa tão relevante quando eu falo de lógica tradicional no meu canal e no meu perfil e nos meus cursos eu me refiro não a esse essa concepção de lógica
tradicional como um fenômeno histórico que engloba diversas lógicas mas eu quero dizer eh por assim dizer como se fosse um sistema lógico ideal né objetivamente verdadeiro que engloba todos os benefícios dos lógicos tradicionais mas também dos lógicos modernos e das lógicas modernas eu chamo mais propriamente de lógica tradicional porque eu acredito que em grande parte das questões os lógicos tradicionais estavam com razão principalmente pelo fato de que eles né eram regados ali de uma boa filosofia Diferentemente de grande parte dos lógicos modernos que são relativistas e assim assim por diante então geralmente quando eu falo
de lógica tradicional é precisamente nessa acepção Isso quer dizer então que eu não estou dizendo que a lógica moderna é má em si que ela tem só problemas ao contrário acho que ela trouxe diversas contribuições relevantes certo que devem ser aproveitadas pelos filósofos principalmente pelos lógicos né mas de modo geral a minha tentativa é conciliar a lógica moderna com a lógica tradicional um projeto mais né digamos assim de longo prazo um projeto mais ideal meu seria conciliar a lógica moderna com a lógica tradicional mas principalmente conservando a as bases da lógica tradicional tentando trazer essas
conquistas Da Lógica moderna dentro da terminologia dentro das bases da lógica tradicional aliás tentando conciliar em particular os chamados né princípios clássicos ou tradicionais Da Lógica né então princípio de não contradição princípio de terceiro excluso eu vejo eles como princípios que capturam certas verdades fundamentais ainda que não perfeitamente formulados ainda que tenham suas possíveis correções mas que são são ideias fundamentais que precisam tentar ser preservadas né na medida em que elas parecem ser verdades autoevidentes realmente os lógicos modernos eh de modo geral Eles já são mais flexíveis com relação a esses princípios né E eles
muitas vezes vão se desvirtuar dos princípios clássicos vão discordar deles vão tentar reformular eles e assim por diante é dessa maneira inclusive que vão surgindo diversos diversas lógicas diferentes diversos sistemas lógicos diferentes é inclusive com base nisso que se faz a distinção Da Lógica moderna entre lógicas clássicas e lógicas não clássicas as lógicas clássicas são aquelas que seguem os princípios lógicos tradicionais clássicos e as lógicas não clássicas são aquelas que não seguem desvirtuam de alguma forma é importante enfatizar tá também que a as chamadas lógicas clássicas modernas elas não necessariamente como muitos pensam São simplesmente
a lógica tradicional ou as lógicas tradicionais reformuladas em linguagens artificiais constantemente são lógicas que vão distorcer Muitas das coisas da lógica tradicional Então essa mentalidade de que lógica clássica as lógicas clássicas são por assim dizer a lógica tradicional aprimorada refinada com os benefícios modernos isso não é uma verdade isso é uma inverdade muitos os lógicos modernos mostraram ser né completamente ignorantes ou então fortemente ignorantes de muitas das verdades alcançadas das positividades alcançadas pelos lógicos clássicos ou tradicionais é importante não confundir também o que se costuma chamar de lógica tradicional com lógica clássica geralmente a lógica
clássica é associada à lógica moderna a lógica tradicional essa lógica que vai até o século XIX enfim fundamentalmente essa foi aqui a minha caracterização Da Lógica tradicional e moderna Claro que não é uma caracterização para pessoas avançadas que querem entender essa diferença trata-se de uma caracterização inicial para você que não sabe não faz a menor ideia do que é lógica né o público realmente tá sendo completamente introduzido agora ter uma noção pegar uma noção da diferença entre essas duas lógicas e acredito mesmo aliás que nem é possível você fazer uma uma distinção tão rigorosa assim
dessas lógicas porque são né fatos concretos e não conceitos abstratos para serem tão eh claramente distinguidos assim se você gostaria de um vídeo explicando por qual dessas lógicas você deve começar e porquê peça aqui nos comentários deixa o seu like eu vou entender como um recado positivo e eu vou gravar Então esse vídeo muito obrigado por ter assistido e até a próxima
