Teoria de Categorias: uma semântica categorial para linguagens proposicionais
Autor(a) principal: | |
---|---|
Data de Publicação: | 2018 |
Tipo de documento: | Dissertação |
Idioma: | por |
Título da fonte: | Biblioteca Digital de Teses e Dissertações da USP |
Texto Completo: | http://www.teses.usp.br/teses/disponiveis/8/8133/tde-15032019-114808/ |
Resumo: | O ponto central dessa dissertação é expor categorialmente as funções de verdade do cálculo proposicional clássico, assim como provar, também categorialmente, que a definição dada se comporta tal como as tabelas de verdade dos operadores. Para tanto é feita uma exposição axiomática de teoria de categorias, salientando as construções e conceitos que servirão para o propósito principal da dissertação. É dada uma maior atenção ao conceito de Topos, estrutura onde as funções de verdade são em princípio construídas. Tal exposição é precedida de uma breve exposição da história de teoria de categorias. Por fim é apresentada uma possível nova estrutra, mais simples que Topos, onde também se constrói as funções de verdade. |
id |
USP_de449c09bbcff36fe6b3a8823accffa0 |
---|---|
oai_identifier_str |
oai:teses.usp.br:tde-15032019-114808 |
network_acronym_str |
USP |
network_name_str |
Biblioteca Digital de Teses e Dissertações da USP |
repository_id_str |
2721 |
spelling |
Teoria de Categorias: uma semântica categorial para linguagens proposicionaisTheory of categories: a categorical semantic for propositional languagesCálculo proposicionalFunções de verdadeLógica matemáticaMathematical logicPropositional calculusTeoria de categoriasTheory of categoriesTruth functionsO ponto central dessa dissertação é expor categorialmente as funções de verdade do cálculo proposicional clássico, assim como provar, também categorialmente, que a definição dada se comporta tal como as tabelas de verdade dos operadores. Para tanto é feita uma exposição axiomática de teoria de categorias, salientando as construções e conceitos que servirão para o propósito principal da dissertação. É dada uma maior atenção ao conceito de Topos, estrutura onde as funções de verdade são em princípio construídas. Tal exposição é precedida de uma breve exposição da história de teoria de categorias. Por fim é apresentada uma possível nova estrutra, mais simples que Topos, onde também se constrói as funções de verdade.The main purpose of this dissertation is to give a categorial account of the truth functions from the classic propositional calculus, as well as to prove, also categorially, that the definition given behave as the truth tables of the operators. For this end, an axiomatic exposition of category theory is made, focusing on constructions and concepts which will be used for the main purpose of the dissertation. More attention is given to the concept of Topos, structure where the truth functions are primarily constructed. Preceded by a brief exposition of Category Theory history. At the end, a new possible structure in which truth functions may be constructed, simpler than a Topos, is presented.Biblioteca Digitais de Teses e Dissertações da USPSouza, Edelcio Gonçalves deMaillard, Christian Marcel de Amorim Perret Gentil Dit2018-05-24info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://www.teses.usp.br/teses/disponiveis/8/8133/tde-15032019-114808/reponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USPLiberar o conteúdo para acesso público.info:eu-repo/semantics/openAccesspor2019-04-09T23:21:59Zoai:teses.usp.br:tde-15032019-114808Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212019-04-09T23:21:59Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false |
dc.title.none.fl_str_mv |
Teoria de Categorias: uma semântica categorial para linguagens proposicionais Theory of categories: a categorical semantic for propositional languages |
title |
Teoria de Categorias: uma semântica categorial para linguagens proposicionais |
spellingShingle |
Teoria de Categorias: uma semântica categorial para linguagens proposicionais Maillard, Christian Marcel de Amorim Perret Gentil Dit Cálculo proposicional Funções de verdade Lógica matemática Mathematical logic Propositional calculus Teoria de categorias Theory of categories Truth functions |
title_short |
Teoria de Categorias: uma semântica categorial para linguagens proposicionais |
title_full |
Teoria de Categorias: uma semântica categorial para linguagens proposicionais |
title_fullStr |
Teoria de Categorias: uma semântica categorial para linguagens proposicionais |
title_full_unstemmed |
Teoria de Categorias: uma semântica categorial para linguagens proposicionais |
title_sort |
Teoria de Categorias: uma semântica categorial para linguagens proposicionais |
author |
Maillard, Christian Marcel de Amorim Perret Gentil Dit |
author_facet |
Maillard, Christian Marcel de Amorim Perret Gentil Dit |
author_role |
author |
dc.contributor.none.fl_str_mv |
Souza, Edelcio Gonçalves de |
dc.contributor.author.fl_str_mv |
Maillard, Christian Marcel de Amorim Perret Gentil Dit |
dc.subject.por.fl_str_mv |
Cálculo proposicional Funções de verdade Lógica matemática Mathematical logic Propositional calculus Teoria de categorias Theory of categories Truth functions |
topic |
Cálculo proposicional Funções de verdade Lógica matemática Mathematical logic Propositional calculus Teoria de categorias Theory of categories Truth functions |
description |
O ponto central dessa dissertação é expor categorialmente as funções de verdade do cálculo proposicional clássico, assim como provar, também categorialmente, que a definição dada se comporta tal como as tabelas de verdade dos operadores. Para tanto é feita uma exposição axiomática de teoria de categorias, salientando as construções e conceitos que servirão para o propósito principal da dissertação. É dada uma maior atenção ao conceito de Topos, estrutura onde as funções de verdade são em princípio construídas. Tal exposição é precedida de uma breve exposição da história de teoria de categorias. Por fim é apresentada uma possível nova estrutra, mais simples que Topos, onde também se constrói as funções de verdade. |
publishDate |
2018 |
dc.date.none.fl_str_mv |
2018-05-24 |
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 |
http://www.teses.usp.br/teses/disponiveis/8/8133/tde-15032019-114808/ |
url |
http://www.teses.usp.br/teses/disponiveis/8/8133/tde-15032019-114808/ |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.relation.none.fl_str_mv |
|
dc.rights.driver.fl_str_mv |
Liberar o conteúdo para acesso público. info:eu-repo/semantics/openAccess |
rights_invalid_str_mv |
Liberar o conteúdo para acesso público. |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf |
dc.coverage.none.fl_str_mv |
|
dc.publisher.none.fl_str_mv |
Biblioteca Digitais de Teses e Dissertações da USP |
publisher.none.fl_str_mv |
Biblioteca Digitais de Teses e Dissertações da USP |
dc.source.none.fl_str_mv |
reponame:Biblioteca Digital de Teses e Dissertações da USP instname:Universidade de São Paulo (USP) instacron:USP |
instname_str |
Universidade de São Paulo (USP) |
instacron_str |
USP |
institution |
USP |
reponame_str |
Biblioteca Digital de Teses e Dissertações da USP |
collection |
Biblioteca Digital de Teses e Dissertações da USP |
repository.name.fl_str_mv |
Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP) |
repository.mail.fl_str_mv |
virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br |
_version_ |
1809090736026550272 |