Algebra de relações : uma axiomatização tarskiana

Detalhes bibliográficos
Autor(a) principal: Suguitani, Leandro Oliva, 1976-
Data de Publicação: 2008
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/1608237
Resumo: Orientador: Itala Maria Loffredo D'Ottaviano
id UNICAMP-30_17d45dcb82a0c4e0601d73a621d275e3
oai_identifier_str oai::434477
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 Algebra de relações : uma axiomatização tarskianaRelation algebra : a tarskian axiomatizationTarski, Alfred, 1901-1983Lógica - Estudo e ensinoÁlgebraRepresentação (Filosofia)LogicAlgebraRepresentation (Philosphy)Orientador: Itala Maria Loffredo D'OttavianoDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências HumanasResumo: Em 1975, Alfred Tarski, um dos maiores lógicos contemporâneos, visitou o Instituto de Matemática, Estatística e Ciência da Computação (IMECC) da Unicamp. Nessa oportunidade, foi organizado um evento, o Simpósio de Lógica Matemática, para recebê-lo. Tarski apresentou então sua axiomatização para o cálculo de relações, conhecida como álgebra de relações (RA). A RA, como teoria formal desenvolvida por Tarski, foi apresentada em duas conferências, que foram pioneiramente gravadas em fita de vídeo e atualmente fazem parte do acervo dos Arquivos Históricos do Centro de Lógica, Epistemologia e História da Ciência (CLE) da Unicamp. Neste trabalho, apresentamos uma transcrição das conferências de Tarski e examinamos o seu conteúdo, inserindo-o no contexto histórico do desenvolvimento da teoria do cálculo de relações, cujo início remonta à alguns trabalhos de De Morgan, Peirce e Schröder. Tendo em vista que a origem dessa teoria já foi devidamente abordada, concentrar-nos-emos mais no conteúdo das conferências de Tarski proferidas no Brasil, sobre RA, dando especial atenção aos problemas deixados em aberto nessa ocasião, e no recente desenvolvimento de sua teoria.Abstract: In 1975, Alfred Tarski visited the Instituto de Matemática, Estatástica e Ciência da Computação (IMECC) at Unicamp, Brazil. In that ocasion, an event was organized to welcome him, the Simpósio de Lógica Matemática. Tarski's talking was about his axiomatization on the calculus of relations, which in that time was already known as Relation Algebra (RA). In Brazil, the formal theory of RA developed by Tarski was introduced to his audience in two lectures, which were taped and nowadays belongs to the historical files of Arquivos Hist'oricos do Centro de Lógica, Epistemologia e História da Ciência (CLE) at Unicamp. Our work aims to bring Tarski's conferences for public access through our transcription of them, and besides that, it is also our aim to analize Tarski's lectures and put it into the historical context of the development of RA, which origin goes back to some works of De Morgan, Peirce and Schröder. Our focus is on the content of the conferences, specially on the open problems left by Tarski and on the recent development of his theory.MestradoMestre em Filosofia[s.n.]D'Ottaviano, Itala Maria Loffredo, 1944-Viana, Jorge PetrucioFeitosa, Hercules de AraujoUniversidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências HumanasPrograma de Pós-Graduação em FilosofiaUNIVERSIDADE ESTADUAL DE CAMPINASSuguitani, Leandro Oliva, 1976-2008info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdf69 f.https://hdl.handle.net/20.500.12733/1608237SUGUITANI, Leandro Oliva. Algebra de relações: uma axiomatização tarskiana. 2008. 69 f. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1608237. Acesso em: 2 set. 2024.https://repositorio.unicamp.br/acervo/detalhe/434477porreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2017-06-02T11:18:31Zoai::434477Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2017-06-02T11:18:31Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Algebra de relações : uma axiomatização tarskiana
Relation algebra : a tarskian axiomatization
title Algebra de relações : uma axiomatização tarskiana
spellingShingle Algebra de relações : uma axiomatização tarskiana
Suguitani, Leandro Oliva, 1976-
Tarski, Alfred, 1901-1983
Lógica - Estudo e ensino
Álgebra
Representação (Filosofia)
Logic
Algebra
Representation (Philosphy)
title_short Algebra de relações : uma axiomatização tarskiana
title_full Algebra de relações : uma axiomatização tarskiana
title_fullStr Algebra de relações : uma axiomatização tarskiana
title_full_unstemmed Algebra de relações : uma axiomatização tarskiana
title_sort Algebra de relações : uma axiomatização tarskiana
author Suguitani, Leandro Oliva, 1976-
author_facet Suguitani, Leandro Oliva, 1976-
author_role author
dc.contributor.none.fl_str_mv D'Ottaviano, Itala Maria Loffredo, 1944-
Viana, Jorge Petrucio
Feitosa, Hercules de Araujo
Universidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências Humanas
Programa de Pós-Graduação em Filosofia
UNIVERSIDADE ESTADUAL DE CAMPINAS
dc.contributor.author.fl_str_mv Suguitani, Leandro Oliva, 1976-
dc.subject.por.fl_str_mv Tarski, Alfred, 1901-1983
Lógica - Estudo e ensino
Álgebra
Representação (Filosofia)
Logic
Algebra
Representation (Philosphy)
topic Tarski, Alfred, 1901-1983
Lógica - Estudo e ensino
Álgebra
Representação (Filosofia)
Logic
Algebra
Representation (Philosphy)
description Orientador: Itala Maria Loffredo D'Ottaviano
publishDate 2008
dc.date.none.fl_str_mv 2008
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/1608237
SUGUITANI, Leandro Oliva. Algebra de relações: uma axiomatização tarskiana. 2008. 69 f. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1608237. Acesso em: 2 set. 2024.
url https://hdl.handle.net/20.500.12733/1608237
identifier_str_mv SUGUITANI, Leandro Oliva. Algebra de relações: uma axiomatização tarskiana. 2008. 69 f. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1608237. Acesso em: 2 set. 2024.
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/434477
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
69 f.
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_ 1809188996758110208

Registros relacionados