Therapeutic strategies capable of inducing and enhancing prosthesis embodiment are a key point for better adaptation to and acceptance of prosthetic limbs. In this study, we developed a training protocol using an EMG-based human-machine interface that was applied in the preprosthetic rehabilitation phase of people with amputation. This is a case series with the objective of evaluating the induction and enhancement of the embodiment of a virtual prosthesis. Six men and a woman with unilateral transfemoral traumatic amputation without previous use (...) of prostheses participated in the study. Participants performed a training protocol with the EMG-based HMI, composed of six sessions held twice a week, each lasting 30 mins. This system consisted of myoelectric control of the movements of a virtual prosthesis immersed in a 3D virtual environment. Additionally, vibrotactile stimuli were provided on the participant’s back corresponding to the movements performed. Embodiment was investigated from the following set of measurements: skin conductance response, crossmodal congruency effect, ability to control the virtual prosthesis, and reports before and after the training. The increase in the skin conductance response in conditions where the virtual prosthesis was threatened, recalibration of the peripersonal space perception identified by the crossmodal congruency effect, ability to control the virtual prosthesis, and participant reports consistently showed the induction and enhancement of virtual prosthesis embodiment. Therefore, this protocol using EMG-based HMI was shown to be a viable option to achieve and enhance the embodiment of a virtual prosthetic limb. (shrink)

Neste trabalho, argumentamos ser a proposta historiográfica de Ubiratan D’Ambrosio (1932-2021), presente em seu Programa Etnomatemática, capaz de nos apoiar nos processos de valorização da historicidade e da diversidade cultural brasileiras. Partindo de uma pesquisa teórica, de abordagem qualitativa e bibliográfica, utilizamos alguns aspectos da perspectiva de D’Ambrosio para fazer o estudo de um episódio histórico do século XVII, baseado na tradução de um livro publicado em 1614 por um missionário francês, que participou do projeto de colonização do Brasil no (...) que ficou conhecido como França Equinocial. Nesse sentido, ao final, apresentamos uma discussão de três trechos dessa tradução que evidenciam conhecimentos astronômicos de um grupo Tupinambá que vivia no Maranhão nessa época. Com isso, buscamos oferecer subsídios para que docentes de Ciências e Física implementem propostas na Educação Básica na perspectiva das Histórias das Ciências especializadas, buscando evitar estereótipos e abordagens ingênuas, de modo a ir ao encontro, por exemplo, da Lei 11.645/2008, a qual exige a inclusão de estudos sobre história e cultura afro-brasileira e indígena em todo o currículo escolar do Brasil. (shrink)

The idea that the Leviathan frontispiece offers a visual summary of the contents of the work is widespread. However, the analysis of the frontispiece often under-explores Leviathan's text or leaves certain iconographic elements aside. In discussions of the Scholastics ‘Dilemma’ emblem, for instance, the image is commonly reduced to a representation of ‘logic’ or ‘scholasticism’, leaving aside the intricate interrelationship between the objects present in the image and their connection with the content of the book. This paper argues that this (...) image helps understanding Hobbes’ critique of Scholastic doctrines and their political effects in Leviathan. For Hobbes, these supposedly pure philosophical concepts either in logic (trident of the ‘Syllogism’) or metaphysics (‘Real/Intentional’ bident) hide a central part of Scholastic thought: a ‘seditious’ political conception claiming that the Pope has an indirect right to temporal power in affairs concerning spiritual matters theory (‘Spiritual/Temporal’ and ‘Direct/Indirect’ bidents). The Scholastic model made the common people believe that the Pope would have at least as much authority as the Sovereign. When faced with the choice between obeying either the Pope or their Civil Sovereign the subjects would find themselves in a dangerous ‘Dilemma’. (shrink)

Hobbes argues that among the reasons for the Catholic Church’s power is the difficulty for ignorant people to understand the causes of natural phenomena. They take the motion of invisible bodies for the intervention of incorporeal agents. For Hobbes, the Church tries to perpetuate this profitable misunderstanding by spreading Scholastic doctrines supporting this idea in the sermons of all the parishes of the Christian world. Existing literature, thus far, focused almost exclusively on Hobbes’ negative claim concerning incorporeal substances, i.e., that (...) they are absurd and are only used to justify the Church’s claim to power. On the other hand, his positive proposition to replace immaterial substances with invisible bodies was not fully explored. By highlighting Hobbes’ examination of invisibility in Leviathan, it is possible to demonstrate how he uses ideas from natural philosophy to challenge some of the dominant Scholastic doctrines and, consequently, the usurpation of the sovereign’s ecclesiastical power. (shrink)

