Lógica e Informação : uma análise da consequência lógica a partir de uma perspectiva quantitativa da informação

Detalhes bibliográficos
Ano de defesa: 2012
Autor(a) principal: Alves, Marcos Antonio, 1975-
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Tese
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: [s.n.]
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Filosofia
Lógica
Epistemologia
Lógica simbólica e matemática
Teoria da informação
Philosophy
Logic
Epistemology
Logic, symbolic and mathematical
Information theory
Link de acesso: https://hdl.handle.net/20.500.12733/1619146
Resumo: Orientador: Ítala Maria Loffredo D'Ottaviano
id UNICAMP-30_b1b99789f8a66595c0527a023d4393e0
oai_identifier_str oai::896840
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 Lógica e Informação : uma análise da consequência lógica a partir de uma perspectiva quantitativa da informaçãoLogic and Information : an approach quantitative informational of logical consequenceFilosofiaLógicaEpistemologiaLógica simbólica e matemáticaTeoria da informaçãoPhilosophyLogicEpistemologyLogic, symbolic and mathematicalInformation theoryOrientador: Ítala Maria Loffredo D'OttavianoTese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências HumanasResumo: Nosso objetivo nesta Tese é desenvolver uma definição da consequência lógica a partir de uma perspectiva quantitativa da informação. O trabalho pode ser dividido em duas partes. Na primeira, que consiste dos três capítulos iniciais, fazemos um estudo crítico de algumas das principais concepções usuais de consequência lógica. No primeiro capítulo expomos três das características centrais da consequência lógica, quais sejam, necessidade, formalidade e anterioridade. Apresentamos uma noção geral de consequência lógica, a partir da qual classificamos as diferentes noções de consequência lógica em clássicas e não-clássicas. Nos dois próximos capítulos tratamos da consequência lógica a partir das perspectivas sintática e semântica, analisando em que medida elas satisfazem as três características acima enunciadas. Na segunda parte, constituída dos três últimos capítulos, desenvolvemos a nossa proposta. No quarto capítulo expomos criticamente a concepção de informação a ser utilizada na Tese. No quinto capítulo construímos uma semântica probabilística para a lógica sentencial clássica, mostrando os seus principais resultados. A partir desta semântica, definimos, no sexto capítulo, a quantidade de informação em uma fórmula da lógica sentencial clássica e a consequência lógica probabilística. Feito isso, definimos a consequência lógica informacional, demonstrando os seus principais resultadosAbstract: Our goal in this work is to develop a definition of logical consequence from a quantitative perspective of information. The work can be divided into two parts. The first, consisting of three chapters, we make a critical study of some key concepts usual logical consequence. In the first chapter we expose three of the central features of logical consequence, namely, necessity, formality and apriority. We present a general notion of logical consequence, from which classify the different notions of logical consequence in classical and non-classical. In the next two chapters deal with the logical consequence from the syntactic and semantic perspectives, analyzing the extent to which they meet the three above features. In the second part, which consists of the last three chapters, we developed our proposal. In the fourth chapter critically expose the concept of information to be used in the thesis. In the fifth chapter we build a probabilistic semantics for classical sentential logic, showing its main results. From this semantics, we define, in the sixth chapter, the amount of information in a formula of classical sentence logic and probabilistic logical consequence. That done, we define the informational logical consequence, showing its main resultsDoutoradoFilosofiaDoutor em Filosofia[s.n.]D'Ottaviano, Itala Maria Loffredo, 1944-Gonzalez, Maria Frederico Einice QuiliciSilveira, Lauro Frederico Barbosa daFeitosaa, Hercules de AraújoBertato, Fábio MaiaUniversidade Estadual de Campinas. Instituto de Filosofia e Ciências HumanasPrograma de Pós-Graduação em FilosofiaUNIVERSIDADE ESTADUAL DE CAMPINASAlves, Marcos Antonio, 1975-2012info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdf195 p. : il.https://hdl.handle.net/20.500.12733/1619146ALVES, Marcos Antonio. Lógica e Informação: uma análise da consequência lógica a partir de uma perspectiva quantitativa da informação. 2012. 195 p. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1619146. Acesso em: 15 mai. 2024.https://repositorio.unicamp.br/acervo/detalhe/896840porreponame: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-02-18T06:50:36Zoai::896840Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2017-02-18T06:50:36Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Lógica e Informação : uma análise da consequência lógica a partir de uma perspectiva quantitativa da informação
Logic and Information : an approach quantitative informational of logical consequence
title Lógica e Informação : uma análise da consequência lógica a partir de uma perspectiva quantitativa da informação
spellingShingle Lógica e Informação : uma análise da consequência lógica a partir de uma perspectiva quantitativa da informação
Alves, Marcos Antonio, 1975-
Filosofia
Lógica
Epistemologia
Lógica simbólica e matemática
Teoria da informação
Philosophy
Logic
Epistemology
Logic, symbolic and mathematical
Information theory
title_short Lógica e Informação : uma análise da consequência lógica a partir de uma perspectiva quantitativa da informação
title_full Lógica e Informação : uma análise da consequência lógica a partir de uma perspectiva quantitativa da informação
title_fullStr Lógica e Informação : uma análise da consequência lógica a partir de uma perspectiva quantitativa da informação
title_full_unstemmed Lógica e Informação : uma análise da consequência lógica a partir de uma perspectiva quantitativa da informação
title_sort Lógica e Informação : uma análise da consequência lógica a partir de uma perspectiva quantitativa da informação
author Alves, Marcos Antonio, 1975-
author_facet Alves, Marcos Antonio, 1975-
author_role author
dc.contributor.none.fl_str_mv D'Ottaviano, Itala Maria Loffredo, 1944-
Gonzalez, Maria Frederico Einice Quilici
Silveira, Lauro Frederico Barbosa da
Feitosaa, Hercules de Araújo
Bertato, Fábio Maia
Universidade Estadual de Campinas. 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 Alves, Marcos Antonio, 1975-
dc.subject.por.fl_str_mv Filosofia
Lógica
Epistemologia
Lógica simbólica e matemática
Teoria da informação
Philosophy
Logic
Epistemology
Logic, symbolic and mathematical
Information theory
topic Filosofia
Lógica
Epistemologia
Lógica simbólica e matemática
Teoria da informação
Philosophy
Logic
Epistemology
Logic, symbolic and mathematical
Information theory
description Orientador: Ítala Maria Loffredo D'Ottaviano
publishDate 2012
dc.date.none.fl_str_mv 2012
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/20.500.12733/1619146
ALVES, Marcos Antonio. Lógica e Informação: uma análise da consequência lógica a partir de uma perspectiva quantitativa da informação. 2012. 195 p. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1619146. Acesso em: 15 mai. 2024.
url https://hdl.handle.net/20.500.12733/1619146
identifier_str_mv ALVES, Marcos Antonio. Lógica e Informação: uma análise da consequência lógica a partir de uma perspectiva quantitativa da informação. 2012. 195 p. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1619146. Acesso em: 15 mai. 2024.
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/896840
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
195 p. : il.
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_ 1799139938637185024

Registros relacionados