O presente artigo tenciona apresentar algumas considerações sobre a atual conjuntura política e social do Brasil, enfatizando uma perspectiva que leva em conta a centralidade das periferias metropolitanas na vida social do país. A presença e influência do cristianismo evangélico - em ascensão demográfica, cultural e política -, bem como de novos padrões de sociabilidade constituídos e irradiados a partir da dinâmica social decorrente dos conflitos violentos entre as forças policiais e militares e facções do crime organizado são considerados vetores (...) explicativos indispensáveis na compreensão da realidade social contemporânea do país e são lidos desde a experiência etnográfica do autor enquanto professor no Complexo do Chapadão, na periferia do Rio de Janeiro. (shrink)

Cet article vise à évaluer la portée des politiques sociales réellement existantes dans le Brésil de la période Lula, du point de vue du débat général sur le revenu d’existence. Soit deux questions : ces politiques sociales – notamment les transferts monétaires – ont-elles été pensées dans la perspective d’un revenu d’existence? Le revenu d’existence pourrait-il fonctionner comme angle privilégié de réorganisation et d’intégration de ces politiques sociales? L’histoire de Bolsa Família, instauré dans le Brésil de Lula, montre qu’il est (...) d’origine néolibérale et que le véritable enjeu est d’appréhender les lignes de conflit qui séparent sa précaire existence empirique actuelle de sa constitution comme base d’une nouvelle démocratie. (shrink)

We show that the variety of Heyting algebras has finitary unification type. We also show that the subvariety obtained by adding it De Morgan law is the biggest variety of Heyting algebras having unitary unification type. Proofs make essential use of suitable characterizations (both from the semantic and the syntactic side) of finitely presented projective algebras.

We characterize (both from a syntactic and an algebraic point of view) the normal K4-logics for which unification is filtering. We also give a sufficient semantic criterion for existence of most general unifiers, covering natural extensions of K4.2⁺ (i.e., of the modal system obtained from K4 by adding to it, as a further axiom schemata, the modal translation of the weak excluded middle principle).

Da natureza afetiva da forma na obra de arte.--Forma e personalidade.--Panorama da pintura moderna.

We obtain in this paper a representation of the formulae of extensions ofL by generalized quantifiers through functors between categories of first-order structures and partial isomorphisms. The main tool in the proofs is the back-and-forth technique. As a corollary we obtain the Caicedo's version of Fraïssés theorem characterizing elementary equivalence for such languages. We also discuss informally some geometrical interpretations of our results.

A literatura económica portuguesa da segunda metade de Oitocentos dedica particular atenção ao papel dos agentes económicos no processo de criação de riqueza e bem-estar. A reflexão então produzida procurou chamar a atenção para os problemas associados ao crescente progresso material e aos dilemas e sortilégios de uma civilização “perigosamente” moderna e paradoxalmente decadente. Em muitos casos, estes textos ultrapassaram a simples exposição doutrinária ou o propósito de divulgação, situando-se em aspetos concretos da realidade económica nacional, relativamente à qual se (...) revelou clara a intenção de diagnosticar os principais problemas e propor soluções, julgadas pelos seus autores como as mais adequadas. Temas como o mercado e o Estado, a liberdade e a justiça, a pobreza e a questão social ocuparam um lugar de destaque nestas reflexões, que eram movidas pela necessidade de encontrar equilíbrios económicos e sociais numa sociedade em que a cada dia era mais evidente o agravamento das condições de vida de uma camada cada vez mais extensa da população, ligada à indústria em desenvolvimento e às áreas urbanas. As páginas que se seguem procuram documentar as características marcantes destes textos, na convicção de que o seu estudo pode ser encarado como elemento fundamental para a compreensão do processo de divulgação e institucionalização da economia política junto de uma elite esclarecida. (shrink)

This article updates a fundamental theme of the Conference of Puebla, the preferential option for the poor, through dialogue with the theme of aversion by the poor, of the philosopher Adela Cortina. Presents the meanings of the preferential option for the poor inaugurated in Medellín and solemnly proclaimed in Puebla and shows how this option was assumed by the posterior documents, both in Latin America and in the universal magisterium; then systematizes some aspects of the Aporophobia and, at the end, (...) proposes five theological-pastoral challenges: rediscover the option for the poor as Grace, realize the need for emotional involvement with the poor, discover the wealth of the poor and refuse the hate speech, reflect on ways to eliminate poverty and contribute to a new economy. In all this, the Magisterium of Francis is deeply illuminator. We can say that, with Pope Francis, a prophetic path of inclusion, coexistence and global responsibility is deepened, which turns visible and includes the poor and thus faces aporophobia. (shrink)