In this article we aim to provide insights about the challenges stakeholders in Portugal and across the globe may face throughout the Coronavirus Disease 2019 pandemic to reorganize coach training programs and suggest strategies to help coaches learn. Such reflection may help stakeholders across socio-cultural contexts consider the consequences of the changes made to coach training programs, the rationale for these decisions and the need to acknowledge existent challenges such as lower course completion rates, pressures to deliver the curriculum and (...) dilemmatic decisions about course format. Furthermore, we also suggest pathways for stakeholders to develop strategies that consider contextual variables and contribute to meaningful learning. Based on the Portuguese context, several issues are discussed. (shrink)

A vivência das crianças ciganas no mundo apresenta várias lacunas que vêm sendo estudadas por pesquisadores da área da sociologia, antropologia, psicologia e educação, com a intenção de compreender a forma como as escolas enfrentam o desafio de ensinar, com êxito, crianças de etnias diferentes. Discutir acerca da vida da criança cigana e o brincar no seu processo de escolarização frente aos olhos dos professores se constitui no nosso principal objetivo. A ênfase maior deste estudo está centrada na percepção dos (...) professores sobre a inserção das crianças ciganas no processo de escolarização na rede regular de ensino, assim como conhecer de que forma o lúdico está inserido no ambiente educacional e se vem contribuindo para diminuir o insucesso escolar de alunos/as de etnia cigana. As discussões feitas neste artigo contribuirão para o debate em busca de uma educação intercultural que valorize práticas lúdicas e partilhem a ideia de construir um futuro juntos e, consequentemente, com a construção de uma sociedade inclusiva e atuante. (shrink)

No presente artigo pretendemos descrever os conceitos heideggerianos apresentados no ensaio A origem da obra de arte, no qual o filósofo alemão destaca que o campo instaurador da obra de arte é a verdade. Para tanto, reconstruiremos os passos argumentativos realizados por Heidegger na investigação da origem da obra de arte, a saber, a coisa, o utensílio e a obra. E, por fim, mostraremos que a verdade em Heidegger se dá no embate entre Terra e Mundo, que se caracterizam pelo (...) encobrimento e desencobrimento do ser do ente. Após tais considerações, procuramos investigar a verdade que se pôs em obra nos quadros da artista plástica Marina Rodrigues, que ressaltou o embate entre Terra e o Mundo no período pandêmico. A artista retira da terra o material para a obra de arte, instaurando um mundo em suas telas. Nos quadros de Rodrigues nos deparamos com a finitude da existência humana e o caos urbano. (shrink)

Herbert Spencer (1820-1903) foi um proeminente escritor e um dos maiores intelectuais europeus do movimento positivista do século XIX. Filósofo, sociólogo, biólogo, educador e cientista, fortemente influenciado pela teoria da evolução de Charles Darwin, foi também autor de prolíficas obras filosóficas e educativas, como Os Princípios da Sociologia, A Educação Intelectual, Moral e Física. Do livro intitulado The Philosophy of Style, publicado originalmente na Inglaterra, em 1852, apresenta-se as traduções de seis ensaios filosófico-literários ao português brasileiro, nos quais Spencer discorreu (...) sobre a aplicação da economia às palavras, ao texto literário e traços peculiares da linguagem estética.Palavras-chave: Herbert Spencer. Filosofia. Linguagem. Estilo. (shrink)

