Metodologia
INTRODUÇÃO
A LÓGICA
DA MATEMÁTICA
Profª. Renata
Santo Antônio de Jesus – Bahia
13 de Abril de 2014
ÍNDICE
Hintória
Conceito
Objetivos
Utilização, e tipos
Influencia e sua origem
INTRODUÇÃO
A logica matematica surgiu em meados do século XIX como um sub-ramo da Matemática e independente do estudo tradicional da (Ferreirós 2001, p. 443)(Ferreirós 2001, p. 443). Antes do seu surgimento independente, a lógica foi estudada com a retórica, através do silogismo e a filosofia. Na primeira metade do seculo XX houve uma explosão de resultados fundamentais, acompanhados por debates vigorosos sobre as bases da matemática.
Os estudos sobre o raciocínio foram inicialmente desenvolvidos por filósofos como Parménides e Platão, mas foi Aristóteles quem o elaborou mais detalhadamente e definiu a lógica como se estuda hoje em dia (como se estudava até o século XIX).
Para mostrar que os sofistas (mestres da retórica e da oratória) podiam enganar os cidadãos utilizando argumentos incorretos, Aristóteles estudou a estrutura lógica da argumentação. Revelando, assim, que alguns argumentos podem ser convincentes, embora não sejam corretos. A lógica, segundo Aristóteles, é um instrumento para atingir o conhecimento científico, baseando-se no silogismo.
O conceito de forma lógica é central à lógica, que se baseia na ideia de que a validade de um argumento é determinada pela sua forma lógica, não pelo seu conteúdo. A