El objetivo de los nacionalismos decimonónicos de formar un pueblo homogéneo, constituido por ciudadanos, pasó a ser una preocupación de la denominada generación brasileña de 1870, que tanto luchó por adaptar la civilización europea a la realidad brasileña. Olavo Bilac y Manoel Bomfim, herederos de estas preocupaciones, pero activos en la vida pública sólo a partir de la Primeira República (1889-1930), apostaron por la instrucción pública como medio ideal para (1) ofrecer una representación unificada, dentro de su variedad, del pueblo (...) brasileño, (2) presentar su amplio territorio nacional, (3) aportar unos conceptos morales básicos y (4) fomentar el patriotismo. Este artículo estudia el libro que escribieron a cuatro manos, Atravez do Brasil. Livro de leitura para o curso medio das Escolas Primarias (1910), narración que condensa un esfuerzo nacionalista basado todavía en modelos europeos, pero ya adaptados a la joven República do Brasil. (shrink)

ABSTRACT This article aims to defend the dialogical nature of the landscape. Working in between the borders of the Bakhtinian philosophy of language and cultural studies on landscape, we defend that landscape study should not be studied without considering the cultural forms of communication in the different domains of social organization– the speech genres; that landscape is a semiotic encounter with a concrete otherness; that the interpreter who emerges when an area enters a relationship of representation is necessarily characterized as (...) a chronotope; that every landscape is a chronotopic representation; that cultural geography recognizes that the semiotic aspects of the landscape are as material as its morphology. We start from the hypothesis that landscape is a chronotopic representation that is always made possible by means of some speech genre, because it is always a communicative process, and an encounter with another in a situation of socially organized interrelation – it is concrete dialogue. To find the deeper meaning of a landscape, one must recognize and understand its material, historical, geographical, and dialogic nature. RESUMO O artigo objetiva defender a índole dialógica da paisagem. Trabalhando na fronteira entre a filosofia bakhtiniana da linguagem e os estudos culturais da paisagem, defendemos que a paisagem não seja estudada sem considerar as formas culturais de comunicação nos diferentes domínios da organização social – os gêneros discursivos; que toda paisagem é encontro semiótico com uma alteridade concreta; que o intérprete que emerge quando uma área entra em relação de representação é necessariamente caracterizado por um cronotopo; que toda paisagem é representação cronotópica; que a geografia cultural reconheça que os aspectos semióticos da paisagem são tão materiais quanto sua morfologia. Partimos da hipótese de que a paisagem é uma representação cronotópica que sempre se realiza através de algum gênero discursivo, pois sempre é um processo comunicativo e de encontro com o outro em uma situação de inter-relação socialmente organizada – é diálogo concreto. Para adentrar à profundeza de seus sentidos, precisa-se reconhecer e compreender sua índole material, histórica, geográfica e dialógica. (shrink)

_Resumo_ Este artigo tem por objetivo problematizar a ideia de ser a América Latina um espaço do _puro contingente_, como defende o filósofo argentino Enrique Dussel. Recorrendo a um evento extraordinário do século XIX, a Revolução Haitiana, defendemos a ideia que, mesmo no espaço colonial, é possível encontrar a circulação e a defesa de ideias universais. Mais do que isso, essa revolução apresenta um bom exemplo de como podemos refletir sobre a _universalidade hegeliana_, elaborada por dois grandes pensadores contemporâneos: (...) Susan Buck-Morss e Slavoj Žižek. _ _ _Palavras-chave: _Dussel; Buck-Morss; Žižek; universalidade hegeliana. _ _ _Abstract_ _ _ This article aims to problematize the idea of Latin America being a space of _pure contingent_, as defended by the Argentine philosopher Enrique Dussel. Using an extraordinary event from the 19th century, the Haitian Revolution, we defend the idea that, even in the colonial space, it is possible to find the circulation and defense of universal ideas. More than that, this revolution presents a good example of how we can reflect on the _Hegelian universality_, elaborated by two great contemporary thinkers: Susan Buck-Morss and Slavoj Žižek. _ _ _Key-words: _Dussel; Buck-Morss; Žižek; hegelian universality. _ _. (shrink)