A escola é um espaço importantíssimo para o desenvolvimento de trabalhos e ações que envolvem a gestão de resíduos sólidos, tema cada vez mais discutido em trabalhos e eventos científicos. Com o objetivo de sensibilizar educandos para o problema, um grupo de bolsistas do Pibid Interdisciplinar – Educação ambiental realizou um experimento em que ações socioambientais foram propostas e desenvolvidas junto com educandos de uma escola parceira. As experiências vivenciadas no cotidiano escolar dos dois grupos tiveram como técnicas de coleta (...) de dados necessários à elaboração coletiva das ações, observações e oficinas teórico-práticas, em quatro encontros, nos quais o tema foi abordado teoricamente, através de exibição de documentários e realização de algumas dinâmicas. A ação resultante foi um trabalho de reciclagem com o reaproveitamento de materiais que seriam descartados, ao longo do qual ocorreram discussões que consistiam em uma problematização que, a partir da realidade dos alunos, tentava contribuir para que eles percebessem problemas ambientais presentes em seu dia a dia, convidando-os a refletir sobre os seus hábitos de consumo, a forma de descarte dos resíduos provenientes do seu ato de consumir e os prejuízos por eles causado na natureza. (shrink)

Na obra política de Maquiavel, o poder aparece sempre associado à capacidade de produzir ordenações e, consequentemente, comportamentos coletivos, isto é, tem poder aquele que tem “autoridade” (autorità). O secretário florentino, através da descrição do processo de construção da autoridade pelo aumento da reputação(O Príncipe, IX, 3), parece delinear uma certa forma de poder que se funda sobre a opinião pública a respeito dos indivíduos e não sobre as leis e ordenações políticas. O reconhecimento da autoridade – a reputação – (...) pode ser interpretado, então, como uma espécie de poder não-jurídico, construído sobre a opinião que os indivíduos têm das ações uns dos outros. (shrink)

O presente artigo tem como pretensão oferecer um olhar outro acerca da depressão. Nossa análise sobre tal fenômeno encontra na filosofia, sobretudo, de Byung-Chul Han, uma possibilidade interessante de ir além das explicações psiquiátricas. Entretanto, são nelas que esse texto inicia sua discussão: a hipótese serotoninérgica da depressão é apresentada, mas também, problematizada, pois, muito embora a psiquiatria encontre nela ainda hoje a sua tese nuclear acerca do comportamento depressivo, é mostrado aqui que, além de ser uma teoria ausente de (...) comprovação científica, também carece de consistência para explicar o avanço da depressão ao redor do mundo. É diante da impossibilidade de pensar a depressão biologicamente que, no segundo momento deste artigo, há um esforço para analisar os modos de estruturação social contemporâneos, baseados na positivação da sociedade e na busca desenfreada por desempenho, e buscar nos mesmos, fatores desencadeantes do comportamento depressivo. A última parte do texto se concentra em apresentar um panorama filosófico centrado nas perspectivas de Han acerca da depressão. Através da exposição do mito de Eros e Psique, o artigo encerra sua análise mostrando a influência que o desaparecimento do Outro e a pressão por desempenho exerce na formação de uma sociedade de pessoas depressivas. (shrink)

Este trabalho discute as possíveis relações entre a histeria e os chamados distúrbios alimentares que, na atualidade, ganharam um caráter epidêmico. Os discursos dos autores sobre a anorexia e a bulimia são apresentados e organizados em categorias temáticas que abordam as definições de anorexia e bu..

O presente artigo quer investigar o problema do mal na perspectiva de Santo Anselmo, tomando como ponto de partida sua obra "De casu diaboli", onde o tema é abordado, a partir da íntima ligação entre mal e pecado. Ao enfocar o mal na perspectiva da queda diabólica, o Doutor Magnífico intenta mostrar a conexão entre vontade, liberdade e justiça. Sua preocupação é investigar o significado moral da má escolha, realizada por uma criatura racional e puramente espiritual, feita boa e para (...) ser boa. O pecado, consoante o autor, não está em almejar a felicidade, pois um tal desejo é dádiva divina; o mal praticado pelo anjo está, precisamente, em querer a felicidade fora da justiça, isto é, ao querer ser feliz, ele foi de encontro ao que ele deveria ser: quis ser semelhante a Deus, extrapolando a sua própria natureza, pois ele desejou algo que, enquanto criatura, não caberia a ele almejar. Este é o ponto de partida para analisar o mal e sua mais dramática consequência, o sofrimento. (shrink)

O livro do Anônimo Perusino descreve a vida, palavras e feitos de Francisco de Assis, um santo que oferece perspectivas e referências para além de seu tempo. Trata-se de um texto permeado de fé com a intencionalida- de de nortear os caminhos de franciscanos que querem manter vivos a espiritualidade e carisma franciscano. A descrição do “jeito franciscano de ser” remete às pistas necessárias para uma educação permeada de Princípios, Valores e Atitudes.

