Certain extensions of Nelson's constructive logic N with strong negation have recently become important in arti.cial intelligence and nonmonotonic reasoning, since they yield a logical foundation for answer set programming (ASP). In this paper we look at some extensions of Nelson's .rst-order logic as a basis for de.ning nonmonotonic inference relations that underlie the answer set programming semantics. The extensions we consider are those based on 2-element, here-and-there Kripke frames. In particular, we prove completeness for .rst-order here-and-there logics, and their (...) minimal strong negation extensions, for both constant and varying domains. We choose the constant domain version, which we denote by QNc5, as a basis for de.ning a .rst-order nonmonotonic extension called equilibrium logic. We establish several metatheoretic properties of QNc5, including Skolem forms and Herbrand theorems and Interpolation, and show that the .rst-oder version of equilibrium logic can be used as a foundation for answer set inference. (shrink)

We give an account of stable reasoning, a recent and novel approach to problem solving from a formal, logical point of view. We describe the underlying logic of stable reasoning and illustrate how it is used to model different domains and solve practical reasoning problems. We discuss some of the main differences with respect to reasoning in classical logic and we examine an ongoing research programme for the rational reconstruction of human knowledge that may be considered a successor to the (...) logical empiricists’ programme of the mid-twentieth century. (shrink)

Pensar é uma espécie de exercício responsável que não pode ser omitido neste momento que vivenciamos e partilhamos. Por isso, cultivar boas reflexões depende, por um lado, da capacidade técnico-acadêmica de pesquisadoras e pesquisadores e, por outro, da maneira como conduzem o seu horizonte filosófico diante de um quadro de perspectivas e desafios. Assim, a produção filosófica não precisa de milagres para compreender a natureza, como afirmará Espinosa, mas de uma aliança entre liberdade e razão.É neste sentido que o presente (...) número da Aurora contempla o dossiê “Atualidade da Filosofia de Espinosa: Matéria e potência”, organizado pelos professores Ricardo Espinosa Lolas e Eladio Craia.O Fluxo Contínuo, por sua vez, dispõe dos artigos “Fantasised alterity, inaudible voices. Notes for a critique of the coloniality of desire”, de Jorge Polo Blanco; “El Estado Intensivo de Gilles Deleuze”, de Julián Ferreyra; “Nietzsche e a mnemotécnica: do sofrimento à afirmação da vida pelo artista da dor”, de Adilson Felicio Feiler; “The role of sense of justice in Rawls’theory”, de Pablo Aguayo Westwood; “Paradigms in Action”, de Paulo Pirozelli e, por último, “É possível filosofar com Heidegger após as confissões nos Cadernos Negros?”, de Luiz Rohden.A Aurora também apresenta, ao final, as resenhas das obras “Aporías de la Democracia”, obra coordenada por Ricardo Espinoza Lolas e Jordi Riba, assinada por Angélica Montes Montoya, e “Hegel and Espinosa: Substance and Negativity”, de Gregor Moder, realizada por Eladio Craia e Arion Keller. (shrink)

The tree-based data structure of -tree for propositional formulas is introduced in an improved and optimised form. The -trees allow a compact representation for negation normal forms as well as for a number of reduction strategies in order to consider only those occurrences of literals which are relevant for the satisfiability of the input formula. These reduction strategies are divided into two subsets (meaning- and satisfiability-preserving transformations) and can be used to decrease the size of a negation normal form A (...) at (at most) quadratic cost. The reduction strategies are aimed at decreasing the number of required branchings and, therefore, these strategies allow to limit the size of the search space for the SAT problem. (shrink)

The tree-based data structure of △-tree for propositional formulas is introduced in an improved and optimised form. The △-trees allow a compact representation for negation normal forms as well as for a number of reduction strategies in order to consider only those occurrences of literals which are relevant for the satisfiability of the input formula. These reduction strategies are divided into two subsets (meaning- and satisfiability-preserving transformations) and can be used to decrease the size of a negation normal form A (...) at (at most) quadratic cost. The reduction strategies are aimed at decreasing the number of required branchings and, therefore, these strategies allow to limit the size of the search space for the SAT problem. (shrink)

