Logic Modal
Mostrando 1-12 de 21 artigos, teses e dissertações.
-
1. Omniscience and Semantic Information
ABSTRACT First, I consider a few motivations to idealize epistemic logics1 in such a degree that brings up the problem of logical omniscience [LOP]. I argue that the main motivation to hold omniscience is of a philosophical-scientific2 background (Stalnaker 1991), in the sense philosophers have a not so peculiar way of investigating underlying mechanisms, i.
Manuscrito. Publicado em: 2017-12
-
2. Procedimento de escolha e análise de alternativas de transporte para exportação de bioetanol no Brasil
O presente trabalho apresenta um procedimento para auxiliar a análise de desempenho de alternativas de transportes com o emprego combinado de variáveis quantitativas e linguísticas, diferenciando-se das avaliações tradicionais que utilizam em suas aplicações variáveis com comportamento quantitativo. O procedimento proposto utiliza como ferramenta a l
J. Transp. Lit.. Publicado em: 2015-01
-
3. A Lógica de Aristóteles : problemas interpretativos e abordagens contemporâneas dos primeiros analíticos / Aristotle s logic : interpretative problems and contemporary approaches to prior analytics
The present dissertation discusses aspects of Aristotle s Logic which are enhanced by contemporary approaches to Prior Analytics and display a logical theory richer and subtler than what traditionally is comprehended as being the Aristotelian Logic. My main claims concern how categorical propositions must be understood, what is the exact nature of syllogisms
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 17/05/2012
-
4. Fuzzy logic for structural system control
This paper provides some information and numerical tests that aims to investigate the use of a Fuzzy Controller applied to control systems. Some advantages are reported regarding the use of this controller, such as the characteristic ease of implementation due to its semantic feature in the statement of the control rules. On the other hand, it is also hypoth
Lat. Am. j. solids struct.. Publicado em: 2012
-
5. A persistência do Paradoxo da Cognoscibilidade / The persistence of Knowability Paradox
Esta dissertação tem como objetivo a análise de um resultado em lógica aléticoepistêmica, divulgado por Frederic Fitch em 1963, conhecido como Paradoxo da Cognoscibilidade. Segundo este resultado, se todas verdades podem ser conhecidas, então todas verdades são conhecidas. Isto sugere que há alguma verdade impossível de ser conhecida. Descrevemos,
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 16/09/2011
-
6. Complexidade descritiva das lÃgicas de ordem superior com menor ponto fixo e anÃlise de expressividade de algumas lÃgicas modais / Descriptive complexity of the logic of higher order with lower fixed point and analysis of expression of some modal logics
Em Complexidade Descritiva investigamos o uso de logicas para caracterizar classes problemas pelo vies da complexidade. Desde 1974, quando Fagin provou que NP e capturado pela logica existencial de segunda-ordem, considerado o primeiro resultado da area, outras relac~oes entre logicas e classes de complexidade foram estabelecidas. Os resultados mais conhecid
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 13/08/2010
-
7. A model-based graphical editor for supporting the creation, verification and validation of OntoUML conceptual models
Esta dissertação de mestrado apresenta um editor gráfico baseado em modelos para o suporte à criação, verificação e validação de modelos conceituais e ontologias de domínio em uma linguagem de modelagem filosoficamente e cognitivamente bem-fundada chamada OntoUML. O editor é projetado para proteger o usuário da complexidade dos princípios ontol
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 05/02/2010
-
8. An Introduction to Modal Logic / Introdução à Lógica Modal.
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
Publicado em: 2009
-
9. Paraconsistency and modality / Paraconsistencia e modalidade
O presente trabalho tem por objetivo examinar, sob a perspectiva lógico- filosófica da paraconsistência e da modalidade, as relações entre os conceitos lógico-filosófico-formais de negação paraconsistente e o conceito de modalidade. Nosso objetivo central consiste no exame de um operador modal de negação paraconsistente. Examinamos conhecidos resu
Publicado em: 2009
-
10. Paraconsisted computation : a logic approach to quantum / Computação paraconsistente : uma abordagem logica a computação quantica
This work provides evidences to view computational complexity as logic-relative, by introducing new models of computation through non-classical logics and by studying their features with respect to computational expressivity and efficiency. From this point of view, we suggest a new way to study the efficiency of quantum computational models consisting in the
Publicado em: 2009
-
11. Analysis of the policy of ministry of health of brazil on alcohol and other drugs / Análise da política do Ministério da Saúde do Brasil para a atenção integral dos usuários de álcool e outras drogas
The study aimed to present the guidelines, strengths, weaknesses, inviable factors, strategies adopted and to be adopted, of the National Policy on Alcohol and Other Drugs, Ministry of Health of Brazil, in the words of the State Administrative and Municipal of the two Centers of psychosocial care to users of alcohol and other drugs - Level II, municipal and
Publicado em: 2009
-
12. Algebraic semantics for modal logics and its philosophical interest / A semantica algebrica para as logicas modais e seu interesse filosofico
No século XX tivemos um considerável avanço sobre o entendimento formal do significado das modalidades. Os trabalhos de Jónsson, McKinsey e Tarski na década de quarenta permitiram a construção dos resultados de completude algébrica para os sistemas modais. Estes resultados, porém, não receberam a devida atenção. Na década de cinqüenta, Kripke p
Publicado em: 2008