A retidão moral, entendida como a prática da justiça, é o tema que perpassa a Trilogia, composta por Santo Anselmo, da qual fazem parte os tratados De Veritate, De libertate arbitrii e De casu diaboli. O presente artigo pretende evidenciar o papel absolutamente fundamental da vontade livre para a realização do agir em conformidade com a justiça. O exame de algumas passagens, sobretudo do tratado sobre a queda angélica, nos permitirá concluir que mesmo sendo a vontade uma dádiva, a criatura (...) racional, pela livre conjugação de seu querer é capaz de ser, de modo absolutamente isento de constrangimentos, a protagonista de seu agir moral. A verdadeira liberdade não é fazer o que se quer. A vontade é verdadeiramente livre quando fazemos aquilo que devemos fazer. Palavras-chave: Vontade. Liberdade. Retidão. (shrink)

Normal 0 21 false false false MicrosoftInternetExplorer4 Resumo O texto trata da Folia de Reis na Comunidade de Cruzeiro dos Peixotos - Uberlândia - MG, que foi alvo de um projeto de pesquisa, financiado pelo Programa Institucional de Bolsas de Extensão (PIBEX/UFU) e pelo Programa de Extensão e Integração UFU/Comunidade (PEIC/UFU). Os autores partem da premissa de que foliões, festeiros e devotos são, na feliz expressão de Carlos Rodrigues Brandão, "especialistas" do saber da devoção, por sentirem-se incumbidos de representar a (...) Igreja em cada uma da partes que compõem a Folia, desde a saída do Terno até chegar o dia da festa de Santos Reis. O texto procura mesclar reflexão teórica conceitual sobre a festa com os métodos de pesquisa da História Oral, a partir da observação in loco . Conclui com a constatação de que esta importante tradição popular mantem-se ainda muito viva e forte, não apenas na comunidade em foco, mas ainda na região do Triângulo Mineiro. Reconhece que seu sentido se modificou ao longo do tempo e procura afirmar que esta festa não sofre da 'ameça da extinção', como quer a doxa corrente, representada pela voz da mídia, pelos agentes das secretarias de cultura, pesquisadores acadêmicos ou ainda pelos próprios devotos. Palavras-chave : devoção; Folia de Reis; festa.This paper covers the 'Folia de Reis' (a traditional folk celebration of the visit from the Three Kings, during Epiphany) in the community of Cruzeiro dos Peixotos - Uberlândia - MG, which was the target of a research project, funded by the Institutional Program of Extension Fellowships (PIBEX / UFU) and the Extension and Integration Program UFU/Comunidade (PEIC/UFU). The authors begin with the premise that revelers, "party goers" ( festeiros ) and devotees are, in the fortunate expression of Carlos Rodrigues Brandão, "experts" in the knowledge of devotion, for they feel responsible to represent the Church in each of the component parts of the Folia, from the departure of the Terno (group of musicians) up to the celebration of the Three Kings. The text seeks to merge a theoretical conception about the party with the research methods of oral history, based on direct observation. In conclusion, it observes that this important folk tradition has been kept very much alive and strong, not only in the community that was the focus of this study, but also in the Triangulo Mineiro region. It acknowledges that the meaning of the party has changed over time and intends to assert that this party does not suffer from the 'threat of extinction', as wants to believe the current doxa , represented by the voices of the media, by the officials from the departments of culture, by academic researchers or even by their own devotees. Key words : devotion; Folia de Reis (a traditional folk celebration of the visit from the Three Kings, during Epiphany); party. (shrink)

