N. A. Vasiliev e a logica não-classica

Detalhes bibliográficos
Autor(a) principal: Fonte, Regina A. Munhoz da
Data de Publicação: 1983
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
Texto Completo: https://hdl.handle.net/20.500.12733/1593162
Resumo: Orientador: Ayda Ignez Arruda
id UNICAMP-30_51772630eb8cde54f671ba495a0a2fbc
oai_identifier_str oai::270179
network_acronym_str UNICAMP-30
network_name_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository_id_str
spelling N. A. Vasiliev e a logica não-classicaVasiliev, N. ALógica simbólica e matemáticaLógica matemática não-clássicaModalidade (Lógica)Orientador: Ayda Ignez ArrudaDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias HumanasResumo: N.A. Vasiliev é atualmente considerado o primeiro precursor moderno das idéias que, nos últimos 60 anos, possibilitaram a construção das chamadas lógicas não clássicas. Até bem pouco tempo, no entanto, seu trabalho permaneceu desconhecido, e a divulgação de suas idéias deve-se inicialmente a V.A. Smirnov, 1962, (vide [16]) e G. Kline, 1965, (vide [9]). Mas foi através do trabalho de A.I. Arruda (vide [1] , [2] e [3] ) que as idéias do filosofo russo foram devidamente interpretadas e formalizadas de modo a serem reconhecidas como precursoras das lógicas paraconsistentes é polivalentes. São conhecidos, da obra lógica de Vasiliev, três artigos, escritos no período de 1910-1912 (vide [17], [18] e [19] } e dois abstract ; um deles do mesmo período e o outro de 1925. (vide [20] e [21]) . Nesta dissertação abordaremos apenas os três artigos citados, em sua tradução para o português feita por Edmundo Braga. Este trabalho está dividido em três capítulos. No primeiro capitulo apresentamos um resumo crítico dos três artigos citados, abordando principalmente as idéias relevantes para o estudo que faremos no capitulo III. No segundo capítulo damos um tratamento formal à silogística contraditória apresentada em [18]. Iniciamos com um resumo critico da descrição dada por Vasiliev a esta silogística, e em seguida propomos uma axiomática para a mesma, nos moldes daquela proposta por Lukasiewicz em [11], para a silogística aristotélica. O terceiro capitulo está dividido em duas secções principais: Vasiliev como precursor da lógica paraconsistente, e Vasiliev como precursor da lógica polivalente. Esse capítulo se baseia essencialmente nos artigos [4] e [5] de A.I. Arruda. Existem ainda alguns pontos interessantes nos artigos de Vasiliev que não foram abordados neste trabalho, como por exemplo: 1) Uma análise da lógica dos conceitos (apresentada em [17]), que a interprete como uma lógica modal com operadores de necessidade, impossibilidade e contingência. Para tanto, teria mos que construir inicialmente a silogística modal correspondente, cujos juízos seriam classificados, segundo a quantidade, apenas em universais, e segundo a qualidade em: "é necessário que S seja P" (juízo afirmativo), "é impossível que S seja P" (juízo negativo) e "é contingente que S seja P" (juízo acidental). Todavia os três juízos qualitativamente distintos teriam que ser independentes devido a lei de Quarto-Excluído (vide secção 1.1.3). 2) Um estudo das lógicas da similaridade e da diferença (apresentada em [18]). Estas lógicas são muito semelhantes às lógicas das negações relativas e absoluta (vide secção 3.1.4), podendo ser interpretadas como lógicas polivalentes onde se admite um valor de verdade "falso", um valor de verdade "absolutamente verdadeiro" e vários valores de verdade "relativamente verdadeiro"Abstract: Not informedMestradoLógica e EpistemologiaMestre em Lógica e Filosofia da Ciência[s.n.]Arruda, Ayda IgnezUniversidade Estadual de Campinas. Instituto de Filosofia e Ciências HumanasPrograma de Pós-Graduação em Lógica e Filosofia da CiênciaUNIVERSIDADE ESTADUAL DE CAMPINASFonte, Regina A. Munhoz da1983info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdf88f.https://hdl.handle.net/20.500.12733/1593162FONTE, Regina A. Munhoz da. N. A. Vasiliev e a logica não-classica. 1983. 88f. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1593162. Acesso em: 14 mai. 2024.https://repositorio.unicamp.br/acervo/detalhe/270179porreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2014-04-19T03:26:39Zoai::270179Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2014-04-19T03:26:39Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv N. A. Vasiliev e a logica não-classica
title N. A. Vasiliev e a logica não-classica
spellingShingle N. A. Vasiliev e a logica não-classica
Fonte, Regina A. Munhoz da
Vasiliev, N. A
Lógica simbólica e matemática
Lógica matemática não-clássica
Modalidade (Lógica)
title_short N. A. Vasiliev e a logica não-classica
title_full N. A. Vasiliev e a logica não-classica
title_fullStr N. A. Vasiliev e a logica não-classica
title_full_unstemmed N. A. Vasiliev e a logica não-classica
title_sort N. A. Vasiliev e a logica não-classica
author Fonte, Regina A. Munhoz da
author_facet Fonte, Regina A. Munhoz da
author_role author
dc.contributor.none.fl_str_mv Arruda, Ayda Ignez
Universidade Estadual de Campinas. Instituto de Filosofia e Ciências Humanas
Programa de Pós-Graduação em Lógica e Filosofia da Ciência
UNIVERSIDADE ESTADUAL DE CAMPINAS
dc.contributor.author.fl_str_mv Fonte, Regina A. Munhoz da
dc.subject.por.fl_str_mv Vasiliev, N. A
Lógica simbólica e matemática
Lógica matemática não-clássica
Modalidade (Lógica)
topic Vasiliev, N. A
Lógica simbólica e matemática
Lógica matemática não-clássica
Modalidade (Lógica)
description Orientador: Ayda Ignez Arruda
publishDate 1983
dc.date.none.fl_str_mv 1983
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/20.500.12733/1593162
FONTE, Regina A. Munhoz da. N. A. Vasiliev e a logica não-classica. 1983. 88f. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1593162. Acesso em: 14 mai. 2024.
url https://hdl.handle.net/20.500.12733/1593162
identifier_str_mv FONTE, Regina A. Munhoz da. N. A. Vasiliev e a logica não-classica. 1983. 88f. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1593162. Acesso em: 14 mai. 2024.
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/270179
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
88f.
dc.publisher.none.fl_str_mv [s.n.]
publisher.none.fl_str_mv [s.n.]
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
collection Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv sbubd@unicamp.br
_version_ 1799138372634017792

Registros relacionados