Contribuições históricas da lógica clássica, da lógica simbólica e o surgimento das lógicas não clássicas
Autor(a) principal: | |
---|---|
Data de Publicação: | 2012 |
Tipo de documento: | Trabalho de conclusão de curso |
Idioma: | por |
Título da fonte: | Repositório Institucional da UFMG |
Texto Completo: | http://hdl.handle.net/1843/EABA-93RGWY |
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. |
id |
UFMG_a4b22a1b2cc06a1ae03d8e7d8311f456 |
---|---|
oai_identifier_str |
oai:repositorio.ufmg.br:1843/EABA-93RGWY |
network_acronym_str |
UFMG |
network_name_str |
Repositório Institucional da UFMG |
repository_id_str |
|
spelling |
Renato Vidal da Silva MartinsJussara de Matos MoreiraPaulo Antonio Fonseca MachadoAna Paula Vargas Faria2019-08-13T14:57:56Z2019-08-13T14:57:56Z2012-12-21http://hdl.handle.net/1843/EABA-93RGWYEste 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.Universidade Federal de Minas GeraisUFMGMatemáticalógica clássicalógica simbólicalógicas não clássicasContribuições históricas da lógica clássica, da lógica simbólica e o surgimento das lógicas não clássicasinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bachelorThesisinfo:eu-repo/semantics/openAccessporreponame:Repositório Institucional da UFMGinstname:Universidade Federal de Minas Gerais (UFMG)instacron:UFMGORIGINALmonografia_anapaulavargas.pdfapplication/pdf682582https://repositorio.ufmg.br/bitstream/1843/EABA-93RGWY/1/monografia_anapaulavargas.pdfd21057b75f4545b9fe440412314d853bMD51TEXTmonografia_anapaulavargas.pdf.txtmonografia_anapaulavargas.pdf.txtExtracted texttext/plain71510https://repositorio.ufmg.br/bitstream/1843/EABA-93RGWY/2/monografia_anapaulavargas.pdf.txt5ce9c626ec30ad3d2e314ea5b0644c93MD521843/EABA-93RGWY2019-11-14 13:26:15.931oai:repositorio.ufmg.br:1843/EABA-93RGWYRepositório de PublicaçõesPUBhttps://repositorio.ufmg.br/oaiopendoar:2019-11-14T16:26:15Repositório Institucional da UFMG - Universidade Federal de Minas Gerais (UFMG)false |
dc.title.pt_BR.fl_str_mv |
Contribuições históricas da lógica clássica, da lógica simbólica e o surgimento das lógicas não clássicas |
title |
Contribuições históricas da lógica clássica, da lógica simbólica e o surgimento das lógicas não clássicas |
spellingShingle |
Contribuições históricas da lógica clássica, da lógica simbólica e o surgimento das lógicas não clássicas Ana Paula Vargas Faria lógica clássica lógica simbólica lógicas não clássicas Matemática |
title_short |
Contribuições históricas da lógica clássica, da lógica simbólica e o surgimento das lógicas não clássicas |
title_full |
Contribuições históricas da lógica clássica, da lógica simbólica e o surgimento das lógicas não clássicas |
title_fullStr |
Contribuições históricas da lógica clássica, da lógica simbólica e o surgimento das lógicas não clássicas |
title_full_unstemmed |
Contribuições históricas da lógica clássica, da lógica simbólica e o surgimento das lógicas não clássicas |
title_sort |
Contribuições históricas da lógica clássica, da lógica simbólica e o surgimento das lógicas não clássicas |
author |
Ana Paula Vargas Faria |
author_facet |
Ana Paula Vargas Faria |
author_role |
author |
dc.contributor.advisor1.fl_str_mv |
Renato Vidal da Silva Martins |
dc.contributor.referee1.fl_str_mv |
Jussara de Matos Moreira |
dc.contributor.referee2.fl_str_mv |
Paulo Antonio Fonseca Machado |
dc.contributor.author.fl_str_mv |
Ana Paula Vargas Faria |
contributor_str_mv |
Renato Vidal da Silva Martins Jussara de Matos Moreira Paulo Antonio Fonseca Machado |
dc.subject.por.fl_str_mv |
lógica clássica lógica simbólica lógicas não clássicas |
topic |
lógica clássica lógica simbólica lógicas não clássicas Matemática |
dc.subject.other.pt_BR.fl_str_mv |
Matemática |
description |
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. |
publishDate |
2012 |
dc.date.issued.fl_str_mv |
2012-12-21 |
dc.date.accessioned.fl_str_mv |
2019-08-13T14:57:56Z |
dc.date.available.fl_str_mv |
2019-08-13T14:57:56Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/bachelorThesis |
format |
bachelorThesis |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
http://hdl.handle.net/1843/EABA-93RGWY |
url |
http://hdl.handle.net/1843/EABA-93RGWY |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.publisher.none.fl_str_mv |
Universidade Federal de Minas Gerais |
dc.publisher.initials.fl_str_mv |
UFMG |
publisher.none.fl_str_mv |
Universidade Federal de Minas Gerais |
dc.source.none.fl_str_mv |
reponame:Repositório Institucional da UFMG instname:Universidade Federal de Minas Gerais (UFMG) instacron:UFMG |
instname_str |
Universidade Federal de Minas Gerais (UFMG) |
instacron_str |
UFMG |
institution |
UFMG |
reponame_str |
Repositório Institucional da UFMG |
collection |
Repositório Institucional da UFMG |
bitstream.url.fl_str_mv |
https://repositorio.ufmg.br/bitstream/1843/EABA-93RGWY/1/monografia_anapaulavargas.pdf https://repositorio.ufmg.br/bitstream/1843/EABA-93RGWY/2/monografia_anapaulavargas.pdf.txt |
bitstream.checksum.fl_str_mv |
d21057b75f4545b9fe440412314d853b 5ce9c626ec30ad3d2e314ea5b0644c93 |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 |
repository.name.fl_str_mv |
Repositório Institucional da UFMG - Universidade Federal de Minas Gerais (UFMG) |
repository.mail.fl_str_mv |
|
_version_ |
1793890403453239296 |