O objectivo príncipal deste artigo consiste em evidenciar o contributo do pensamento médico para a revolução científica, tendo em consideraçāo a especificidade da medicina no âmbito dos saberes. O autor delineia um percurso cujos marcos sāo A. Vesalius, G. Borelli, W. Harvey, F. Glisson e G.-E Stahl. Trata-se de uma escolha que, nāo sendo arbitrária, é razoavelmente contingente. Ao longo dos séculos XVI-XVIII, a medicina acompanhou o esforço de renovaçāo, em especial no domínio anátomo-físio-patológico, introduziu modos de inteligibilidade, perspectivas, ângulos (...) de visāo inovadores. A representaçāo do corpo está no cerne da inteligibilidade médica. As diferentes figurações do corpo - fábrica, mecanismo, organismo - indicam estratégias de olhar distintas, podendo falar-se de duas culturas científicas no interior da medicina ao longo do período considerado: uma cultura científica pautada pelos cânones matemático-experimentais, que tende a isolar e objectivar o corpo; uma outra cultura científica guiada pelo reconhecimento da especificidade do corpo vivo e pela inscriçāo deste no facto humano total. The main goal of this paper consists in the contribution of medical thought to the scientific revolution, bearing in mind the specificity of medicine within the scope of sciences. The author draws a path whose boundary marks are A. Vesalius, G. Borelli, W. Harvey, F. Glisson, G.-E. Stahl. It is all about a choice which, although not arbitrary, is significantly contingent. Throughout the XVI-XVIIIth Centuries, medicine accompanied the general attempt of intellectual renovation, namely within the anatomo-physio-pathological field, and brought into use innovative ways of intelligibility, perspectives, angles of view. The picture of the living body is in the core of medical intelligibility. Different pictures of the body - fabric, mechanism, organism - point out distinguished strategies of viewing, making it possible to mention two scientific cultures within medicine during this period: a scientific culture ruled by the mathematico-experimental canons, which tends to isolate and objectify the body; another scientific culture ruled by the acknowledgement of the specificity of living bodies, and by the view of human body within the whole human fact. acknowledgement of the specificity of living bodies, and by the view of human body within the whole human fact. (shrink)

According to Peirce one of the most important philosophical problems is continuity. Consequently, he set forth an innovative and peculiar approach in order to elucidate at once its mathematical and metaphysical challenges through proper non-classical logical reasoning. I will restrain my argument to the definition of the different types of discrete collections according to Peirce, with a special regard to the phenomenon called ?premonition of continuity? (Peirce, 1976, Vol. 3, p. 87, c. 1897).

This article inspects Peirce’s resonances on Deleuze’s semiotic. Whereas most of the literature agrees that Deleuze adapts Peirce’s semiotic to serve his Bergsonian-based theory of sign, this article claims that the relationship of Deleuze with Peirce’s writings is more foliated than it may appear at first. The development of this hypothesis invites to trace back Deleuze’s works before his very acquaintance with Peirce in the 1980s. Therefore, one of Peirce’s classical issues – the role that relations and habits play for (...) the triadic conception of sign – is considered with Deleuze’s early studies, in which he developed this same issue as to approach Hume and Proust. This background echoes years later in Deleuze’s incursion to Peirce’s semiotic in the 1980s ninety-two classes and two books on cinema. In fact, Deleuze’s own triadic conception of sign and his acknowledged pragmatist inclination prove to be closer to Peirce’s pragmatism than the scholarly literature tends to think or argue. The aim of this article is not, however, to build an overwhelming philosophical identity between Deleuze and Peirce, it sets up instead a steadier basis from where to understand their differences. Deleuze’s ignored five-year long lectures on cinema shows to be exegetically revealing with respect to his debts towards Peirce. (shrink)

A oferta de oficinas literárias para a população prisional, de uma penitenciária situada fora do Brasil, possibilitou identificar pontos sensíveis na execução penal internacional e na política criminal, apontando que a Educação em Direitos é uma demanda que deve ser implementada antes, durante e depois do cumprimento da pena.

En el planteamiento husser­liano de la constitución del alter ego con­vergen un componente de fenomenología estática o de aparición del otro mediante actos objetivantes peculiares y otro com­ponente pasivo o de génesis asociativa, en la medida en que el alter ego es otro como yo. Se plantea el problema del entrecruza­miento de ambos planos, ya que, por un lado, el otro que aparece está encubierto por su aparición y, por otro lado, la génesis se mantiene en los límites que impone (...) la alteridad recíproca de los sujetos. El análi­sis se centra en la V Meditación Cartesiana y en la Fenomenología de la intersubjetivi­dad, mostrando cierta simetría en los enfo­ques. Finalmente se hace ver la insuficien­cia del análisis husserliano por lo que hace a la diferencia entre el yo masculino y el yo femenino. (shrink)

