Introdução à Lógica Modal.
| Autor(a) principal: | |
|---|---|
| Data de Publicação: | 2009 |
| 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/45/45131/tde-17062009-161423/ |
Resumo: | O presente trabalho tem como objetivo proporcionar aos estudantes que precisem da lógica modal como ferramenta um texto conciso mas suficientemente completo. Embora seja um texto de cunho matemático, procura-se manter o equilíbrio entre os conceitos matemáticos e suas motivações filosóficas, pela crença de que tal equilíbrio é essencial para situar o pensamento em um texto introdutório. O primeiro capítulo começa com um breve histórico filosófico e trabalha os conceitos fundamentais de um ponto de vista sintático. O segundo capítulo retoma os conceitos do primeiro capítulo de um ponto de vista semântico e faz a conexão entre sintaxe e semântica. O terceiro capítulo trabalha o conceito de bissimulação e apresenta ferrametas que abrirão caminho para aplicações. |
| id |
USP_51cab6a6fa13549e8ac5a01ab99688c9 |
|---|---|
| oai_identifier_str |
oai:teses.usp.br:tde-17062009-161423 |
| network_acronym_str |
USP |
| network_name_str |
Biblioteca Digital de Teses e Dissertações da USP |
| repository_id_str |
2721 |
| spelling |
Introdução à Lógica Modal.An Introduction to Modal Logiclógica modalmodal logicmodalidademodalityO presente trabalho tem como objetivo proporcionar aos estudantes que precisem da lógica modal como ferramenta um texto conciso mas suficientemente completo. Embora seja um texto de cunho matemático, procura-se manter o equilíbrio entre os conceitos matemáticos e suas motivações filosóficas, pela crença de que tal equilíbrio é essencial para situar o pensamento em um texto introdutório. O primeiro capítulo começa com um breve histórico filosófico e trabalha os conceitos fundamentais de um ponto de vista sintático. O segundo capítulo retoma os conceitos do primeiro capítulo de um ponto de vista semântico e faz a conexão entre sintaxe e semântica. O terceiro capítulo trabalha o conceito de bissimulação e apresenta ferrametas que abrirão caminho para aplicações.The goal of this work is to provide the studens who need to deal with modal logic as a tool with a text which might be concise but complete enough at the same time. Although this is a rather mathematical text, an effort is made in order to maintain the equilibrium between mathematical concepts and their philosophical origins for believing this equilibium is of great importance for clarifing the ideas in a work for beginners. The first chapter starts with a brief historical approach of logic and then discusses some fundamental concepts from a syntactical point of view. The second chapter discusses the same concepts from a semantical point of view and links syntact and semantics. The third chapter presents the concept of bisimulation and paves the way for working with applications.Biblioteca Digitais de Teses e Dissertações da USPWeiss, Maria AngelaCoscarelli, Bruno Costa2009-05-15info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://www.teses.usp.br/teses/disponiveis/45/45131/tde-17062009-161423/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/openAccesspor2016-07-28T16:09:59Zoai:teses.usp.br:tde-17062009-161423Biblioteca 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:27212016-07-28T16:09:59Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false |
| dc.title.none.fl_str_mv |
Introdução à Lógica Modal. An Introduction to Modal Logic |
| title |
Introdução à Lógica Modal. |
| spellingShingle |
Introdução à Lógica Modal. Coscarelli, Bruno Costa lógica modal modal logic modalidade modality |
| title_short |
Introdução à Lógica Modal. |
| title_full |
Introdução à Lógica Modal. |
| title_fullStr |
Introdução à Lógica Modal. |
| title_full_unstemmed |
Introdução à Lógica Modal. |
| title_sort |
Introdução à Lógica Modal. |
| author |
Coscarelli, Bruno Costa |
| author_facet |
Coscarelli, Bruno Costa |
| author_role |
author |
| dc.contributor.none.fl_str_mv |
Weiss, Maria Angela |
| dc.contributor.author.fl_str_mv |
Coscarelli, Bruno Costa |
| dc.subject.por.fl_str_mv |
lógica modal modal logic modalidade modality |
| topic |
lógica modal modal logic modalidade modality |
| description |
O presente trabalho tem como objetivo proporcionar aos estudantes que precisem da lógica modal como ferramenta um texto conciso mas suficientemente completo. Embora seja um texto de cunho matemático, procura-se manter o equilíbrio entre os conceitos matemáticos e suas motivações filosóficas, pela crença de que tal equilíbrio é essencial para situar o pensamento em um texto introdutório. O primeiro capítulo começa com um breve histórico filosófico e trabalha os conceitos fundamentais de um ponto de vista sintático. O segundo capítulo retoma os conceitos do primeiro capítulo de um ponto de vista semântico e faz a conexão entre sintaxe e semântica. O terceiro capítulo trabalha o conceito de bissimulação e apresenta ferrametas que abrirão caminho para aplicações. |
| publishDate |
2009 |
| dc.date.none.fl_str_mv |
2009-05-15 |
| 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/45/45131/tde-17062009-161423/ |
| url |
http://www.teses.usp.br/teses/disponiveis/45/45131/tde-17062009-161423/ |
| 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_ |
1809090799705522176 |