It has been known for six years that the restriction of Girard's polymorphic system $\text{\bfseries\upshape F}$ to atomic universal instantiations interprets the full fragment of the intuitionistic propositional calculus. We firstly observe that Tait's method of “convertibility” applies quite naturally to the proof of strong normalization of the restricted Girard system. We then show that each $\beta$-reduction step of the full intuitionistic propositional calculus translates into one or more $\beta\eta$-reduction steps in the restricted Girard system. As a consequence, we obtain (...) a novel and perspicuous proof of the strong normalization property for the full intuitionistic propositional calculus. It is noticed that this novel proof bestows a crucial role to $\eta$-conversions. (shrink)

We show that there is a purely proof-theoretic proof of the Rasiowa–Harrop disjunction property for the full intuitionistic propositional calculus ), via natural deduction, in which commuting conversions are not needed. Such proof is based on a sound and faithful embedding of \ into an atomic polymorphic system. This result strengthens a homologous result for the disjunction property of \ and answers a question then posed by Pierluigi Minari.

We introduce a new typed combinatory calculus with a type constructor that, to each type σ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\sigma $$\end{document}, associates the star type σ∗\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\sigma ^*$$\end{document} of the nonempty finite subsets of elements of type σ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\sigma $$\end{document}. We prove that this calculus enjoys the properties of strong normalization and confluence. With the aid of this star combinatory (...) calculus, we define a functional interpretation of first-order predicate logic and prove a corresponding soundness theorem. It is seen that each theorem of classical first-order logic is connected with certain formulas which are tautological in character. As a corollary, we reprove Herbrand’s theorem on the extraction of terms from classically provable existential statements. (shrink)

We present a refinement ofthe bounded modified realizability which provides both upper and lower bounds for witnesses. Our interpretation is based on a generalisation of Howard/Bezem's notion of strong majorizability. We show how the bounded modified realizability coincides with our interpretation in the case when least elements exist . The new interpretation, however, permits the extraction of more accurate bounds, and provides an ideal setting for dealing directly with data types whose natural ordering is not well-founded.

We give an elementary proof of the strong normalization of the atomic polymorphic calculus Fat.

Realizability notions in mathematical logic have a long history, which can be traced back to the work of Stephen Kleene in the 1940s, aimed at exploring the foundations of intuitionistic logic. Kleene’s initial realizability laid the ground for more sophisticated notions such as Kreisel’s modified realizability and various modern approaches. In this context, our work aligns with the lineage of realizability strategies that emphasize the accumulation, rather than the propagation of precise witnesses. In this paper, we introduce a new notion (...) of realizability, namely herbrandized modified realizability. This novel form of (cumulative) realizability, presented within the framework of semi-intuitionistic logic is based on a recently developed star combinatory calculus, which enables the gathering of witnesses into nonempty finite sets. We also show that the previous analysis can be extended from logic to (Heyting) arithmetic. (shrink)

Given the recent interest in the fragment of system $\mathbf{F}$ where universal instantiation is restricted to atomic formulas, a fragment nowadays named system ${\mathbf{F}}_{\textbf{at}}$, we study directly in system $\mathbf{F}$ new conversions whose purpose is to enforce that restriction. We show some benefits of these new atomization conversions: they help achieving strict simulation of proof reduction by means of the Russell–Prawitz embedding of $\textbf{IPC}$ into system $\mathbf{F}$, they are not stronger than a certain ‘dinaturality’ conversion known to generate a consistent (...) equality of proofs, they provide the bridge between the Russell–Prawitz embedding and another translation, due to the authors, of $\textbf{IPC}$ directly into system ${\mathbf{F}}_{\textbf{at}}$ and they give means for explaining why the Russell–Prawitz translation achieves strict simulation whereas the translation into ${\mathbf{F}}_{\textbf{at}}$ does not. (shrink)

We show that the number-theoretic functions definable in the atomic polymorphic system are exactly the extended polynomials. Two proofs of the above result are presented: one, reducing the functions’ definability problem in ${\mathbf{F}}_{\mathbf{at}}$ to definability in the simply typed lambda calculus and the other, directly adapting Helmut Schwichtenberg’s strategy for definability in $\lambda ^{\rightarrow }$ to the atomic polymorphic setting. The uniformity granted in the polymorphic system, when compared with the simply typed lambda calculus, is emphasized.