Lean is a new open source theorem prover being developed at Microsoft Research and Carnegie Mellon University, with a small trusted kernel based on dependent type theory. It aims to bridge the gap between interactive and automated theorem proving, by situating automated tools and methods in a framework that supports user interaction and the construction of fully specified axiomatic proofs. Lean is an ongoing and long-term effort, but it already provides many useful components, integrated development environments, and a rich API (...) which can be used to embed it into other systems. It is currently being used to formalize category theory, homotopy type theory, and abstract algebra. We describe the project goals, system architecture, and main features, and we discuss applications and continuing work. (shrink)

Children with HIV are dependent on taking continuous medication and care, and family preparation is required when disclosing HIV. This study aimed to unveil families’ experiences with HIV disclosure to children under 13 years old. Eight family members who have disclosed HIV to seropositive children were interviewed in‐depth and individually. The fieldwork took place at a public paediatric outpatient hospital in Rio de Janeiro. The results showed that the family members’ discourse highlighted two ways of knowing their own condition and (...) disclosing the condition of the children with HIV. First, they needed to address the communication of bad news and discover their own HIV status through their children's disease. Second, the disclosure was a process constituted by four stages: preparing for disclosure, identifying the time, deciding how and where to tell, and instilling silence after disclosure. They also recognized that nurses had a role in the process as part of an interprofessional team. Nurses can develop advocacy care and empower family members in the preparation of safe HIV disclosure. By systematizing and institutionalizing the care advocacy process, nurses may enable caretakers and children to participate in their therapeutic management, improving adherence to the treatment and self‐care with autonomy. (shrink)

O artigo visa estabelecer a ideia de valor e sua formação, tomando como base o livro “Les Mots et Les Choses” de Michel Foucault, explorando a concepção epistemológica das coisas no âmbito político-econômico-informacional. A metodologia utilizada neste artigo, segue a leitura sintópica da fonte bibliográfica indicada, complementada pela análise conceitual dos capítulos “Échanger” e “Travail, Vie et Langage” da obra, na transversalidade disciplinar, integrando a filosofia da informação e a economia política, numa perspectiva que articula as dimensões da semiótica com (...) a teoria do valor econômico no campo informacional da epistemologia das coisas. (shrink)

Timothy Williamson has brought valuable contributions to the understanding of the relationship between vagueness and knowledge. The philosopher argues that for a belief in a vague proposition to be considered knowledge, it is essential that it is not too close to indefinite conceptual boundaries. Williamson warns that even true beliefs can be merely coincidentally true if there is not an adequate margin of safety against error. Williamson argues that in sorites situations, problems extend beyond semantics to encompass epistemic issues. The (...) author concludes that true beliefs, when too close to vague boundaries, are essentially true by chance, rendering them unsuitable for being considered knowledge. However, it is emphasized that vagueness is not a universal boundary and recognizes the existence of vague terms with relative and absolute boundary cases. While the former have uncertain application due to the lack of decisive methods for their use, the latter face an inherent incompleteness in the question. In summary, we will explore the essence of Williamson's argument, using simple and everyday examples to unravel the complexities of the relationship between vagueness and knowledge. (shrink)

O objetivo deste artigo é discutir o modo como Husserl desenha a originalidade da subjetividade transcendental, frente à sua homônima psicológica. Se é certo que a noção de “imanência autêntica” pode apontar para as diferentes fronteiras entre o transcendental e o psicológico, resta que por si só ela não permite decidir nada quanto ao “modo de ser” transcendental, em sua diferença face ao “mundano”. Sendo assim, procura-se reconstituir alguns dos momentos centrais do esforço husserliano para construir um conceito de “subjetivo” (...) e de “subjetividade” que não se confunda mais com o “psíquico” da psicologia tradicional. (shrink)

Husserlian phenomenology has been interpreted as a method of knowledge that can be applied to different domains and which would compete with other methods to give us a better understanding of the “real”, the “man” or “society”. Moreover, “phenomenological idealism” has been presented as an “ontological” or “metaphysical” thesis, in the pre-critical sense of the term. The goal of this study is to suggest that these two theses imply the tacit identification of the natural attitude and the phenomenological one, avoiding (...) the difference between the objects to which these attitudes relate. Therefore, a phenomenological truth does not anticipate any opinion about the “world”. (shrink)

