A interação substancial é, ainda hoje, considerada um problema dentro do sistema cartesiano. Assim, nosso objetivo é compreender a interação em termos de sensações entre os estados corporais e a correlação com as ideias sensoriais.
A partir da interação entre áreas como Ciência da Computação, Lógica e Dedução Automática nasce uma importante nova área denominada Programação Lógica. Esta vem sendo utilizada continuamente no estudo teórico e em aplicações concretas em diversos ramos da Inteligência Artificial. Após o aumento do número de tipos de lógicas não-clássicas e com a certeza de que o pensamento humano não se limita a lógica clássica de primeira ordem surgiu a necessidade de fazer programação lógica com outros tipos de raciocínios além do clássico.
Chamamos de multioperação à operação que retorna um conjunto de valores ao invés de um único valor. Através das multioperações podemos definir uma estrutura algébrica munida com pelo menos uma multioperação, esta estrutura é chamada de multiálgebra. O estudo delas começou em 1934 com a publicação de um artigo de Marty.
Este trabalho tem por tema geral a assim chamada filosofia da ciência de Heidegger. Visa-se, particularmente, a uma interpretação da abordagem heideggeriana da Física matemática, no quadro da sua concepção existencial de ciência, desenvolvida no contexto do seu projeto de Ontologia Fundamental, especialmente em Ser e Tempo, mas também em textos do seu entorno. Em um primeiro momento, examina-se a proposta heideggeriana de fundamentação das ciências factuais por meio da elaboração de ontologias regionais e discute-se o caráter fundacionalista desta proposta.
O objetivo do trabalho é discutir o sentido de essência e necessidade a partir das obras de maturidade de Marx e Engels. Para tanto, tratamos da lógica objetiva da história desenvolvida por eles, pensando separadamente os processos de reprodução de um modo de produção e de transição de um modo de produção a outro. No caso da reprodução de um modo de produção, operamos particularmente com os sentidos de essência, fenômeno e aparência.
A tese busca reconstruir o desenvolvimento do pensamento do jovem Hegel desde sua formação escolar, em Stuttgart, até o momento -- coincidente com a sua mudança para Iena -- em que ele passa a construir um sistema filosófico.
A Dedução Natural Rotulada consiste em um método de prova desenvolvido por Dov M. Gabbay, o qual se distingue de outros métodos de Dedução Natural pela utilização de rótulos. Estes consistem em marcações metalinguísticas utilizadas nas demonstrações. A vantagem do método de Gabbay é que ele permite contornar certas dificuldades em aplicar a Dedução Natural a certas lógicas não-clássicas, em especial às lógicas modais. Os objetivos desta tese consistem em apresentar a Dedução Natural Rotulada de forma intuitiva e expandí-la para lógicas multimodais.
O objetivo desta tese é retomar a gênese da Utopia no eixo temático Teoria Critica. Para isso, circunscrevemos tal tarefa na obra de Herbert Marcuse, com o intuito de mostrar que, por mais que o autor oscile em suas perspectivas de saída, a Utopia é uma constante em sua obra, mas, para além disso, uma “nova” concepção de Utopia surge com este autor. Nova no sentido de que Marcuse tentou fazer uma crítica ao aspecto “Tradicional” de utopia, que fora atacada por Marx e pelos fundadores da Teoria Crítica.
O objetivo desta tese é retomar a gênese da Utopia no eixo temático Teoria Critica. Para isso, circunscrevemos tal tarefa na obra de Herbert Marcuse, com o intuito de mostrar que, por mais que o autor oscile em suas perspectivas de saída, a Utopia é uma constante em sua obra, mas, para além disso, uma “nova” concepção de Utopia surge com este autor. Nova no sentido de que Marcuse tentou fazer uma crítica ao aspecto “Tradicional” de utopia, que fora atacada por Marx e pelos fundadores da Teoria Crítica.
Este trabalho procura fazer um levantamento inicial da categoria de modo de produção nos Manuscritos de 1857-58, conhecidos por Grundrisse, de Karl Marx. Isto significa que pretendemos apresentar a constelação de categorias com as quais a categoria de modo de produção se encontra relacionada. Para que essa tarefa fosse possível partimos de uma seleção da literatura secundária sobre o assunto. Assim, nos baseando em Rosdolsky, encontramos no capital fixo uma primeira forma de apresentar essa constelação categorial.