It is known that there is a sound and faithful translation of the full intuitionistic propositional calculus into the atomic polymorphic system F at, a predicative calculus with only two connectives: the conditional and the second-order universal quantifier. The faithfulness of the embedding was established quite recently via a model-theoretic argument based in Kripke structures. In this paper we present a purely proof-theoretic proof of faithfulness. As an application, we give a purely proof-theoretic proof of the disjunction property of the (...) intuitionistic propositional logic in which commuting conversions are not needed. (shrink)

We study an alternative embedding of IPC into atomic system F whose translation of proofs is based, not on instantiation overflow, but instead on the admissibility of the elimination rules for disjunction and absurdity. As compared to the embedding based on instantiation overflow, the alternative embedding works equally well at the levels of provability and preservation of proof identity, but it produces shorter derivations and shorter simulations of reduction sequences. Lambda-terms are employed in the technical development so that the algorithmic (...) content is made explicit, both for the alternative and the original embeddings. The investigation of preservation of proof-reduction steps by the alternative embedding enables the analysis of generation of “administrative” redexes. These are the key, on the one hand, to understand the difference between the two embeddings; on the other hand, to understand whether the final word on the embedding of IPC into atomic system F has been said. (shrink)

Commuting conversions were introduced in the natural deduction calculus as ad hoc devices for the purpose of guaranteeing the subformula property in normal proofs. In a well known book, Jean-Yves Girard commented harshly on these conversions, saying that ‘one tends to think that natural deduction should be modified to correct such atrocities.’ We present an embedding of the intuitionistic predicate calculus into a second-order predicative system for which there is no need for commuting conversions. Furthermore, we show that the redex (...) and the conversum of a commuting conversion of the original calculus translate into equivalent derivations by means of a series of bidirectional applications of standard conversions. (shrink)

Edward Nelson published in 1986 a book defending an extreme formalist view of mathematics according to which there is animpassable barrierin the totality of exponentiation. On the positive side, Nelson embarks on a program of investigating how much mathematics can be interpreted in Raphael Robinson's theory of arithmetic. In the shadow of this program, some very nice logical investigations and results were produced by a number of people, not only regarding what can be interpreted inbut also what cannot be so (...) interpreted. We explain some of these results and rely on them to discuss Nelson's position. (shrink)

Edward Nelson published in 1986 a book defending an extreme formalist view of mathematics according to which there is an impassable barrier in the totality of exponentiation. On the positive side, Nelson embarks on a program of investigating how much mathematics can be interpreted in Raphael Robinson's theory of arithmetic Q. In the shadow of this program, some very nice logical investigations and results were produced by a number of people, not only regarding what can be interpreted in Q but (...) also what cannot be so interpreted. We explain some of these results and rely on them to discuss Nelson's position. (shrink)

Suppose that it is possible to integrate real functions over a weak base theory related to polynomial time computability. Does it follow that we can count? The answer seems to be: obviously yes! We try to convince the reader that the severe restrictions on induction in feasible theories preclude a straightforward answer. Nevertheless, a more sophisticated reflection does indeed show that the answer is affirmative.

Leo Harrington showed that the second-order theory of arithmetic WKL 0 is ${\Pi^1_1}$ -conservative over the theory RCA 0. Harrington’s proof is model-theoretic, making use of a forcing argument. A purely proof-theoretic proof, avoiding forcing, has been eluding the efforts of researchers. In this short paper, we present a proof of Harrington’s result using a cut-elimination argument.

Este artigo tem como principal objetivo analisar e discutir questões acerca de como à educação muitas vezes acaba por contribuir para o aumento das desigualdades sociais. Desse modo, através dessa análise pretende-se ainda destacar as contribuições e críticas do pensamento de Pierre Félix Bourdieu, Paul- Michel Foucault e Karl Marx sobre os problemas sociais que permeiam a sociedade desde o século XIX até os dias atuais e muitas vezes são fortalecidos pelos sistemas educacionais.