Neste artigo, buscaremos discutir o modo pelo qual a literatura pode conduzir – e, talvez, mesmo exigir – uma mudança no próprio estatuto da filosofia, especialmente no caso da fenomenologia, ao tornar explícita a existência de um outro modelo de racionalidade, distinto de sua concepção clássica. Para isso, trabalharemos a partir das descrições propostas por Merleau-Ponty sobre o tema, concentrando-nos, nesse artigo, no período de sua obra entre o final dos anos quarenta e início dos anos cinquenta. Ao lado da (...) questão da literatura, a correlata recompreensão da noção de metafísica terá papel central nessa investigação. (shrink)

Nesta apresentação, breve homenagem ao professor Franklin Leopoldo e Silva, nossa proposta é investigar o modo pelo qual o autor compreende a relação entre literatura e filosofia, sobretudo a partir de certa aproximação proposta por ele entre a obra de Proust e o pensamento de Bergson. Para essa discussão, nos apoiamos aqui especialmente em seu ensaio Bergson, Proust: tensões do tempo.

Husserl places “around 1898” the introduction of the notion of ‘ phenomenon’ in his philosophy. If one of the tasks of the history of philosophy is to circumscribe the problems which originated the creation of a new concept in some doctrine, the purpose of this paper is to investigate what difficulties had roused the invention of the idea of ‘phenomenon” in the husserlian philosophy.

Este artigo busca tratar da aproximação entre linguagem e pintura proposta por Merleau-Ponty, buscando mostrar que ela se baseia no reconhecimento de um vínculo intrínseco existente entre a percepção e a expressão e, por meio dele, de uma passividade inerente a toda criação. Trabalharemos, desse modo, a compreensão do filósofo de que é impossível manter os pressupostos da ontologia dualista que opera com a distinção completa entre o subjetivo e o objetivo, na medida em que a estrutura perceptiva explicita um (...) movimento significativo que desconhece a antinomia dos termos, oferecendo-se como solo comum que tanto a pintura quanto a linguagem retomam, revelando ambas não como constituição pura, mas como transformação e subversão. (shrink)

Apresentaremos as possíveis aplicações pedagógicas das suas reflexões, como a utilização da imprecisão científica de Heisenberg e da concepção de técnica em Heidegger, a partir da análise histórico-filosófica dos seus escritos, tomando-os como fundamentação a necessária e significativa melhoria da educação técnico-científica.

The aim of this paper is to expose an idea of causality present in Marx’s conception, considering some of his claims regarding history. Precisely, claims regarding modes of production as progressive epochs of human society, present in the Preface of 1859. With this I intend to maintain that Marx still resorts to an idea of causality in a strong sense, closer to natural sciences. I think that the use of this category as a theoretical resource goes against the idea of (...) a social philosophy as a social science; to which all causality is not foreign, but it is convenient to take it in a weak sense. Because I intend to consider the idea of causality without forgetting to consider the idea of unpredictability as a significant marker regarding the human sciences. (shrink)

Este texto procura circunscrever alguns traços de um tipo de racionalidade formal, que encontra no cinismo uma de suas expressões privilegiadas. Buscamos delimitar algumas características do modo de operação dessa razão, sobretudo enquanto negatividade ou recusa da significação própria ao seu objeto e, no limite, ao mundo. Nessa direção, tentamos, ainda, apontar alguns limites para esse projeto de formalização total e de negação completa do mundo enquanto tal.

Este artigo tem como objetivo principal investigar a relação existente entre a percepção da felicidade dos brasileiros, sua satisfação com a vida e a satisfação com o regime democrático no período de 2017 a 2020. Nossa hipótese de trabalho postula que o declínio da felicidade e da satisfação com a vida, de uma forma geral, guarda relação de associação com a satisfação com a democracia e suas instituições. Assim, o artigo sugere que felicidade e democracia no Brasil são duas variáveis (...) associadas que ajudam a explicar em parte as fragilidades de nosso regime democrático e devem ser foco de atenção de nossas políticas públicas. A base empírica deste artigo é a sétima onda da Pesquisa Mundial de Valores (WVS, 2017-2020), por meio de pesquisa quantitativa, tipo survey, que utilizaremos para demonstrar nosso argumento. (shrink)

