Logica Nao Classica
Mostrando 13-24 de 65 artigos, teses e dissertações.
-
13. Estudo dos princípios de categorização na Biblioteconomia e Ciência da Informação: Ranganathan - entre a teoria clássica e a abordagem cognitiva contemporânea
A categorização o processo cognitivo de compreensão das características dos objetos por critérios de similitude ou dessemelhança constitui-se na biblioteconomia e ciência da informação (BCI) como uma ação intrínseca à organização dos registros do conhecimento e representa a temática central deste trabalho. No âmbito teórico, a lógica categ
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 17/12/2010
-
14. A avaliação da aprendizagem em arte : desvelando realidades
A avaliação da aprendizagem em Arte pode limitar-se a um exercício constatatório e pontual, efetivada no intuito de atender a burocracia escolar e obter documentos que comprovem decisões relativas a aprovações e reprovações, processando-se sob a égide da classificação. Mas, pode ser um mapeamento da efetividade do ensino traduzido em aprendizagen
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 26/01/2010
-
15. Sobre os fundamentos de programação lógica paraconsistente / On the foundations of paraconsistent logic programming
A Programação Lógica nasce da interação entre a Lógica e os fundamentos da Ciência da Computação: teorias de primeira ordem podem ser interpretadas como programas de computador. A Programação Lógica tem sido extensamente utilizada em ramos da Inteligência Artificial tais como Representação do Conhecimento e Raciocínio de Senso Comum. Esta apr
Publicado em: 2010
-
16. O problema do começo da lógica em Hegel
Investigaremos o problema do começo da Lógica em Hegel, considerando as questões pertinentes que possam advir de um sistema de pensamento lógico dialético que propõe a reflexão sobre o seu começo. Não obstante, serão examinadas também as implicações que um novo olhar sobre o começo da Lógica possa projetar sobre algumas questões da tradição
Publicado em: 2010
-
17. Fundamentação computacional da matemática intervalar
A Matemática Intervalar se assenta em dois conceitos fundamentais, a propriedade da inclusão-monotonicidade de sua aritmética e uma topologia de Hausdorff definida no conjunto dos intervalos. A propriedade da inclusão-monotonicidade tem se revelado uma ferramenta útil na elaboração de algoritmos intervalares, enquanto a topologia de Hausdorff não con
Publicado em: 2010
-
18. Sobre o movimento. O corpo e a clínica. / On the motion. The body and the clinic.
Esta tese se dedica ao estudo do corpo em sua qualidade sensível, buscando evidenciar que é sobre este que incidem as formas de dominação contemporâneas na medida em que o corpo vem sofrendo, na atualidade, um processo de anestesiamento em seu campo intensivo, seja por uma sobre-excitação da sensação ou, ao contrário, pelo seu apagamento. Tal anest
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 27/03/2009
-
19. Estudos sobre a lógica paraconsciente DL e aplicações em Direito / Studies about DL paraconsistent and applications in Law
O desenvolvimento de sistemas de lógica paraconsistente tem melhorado o nosso poder analítico e aprofundou nossa compreensão dos sistemas de lógicas não-clássicas. Esses sistemas têm possibilitado aplicações em diversas áreas, notadamente em Direito. Embora a lógica clássica seja aceita como um valioso mecanismo para analisar os problemas no dom�
Publicado em: 2009
-
20. Logicas da inconsistencia deontica / Logics of Deontic inconsistency
This work expose briefly what are the Logics of Formal Inconsistency ...Note: The complete abstract is available with the full electronic digital thesis or dissertations
Publicado em: 2009
-
21. 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
-
22. Polinomization of logics : problems and perspectives / Polinomização de logicas : problemas e perspectivas
A obra de George Boole, pedra fundamental da lógica contemporânea, não separa métodos de análise matemática, de métodos lógicos propriamente ditos. Se, por um lado, a falta de fronteiras metodológicas nítidas tem-lhe valido azedas críticas, por outro lado fazem da obra de Boole uma verdadeira síntese do pensamento formal, herdada de Aristóteles,
Publicado em: 2009
-
23. Transformations for proof-graphs with cycle treatment augmented via geometric perspective techniques
O presente trabalho é baseada em dois aspectos fundamentais: (i) o estudo de procedimentos de normalização para sistemas de provas, especialmente para a lógica clássica com dedução natural; e (ii) a investigação de técnicas da perspectiva geométrica aplicadas em propriedades da teoria da prova. Com isso, a motivação específica deste trabalho re
Publicado em: 2009
-
24. Multimodalidades anodicas e catodicas : a negação controlada em logicas multimodais e seu poder expressivo
O presente trabalho tem por objetivo investigar o papel da negação no âmbito das modalidades, de forma a poder esclarecer até que ponto a negação pode ser atenuada, controlada ou mesmo totalmente eliminada em favor da melhor expressabilidade lógica de certas teorias, asserções ou raciocínios que sofrem os efeitos da negação. Contudo, atenuar ou e
Publicado em: 2009