The article addresses the pervasive global challenge of delayed justice, emphasizing its role as a catalyst for widespread judicial reforms. The study defines international and national court approaches to reasonable trial durations by employing systematic and comparative legal methods. It delves into essential technology courts and parties use to ensure timely proceedings, categorizing associated risks and problems. The authors advocate for the multi-door courthouse system, illustrating its efficacy in reducing delays. Furthermore, the article classifies technologies facilitating reasonable trial durations, acknowledging (...) and offering solutions for the challenges they present. This research contributes to the dynamic landscape of judicial reform, offering a holistic perspective on the multifaceted aspects of timely justice. (shrink)

Recently, Critical Theory has been revisited due to the relevance of its critique of contemporary forms of alienation. This critique allows the unveiling of structural ele- ments of contemporary ways of life, offering an accurate analysis of the material and subjective causes of the current environmental crisis. An example of this contribution is Herbert Marcuse’s book Counterrevolution and Revolt, published in 1972. This article addresses the relationship between aesthetics and political ecology established in the main theses of Marcuse’s book. The (...) objective is to present how Marcuse employs the German philosophical tradition, more specifically elements of Kant’s Critique of the Power of Judgment and Marx’s Economic and Philosophical Manuscripts, to constitute a conceptual project of emancipation based on what he calls the aesthetic dimension. The article concludes by claiming that Marcuse’s critics and formulation entail a double requirement in which the field of Aesthetics has a central role. (shrink)

Este artigo discute o papel da Sociologia na escola básica brasileira, que a despeito do arcabouço científico construído em sua trajetória, ainda consolida o seu espaço enquanto disciplina escolar. Nos últimos anos, com a obrigatoriedade da presença da Sociologia nos currículos escolares, novos desafios vêm sendo enfrentados pela disciplina. Um deles é fazer da Sociologia uma ferramenta para que os estudantes e a comunidade escolar possam ter um papel ativo no debate e na construção da realidade social, no que nos (...) arriscamos a denominar de uma Sociologia Escolar Pública . É com esse objetivo que desenvolvemos o projeto Redes Sociológicas, que articula as dimensões do ensino e da pesquisa na escola básica. (shrink)

O presente estudo propõe-se a analisar as medidas e os limites de precaução adotados pelos Poderes da República. Pretendem-se investigar as premissas em que estão fundamentadas as ações do Poder Judiciário, resultando no ativismo judicial. Ponderam-se, ainda, os limites do ativismo judicial e a harmonia entre Poderes. Ressaltam-se a importância atual da temática e a necessidade de exploração de suas repercussões para a construção social. A pesquisa, de viés qualitativo e de cunho exploratório, será lastreada em levantamento bibliográfico e dados (...) estatísticos obtidos através de fontes diversas. (shrink)

The relationship between law and morality is a topic which receives special importance and attention, especially in "liberal democracies" in which the law is supposed to regulate highly pluralized and fragmented societies. Under conditions of plurality of values, many social forces and legal theories require a certain kind of neutrality from the legal system, a means of compatibility of the many "world views" and "moral systems" that are present within the same social space. Such a conciliating commitment sounds particularly relevant (...) in times of the doctrinal ubiquity of ideas such as "peace based on human rights". This was the title of the 28th World Congress of the IVR in Lisbon, with the special workshop "Law and Morals" on which this book is based. It is divided into four parts: "Law and Practical Reason", "Conceptual Approaches on Law and Morals", "Legal versus Moral Normativity", and "Morals and Legal Positivism". (shrink)

This article is an attempt to investigate a classic problem associated with the human action that can be extracted from the Leibnizian texts about the weakness of will, an issue emblematically briefed by Ovide: “I see clearly which [way] is better, and I know it is right, yet I follow the way that is worse”. The author of the Theodicy seems to suggest a way to understand the phenomenon of akrasia. A good source for this research is his work New (...) Essays on Human Understanding, in which he directly debates thesis of the book An Essay Concerning Human Understanding by Locke. In Leibnizian text, one of the concepts discussed is the uneasiness. Locke believes that the fundamental basis for human actions would be to prevent the uneasiness caused by the feeling of missing something. Leibniz not completely refutes the idea of the English philosopher, however looks for improving it by introducing “the perceptions which are not apperceived”. In Leibnizian philosophy the problem of weakness of will may be linked to a region that the agent does not know directly but which is fundamental to any action, even for the so-called rational. (shrink)

