Publicação
Contribuições históricas da lógica clássica, da lógica simbólica e o surgimento das lógicas não clássicas
| Resumo: | Este trabalho tem o objetivo de apresentar um breve histórico sobre a lógica, reunindo as principais fases que caracterizaram sua expressão na Filosofia e na Matemática. Na tentativa de expor as modificações significativas da lógica clássica (aristotélica) para a lógica simbólica e que levou ao surgimento das lógicas não clássicas. Para esse objetivo serão descritas a teoria do silogismo de Aristóteles e as limitações que levaram ao questionamento do modelo aristotélico. Em sequência será explicado o modelo elaborado por Gottlob Frege e seus principais aspectos. Finalmente, serão apresentadas algumas considerações sobre a matemática do século XIX, que contribuíram para o surgimento das lógicas não clássicas, dando uma breve explicação sobre a Lógica Paraconsistente. |
|---|---|
| Autores principais: | Ana Paula Vargas Faria |
| Assunto: | lógica clássica lógica simbólica lógicas não clássicas Matemática |
| Ano: | 2019 |
| País: | Brasil |
| Tipo de documento: | trabalho de fim de curso |
| Tipo de acesso: | acesso aberto |
| Instituição associada: | IBICT |
| Idioma: | português |
| Origem: | Oasisbr |
| Resumo: | Este trabalho tem o objetivo de apresentar um breve histórico sobre a lógica, reunindo as principais fases que caracterizaram sua expressão na Filosofia e na Matemática. Na tentativa de expor as modificações significativas da lógica clássica (aristotélica) para a lógica simbólica e que levou ao surgimento das lógicas não clássicas. Para esse objetivo serão descritas a teoria do silogismo de Aristóteles e as limitações que levaram ao questionamento do modelo aristotélico. Em sequência será explicado o modelo elaborado por Gottlob Frege e seus principais aspectos. Finalmente, serão apresentadas algumas considerações sobre a matemática do século XIX, que contribuíram para o surgimento das lógicas não clássicas, dando uma breve explicação sobre a Lógica Paraconsistente. |
|---|
Atividades financiadas
Não foram encontrados projetos financiados.