Resumo: O tema do artigo é referente à presença de iberismo e anglo-americanismo no Brasil e às expressões dessas heteronomias como obstáculos a uma identidade brasileira. A abordagem se alimenta das polêmicas desencadeadas por Richard Morse e sua tese sobre a Ibéria perdida, o Brasil à deriva e sua universidade descompromissada. A tese de Morse afirma a vitalidade da tradição ibérica original e sua capacidade de inspirar futuros para o Brasil, em inversão à referência anglo-americana, inconsistente e sem futuro. O (...) artigo situa as triangulações entre Brasil, Ibéria e EUA e busca em Teixeira um contraponto à tese de Morse sobre a colonialidade e o descompromisso acadêmico brasileiro. O argumento tem ancoragem em pesquisa envolvendo textos de autoria dos dois intelectuais, biografias e estudos de trajetória. O primeiro movimento apresenta Morse, sua tese sobre a Ibéria e sobre a América Ibérica e sua crítica aos acadêmicos. O segundo movimento situa a trajetória e escrita de Teixeira e destaca sua posição sobre a “civilização americana” com a finalidade de evidenciar um intelectual inverso ao homo academic descompromissado de Morse. As considerações finais retomam pontos de “descomparação” para evidenciar a inspiração anglo-americana e o compromisso de Teixeira com o Brasil. Palavras-chave: Anísio Teixeira; Richard Morse; Iberismo; Anglo-americanismo; Intelectuais. Anísio Teixeira and Richard Morse: inverse triangulations between iberism, brazil and anglo-americanism Abstract: The theme of the article refers to the presence of Iberianism and Anglo-Americanism in Brazil and the expressions of these heteronomies as obstacles to a Brazilian identity. The approach is based on the controversies raised by Richard Morse and his thesis on lost Iberia, Brazil adrift and its uncommitted university. Morse's thesis affirms the vitality of the original Iberian tradition and its capacity to inspire futures for Brazil, the opposite of the Anglo-American reference, according to him, inconsistent and without a future. The article locates the triangulations between Brazil, Iberia and the USA and seeks in Teixeira a counterpoint to Morse's thesis on coloniality and Brazilian academic lack of commitment. The argument is anchored in research involving texts written by the two intellectuals, biographies and trajectory studies. The first movement presents Morse, his thesis on Iberia and Iberian America and his critique of academics. The second movement locates Teixeira's trajectory and writing and highlights his position on “American civilization” with the purpose of showing an intellectual different from Morse's uncommitted homo academic. The final considerations take up points of “discomparison” to highlight the Anglo-American inspiration and Teixeira's commitment to Brazil. Key-words: Anísio Teixeira; Richard Morse; Iberism; Anglo-Americanism; Intelectuals. Anísio Teixeira y Richard Morse: triangulaciones inversas entre iberismo, brasil y angloamericanismo Resumen: El tema del artículo se refiere a la presencia del ibero y del angloamericanismo en Brasil y las expresiones de estas heteronomías como obstáculos a la identidad brasileña. El planteamiento se alimenta de las polémicas desatadas por Richard Morse y su tesis sobre Iberia perdida, Brasil a la deriva y su universidad no comprometida. La tesis de Morse afirma la vitalidad de la tradición ibérica originaria y su capacidad de inspirar futuros para Brasil, en inversión del referente angloamericano, inconsistente y sin futuro. El artículo ubica las triangulaciones entre Brasil, Iberia y Estados Unidos y busca en Teixeira un contrapunto a la tesis de Morse sobre la colonialidad y la falta de compromiso académico brasileño. El argumento está anclado en investigaciones que involucran textos escritos por los dos intelectuales, biografías y estudios de trayectoria. El primer movimiento presenta a Morse, su tesis sobre Iberia e Iberoamérica y su crítica a los académicos. El segundo movimiento ubica la trayectoria y la escritura de Teixeira y resalta su posición sobre la “civilización estadounidense” con el propósito de mostrar un inverso intelectual al homo académico no comprometido de Morse. Las consideraciones finales retoman puntos de “descompensación” para resaltar la inspiración angloamericana y el compromiso de Teixeira con Brasil. Palabras-llaves: Anísio Teixeira; Richard Morse; Iberismo; Angloamericanismo; Intelectuales. Data de registro: 21/10/2021 Data de aceite: 19/01/2022. (shrink)

Aquí lo que me interesa es, primero, distinguir dos problemas de justificación con respecto a la inferencia inductiva: por un lado, el de una justificación persuasiva de este tipo de inferencia y, por otro lado, el de una justificación explicativa de tal inferencia. En segundo lugar, intento mostrar que el argumento de Ramsey-de Finetti a favor de las reglas inductivas de la lógica bayesiana no es capaz de proporcionar una justifi-cación persuasiva de estas reglas. Finalmente, propongo una justificación explicativa para (...) las reglas de condicionalización bayesianas en términos de un argumento trascendental de inspiración kantiana y de estilo davidsoniano.Here, I am interested, firstly, in distinguishing two justification problems concerning inductive inference: on the one hand, the problem of a persuasive justification of induction and, on the other, the problem of an explicative justification of this sort of inference. Secondly, I intend to show that Ramsey-de Finetti’s argument in favor of Bayesian inductive rules cannot provide a persuasive justification for these rules. Finally, I propose an explicative justification for Bayesian conditionalization rules in terms of a transcendental argument of Kantian inspiration and Davidsonian style. (shrink)