O pentecostalismo é a religião que mais cresce, em número de fiéis, no Brasil de acordo com a última contagem populacional do IBGE. Este crescimento não se deu somente através dos métodos de evangelismo pessoal e de massa já empregados há anos pelas igrejas pentecostais, mas também teve um importante acréscimo se forem analisados os efeitos secularizantes da modernidade e que inevitavelmente afetaram essas igrejas. Com o incremento do número de pentecostais, houve também alterações significativas de suas tradições doutrinárias. Sendo (...) a secularização promovedora de pluralismo religioso, as denominações pentecostais passam por um processo de secularização, notadamente com um pluralismo doutrinário a fim de manterem-se plausíveis em meio à sociedade secularizada. Este trabalho cita o caso da igreja Assembleia de Deus, principal denominação pentecostal do País por seu número de fiéis, por sua trajetória histórica e sua consequente secularização. Palavras chave: Assembleia de Deus. Pentecostalismo. Pluralismo religioso. Secularização.The author points out that according to the latest data from the IBGE (Instituto Brasileiro de Geografia e Estatística), Pentecostalism is the fastest growing religion in Brazil. One reason for this growth binds to different methods of evangelism, used for many years by the Pentecostal churches. Another possible reason for the fast growth of Pentecostalism is related to the effects produced by the process of secularization of modernity that inevitably have affected the churches. Along with the increase in the number of Pentecostals, there were also significant changes in their doctrinal traditions. Because secularism promotes religious pluralism, the Pentecostal denominations undergo a process of secularization, especially with a doctrinal pluralism in order to maintain themselves plausible amid a secularized society. This paper cites the case of the Assembly of God church, a leading Pentecostal denomination in Brazil in terms of number of followers, and because of its historical trajectory and its consequent secularization. Keywords : Assembly of God. Pentecostalism. Religious pluralism. Secularization. (shrink)

O presente artigo é fruto de uma pesquisa em andamento realizada na cidade de Jequié­Ba, com o objetivo de problematizar a ausência de educadores do sexo masculino nas creches desse Município, sendo realizado entrevistas como as diretoras das creches e aplicado um questionário com os estudantes do curso de Pedagogia da Universidade Estadual do Sudoeste da Bahia, faremos ainda uma abordagem a cerca da feminização do magistério.

Este artigo pretende apresentar a visão cínica sobre a Felicidade e os meios para atingi-la. Opondo-se aos costumes sociais, os cínicos farão severas críticas à sociedade grega. A Filosofia cínica surge como um antídoto a essas intempéries sociais, propondo uma mudança de paradigma, denunciando como falsas às ambições humanas e indicando um novo caminho: o domínio de si, a indiferença aos prazeres convencionais como única via de acesso à Felicidade.

Objective:A growing body of evidence supports the effectiveness of body-oriented interventions in educational contexts, showing positive influences on social-emotional competence. Nevertheless, there is a lack of systematization of the evidence regarding preschool years. This is a two-part systematic review. In this first part, we aim to examine the effects of BOI on preschoolers' social-emotional competence outcomes.Data Sources:Searches were conducted in Pubmed, Scopus, PsycInfo, ERIC, Web of Science, Portal Regional da BVS and CINAHL.Eligibility Criteria:English, French and Portuguese language articles published between (...) January 2000 and October 2020, that evaluated the effects of BOI implemented in educational contexts on social-emotional competence of preschool children. Only randomized controlled trials or quasi-RCT were included.Data Extraction and Synthesis:Two reviewers independently completed data extraction and risk-of-bias assessment. The level of scientific evidence was measured through the Best Evidence Synthesis.Results:Nineteen studies were included. There was strong evidence that BOI do not improve anger/aggression, delay of gratification and altruism. Nevertheless, there was moderate evidence that BOI effectively improve other social-emotional outcomes, such as empathy, social interaction, social independence, general internalizing behaviors, and general externalizing behaviors. The lack of scientific evidence was compromised by the methodological quality of the studies.Conclusion:BOI effectively improve specific social-emotional competences of preschool children.Systematic Review Registration:PROSPERO, identifier CRD42020172248. (shrink)