Compreender a violência na sociedade contemporânea requer o mapeamento dos fatores geradores de atos violentos bem como sua prevenção por meio de políticas públicas e de processos educacionais. Este artigo traz algumas reflexões sobre a racionalidade comunicativa e a violência escolar no contexto da crescente exclusão social e a crise de horizontes utópicos para a construção da educação e da formação de sujeitos de direitos. A abordagem metodológica está ancorada na perspectiva da análise de conteúdo de Laurence Bardin (2016), do (...) documento ‘Violência escolar e bullying: relatório sobre a situação mundial’, publicado pela Organização das Nações Unidas para a Educação, a Ciência e a Cultura (UNESCO). São analisadas as pretensões de validade das informações e dos dados considerados relevantes por meio da elaboração de dois eixos principais para analisar a violência escolar apresentada no relatório: a) definições e amparos legais; b) impactos e principais desafios sobre a violência escolar e o bullying. Nessa perspectiva, recorreremos à Racionalidade Comunicativa, ponto central da Teoria do Agir Comunicativo, de Jürgen Habermas, para refletir sobre os achados e saber quais as bases consideradas relevantes para se construir uma educação para a paz alicerçada no diálogo e no entendimento. (shrink)

Although there is broad support in the current Brazilian legislation and many curricular documents published in the last three decades, we still face the challenge of the inclusive education in our classrooms. This is a qualitative research in which we investigate the perception of three school pedagogical coordinators about the inclusion of disabled children in regular classes of Elementary and High School of the schools that self-declared favorable to the Inclusive Education. The results suggest perceptions of Inclusive Education with specific (...) goal to comply with current legislation, which aims exclusively at the socialization of the disabled as a target of charity, without great teaching learning goals that allow equal access to school knowledge and continuity of study in the educational system. (shrink)

O artigo está contextualizado no âmbito do debate da filosofia política acerca do cosmopolitismo, isto é, de uma orientação politico-filosófica que considera que teorias de justiça devem ir além das fronteiras nacionais em suas abordagens. Propostas normativas liberais (tais como as de Thomas Pogge e Charles Beitz) recolocaram como foco central da preocupação com a justiça a esfera global e ocuparam o protagonismo dos debates no âmbito da filosofia política no final da década de noventa. Já no campo crítico-discursivo, o (...) ideal cosmopolita foi tematizado de forma menos sistemática, com exceções, como Seyla Benhabib e Jurgen Habermas. Mais recentemente Brian Milstein (2015), efetua o resgate do ideal cosmopolita e estabelece de que forma a teoria crítica com um ponto de vista cosmopolita é central para se pensar possibilidades emancipatórias. Neste texto irei apresentar as principais discussões e desafios que as teorias cosmopolitas enfrentaram e demonstrarei os elementos centrais da proposta de Milstein tendo como objetivo central sustentar que o projeto cosmopolita não deve ser descartado, ao contrário, trata-se de perspectiva urgente para pensarmos os principais desafios de justiça de nosso tempo. (shrink)

O artigo visa discutir o papel que a obra de John Rawls possui para o projeto teórico de Rainer Forst. Trata-se de acompanharas principaisleituras que Forst realiza sobre esse autor e discutir algumas consequências que podem ser delas depreendidas para seu modelo crítico. Assim, em primeiro lugar, discute-se a tentativa de Forst em aproximar os critérios de reciprocidade e universalidade, de seu princípio de justificação, à teoria de Rawls, ao mesmo tempo em que acusa Rawls de que sua configuração da (...) posição original atribui conteúdos substantivos aos princípios de justiça, que, na verdade, só poderiam ser concebidos comoum princípio fundamental de justificação (I). Em seguida, observa-se a leitura que Forst realiza sobre o debate entre Habermas e Rawls, a fim de extrair uma alternativa a ambos. Novamente Forst faz um movimento de aproximação e crítica a Rawls (II). Em um terceiro momento, examina-se outra tentativa de aproximação e superação à obra de Rawls, mas dessa vezatravés da distinção entre duas imagens da justiça(III). Por fim, o artigo apresenta duas interpretações gerais sobe essas leituras: que existem certas constantes nos argumentos que unem e que pretendem superar Rawls; e que contém possíveis problemas,com consequências que ocasionam certos entraves para sua teoriaem sua pretensão de ser crítica. (shrink)

Con base en una investigación de la obracompleta de Feuerbach, se buscan los matices de Incomprensión feuerbachiana del materialismo a lo largo de la evolución de su pensamiento. En contra de los dualismos exaltados, Feuerbach quiere fundar un materialismo antropológicoy racional, en el marco delreconocimiento de la Naturaleza, de la intuición y del amor. Desde el punto de vista ontológico, queda, sin embargo, en cierto modo, abierta la cuestión de si ese materialismo es consecuente, sobre todo en lo que respecta (...) al papel de la praxis y de la subjetividad como condición de posibilidad de la materialidad. (shrink)