Introduction: We live in a society that encourages self-medication and one reason is the availability of drugs that do not require a prescription and are easily accessible, the abuse of these have important implications for the health of the general population; being the most commonly used drugs: analgesics, antibiotics, antihistamines and others. Objective: Determine the causes that induce self-medication in freshmen and fifth year of the Faculty of Medicine of the Universidad Mayor, Real y Pontificia de San Francisco Xavier de (...) Chuquisaca - Bolivia, 2012. Methodology: Quantitative and descriptive cross-sectional approach. A sample of 284 students which they apply structural survey was obtained. Results.A high percentage of students who are self-medicating themselves without.medical.supervision. Conclusions: We can say that self-medication on freshmen and fifth year of medical school at the University Of San Francisco Xavier De Chuquisaca is induced by influence of social circle (friends and parents), advertising of certain medications, access to internet and lack of time. (shrink)

Aos quarenta anos do lançamento de Das Prinzip Verantwortung: Versuch einer Ethik für die technologische Zivilisation, de Hans Jonas, ocorrido em 2019, uma série de eventos acadêmicos comemorativos ocorreram na América Latina, Europa e Estados Unidos da América do Norte. Aqui, no Brasil, aconteceram na PUCPR, PUC-SP e UFPI, organizados pelo GT-Hans Jonas da ANPOF, Centro Hans Jonas Brasil e programas de pós-graduação em Filosofia das universidades envolvidas. Parte dos textos lidos e debatidos durantes os eventos compõem o Dossiê Hans (...) Jonas, que a Aurora apresenta neste número. (shrink)

O ensaio roteiriza e analisa a fortuna crítica de Il Principe, de Machiavelli, inscrito sob a tradição humanística do gênero specula principum, - fortuna, antecipadamente, circunscrita por quinze livros do gênero, escritos entre 1402 e 1505, em Itália -. Na sequência, agencia apontamentos acerca da fortuna crítica do livrinho maquiaveliano de Gentillet até Gramsci, com destaque para a sua presença em França, Inglaterra, Holanda, Alemanha, Itália. Ao final, o ensaio analisa a recepção brasileira a Machiavelli.

O presente ensaio apresenta, inicialmente, uma sondagem acerca da compreensão do Brasil contemporâneo pelo pensamento de seus intérpretes mais expressivos. Em seguida, analisa o último balanço da cultura brasileira operado pela Tropicália, um movimento que revolveu os traumas residuais da cultura brasileira ao inventar um padrão de compreensão sob novas chaves estéticas e políticas — em particular, a produção musical do movimento. Por fim, o ensaio analisa o disco Tropicália lixo lógico de Tom Zé, lançado em 2012, perseguindo a linha (...) de discos experimentais e de tese do músico. Nele, o artista retoma criticamente aspectos da cultura brasileira atual, conjugados com os temas culturais dissecados pela Tropicália desde 1967. Como a maioria dos ensaios, este se move por indícios e análises tópicas do disco em questão, a contextualizar e a problematizar a construção da identidade nacional. (shrink)

Ao tempo presente, o fenômeno político do fascismo se mostrarequentado pela forma neofascismo. Se o fascismo pôde ser entendido como “revolta” ou“revolução dentro da ordem”, que contornos lhes são aditados pelo neofascismo, - a facemais expressiva da barbárie contemporânea? Acaso, ao enquadre crítico do estágio atualdo modo de produção capitalista, há similitude e complementaridade entre o neofascismoe o neoliberalismo, - “a nova razão do mundo”?

Aos quarenta anos de O Princípio Responsabilidade, de Hans Jonas, o ensaio1 procede à sondagem exploratória e à análise da tensão ético-política acerca das concepções de utopia e de antiutopia, dispostas e posicionadas pelas filosofias blochiana e jonasiana. Se para Bloch o que tem movido — e, por certo, seguirá movendo — a humanidade recebe sua identidade da docta spes, sob a forma utopia concreta, fundada na ontologia do "ainda-não consciente"; para Jonas, ao contrário, é necessário suplantar a mentalidade utópica, (...) sobremaneira a tecnológica, derivada e executora do projeto baconiano, de modo a facilitar a consolidação da ética da responsabilidade destinada à civilização tecnológica. Se uma posição ético-política finda por interrogar a outra, intenciona-se a explicitação crítica de ambas argumentações, que poderá fornecer alguns elementos de compreensão do problema. A hipótese subjacente aponta para a parte mais vulnerável de O Princípio Responsabilidade, os capítulos V e VI, em que ocorrem a crítica jonasiana à utopia de pressupostos derivados da filosofia marxista, sintetizados e atualizados em O Princípio Esperança, de Ernst Bloch. (shrink)