Efforts have been dedicated to the understanding of social-ecological systems, an important focus in ethnobiological studies. In particular, ethnobiological investigations have found evidence and tested hypotheses over the last 30 years on the interactions between human groups and their environments, generating the need to formulate a theory for such systems. In this article, we propose the social-ecological theory of maximization to explain the construction and functioning of these systems over time, encompassing hypotheses and evidence from previous ethnobiological studies. In proposing (...) the theory, we present definitions and two conceptual models, an environmental maximization model and a redundancy generation model. The first model seeks to address biota selection and its use by human populations. The second emphasizes how the system organizes itself from the elements that were incorporated into it. Furthermore, we provide the theoretical scenario of plant selection and use from an evolutionary perspective, which explicitly integrates the phylogenetic relationships of plants and human beings. (shrink)

COSTA, Alexandre da. Fundamentos da bioética: estudo sobre o pensamento de Hugo Tristram Engelhardt Jr. FERREIRA, Amauri Carlos. O imaginário religioso e modos de vida urbana: experiência e memória da Juventude Católica em Belo Horizonte – MG, anos 80. GONÇALVES, Davidson Sepini. O Panóptico de Jeremy Bentham: por uma leitura utilitarista. GÓIS, Aurino José. Parque Municipal de Belo Horizonte: público, apropriações e significados. FARIA, Paulo Antônio Couto. Teologia no limiar da filosofia: a modernidade e o encontro fé e razão na (...) obra de Henrique Cláudio de Lima Vaz. (shrink)

Num diálogo entre a Teoria Constitucional e a Filosofia Jurídica, O Ponto de Arquimedes procura levantar eternas interrogações sobre a fundamentação e a legitimação do Direito. Num tempo de consenso aparente e por vezes hipócrita em torno dos Direitos Humanos, o desafio é o de saber quais as suas raízes- a simples vontade do poder, sempre reversível, ou o Direito Natural e a própria natureza do Homem? A indagação sobre o ponto de apoio do Arquimedes jurídico, longe de ser supérflua (...) especulação, constitui, ao invés, a pedra angular de todo o edifício do Direito, o fulcro onde assenta a alavanca movente de todo o pensar e agir da juridicidade. Consagrando-se especialmente ao Direito Constitucional e à Filosofia do Direito, Paulo Ferreira da Cunha é professor universitário, agregado em Direito - Ciências Jurídicas Públicas (Univ. Minho), doutor em Direito - Ciências Jurídico-Políticas (Univ. Coimbra), e doutor em Direito - História/Filosofia do Direito (Univ. Paris II). ÍNDICE GERAL Introdução- O Ponto de Arquimedes PARTE PRIMEIRA - Natureza Humana e Direito Natural Secção I- Em demanda da Natureza Humana Secção II- Direito Natural e Jusnaturalismo Secção III- Deveres, Direitos, Valores. Do Conteúdo do Direito Natural PARTE SEGUNDA - Direito e Direitos Humanos Secção I- Para além do Mito do Direito Secção II- Para uma Não Definição de Direito Secção III- O Paradigma Direitos Humanos Secção IV- Dos Valores aos Direitos Bibliografia Geral Índice Analítico. (shrink)

Repisando a trilha clássica de aproximação ao Direito, o livro repropõe o método realista para pensar o Direito. Um estar de novo do pensamento jurídico tradicional, com sua persistente atualidade, está a exigir que se retome e guarde a analogia do termo Direito e a conclusão de que, antes de mais, sendo o Direito uma coisa, a 'coisa justa', seus demais possíveis conceitos são somente analogados secundários que, por importantes se estimem, demandam sempre referência subalterna àquele prius significativo - antes (...) de tudo, o Direito é justo. Essa perspectiva realista reabre a esperança de que, mediando a experiência e a dialética, se reencontre e aprofunde uma teoria da justiça ancorada na natureza das coisas. Paulo Ferreira da Cunha e Ricardo Dip uniram aqui suas meditações acadêmicas para, comungando da doutrina jusnaturalista clássica formular um convite para que se pense realmente o Direito. (shrink)

