Lógica

Vivian Daniely Barbosa Biondi
Vivian Daniely Barbosa Biondi
Lógica
Lógica

Atibaia – SP
2013
Atibaia – SP
2013

Sumário

Sumário 2
1 Introdução 3
2 História da Lógica 4 2.1 Teoria do silogismo 4 2.2 Os paradoxos auto-referenciais 9
3 Lógica Clássica 12
4 Lógica Moderna 13

5 Lógica voltada ao ensino 18
6 Conclusão 20
Referências Bibliográficas 21 1. Introdução
Este trabalho destina-se a compreensão da lógica que é um pensamento baseado na forma correta de argumentação. A lógica clássica, por exemplo, foi proposta como disciplina por Aristóteles em sua obra Organon. Por ser correta e completa, é a linguagem adequada para a matemática.
A coerência de pensamentos é o ponto de partida da lógica, uma sequência que liga ideia, raciocínio e resultado. Partindo-se de uma série de axiomas e termos assumidos sem definição, utilizam-se regras de inferência de forma que, partindo-se de premissas verdadeiras, chega-se a uma conclusão também verdadeira.
A determinação do valor semântico de certa proposição matemática significa demonstrar que tal proposição é verdadeira ou que a sua negação é falsa. Desta forma, é essencial que se entenda tanto a linguagem utilizada (neste caso a lógica matemática), no que se refere a técnicas de demonstração.
Para o ensino, o principal é conhecer muito bem os símbolos matemáticos. Os alunos começam a lidar com simbolismo no ensino fundamental, na aprendizagem de expressões algébricas. Entretanto, normalmente, a apresentação de tais símbolos se dá de maneira exclusivamente sintática, isto é, através de formulação de expressões e resolução de equações.
A explicação da semântica de tais expressões, ou mesmo a apresentação de expressões via problemas com enunciados em português é evitada geralmente. A explicação é que, os alunos entendem melhor expressões do que textos, e então se cria aí um círculo vicioso, uma vez que os alunos, quando deparados com problemas com enunciados mais elaborados, não são capazes de