Logica Modal
Mostrando 1-12 de 38 artigos, teses e dissertações.
-
1. PARADOXOS DA LÓGICA DEÔNTICA: INDÍCIOS DE UM EQUÍVOCO
RESUMO De acordo com a teoria das funções de verdade, a verdade/falsidade de uma proposição é computável a partir da verdade/falsidade das suas proposições “internas”: para cada proposição (composta) há uma função (a respectiva) entre valores de verdade. Aplicada a proposições modais, origina a semântica dos mundos possíveis e, aplicada
Kriterion. 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. Toulmin: razonamiento, sentido común y derrotabilidad
Primeiramente, oferecemos uma apresentação teórica da representação do pensamento prático, começando pela distinção entre silogismo dialético e silogismo demonstrativo. Fazemos referência à crítica de Toulmin contra o dedutivismo dominante de seu tempo. Em seguida, fornecemos argumentos para apoiar a relevância heurística do modelo de Toulmin
Kriterion. Publicado em: 2014-12
-
4. Interdito e silêncio: análise de alguns enunciados
O presente trabalho - situado no campo da Análise do Discurso de Pêcheux (AD), numa interface com a psicanálise - trata o interdito e o silêncio como constitutivos e fundadores do discurso. A lógica subjacente é a lógica lacaniana segundo a qual o excluído ou a contradição funda o possível. Para tal tarefa usamos as quatro modalidades da lógica a
Ágora (Rio J.). Publicado em: 2013-06
-
5. 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
-
6. 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
-
7. The grand challenges and myths of neural-symbolic computation
Publicado em: 2011
-
8. Modalidade e modalização : uma interface sintático-semântica em português brasileiro, inglês e romeno
O presente trabalho tem por objetivo, por meio de um recorte teórico da Sintaxe Gerativa e da Semântica Formal em interface, promover a comparação entre três línguas: o português brasileiro, o inglês e o romeno, no que concerne a noção de modalidade. Este trabalho é divido em três partes principais: a primeira elabora fundamentos da Sintaxe Gerat
Publicado em: 2011
-
9. 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
-
10. Sistemas EsquemÃticos de DeduÃÃo Natural: um Estudo Prova-TeÃrico / Schematic Natural Deduction Systems: A Proof-Theoretical Study
The term Theory Test was introduced by Hilbert to identify the study of formal proofs. Research in this area can be classified into: a) Proof Theory of reductive or interpretational, whose goal is to demonstrate, among other things, the consistency of mathematics using only methods finitistas, b) Structural Proof Theory, where the structural characteristics
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 12/03/2010
-
11. 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
-
12. Sistemas de lógica modal em dedução natural
A formalização de sistemas de lógica em dedução natural traz muitas vantagens meta-teoréticas, das quais é sempre destacada a prova de normalização. Os sistemas de lógica modal até bem recentemente não eram costumeiramente tratados pelo viés da dedução natural, contudo algumas formulações, provas de normalização e tentativas de provas surg
Publicado em: 2010