A imagem do “esculpir em Argila” como modo de enfrentamento do absurdo, usada por Camus, serve de motto para Gabriel Ferreira da Silva apontar a resposta de Camus ao niilismo do absurdo e de sua falsa solução, o suicídio, tal como é abordado em O Mito de Sísifo. A passagem do “mito” à “revolta” de O Homem Revoltado indica a rota de sua ética da paixão. Esse ato estético de “esculpir”, numa matéria finita e frágil, o sentido possível (estabelecendo a (...) estética no coração da vida ética) enlaça “paixão” e uma certa concepção de natureza humana, concepção esta que se constitui como um ato do cuidado com a “paixão”. O cuidado estético com a agonia da busca de sentido é, em Camus, um valor, valor último e possível para um homem que arrasta, ao longo da vida, seu cadáver nas costas. Enfrentamos esse cadáver “afirmando nossa revolta” contra o silêncio do mundo. (shrink)

Neurath’s approach to the problem of the unity of science is different from conceptions we may call traditional, to know, those that consider that what unites in one single concept the diverse sciences is the adoption of a method, or those that defend that this is carried through by certain characteristics which can be found in the body of knowledge considered scientific. Neurath’s stance also diverges from the standpoint that there is no unifying factor for science, that is, the view (...) that the different sciences are only classified under such concept because of the historical origin of such activities. Neurath’s proposal is to consider science as an attitude, a posture in relation to the problems of the world, the scientific world-conception. This text presents such approach in connection to the aspect of social transformation that can be found in Neurath’s thought. This is done following a comprehension of the ideas of the Vienna Circle, seeking to understand a continuity among the ideas of the members of such group, especially Neurath and Carnap. The present text aims, as well, at recovering the Neurathian idea that we can use a philosophical approach to science to struggle against the problems of the world. (shrink)

Carta escrita por Gilda de Mello e Souza, remetida ao colega Oswaldo Porchat, que se encontrava em Berkeley, quando a ditadura civil-militar brasileira, recrudescida desde a implantação, em agosto de 1968, do AI-5, representava uma verdadeira ameaça a estudantes e docentes da Universidade de São Paulo, especialmente se lhe fizessem qualquer tipo de oposição. Porchat trocou uma sequência de cartas com Gilda nessa época, nas quais relata sua desilusão com a Faculdade de Filosofia, e com os acontecimentos políticos (...) no Brasil. Ao mesmo tempo, confessa estar encantado com a descoberta de novos elementos da Lógica, e com a atmosfera mais amena dos Estados Unidos. Porchat sabe que Gilda enfrenta momentos difíceis, tendo de assumir a Presidência do curso em meio à tentativa do reitor Miguel Reale de submetê-lo a um interventor. Enfrentando a dúvida sobre se valeria a pena retornar ao Brasil naquele momento, Porchat escreve à amiga. A carta a seguir expressa, dentro do que era possível na época, quando as correspondências eram vigiadas, o parecer de Gilda sobre as indagações do amigo, sobre os rumos da ditadura, e sobre o que ela pensava de sua própria atitude de resistência naquele contexto. A carta original, assim como a sequência de correspondências da qual faz parte, está depositada no Fundo Gilda de Mello e Souza, no Instituto de Estudos Brasileiros (IEB/USP). Agradeço à família de Gilda, especialmente a Ana Luisa Escorel e a Laura Escorel, pela disponibilização desse documento para a presente publicação. (shrink)

Este trabalho consiste na apresentação da pioneira e primeira tradução ao português do capítulo 1 “Significado” (Meaning), composto por 3 subcapítulos: Conceitos Científicos Tradicionais, Relatividade Filosófica e Percepção; e oriundo da parte 1 “As Tradições da Ciência” (The Traditions of Science), que integra a obra “Um Inquérito Concernente aos Princípios do Conhecimento Natural” (An Enquiry Concerning the Principles of Natural Knowledge) – livro escrito pelo matemático e filósofo Alfred North Whitehead (1861 a 1947) nas duas primeiras décadas do século XX (...) e publicado pela Editora da Universidade de Cambridge em 1919 (atualmente em domínio público). A justificativa para esta tradução é dada pela relevância da obra original, o livro que inaugurou a fase filosófica ampla da carreira de Whitehead, até então dedicada especificamente à fundamentação da lógica matemática. É, especificamente, no capítulo aqui traduzido, que Whitehead expõe, pela primeira vez, suas críticas ao tempo absoluto, ao espaço absoluto e ao conceito tradicional de “significado”, bem como estreia seus conceitos de “percepção”, “extensão” e “relatividade”. Tais críticas e conceitos, inaugurados no capítulo cuja tradução este trabalho apresenta, irão guiar e embasar a filosofia de Whitehead até seus últimos dias – sendo o conceito de “extensão” facilmente classificável como a pedra angular de toda a sua filosofia. A fonte do texto original, utilizada para o trabalho de tradução, foi a versão digitalizada e disponibilizada on-line, para livre uso, pela Biblioteca da Universidade da Califórnia. (shrink)