O artigo apresenta o pensamento de Dewey sustentando a tese de que formação é crescimento em função de uma efetiva relação com a vida: o humano é exigido pela vida a desenvolver-se, a crescer em direções muito diversas para então ocupar um espaço na sociedade. No intuito de gerar uma reflexão sobre o dilema da formação humana, o texto introduz outro autor, como coadjuvante, pondo em diálogo duas perspectivas implicadas pelo mesmo tema.

O artigo se propõe a refletir sobre as perspectivas, dimensões e fundamentos do saber musical sensível em escolas de educação básica brasileiras. Parte constituinte de uma pesquisa teórica voltada a pensar a epistemologia da educação musical escolar (Aquino, 2016), tem-se como pressuposto o fato de o saber musical escolar ser um tipo de saber sensível e, como tal, capaz de fomentar modos de operar articuladores de aspectos comumente percebidos como incompatíveis e, por conseguinte, apreendidos e vivenciados de forma dissociadora na (...) contemporaneidade. À medida que são estabelecidas as relações imanentes entre seus fundamentos éticos, cognitivos, emocionais e somáticos, suas dimensões científicas, filosóficas e artísticas, bem como as relações extrínsecas com outros campos do saber, acredita-se contribuir para a construção de alicerces epistemológicos mais claros para a educação musical nas escolas brasileiras de educação básica. (shrink)

Los cinco estudios que componen este volumen estan dedicados a mostrar que es posible abordar el estudio de un film y por extension del cine en su conjunto a partir de fragmentos minimos extraidos de una obra concreta. Concebidos con una metodologia unitaria intentan, limitando al maximo el uso de esa jerga especializada que suele hacer de muralla entre el analista y el lector, proporcionar instrumentos operativos para todos aquellos que conciben el cine como territorio donde saber y placer no (...) solo no estan renidos sino que se refuerzan mutuamente. Los ejemplos han sido tomados, conscientemente, de obras al mismo tiempo muy conocidas y suficientemente representativas de determinadas maneras de hacer. Se ha huido de toda normatividad con la finalidad de hacer buena la frase de S.M. Eisenstein cuando recordaba a sus discipulos que el no podia ensenarles nada, pero ellos si que podian aprender mucho. Equidistante del moderno analisis formalista y de la tradicion clasica que reivindicaba la primacia del contenido, el tipo de trabajo patente en estas paginas reivindica el lugar central del texto filmico y sus texturas singulares en los nuevos estudios cinematograficos. (shrink)

This article presents the main features of the work of Domenico Vandelli, an Italian-born man of science who lived a large part of his life in Portugal. Vandelli’s scientific interests as a naturalist paved the way to his activities as a reformer and adviser on economic and financial issues. The topics covered in his writings are similar to those discussed by Linnaeus, with whom Vandelli corresponded. They clearly reveal that the scientific preparation indispensable for a better knowledge of natural resources (...) was also a fundamental condition for correctly addressing problems of efficiency in their economic allocation. The key argument put forward in this article is that the relationship between natural history and the agenda for economic reform and development deserves to be further analysed. It is indeed a central element in the emergence of political economy as an autonomous scientific discourse during the last decades of the eighteenth century.Author Keywords: Vandelli; Linnaeus; Natural History; Political Economy; Enlightenment. (shrink)

Este artigo visa fazer um diálogo a respeito do desejo aflitivo por comida, de um lado dialogando com textos da tradição budista tibetana Geluk, e do outro com pesquisas realizadas na área da saúde, especialmente as voltadas à parte biológica-comportamental da alimentação. Bem como, trazer contribuições para a área da saúde, a respeito do desejo aflitivo, que contribui na problemática crescente do sobrepeso, obesidade e doenças associadas no contexto mundial das sociedades desenvolvidas.

Dom Léger-Marie Deschamps élabora un système philosophique profondément subversif et novateur, intitulé : La Vérité, ou Le Vrai Système. Il s'agit d'une philosophie de la totalité, fondée sur une logique des contraires et du contradictoire. La métaphysique de Deschamps annonce l'avènement d'une nouvelle humanité, qui induit nécessairement une nouvelle société, dans lequel l'État, les lois, les idéologies, la religion, la propriété sont abolis, chacun étant égal à tous. Au XVIIIe siècle cette doctrine ne pouvait être diffusée sans risques très graves (...) pour son auteur: l'amitié et la protection du marquis de Voyer d'Argenson évitèrent à Dom Deschamps toute persécution. (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)