The logicD-J of the weak exluded middle with constant domains is proved to be incomplete with respect to Kripke semantics, by introducing models in presheaves on an arbitrary category. Additional incompleteness results are obtained for the modal systems with nested domains extendingQ-S4.1.

By using some classical reasoning we show that any countably presented formal topology, namely, a formal topology with a countable axiom set, is spatial.

We provide a new and elementary proof of strong normalization for the lambda calculus of intersection types. It uses no strong method, like for instance Tait-Girard reducibility predicates, but just simple induction on type complexity and derivation length and thus it is obviously formalizable within first order arithmetic. To obtain this result, we introduce a new system for intersection types whose rules are directly inspired by the reduction relation. Finally, we show that not only the set of strongly normalizing terms (...) of pure lambda calculus can be characterized in this system, but also that a straightforward modification of its rules allows to characterize the set of weakly normalizing terms. (shrink)

This paper discusses an argument for scientific realism put forward by Anthony Quinton in The Nature of Things. The argument – here called the controlled continuity argument – seems to have received no attention in the literature, apparently because it may easily be mistaken for a better-known argument, Grover Maxwell’s “argument from the continuum”. It is argued here that, in point of fact, the two are quite distinct and that Quinton’s argument has several advantages over Maxwell’s. The controlled continuity argument (...) is also compared to Ian Hacking’s “argument from coincidence”. It is pointed out that both arguments are to a large extent independent from considerations about high-level scientific theories, and that both are abductive arguments at the core. But these similarities do not dilute an important difference related to the fact that Quinton’s argument cleverly seeks to anchor belief in unobservable entities in realism about ordinary objects, which is a position shared by most contemporary scientific anti-realists. (shrink)

Vision is the main entrance for environmental input to the human brain. Even if vision is our most used sensory modality, its importance is not limited to environmental exploration. Rather it has strong links to motor competences, further extending to cognitive and social aspects of human life. These multifaceted relationships are particularly important in developmental age and become dramatically evident in presence of complex deficits originating from visual aberrancies. The present review summarizes the available neuropsychological evidence on the development of (...) visual competences, with a particular focus on the associated visuo-motor integration skills in health and disease. With the aim of supporting future research and interventional settings, the goal of the present review is to constitute a solid base to help the translation of neuropsychological hypotheses into straightforward empirical investigations and rehabilitation/training protocols. This approach will further increase the impact, ameliorate the acceptance, and ease the use and implementation of lab-derived intervention protocols in real-life situations. (shrink)

O Argumento da Terra Gêmea Moral (ATGM) é o desafio semântico central para o Realismo Moral Naturalista (RMN). À fim de evitar tal problema, os defensores do RMN têm articulado uma série de réplicas ao ATGM. Neste artigo, abordo algumas dessas réplicas e defendo a tese de que elas não refutam o ATGM. Considero duas propostas em específico: o Argumento da Tradução, de D. Copp, e o Argumento do Fim da Investigação Moral, de A. Viggiano. Apresento essas objeções, mostro em (...) que sentido pretendem responder ao ATGM e argumento que cada uma delas é vulnerável a vários problemas. Concluo que os ataques de Copp e Viggiano ao ATGM devem ser recusados e que o desafio semântico ao RMN persiste. (shrink)

Resumo: Entre 1450 e 1750, na Europa e nas suas colônias, milhares de mulheres, mas não só, foram processadas pelo crime de bruxaria. A acusação se baseava em fofocas difundidas e muitas vezes acreditadas pela “má fama” dos acusados. Seria redutivo atribuir toda a responsabilidade a um complexo de crenças fruto de uma desordem mental generalizada. A caça às bruxas foi uma combinação de intervenções precisas e racionalizadas que objetivavam construir o espectro do monstro demoníaco. O tribunal inquisitório, formalmente obstinado, (...) na busca do crimine exceptum se transformou em um mecanismo infernal: uma engrenagem que produzia culpados. Poucos se deram conta do que estava acontecendo. Os mais doutos puseram à disposição a sua doutrina para sustentar culturalmente carnífices. Mas houve um pequeno rebanho que não se deixou envolver nesta “embriaguez”. Entre estes se encontrava um confessor de bruxas: o jesuíta alemão Friedrich von Spee. Redescobrir o seu pensamento, a sua doutrina, o seu empenho e a sua vida significa realizar uma obra obrigatória de reparação a um injustificado esquecimento. Mas também contribuir, com novos elementos, ao debate sobre o papel da Igreja Católica na “caça às bruxas”. Palavras-chave: Bruxas. von Spee. Exoterismo. (shrink)

Sufficient syntactic conditions for canonicity in intermediate and intuitionistic modal logics are given. We present a new technique which does not require semantic first-order reduction and which is constructive in the sense that it works in an intuitionistic metatheory through a model without points which is classically isomorphic to the usual canonical model.