O manuscrito original é de língua grega e sua tradução para o português é realizada por Ivo Storniolo e Euclides M. Balancin, sendo publicada pela editora Paulus numa coleção chamada Patrística, em referência aos textos produzidos no período inicial da Filosofia Cristã, escritos pelos chamados “padres da Igreja”, que prepararam a Filosofia Medieval. Apesar da inserção na coleção de textos da editora, a Carta a Diogneto não é claramente um texto produzido por um dos tais padres patrísticos, todavia, levando em (...) consideração o caráter instrutivo e apologético da carta, o conteúdo demonstra certas aproximações. O autor da carta é incerto, mas estima-se que sejam verdadeiramente alguns sábios dos primeiros séculos do cristianismo. Apesar da antiguidade, a carta só veio a ser encontrada em 1436 por Tomás de Arezzo, em Constantinopla. (shrink)

Neste artigo pretendemos discutir a noção de construção da mente consciente a partir da perspectiva de Antonio Damásio. Para isso, centraremos nossa análise em Self comes to Mind. Em um primeiro momento é necessário delimitarmos o conceito de consciência na visão de Damásio, visando, com isso, a evitarmos equivocidades, na medida em que há várias definições de consciência. Acreditamos que, para uma melhor compreensão acerca do surgimento da mente consciente, é necessário levarmos em consideração os processos evolutivos aos quais o (...) homem está sujeito. A consciência é, pois, fruto de um desenvolvimento evolutivo já bem estabelecido pela ciência. Compreender o desenvolvimento evolutivo do self se torna tarefa de suma importância, na medida em que Damásio estrutura sua compreensão de mente consciente a partir do papel desempenhado pelo self na tarefa de agregar conteúdos mentais. Para Damásio, a origem da mente está associada ao momento em que um processo do self é adicionado a um processo mental básico. Quando não ocorre um self na mente, esta mente não é propriamente consciente, o que significa dizer que é o self que garante consciência a uma mente. Isso quer dizer que precisaremos discutir de forma clara e distinta o conceito de self e seus estágios, para que finalmente possamos entender os passos delimitados por Damásio para discutir a construção da mente consciente. (shrink)

Todas as dimensões do ensino de geografia contribuem para a construção de referenciais de leitura do mundo, conferem poder a indivíduos e grupos em suas interações e relações, do mesmo modo que os posiciona, tanto do ponto de vista geográfico quanto social. A Geografia tem, portanto, na perspectiva de Santos (2009), relação direta com a constituição da ideia de raça e com a instauração de formas de relações raciais. Neste artigo tem-se como objetivo identificar como as dimensões das colonialidades, ou (...) seja, a colonialidade o poder, do saber e do ser se reproduzem do ensino de Geografia na interface com as relações étnico-raciais e, ao mesmo tempo, analisar como as epistemes decoloniais e a perspectiva de educação antirracista, em conformidade com a lei 10.639/2003, interpelam os processos de racialização e produção do conhecimento acerca das relações étnico-raciais no ensino de Geografia. (shrink)

1. Mitos, memórias, conceitos -- Direitos humanos, direitos fundamentais.

1. Mitos, memórias, conceitos -- Direitos humanos, direitos fundamentais.

Os critérios de noticiabilidade – ou valores-notícia - das rádios comunitárias devem se submeter aos seus princípios. Servir à comunidade é o principal deles. Como o radiojornalismo nessas emissoras deve ser aberto à comunidade e elaborado por voluntários, ele tenderia a se diferenciar dos demais veículos. Igualmente, também os valores-notícias que estas emissoras adotam seriam singulares.

