(or not oveA-complete.) . Let * be a unary operator defined on the set F of formulas of the language £ (ie, if A is a formula of £, then *A is also a ...

In the following essay I shall propose a reading of Lordship and Bondage that follows what Robert Pippin termed a ‘practical turn’ (Pippin 2011: 28). I shall further argue that this turn ought to be qualified as Hegel's first philosophy. Starting with a reading that evinces the connection between the practical achievement of Self-Consciousness and the notion of Spirit as exhibiting a concentric relation, Spirit will be revealed to have its centre in the practical achievement of Self-Consciousness. I will then (...) offer a commentary on the notion of a complex desideratum as a way of attaining the concept of desire at work in the Phenomenology. The commentary will show that Hegel frames the satisfaction of this desire as a distinctive problem that will in turn necessitate a proper practical solution. This leads us to the implicit critique of contractualism, that may—in the terms of Hegel's argument—function as an impediment to the proper philosophical understanding of reciprocity. To conclude I shall propose a reading within the intrasubjective family of readings. We will find that the critique of both contractualism and the apprehension of the complex desideratum offers us the rationale for interpreting the peculiar absence of fear in Hegel's allegory of life-and-death struggle. I shall offer a detailed reading of the Lord and Bondsman trope and interpret these two figures as two aspects of one self-conscious individual in the process of apprehending their practical nature, thus making explicit a tripartite structure of practical self-consciousness. This will be suggested as the solution to the initial orectic problem and the beginning of an argument towards the practical attainment of Spirit. (shrink)

Teorias científicas constroem um conjunto de argumentos para compreender fenômenos no mundo, compreendendo ações e elaborando prognósticos com base em conexões significativas. A partir do movimento de reflexão com epistemologias que questionam o projeto de ciência ocidental hegemônica com o objetivo de pensar o sentido da crítica na construção de antimonumentos da memória. A pesquisa será configurada da seguinte forma: quanto aos objetivos de caráter exploratório, utilizando como suporte teórico a investigação bibliográfica; quanto à natureza dos dados, a pesquisa configura-se (...) como qualitativa. O trabalho se apresenta a partir de um enfoque epistemológico e posicionado, refletindo a articulação entre a ciência/academia, a produção do conhecimento e a prática política. Tensiona os conceitos principais acerca de antimonumentos, teoria crítica e memória, além da contextualização de caso. Existe uma relação entre a racionalidade, a criticidade e a construção de antimonumentos de memória para possibilitar e potencializar uma narrativa emancipatória. (shrink)

Provability, Computability and Reflection.

In this paper we study the systemsP andP * (see Arruda and da Costa,O paradoxo de Curry-Moh Shaw-Kwei, Boletim da Sociedade Matemtica de São Paulo 18 (1966)) and some related systems. In the last section, we prove that certain set theories havingP andP * as their underlying logics are non-trivial.

In this paper we study the systems P and $P^{\ast}$ (see Arruda and da Costa, O paradoxo de Curry-Moh Shaw-Kwei, Boletim da Sociedade Matemātica de São Paulo 18 (1966)) and some related systems. In the last section, we prove that certain set theories having P and $P^{\ast}$ as their underlying logics are non-trivial.

In [1] we have characterized four types vagueness related to negation, and constructed the corresponding propositional calculi adequate to formalize each type of vagueness. The calculi obtained were named V0; V1; V2 and C1 . The relations among these calculi and the classical propositional calculus C0 can be represented in the following diagram, where the arrows indicate that a system is a proper subsystem of the other V0 V1 C0 V2 C1 6 1 PP PP PP PiP 1 PP PP (...) PP PiP In this paper we present a two-valued semantics for each of these sys- tems. The semantics used here is the Henkin-style semantics which has proven fruitful in treating other paraconsistent logics. (shrink)

Este artigo tem como objetivo cotejar a produção e as características dos funks de facção e de torcida no contexto do Rio de Janeiro. Para tanto, foram selecionadas amostras representativas de funks de torcida/facção a partir do material coletado em CDs piratas e na rede mundial de computadores, 39 ..

Provability, Computability and Reflection.