trabalho Filosofia
- A lógica moderna: definir, explicar, e dar um exemplo: A- Nos meios de comunicação B- Nas ciências
A lógica moderna baseia-se no uso de simbolismo, que possibilita uma ultrapassagem das ambiguidades da linguagem corrente, e no cálculo lógico, que torna mais exata a determinação da validade de raciocínios.
Segundo a história, o filósofo René Descartes (1596-1650) foi o primeiro a usar as técnicas algébricas como forma de exploração científica, sendo que com ele o interesse pela lógica diminuiu e a Lógica Clássica começou a apresentou sua fragilidade por ter como base a linguagem corrente e natural. Desta forma, buscou uma linguagem formal. O princípio de um “cálculo do raciocínio” foi desenvolvido por Fottfried Wilhelm Leibniz, no qual fez com que a Lógica Moderna ou Simbólica aparecesse.
Somente no século XIX foi que a nova lógica se estabeleceu, mas para que isso acontecesse Gottlob Frege (1848-1925) contribuiu com a criação do sistema de representação simbólica para a representação formal da estrutura de enunciados lógicos e suas relações e a criação do cálculo dos predicados. Ao contrário de Aristóteles, e mesmo de George Boole (1815-1864) que buscavam fazer a identificação das formas válidas de argumento, da preocupação básica de Frege era a sistematização do raciocínio matemático, isto é, buscando encontrar uma caracterização precisa do que é uma “demonstração matemática”. Gottlob percebeu que os matemáticos da época frequentemente cometiam erros em suas demonstrações, assim supôs que determinados teoremas estavam demonstrados, quando na realidade não estavam. Para a correção deste problema, Frege buscou encerrar as regras de demonstração, começando assim as regras elementares, que são verdadeiramente mais simples, sobre cuja aplicação não existissem dúvidas. O resultado foi algo que revolucionou a lógica, pois foi à criação do cálculo de predicados, mais conhecida como a Lógica de predicados.
Podemos citar alguns exemplos da matemática