While students of idealism will be pleased to see another important text back in print, the Cambridge Scholars Press reissue of F.H. Bradley’s Principles of Logic will, I suspect, find only a limited audience. Although the book is nicely bound and printed on what appears to be a high quality acid-free paper, CSP — surely for reasons of economy — has chosen to compress the text’s original five hundred thirty-four pages to three-hundred fourteen, entirely changing the pagination. What has also (...) changed in the CSP edition are the page headers. Sometimes the CSP edition provides a fuller account of the chapter contents than the original; often, though, the new headers tell us less. (shrink)

Trata-se de pesquisa realizada em sede de iniciação científica em nível de graduação concluída no ano de 2022 com financiamento de uma bolsa, por doze meses, pela Universidade Federal do Sul da Bahia (UFSB). Configurou-se como projeto de pesquisa básica multidisciplinar, envolvendo temáticas próprias das Ciências Sociais e Humanidades, notadamente Direito, Educação e Sistema Prisional. Caracterizou-se como uma metapesquisa, com abordagem exploratória, cujo objetivo foi identificar, por meio de revisão bibliográfica e documental abrangendo livros, teses, dissertações, artigos, relatórios de pesquisas (...) e indicadores produzidos entre os anos de 2010 e 2020, o cenário da pesquisa em torno das políticas públicas de educação em prisões no Brasil. Voltou-se a levantar a produção do conhecimento tomando como marco as Diretrizes Nacionais para a oferta de educação para jovens e adultos em situação de privação de liberdade nos estabelecimentos penais emanadas do Conselho Nacional de Educação (CNE), por meio de sua Câmara de Educação Básica (CEB), no âmbito da Resolução CNE/CEB nº 2/2010. Para tanto, metodologicamente, apoiou-se no levantamento em bancos, revistas e repositórios por meio da busca por descritores, tais como: educação em prisões, educação nas prisões e educação no sistema prisional. (shrink)

O presente artigo pretende analisar a ideia de pessoa entre os yorùbás da África Ocidental, a partir da conceção de orí , i. e., a cabeça, entendida entre eles como portadora de personalidade e destino, ideia amplamente difundida pela literatura sobre a matéria da personalidade humana e sentidos de destino. A partir do orí , adentrar-se-á pela problemática da predestinação entre os yorùbás e o sentido do ritual de alimento à cabeça, o b ọ rí, entre os yorùbás, com referência (...) aos afro-brasileiros do Candomblé. A problematização conduzir-nos-á à constatação da pluralidade interpretativa do objeto, ao mesmo tempo que nos deixará diante da questão linguística da tradução dos conceitos, facto que influi na própria construção teológica. Ao mesmo tempo estaremos diante da construção histórica da religião yorùbá, notoriamente uma religião dinâmica e mutável que se fabrica nos diálogos com o cristianismo e islamismo. Processos de transformação que, aliás, são transponíveis para o Brasil, onde a celebração do orí se apresenta de modo diferenciado face à realidade autóctone africana. Palavras-chave : Yorùbás. Concepção de pessoa. Orí. Predestinação. Bọrí.The present paper aims to analyze the idea of person among the Yorùbá people of Western Africa, taking into account the conception of orí , i.e., the head, which is understood by them as the bowl of human personality and destiny. Those ideas are clearly present in the plural literature concerning the human personality and its destination among the Yorùbá people. Taking the orí as starting point, I shall problematize the predestination idea among the Yorùbá and the meaning of the b ọ rí , the ritual presented as ‘feeding-the-head’. Such process will be extended to Afro-Brazilian religious system named Candomblé. The problematization will guide my observation to the dramatic plurality of interpretations concerning destiny, while it will spell out the linguistic dilemmas around the translation of concepts. Those dilemmas influence, clearly, the theological construction of the object. At the same time, the paper will deliver us to the evidence of the historical construction of Yorùbá religion, which is a mutable and dynamic religious expression, highly crossed with Christianity and Islam (in African contexts). Those processes of transformation are also clear in Brazil, where the celebration of orí has different religious attitudes comparing to African native ones. Keywords: Yorùbá. Idea of person. Orí. Predestination. Bọrí. (shrink)