O texto que ora apresentamos é o conteúdo de uma Palestra proferida em Agosto de 2011, em Lisboa, e discute alguns pareceres de Hegel sobre o ensino da filosofia na Universidade, e especilamente nos Liceus. Nosso objetivo é discorrer sobre as três fundamentais “lições” que se pode inferir das meditações hegelianas acerca do ensino da filosofia, a saber: 1) o professor tem que pensar; 2) a filosofia (e o filosofar) não é tão-somente um mero formalismo; 3) a dialéctica se configura (...) como textura, conteúdo, do real e como ocupação nuclear de uma penetração pensante do ser. Primeiramente, nossa argumentação evidencia que, para Hegel, o professor tem que pensar porque este ato é uma exigência fundante do seu trabalho docente de formação. No segundo momento, demonstramos que Hegel se posiciona contrário à tese que afirma o formalismo na contraposição filosofia versus filosofar. Em terceiro lugar, expomos que, para Hegel, o ensino e a aprendizagem devem se ocupar, necessariamente, da dialéctica, na medida em que esta não é um mero instrumento da técnica pedagógica, mas porque ela é constitutiva do pensar e da manifestação do ser no mundo. (shrink)

Normal 0 21 false false false MicrosoftInternetExplorer4 Este trabalho objetiva assinalar as pressões sociais e os valores culturais que participam do processo de construção das identidades brasileiras na sociedade hipermoderna das grandes cidades por meio da análise de um representante dela, que é o universo publicitário. Irei descrever alguns dos resultados encontrados em minha tese de doutorado (2007) em que, ao analisar as estratégias emocionais de persuasão publicitá­rias mais utilizadas nas revistas de maior circulação do país, levantei os conteúdos ideológicos (...) empregados nesses anúncios e, neste momento quero refletir sobre os possíveis modos de convivência social promovi­dos pelas identidades que são ressaltadas. Os meios de comunicação social são fonte de influência e manutenção de modos de viver, logo representam material rico de reflexão para se compreender os impasses dos relacionamentos sociais contemporâneos. Palavras-chave: identidade, publicidade, sociedade, hipermodernidade. (shrink)

O objetivo deste artigo é discutir a noção humiana de "crença", frequentemente vita como adendo "psicológico" à correta doutrina epistemológica do autor. Tenta-se sugerir que são partilha das obsessões da epistemologia contemporânea.

To be usable in practice, interactive theorem provers need to provide convenient and efficient means of writing expressions, definitions, and proofs. This involves inferring information that is often left implicit in an ordinary mathematical text, and resolving ambiguities in mathematical expressions. We refer to the process of passing from a quasi-formal and partially-specified expression to a completely precise formal one as elaboration. We describe an elaboration algorithm for dependent type theory that has been implemented in the Lean theorem prover. Lean’s (...) elaborator supports higher-order unification, type class inference, ad hoc overloading, insertion of coercions, the use of tactics, and the computational reduction of terms. The interactions between these components are subtle and complex, and the elaboration algorithm has been carefully designed to balance efficiency and usability. We describe the central design goals, and the means by which they are achieved. (shrink)

Mapeando brevemente alguns eventos desencadeados pelo período denominado, por alguns cientistas, como Antropoceno, este estudo busca estabelecer um observatório deste período através da ótica do campo das artes, do cinema e da filosofia. Pretende-se compreender como práticas artísticas podem ser concebidas de forma a sublinhar as incoerências referentes à intervenção humana no sistema e na atmosfera terrestre. Para tal, este estudo recruta trabalhos de artistas como Alice Miceli, Andrei Tarkovsky e Jacob Kirkegaard, em suas potencialidades de prevenção, educação e crítica (...) em relação a distintas implicações relacionadas ao desastre nuclear de Chernobyl. Assim, é compreendida a possibilidade de trabalhos de arte em atuar como revisita histórica e análise geo-histórica, bem como meios de potencializar críticas às injustiças provocadas pelo Antropoceno.Palavras-chave: Arte contemporânea; Antropoceno; Energia nuclear; Justiça Climática. (shrink)

