• INTRODUÇÃO DA LÓGICA NA MATEMÁTICA
1. INTRODUÇÃO ................................................................................................ 04
1.1. Tema ............................................................................................................. 06
1.2. Objetivos ....................................................................................................... 07
1.3. Justificativa ................................................................................................... 08
2. REFERENCIAL TEÓRICO ................................................................................... 09
3. METODOLOGIA .............................................................................................. 12
4. CRONOGRAMA .............................................................................................. 13
1. INTRODUÇÃO
Lógica, ciência que trata dos princípios válidos do raciocínio e da argumentação. Seu estudo é um esforço no sentido de determinar as condições que permitem tirar de determinadas proposições, chamadas de premissas, uma conclusão delas derivada. A validade lógica é a relação entre as premissas e a conclusão.
O que hoje se conhece como lógica clássica, ou tradicional, foi enunciado pela primeira vez por Aristóteles, que elaborou leis para um raciocínio correto, a ser desenvolvido mediante silogismos. Em meados do século XIX, os matemáticos britânicos George Boole e Augustus De Morgan abriram à lógica um novo campo, que hoje se conhece como lógica simbólica ou moderna, posteriormente desenvolvida por Bertrand Russell e por Alfred North Whitehead, cobrindo todo um espectro de argumentações possíveis, maior do que aquelas encontradas na lógica silogística.
Tanto o ramo clássico como o moderno implicam em métodos de lógica dedutiva, embora também tenha havido esforços no sentido de desenvolver métodos de lógica