91 |
O problema do desacordo racionalGomes, Bruno Henrique Uchôa da Silva January 2016 (has links)
Tese (doutorado) - Universidade Federal de Santa Catarina, Centro de Filosofia e Ciências Humanas, Programa de Pós-Graduação em Filosofia, Florianópolis, 2016. / Made available in DSpace on 2016-09-27T04:04:47Z (GMT). No. of bitstreams: 1
338979.pdf: 1143367 bytes, checksum: 53480dfadecbe9db4097684c05fd8001 (MD5)
Previous issue date: 2016 / Buscamos uma resposta para a questão: pode haver desacordo racional depois que duas pessoas consideradas pares descobrem que defendem crenças divergentes? Apresentaremos, por um lado, a resposta dada pela Visão de Peso Igual que defende que o par deve desistir de suas respectivas crenças, pois não pode haver desacordo racional depois do reconhecimento mútuo; por outro lado, temos a Visão das Razões Corretas e a Visão de Peso Extra que defendem que o par deve permanecer com suas respectivas crenças. Os defensores da Visão de Peso Igual defendem a chamada Tese da Unicidade que diz que só podemos ter apenas uma resposta doxástica racional para cada crença. Defensores das outras visões concorrentes defendem uma espécie de permissivismo epistêmico que diz o oposto, ou seja, pode-se, racionalmente, ser sustentada mais de uma atitude doxástica para cada crença (não pela mesma pessoa no mesmo tempo). Mostraremos que muito da discussão se concentra em duas temáticas importantes da epistemologia mainstream: justificação epistêmica e anuladores. A partir de então, argumentaremos que a divisão entre justificação interna e justificação externa, além da divisão entre anuladores proposicionais e anuladores de estados mentais podem nos dar uma resposta ao problema. Do ponto de vista internalista, a resposta ao problema é 'sim', mas do ponto de vista externalista a resposta pode ser 'não'. Ademais, nem sempre um anulador incita uma revisão completa da crença, mas apenas uma revisão parcial. Isto pode desmotivar a atração inicial pela Visão de Peso Igual.<br> / Abstract : We seek an answer to the question: can there be rational disagreement after two people considered peers find out that hold divergent beliefs? We will present, on the one hand, the answer given by Equal Weight View defending that the pair should give up their respective beliefs, because there must be no rational disagreement after mutual recognition; On the other hand, we have the Right Reasons View and Extra Weight View that support that the peer should remain with their respective beliefs. Supporters of Equal Weight View stand up for calledUniqueness Thesis that says we can only have only one rational doxastic answer for every belief. Supporters of other competing visions defend akind of epistemic permissiveness that says the opposite, i.e., rationally more than one doxastic attitude can be sustained over each belief (not the same person at the same time). We will show that much of the discussion focuses on two important themes of mainstream epistemology: epistemic justification and defeaters. From them on, we argue that the division between internal and external justification, besides the division between propositional defeaters and mental states defeaters can give us an answer to the problem. From the internalist' spoint of view, the answer to the question is 'yes', but the externalist' spoint of view, the answer might be 'no'. Moreover, a defeater does not always urge a complete review of the belief, but only a partial review. This may discourage the initial attraction to Equal Weight View.
|
92 |
Aspectos lógicos e algébricos dos conjuntos fuzzySilva, Anderson Aparecido da [UNESP] January 2012 (has links) (PDF)
Made available in DSpace on 2014-06-11T19:25:28Z (GMT). No. of bitstreams: 0
Previous issue date: 2012Bitstream added on 2014-06-13T20:47:41Z : No. of bitstreams: 1
silva_aa_me_mar.pdf: 724144 bytes, checksum: 318dba5ed3999a3488efb47d22e4ba14 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Este trabalho se inicia com um breve resgate histórico do denominado Mundo Fuzzy, com destaque sobre a teoria de conjuntos fuzzy, teoria essa em que a bivalência da teoria usual de conjuntos não se aplica. A seguir, são discutidos aspectos sobre quantificadores, com destaque para quantificadores da lógica clássica de primeira ordem, quantificadores não clássicos e alguns quantificadores das linguagens naturais, mas que não são definíveis a partir dos usuais “para todos” e “existe algum”. Alguns desses quantificadores são vistos na perspectiva da teoria fuzzy. De importância capital, ocorre uma análise da teoria dos conjuntos fuzzy, conforme inicialmente introduzida na literatura fuzzy, com destaque sobre qual e como seria a álgebra desses conjuntos. A partir desta caracterização algébrica, buscase uma formalização das suas propriedades essenciais numa linguagem lógica proposicional, o que conduz a uma caracterização de uma particular lógica fuzzy / This dissertation begins with a brief historical rescue of the Fuzzy World, highlighting the Fuzzy Sets theory, a theory in which the usual bivalence of sets does not apply. The aspects of quantifiers are also discussed, especially quantifiers of the classical first-order logic, nonclassical quantifiers and some quantifiers of natural languages, which are not definable from the usual “universal” and “existential”. Some of these quantifiers are seen in the perspective of the fuzzy theory. Utmost importance, an analysis of the Fuzzy Sets theory occurs, as originally introduced in the fuzzy literature, with emphasis on what and how the algebra of these sets would be. From this algebraic characterization, a formalization of its essential properties in a language of propositional logic is sought, which leads to a characterization of a particular fuzzy logic
|
93 |
Uma lógica do poucosOliveira, Kleidson Êglicio Carvalho da Silva [UNESP] 09 September 2011 (has links) (PDF)
Made available in DSpace on 2014-06-11T19:25:28Z (GMT). No. of bitstreams: 0
Previous issue date: 2011-09-09Bitstream added on 2014-06-13T19:53:15Z : No. of bitstreams: 1
oliveira_kecs_me_mar.pdf: 826813 bytes, checksum: 56327c2d9326c6db47752e9cebb475e8 (MD5) / Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) / Em 1999, Grácio introduziu uma família de lógicas não-clássicas ─ as lógicas moduladas ─, cuja função é formalizar sentenças que expressam quantificações da linguagem natural, que não podem ser definidas em função dos quantificadores da lógica clássica de primeira ordem. Dentre as lógicas moduladas, destaca-se a lógica do muito, que formaliza expressões do tipo “muitos x satisfazem a sentença φ”, por meio da sentença Gx φ(x), para G denominado o quantificador para “muitos”. Nesta Dissertação, tendo como base o quantificador “muitos”, propõe-se, em contrapartida, uma lógica para a noção de “poucos”. Apresenta-se um sistema lógico axiomático e monotônico para a lógica do poucos, em cuja semântica se utiliza a estrutura matemática denominada família quase fechada inferiormente, para representar a noção intuitiva de “poucos”. Demonstra-se que este sistema lógico é consistente, correto e completo. Analisam-se os aspectos duais entre a lógica do poucos construída e a lógica do muito, além de outros sistemas lógicos para o quantificador “poucos”, a partir de novas intuições. Finalizando, apresentam-se algumas considerações e sugestões para pesquisas em continuidade ao trabalho iniciado nesta Dissertação / In 1999, Grácio introduced a family of non-classical logics – modulated logics –, whose function is to formalize sentences that express quantification in natural language, which cannot be defined in terms of quantifiers of first order classical logic. Among the modulated logics, there is logic of many, that formalizes expressions like many x satisfy the sentence φ, by the sentence Gx φ(x) to G referred to the quantifier many. In this Dissertation, based on the quantifier many, it is proposed, on the other hand, a logic to the notion of few. It presents an axiomatic and monotonic logical system for the logic of the few, whose semantics is used in the mathematical structure called the family almost closed inferiorly, to represent the intuitive notion of few. It is demonstrated that this logical system is consistent, sound and complete. We are analyze the dual aspects of logic of many and the logic of the few built, and other logical systems for the quantifier few, from new insights. Finally, we present some considerations and suggestions for research in continuing the work begun in this Dissertation
|
94 |
Índice de sustentabilidade municipal: uma abordagem fuzzy para um sistema de apoio a decisão / Municipal sustainability index: an approach to fuzzy for a decision supportSoares, Luiz Fernando da Silva [UNESP] 30 March 2015 (has links) (PDF)
Made available in DSpace on 2015-07-13T12:10:09Z (GMT). No. of bitstreams: 0
Previous issue date: 2015-03-30. Added 1 bitstream(s) on 2015-07-13T12:25:43Z : No. of bitstreams: 1
000832491.pdf: 4161748 bytes, checksum: 5424f31ed56dc979eb25bb3a1684c265 (MD5) / Mudar o comportamento e os hábitos das pessoas, privilegiando uma produção e um consumo sustentável, tem sido motivo de investimentos e de ações por parte dos governos para promover a sustentabilidade como modelo de desenvolvimento. Embora muitos trabalhos tenham sido desenvolvidos ao longo dos últimos anos na criação de índices e mensuração da sustentabilidade, poucos são completos no sentido de levar em conta os aspectos econômicos, ambientais e sociais subentendidos no conceito de desenvolvimento sustentável. Dessa forma, esta dissertação apresenta o desenvolvimento de um índice para avaliar o grau de sustentabilidade dos municípios a partir de indicadores das dimensões sociais, demográficas, econômicas e ambientais. A metodologia de elaboração do índice fundamentou-se nos conceitos da Teoria dos Conjuntos Fuzzy o que contribuiu para a concepção de um sistema baseado em um conhecimento específico e que sintetiza várias informações complexas de maneira direta e de fácil compreensão. O índice foi aplicado a todos os 5.565 municípios brasileiros gerando um cenário de sustentabilidade nacional e habilitando-se como um instrumento efetivo no auxílio à tomada de decisão dos gestores que podem a partir dos resultados revelados indicar necessidades e prioridades para a formulação, monitoramento e avaliação de políticas públicas. / Change the behavior and habits of people, promoting sustainable production and consumption, has been cause for investments and actions by Governments to promote sustainability as a development model. Although many jobs have been developed over the past years in the creation of indices and measurement of sustainability, few are complete in order to take into account the economic, environmental and social aspects subtext in the concept of sustainable development. Thus, this dissertation presents the development of an index to evaluate the degree of sustainability of municipalities from indicators of the social dimensions, demographic, economic and environmental. The methodology of compiling the index was based on the concepts of Fuzzy set theory that contributed to the design of a system based on a specific knowledge and synthesizing several complex information of direct and easy to understand way. The index has been applied to all 5,565 municipalities in Brazil generating a national sustainability and scenario enabling as an effective instrument in aid to decision-making of managers that can from the results revealed indicate needs and priorities for the formulation, monitoring and evaluation of public policies.
|
95 |
Sobre uma arquitetura da informação multimodal : reflexões sobre uma proposta epistemológicaKuroki Júnior, George Hideyuki 02 February 2018 (has links)
Dissertação (mestrado)—Universidade de Brasília, Faculdade de Ciência da Informação, Programa de Pós-Graduação em Ciência da Informação, 2018. / Submitted by Raquel Almeida (raquel.df13@gmail.com) on 2018-05-09T17:58:59Z
No. of bitstreams: 1
2017_GeorgeHideyukiKurokiJúnior.pdf: 2091386 bytes, checksum: 5d390fdbcc97608eb84e1899588112d7 (MD5) / Approved for entry into archive by Patrícia Nunes da Silva (patricia@bce.unb.br) on 2018-05-18T16:48:12Z (GMT) No. of bitstreams: 1
2017_GeorgeHideyukiKurokiJúnior.pdf: 2091386 bytes, checksum: 5d390fdbcc97608eb84e1899588112d7 (MD5) / Made available in DSpace on 2018-05-18T16:48:12Z (GMT). No. of bitstreams: 1
2017_GeorgeHideyukiKurokiJúnior.pdf: 2091386 bytes, checksum: 5d390fdbcc97608eb84e1899588112d7 (MD5) / A construção de significados passa, implicitamente, por construções multimodais. A existência objetiva das coisas é multimodal. Não se vislumbra a possibilidade de que dado objeto se expresse por meio de apenas um Modo de significação – são necessários vários Modos, várias camadas sintáticas (estímulos) para se obter determinada semântica (significado). A existência destes diversos Modos é diametralmente oposta à busca incessante da mente humana por relevância: adapta-se sempre ao meio que se insere por meio de seleção dos estímulos que são relevantes à significação. Presente trabalho visa posicionar a Arquitetura da Informação Multimodal como um meio possível de se conceber modelos de representação dos aspectos necessários à significação de estímulos, unindo os diversos Modos por meio de construções lógicas que possibilitem expressar a forma de interação entre um Sujeito que percebe um Objeto. Neste sentido, a lógica modal contribui com a qualificação de verdades, não sendo mais imperativo que a proposição seja verdadeira ou falsa: ela pode ser possível, quando se toma ciência que há uma configuração de Mundo que a torne verdadeira; ou necessária, quando todas as configurações de Mundo possíveis a tornem verdadeira. Da junção dos Modos de significação e das Modalidades Lógicas e suas Relações, nasce a Arquitetura da Informação Multimodal. / The construction of meanings passes, implicitly, by multimodal constructions. The objective existence of things is multimodal. It is not conceivable the idea that an object is expressed by means of only one Mode - several Modes are required, several syntactic layers (stimuli) are necessary to obtain certain semantics (meaning). The existence of these various Modes is the extreme opposite to the incessant search for relevance by the human mind: it always adapts to the world it’s inserted through the selection of stimuli that are relevant to signification. The work here presented sets ways towards a Multimodal InformationArchitecturethatpresentspossiblestrategiesfordesigningmodelsofrepresentation of the necessary aspects for constructing meaning through selection of stimuli, joining the various Modes by means of logical constructions that make it possible to express the form of interaction between a Subject who perceives an Object. In this sense, modal logic contributes to the qualification of truths, and it is no longer imperative that an proposition be qualified as true or false: it may be possible, when one becomes aware that there is a configuration of World that makes it true; or necessary, when all possible Worlds settings make it true. From the union of signification Modes and Logical Modalities and Relations, is set a path to a Multimodal Information Architecture.
|
96 |
Utilização de âncoras verbais e raciocínio Fuzzy na construção de mapas estratégicos da metodologia Balanced ScorecardLinhares, Fernando de Albuquerque 20 March 2015 (has links)
Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2015. / Submitted by Ana Cristina Barbosa da Silva (annabds@hotmail.com) on 2015-05-15T18:26:31Z
No. of bitstreams: 1
2015_FernandodeAlbuquerqueLinhares.pdf: 2363887 bytes, checksum: 4d1027703f388587ba5def1fcc3d0a8e (MD5) / Approved for entry into archive by Guimaraes Jacqueline(jacqueline.guimaraes@bce.unb.br) on 2015-05-18T11:52:37Z (GMT) No. of bitstreams: 1
2015_FernandodeAlbuquerqueLinhares.pdf: 2363887 bytes, checksum: 4d1027703f388587ba5def1fcc3d0a8e (MD5) / Made available in DSpace on 2015-05-18T11:52:37Z (GMT). No. of bitstreams: 1
2015_FernandodeAlbuquerqueLinhares.pdf: 2363887 bytes, checksum: 4d1027703f388587ba5def1fcc3d0a8e (MD5) / A metodologia do Balanced Scorecard (BSC) foi proposta para auxiliar empresas a criar planejamentos estratégicos simples que podem ser entendidos por todos os funcionários destas empresas. O ponto central desta ferramenta é o mapa estratégico que mostra um conjunto de objetivos estratégicos que a empresa precisa ter para atingir sua missão. Empresas de pequeno e médio porte têm dificuldade em criar suas próprias estratégias sem a ajuda de um consultor especializado, que nem sempre está disponível ou pode ser pago. Esta pesquisa apresenta o Mistral Solutions, um sistema que ajuda a empresários e seus times a criar seus próprios mapas estratégicos sob a ótica do BSC. O sistema proposto é baseado na lógica fuzzy. Inicialmente o usuário responde a um questionário no site sobre a situação da sua empresa. Durante o processo de aquisição de dados, escalas com âncoras verbais foram utilizadas para representar informações numéricas caso o empresário não tenha os dados. O sistema Mistral Solutions usa as respostas para alimentar as regras fuzzy para criar a estratégia inicial no formato de mapas estratégicos do BSC. O sistema propõe oito objetivos estratégicos, dois para cada uma das quatro perspectivas clássicas do BSC. Estes objetivos estratégicos foram selecionados de um conjunto de 45 objetivos possíveis. A base de conhecimento possui 111 variáveis e 126 regras fuzzy. O Mistral Solutions foi aplicado para empresas dos setores público, privado e de concessões. Na avaliação empírica, o sistema operou melhor quando aplicado para a instituição do setor privado, quando os oito objetivos estratégicos propostos foram considerados adequados pelo empresário responsável pelo planejamento estratégico desta empresa. / The Balanced Scorecard (BSC) methodology was proposed to help companies create simple strategy plans that can be explained to all employees. The core of this tool is the strategy map that shows a collection of strategic objectives that a company needs to achieve its mission. Small and medium companies find it dificult to create their own strategies without the help of a management consultant, which is not always aordable. This research presents the Mistral Solutions, a system that supports entrepreneurs and their teams to create their own BSC strategy maps. The system proposed is based on fuzzy logic. Initially the system's user takes a online survey about his/her enterprise. During the knowledge acquisition a verbal anchor scale can be used to represent numeric information if the entrepreneur does not know the correct values. Mistral Solutions uses the answers to ground fuzzy rules for creating business strategies in the shape of BSC strategy maps. The system proposes eight strategic objectives, two for each of the four BSC perspectives. These strategic objectives are chosen from a set of forty-five possibilities. The knowledge base has one-hundred-eleven variables and one-hundred-twenty-six fuzzy rules. This system was applied to institutions representing the public sector, the private sector and a public concession. In the empirical evaluation, the system performed better when applied to private sector institution when all the eight strategic objectives were considered adequate by the manager in charge of the strategic planning of this institution.
|
97 |
A study of the application of binary decision diagrams in multilevel logic synthesis / Une etude de l'application des diagrammes de décision binaire à la synthèse de circuits digitaux en logique multi-cauchesJacobi, Ricardo Pezzuol January 1993 (has links)
Resumo não disponível
|
98 |
Uma lógica do poucos /Oliveira, Kleidson Êglicio Carvalho da Silva. January 2011 (has links)
Orientador: Maria Cláudia Cabrini Grácio / Banca: Marcelo Esteban Coniglio / Banca: Luiz Henrique da Cruz Silvestrini / Resumo: Em 1999, Grácio introduziu uma família de lógicas não-clássicas ─ as lógicas moduladas ─, cuja função é formalizar sentenças que expressam quantificações da linguagem natural, que não podem ser definidas em função dos quantificadores da lógica clássica de primeira ordem. Dentre as lógicas moduladas, destaca-se a lógica do muito, que formaliza expressões do tipo "muitos x satisfazem a sentença φ", por meio da sentença Gx φ(x), para G denominado o quantificador para "muitos". Nesta Dissertação, tendo como base o quantificador "muitos", propõe-se, em contrapartida, uma lógica para a noção de "poucos". Apresenta-se um sistema lógico axiomático e monotônico para a lógica do poucos, em cuja semântica se utiliza a estrutura matemática denominada família quase fechada inferiormente, para representar a noção intuitiva de "poucos". Demonstra-se que este sistema lógico é consistente, correto e completo. Analisam-se os aspectos duais entre a lógica do poucos construída e a lógica do muito, além de outros sistemas lógicos para o quantificador "poucos", a partir de novas intuições. Finalizando, apresentam-se algumas considerações e sugestões para pesquisas em continuidade ao trabalho iniciado nesta Dissertação / Abstract: In 1999, Grácio introduced a family of non-classical logics - modulated logics -, whose function is to formalize sentences that express quantification in natural language, which cannot be defined in terms of quantifiers of first order classical logic. Among the modulated logics, there is logic of many, that formalizes expressions like "many x satisfy the sentence φ", by the sentence Gx φ(x) to G referred to the quantifier "many". In this Dissertation, based on the quantifier "many", it is proposed, on the other hand, a logic to the notion of "few". It presents an axiomatic and monotonic logical system for the logic of the few, whose semantics is used in the mathematical structure called the family almost closed inferiorly, to represent the intuitive notion of "few." It is demonstrated that this logical system is consistent, sound and complete. We are analyze the dual aspects of logic of many and the logic of the few built, and other logical systems for the quantifier "few", from new insights. Finally, we present some considerations and suggestions for research in continuing the work begun in this Dissertation / Mestre
|
99 |
Aspectos lógicos e algébricos dos conjuntos fuzzy /Silva, Anderson Aparecido da. January 2012 (has links)
Orientador: Hércules de Araújo Feitosa / Banca: Edelcio Gonçalves de Souza / Banca: Mauri Cunha do Nascimento / Resumo: Este trabalho se inicia com um breve resgate histórico do denominado Mundo Fuzzy, com destaque sobre a teoria de conjuntos fuzzy, teoria essa em que a bivalência da teoria usual de conjuntos não se aplica. A seguir, são discutidos aspectos sobre quantificadores, com destaque para quantificadores da lógica clássica de primeira ordem, quantificadores não clássicos e alguns quantificadores das linguagens naturais, mas que não são definíveis a partir dos usuais "para todos" e "existe algum". Alguns desses quantificadores são vistos na perspectiva da teoria fuzzy. De importância capital, ocorre uma análise da teoria dos conjuntos fuzzy, conforme inicialmente introduzida na literatura fuzzy, com destaque sobre qual e como seria a álgebra desses conjuntos. A partir desta caracterização algébrica, buscase uma formalização das suas propriedades essenciais numa linguagem lógica proposicional, o que conduz a uma caracterização de uma particular lógica fuzzy / Abstract: This dissertation begins with a brief historical rescue of the Fuzzy World, highlighting the Fuzzy Sets theory, a theory in which the usual bivalence of sets does not apply. The aspects of quantifiers are also discussed, especially quantifiers of the classical first-order logic, nonclassical quantifiers and some quantifiers of natural languages, which are not definable from the usual "universal" and "existential". Some of these quantifiers are seen in the perspective of the fuzzy theory. Utmost importance, an analysis of the Fuzzy Sets theory occurs, as originally introduced in the fuzzy literature, with emphasis on what and how the algebra of these sets would be. From this algebraic characterization, a formalization of its essential properties in a language of propositional logic is sought, which leads to a characterization of a particular fuzzy logic / Mestre
|
100 |
Lógica deôntica e conflitos entre obrigações moraisFalqueiro, Mariana Cabral 25 April 2012 (has links)
Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Humanas, Departamento de Filosofia, Programa de Pós-graduação em Filosofia, 2012. / Submitted by Albânia Cézar de Melo (albania@bce.unb.br) on 2012-09-14T14:38:40Z
No. of bitstreams: 1
2012_MarianaCabralFalqueiro.pdf: 1125637 bytes, checksum: 2048c978089a69701389d979ff92740b (MD5) / Approved for entry into archive by Leandro Silva Borges(leandroborges@bce.unb.br) on 2012-09-18T17:30:32Z (GMT) No. of bitstreams: 1
2012_MarianaCabralFalqueiro.pdf: 1125637 bytes, checksum: 2048c978089a69701389d979ff92740b (MD5) / Made available in DSpace on 2012-09-18T17:30:32Z (GMT). No. of bitstreams: 1
2012_MarianaCabralFalqueiro.pdf: 1125637 bytes, checksum: 2048c978089a69701389d979ff92740b (MD5) / Quando tratamos de questões que envolvem ética nos deparamos com problemas
que, aparentemente não têm soluções cabíveis. Os conflitos entre obrigações surgem neste contexto, tendo como caso especial os dilemas morais. Alguns sistemas da lógica deôntica ajudam a eliminar as inconsistências criadas pelos conflitos entre deveres morais. Mas afinal, tais sistemas da lógica deôntica apresentam ferramentas para elucidar estas questões
da ética? Esta dissertação de mestrado tem como objetivo mostrar como as lógicas deônticas poderão auxiliar a ética para a elucidação dos conflitos entre obrigações morais, e, por fim, de certos dilemas morais. ______________________________________________________________________________ ABSTRACT / When we deal with questions that involve ethics we face problems which
apparently have no sensible solutions. Conflicts between moral obligations – especially moral dilemmas – arise within these contexts. Some systems of deontic logic help in the elimination of inconsistencies caused by conflicts between moral duties. But do these
systems of deontic logic present tools to clarify those ethical questions? This work aims to show how deontic logics may help ethics to clarify conflicts between moral obligations and some dilemmas.
|
Page generated in 0.0267 seconds