Primeiramente fazemos uma breve discussão sobre a concepção defendida por Gramsci acerca do que caracteriza um intelectual, bem como sua função social nas distintas formações sociais, como desdobramento de tal reflexão do autor sardo, apresentamos sua conhecida distinção, operada no “Caderno 12”, entre os „intelectuais tradicionais‟ e os „intelectuais orgânicos‟ destacando sua práxis social. Por fim, valendo-nos dos escritos do autor no “Caderno 13”, ressaltamos a importância do intelectual orgânico na constituição do partido revolucionário.First we give a brief discussion about (...) the concept advocated by Gramsci about what characterizes an intellectual as well as its social function in different social formations, as a consequence of such a reflection of the author Sardinian, presented his famous distinction, operated in the "Notebook 12" between the 'traditional intellectuals' and 'organic intellectuals' highlighting its social praxis. Finally, drawing upon the writings of the author in "Notebook 13", highlight the importance of the organic intellectual in the constitution of the revolutionary party. (shrink)

We generalize a previous result about dynamically consistent menu preferences to the case where preferences are not necessarily complete. We show that, as it is the case when preferences are complete, a subjective state space version of dynamic consistency is linked to a comparative theory of preference for flexibility. In words, an objective signal is interpreted as an event in the agent’s subjective state space and the agent acts in a dynamically consistent way after that if and only if we (...) can attribute all the differences between the agent’s preferences before and after the signal to the fact that the agent values flexibility more before the signal than after. (shrink)

A presente dissertação tem como objetivo principal estudar as relações entre a depressão moderada a grave e a religiosidade nos sujeitos da contemporaneidade. Para isso, foram entrevistados e colhidos dados de onze pacientes através de instrumentos padronizados e validados de pesquisa. O nível de depressão também foi medido 60 a 90 dias depois, para se fazer correlações com o nível de melhora da depressão e o nível de religiosidade intrínseca. Os resultados mostraram que maior nível de envolvimento religioso medido pela (...) escala de religiosidade intrínseca não esteve implicado em maior melhora da depressão, nem em piora. Porém, constatou-se que maior nível de envolvimento religioso foi associado a menores níveis de depressão no início do estudo, de forma significativa. A partir de alguns referenciais da psicologia da religião, conclui-se que a religiosidade possui pouco ou nenhum efeito na melhora de pessoas com depressão moderada a grave. Entende-se que isso ocorre porque a religiosidade perdeu muito de sua força na contemporaneidade, além de fatores biológicos e psicológicos que tornam a depressão, depois que atinge certa gravidade, imune aos efeitos da religião. No entanto, como os sujeitos mais religiosos tenderam a ter menores níveis de depressão no início do estudo, conclui-se que se a religião não melhora pelo menos ela tem um efeito atenuante no surgimento do quadro, que se não fosse a religiosidade seria bem mais grave. Assim, a religiosidade de fato proporcionou aos sujeitos uma maneira eficaz de diminuir os sintomas depressivos, através do enfrentamento do estresse e fazendo com que a experiência depressiva tenha algum significado no crescimento espiritual do sujeito, através da sua ressignificação. Termina-se enfatizando a dimensão do cuidado espiritual, que poderá trazer mais qualidade no atendimento dos profissionais de saúde. (shrink)

We present the system SUBSEXPL used for simulating and comparing explicit substitutions calculi. The system allows the manipulation of expressions of the λ-calculus and of three different styles of explicit substitutions: the λσ, the λse and the suspension calculus. A variation of the suspension calculus, which allows for combination of steps of β-contraction is included too. Implementations of the η-reduction are provided for each style. Other explicit substitutions calculi can be easily incorporated into the system due to its modular structure. (...) The uses of the system include: the visualization of the contractions of the λ-calculus in de Bruijn notation, and of guided one-step reductions as well as normalization via each of the associated substitution calculi. Many useful facilities are included: reductions can be easily recorded as text files, LATEX outputs can be generated and several examples for dealing with arithmetic operations and computational operators such as conditionals and repetitions in the λ-calculus are available. The system can be executed over Emacs using the x-symbol mode in such a way that λ-terms and terms of the explicit substitutions calculi are represented in its natural syntax avoiding the necessity of repeatedly generating LATEX outputs. The system has been of great help for systematically comparing explicit substitutions calculi, as well as for understanding properties of explicit substitutions such as the Preservation of Strong Normalization. In addition, it has been used for teaching basic properties of the λ-calculus such as: computational adequacy, the usefulness of de Bruijn's notation and of making explicit substitutions in real implementations. (shrink)