Palavras Mágicas: solução instantânea para questões pedagógicas? Resumo: O objetivo desse artigo é analisar, com base no aporte teórico-epistemológico da hermenêutica objetiva, a presença, a razão e utilização das palavras mágicas no contexto escolar, especialmente nas relações estabelecidas entre os alunos e professores. Para tanto, o cartaz “Palavras Mágicas”, uma imagem captada em uma escola pública do ensino fundamental, no município de São Carlos – SP, em 2018, foi reconstruído empiricamente e interpretado por um grupo de pesquisadores brasileiros e (...) um estrangeiro. O significado histórico-cultural das palavras mágicas, bem como o questionamento acerca da pertinência da adoção de práticas “pedagógicas mágicas” na escola, foi contrastado com o sentido pedagógico da formação escolar. Os resultados da análise indicam que a pedagogia não pode ser praticada de forma mágica, mediante a instantaneidade e instrumentalização de suas ações, pois se assim o for, estaríamos decretando o fim da Pedagogia. Palavras-chave: Palavras mágicas; Pedagogia; Formação; Teoria crítica; Hermenêutica objetiva. Magic Words: instant solution to pedagogical questions? Abstract: The aim of this article is to analyze, based on the theoretical-epistemological contribution of objective hermeneutics, the presence, reason and use of magic words in the school context, especially in the relationships established between students and teachers. To this end, the poster “Palavras Mágicas”, an image captured in a public elementary school in the municipality of São Carlos - SP, in 2018, was reconstructed empirically and interpreted by a group of Brazilian researchers and a foreigner. The historical-cultural meaning of magic words, as well as the questioning about the pertinence of adopting “magical pedagogical” practices in school, were contrasted with the pedagogical sense of school formation. The results of the analysis indicate that pedagogy cannot be practiced in a magical way, by means of the instantaneous and instrumentalization of its actions, because if it happened, we would be decreeing the end of Pedagogy. Keyword: Magic words; Pedagogy; Formation; Critical theory; Objective hermeneutics. Palabras mágicas: ¿solución instantánea a cuestiones pedagógicas? Resumen: El objetivo de este artículo es analizar, con base en la contribución teórico-epistemológica de la hermenéutica objetiva, la presencia, la razón y el uso de palabras mágicas en el contexto escolar, especialmente en las relaciones establecidas entre estudiantes y docentes. Con este fin, el póster "Palavras Mágicas", una imagen capturada en una escuela primaria pública en el municipio de São Carlos - SP, en 2018, fue reconstruida empíricamente e interpretada por un grupo de investigadores brasileños y un extranjero. El significado histórico-cultural de las palabras mágicas, así como el cuestionamiento sobre la pertinencia de adoptar prácticas "mágicas pedagógicas" en la escuela, se contrasta con el sentido pedagógico de la formación escolar. Los resultados del análisis indican que la pedagogía no se puede practicar de manera mágica, por medio de la instantánea y la instrumentalización de sus acciones, porque de ser así, estaríamos decretando el fin de la pedagogía. Palabra clave: Palabras mágicas; Pedagogía; Formación; Teoría crítica; Hermenéutica objetiva. Data de registro: 13/09/2020 Data de aceite: 05/08/2021 Financiamento de Pesquisa: FAPESP. (shrink)

Recent works about ecumenical systems, where connectives from classical and intuitionistic logics can co-exist in peace, warmed the discussion on proof systems for combining logics. This discussion has been extended to alethic modalities using Simpson’s meta-logical characterization: necessity is independent of the viewer, while possibility can be either intuitionistic or classical. In this work, we propose a pure, label free calculus for ecumenical modalities, nEK\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf {nEK}$$\end{document}, where exactly one logical operator figures (...) in introduction rules and every basic object of the calculus can be read as a formula in the language of the ecumenical modal logic EK\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf {EK}$$\end{document}. We prove that nEK\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf {nEK}$$\end{document} is sound and complete w.r.t. the ecumenical birelational semantics and discuss fragments and extensions. (shrink)

The relation between ex falso and disjunctive syllogism, or even the justification of ex falso based on disjunctive syllogism, is an old topic in the history of logic. This old topic reappears in contemporary logic since the introduction of minimal logic by Johansson. The disjunctive syllogism seems to be part of our general non-problematic inferential practices and superficially it does not seem to be related to or to depend on our acceptance of the frequently disputable ex falso rule. We know (...) that the acceptance of the ex falso is a sufficient condition for the acceptance of the disjunctive syllogism, but the interesting question is: is the ex falso a necessary condition for the acceptance of the disjunctive syllogism? The aim of the present paper is to discuss some possible ways to define systems that combines the preservation of the disjunctive syllogism with the rejection of the ex falso. (shrink)

O tema de fundo do artigo é o dos regimes políticos em Espinosa. O objetivo é o de analisar, no interior deste tema mais amplo, o da distribuição da potência entre os membros do corpo político como critério comum aos regimes. A questão dos regimes, em Espinosa, não passa apenas pela definição do número dos que governam. Um rol de conceitos - homem como potência, afetos, multidão, imperium, entre outros - deve ser levado em conta para tratar da clássica questão.

De Auxiliis designa uma famosa controvérsia filosófico-teológica do final do século XVI e início do século XVII, que envolveu teólogos espanhóis dominicanos e jesuítas em torno do tema/problema do livre arbítrio humano sob a influxo da graça divina. Considerado filosoficamente, o problema central gira em torno à determinação semântica de enunciados condicionais contrafactuais, problema este já presente em todos os enunciados teóricos composicionais. A partir do contexto histórico e teológico da controvérsia, juntamente com o surgimento do Molinismo, apresentaremos, com alguns (...) aportes da Filosofia Estrutural-Sistemática proposta por Lorenz Puntel, o problema filosófico da determinação semântica de sentenças teóricas em geral e a nova forma de determiná-las semanticamente. Isso possibilitará a elaboração filosófica de uma nova Teoria do Ser, na qual a grande questão de “Deus” e seus atributos encontrará seu mais adequado lugar teórico no discurso filosófico sistemático. Palavras-chave: Tomismo. Molinismo. Filosofia Sistemático-Estrutural. Semântica Sentencial. Metafísica Primordial. (shrink)

In 2015 Dag Prawitz proposed an Ecumenical system where classical and intuitionistic logic could coexist in peace. The classical logician and the intuitionistic logician would share the universal quantifier, conjunction, negation and the constant for the absurd, but they would each have their own existential quantifier, disjunction and implication, with different meanings. Prawitz’ main idea is that these different meanings are given by a semantical framework that can be accepted by both parties. The aim of the present paper is [1] (...) to prove the normalization theorem for the propositional fragment NEp of Prawitz’ ecumenical system, and [2] to show that NEp is sound and complete with respect to a Kripke-style semantics for the language of NEp. (shrink)

O presente artigo tem por finalidade apresentar como a matéria mitológica do Édipo e da Esfinge teria regulado a consideração das ciências naturais e políticas de filósofos modernos como Bacon, Hobbes e Descartes. A partir de uma consideração da ciência moderna no registro de uma racionalização do mito do Édipo e da Esfinge na filosofia de Bacon, buscaremos mostrar como o pensamento científico moderno poderia ser entendido como um tipo de conhecimento do homem sobre si mesmo e sobre sua própria (...) cultura ancestral. Nesse registro geral de uma modernidade científica entendida como um tipo de racionalização dos mitos, o presente artigo busca mostrar por último de que modo as críticas anti-edipianas de Deleuze e Guattari à modernidade teriam influenciado uma metafísica canibal inaugurada por Viveiros de Castro como crítica ao narcisismo individualista do colonialismo epistemológico e político legado à história da filosofia e à nossa própria cultura científica. Palavras chave: Modernidade, Anti-Édipo, Antropologia filosófica e Metafísicas canibal. Antiedipian criticisms of anthropocentric modernity: a cannibalistic metaphysics devouring machine men. Abstract: This paper seeks to present how the mythological matter of the Oedipus and the Sphinx would have regulated the consideration of the natural and political sciences of modern philosophers such as Bacon, Hobbes and Descartes. Starting from a consideration of modern science in the record of a rationalization of the myth of Oedipus and the Sphinx in Bacon's philosophy, the work seeks to show how modern scientific thought could be understood as a type of knowledge of man about himself and about his own ancestral culture. In the record of a scientific modernity understood as a type of rationalization of myths, this paper seeks to show at last how Deleuze and Guattari's anti-Oedipal criticisms of modernity seem to have influenced a cannibalistic metaphysics inaugurated by Viveiros de Castro as a critique of narcissism individualist of epistemological and political colonialism bequeathed to the history of philosophy and to our own scientific culture. Keywords: Modernity, Anti-Oedipus, Philosophical Anthropology and Cannibal Metaphysics. Críticas antiedipianas a la modernidad antropocéntrica: una metafísica caníbal que devora a los hombres máquina. Resumen: Este artículo busca presentar cómo la materia mitológica de Edipo y la Esfinge habría regulado la consideración de las ciencias naturales y políticas de filósofos modernos como Bacon, Hobbes y Descartes. Partiendo de una consideración de la ciencia moderna en el registro de una racionalización del mito de Edipo y la Esfinge en la filosofía de Bacon, el trabajo busca mostrar cómo el pensamiento científico moderno podría entenderse como un tipo de conocimiento del hombre sobre sí mismo y sobre los suyos. cultura ancestral. En el registro de una modernidad científica entendida como una especie de racionalización de los mitos, este trabajo busca mostrar finalmente cómo las críticas antiedípicas de la modernidad de Deleuze y Guattari parecen haber influido en una metafísica caníbal inaugurada por Viveiros de Castro como crítica al narcisismo individualista. del colonialismo epistemológico y político legado a la historia de la filosofía y a nuestra propia cultura científica Palabras clave: Modernidad, Anti-Edipo, Antropología Filosófica y Metafísica Caníbal Data de registro: 30/03/2021 Data de aceite: 17/05/2022. (shrink)

In 2015 Dag Prawitz proposed a natural deduction ecumenical system, where classical logic and intuitionistic logic are codified in the same system. In his ecumenical system, Prawitz recovers the harmony of rules, but the rules for the classical operators do not satisfy separability. In fact, the classical rules are not pure, in the sense that negation is used in the definition of the introduction and elimination rules for the classical operators. In this work we propose an ecumenical system adapting, to (...) the natural deduction framework, Girard’s mechanism of stoup. This allows for the definition of a pure harmonic natural deduction system for the propositional fragment of Prawitz’s ecumenical logic. We conclude by presenting an extension proposal to the first-order setting and a different approach to purity based on some ideas proposed by Julien Murzi. (shrink)

Sobrepondo uma concepção crítica envolvendo os fundamentos do saber às ontologias dogmáticas que se impõem ao trabalho que implica a apreensão das questões filosóficas, o projeto kantiano propõe o fim da filosofia como construção metafísica e a necessidade de se lhe atribuir uma tarefa teórica de caráter essencialmente genealógico e crítico, no sentido que encerra a legitimação do conhecimento racional através da análise das faculdades que se lhe estão atreladas, conforme assinala o artigo, que se detém nos direitos da razão (...) cuja legitimidade a lógica da verdade reconhece e cuja ilegitimidade a lógica da aparência denuncia, convergindo para as fronteiras que encerram a possibilidade da construção do conhecimento científico, à medida que, tornando o entendimento o legislador universal da natureza e circunscrevendo a utilização das categorias aos limites da experiência possível, propõe as condições necessárias para fundá-lo sobre os juízos sintéticos a priori. (shrink)

Livro em homenagem ao filósofo brasileiro Luiz Henrique Lopes, um dos maiores expoentes da filosofia analítica. Neste livro grandes nomes da filosofia brasileira discorrem sobre a filosofia analítica e vários assuntos da filosofia contemporânea.

Which roles are played by subcortical pathways in models of cortical streams for visual processing? Through their thalamic relays, magnocellular (M) and parvocellular (P) projecting ganglion cells send complementary signals to V1, where their outputs are combined in several different ways. The synergic role of M and P cells in vision can be understood by estimating cell response entropy in all domains of interest.

Trata-se de mostrar as teses e argumentos de Holbach sobre a liberdade, a necessidade, bem como sobre seu "sistema do fatalismo". Objetiva-se sustentar a hipótese de que as teses de Holbach sobre a liberdade, a necessidade e o fatalismo não implicam a aceitação da imutabilidade ou cristalização do real.

O artigo pretende tratar de um tema presente nos Discursos sobre a primeira década de Tito Lívio, bem como em outros textos de Maquiavel: o dos homens bons plenos de virtù e seu papel na fundação do campo jurídico-político. A primeira questão a ser trabalhada é a do método em Maquiavel. Após, o conceito de virtù será analisado no que se refere a sua importância para a fundação e manutenção jurídico-política da cidade.

This collection of papers, celebrating the contributions of Swedish logician Dag Prawitz to Proof Theory, has been assembled from those presented at the Natural Deduction conference organized in Rio de Janeiro to honour his seminal research. Dag Prawitz’s work forms the basis of intuitionistic type theory and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics in Logic, Linguistics and Theoretical Computer Science. The range of contributions includes material on the extension of natural deduction with higher-order (...) rules, as opposed to higher-order connectives, and a paper discussing the application of natural deduction rules to dealing with equality in predicate calculus. The volume continues with a key chapter summarizing work on the extension of the Curry-Howard isomorphism, via methods of category theory that have been successfully applied to linear logic, as well as many other contributions from highly regarded authorities. With an illustrious group of contributors addressing a wealth of topics and applications, this volume is a valuable addition to the libraries of academics in the multiple disciplines whose development has been given added scope by the methodologies supplied by natural deduction. The volume is representative of the rich and varied directions that Prawitz work has inspired in the area of natural deduction. (shrink)

Minga-Mutirão de Revistas de Teologia Latino-americanas Teologia da Libertação: de onde viemos, para onde vamos? (Liberation Theology: where do we come from? Where are we going to?).

DISSERTAÇÃO DE MESTRADO ITABORAHY, Luiz Carlos. O horizonte da juventude na educação e pastoral populares : história, diálogo e configuração de Medellín a Puebla (1968-1979). 2012. 207 folhas. Dissertação (Mestrado) – Pontifícia Universidade Católica de Minas Gerais, Programa de Pós-graduação em Ciências da Religião, Belo Horizonte.

Machado de Assis, no conto _A Sereníssima República_, aponta, por meio da alegoria, problemas de fundo do sistema político brasileiro. Uma espécie de cultura da fraude estaria presente nos comportamentos das aranhas, o que impossibilitaria a implantação reta e precisa da lei, bem como a instituição da paz e da _securitas_. Sérgio Buarque de Holanda, ao analisar, a partir de fontes primárias, o período em que se passa o conto, constata os mesmos problemas que Machado de Assis apontara. Os conceitos (...) políticos espinosanos são movimentados, ao final, para mostrar que em um _imperium_ no qual as leis são constantemente violadas, não se está distante do estado de natureza, com grande perigo de vida para os súditos-cidadãos. Seria este o caso da república do conto e do Brasil atual? (shrink)

Resenha do livro "O mais natural dos regimes. Espinosa e a Democracia", de Diogo Pires Aurélio.

This collection of papers, celebrating the contributions of Swedish logician Dag Prawitz to Proof Theory, has been assembled from those presented at the Natural Deduction conference organized in Rio de Janeiro to honour his seminal research. Dag Prawitz’s work forms the basis of intuitionistic type theory and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics in Logic, Linguistics and Theoretical Computer Science.

It follows from Bell’s theorem and quantum mechanics that the detection of a particle of an entangled pair can (somehow) “force” the other distant particle of the pair into a well-defined state (which is equivalent to a reduction of the state vector): no property previously shared by the particles can explain the predicted quantum correlations. This result has been corroborated by experiment, although some loopholes still remain. However, it has not been experimentally proved—and it is far from obvious—that the absence (...) of detection, as in null-result (NR) experiments could have the very same effect. In this paper a way to try to bridge this gap is suggested. (shrink)

A filosofia, sendo um discurso antípoda ao discurso das ciências, no sentido de que não produz um conhecimento sobre particularidades, situa-se a priori no espaço interno de uma clivagem, de uma diferença e de uma dobra onde este discurso e este saber são produzidos e apresentados. Na cena contemporânea três pensadores, Lacan, Apel e Gadamer, tematizam a experiência do humano como ligada estritamente à linguagem enquanto elemento estruturador do humano, na medida em que este é situado no interior do espaço (...) de uma dobra e de uma clivagem. PALAVRAS-CHAVE – Apel. A priori. Gadamer. Lacan. Linguagem. Ser humano. ABSTRACT Philosophy as a speech opposite to the speech of sciences as long as it does not pursue a knwoledge on specialities, it is situated a priori at the internal space of a fold where this knowledge is produced and presented. At the contemporary scene there are three thinkers, Lacan, Apel and Gadamer which think human experience as deeply linked towards language as the structural frame of the human being, hence he is situated within the space of this fold. KEY WORDS – Apel. A priori. Gadamer. Human being. Lacan. Language. (shrink)

Na tarefa de reconstruir compreensivamente o saber trazido pela psicanálise de Jacques Lacan, é utilizado o framework da postura transcendental herdeira de Kant. O termo “amálgama” permite compreender a incorporação, no gesto lacaniano, de saberes oriundos de distintas áreas do conhecimento humano e que, submetidos ao cadinho da torção lacaniana, possibilitam a Lacan a produção de uma ontogênese originalíssima sobre o humano-ser. A metamorfose lacaniana é uma operação que implica numa revisão dos conceitos em seu campo originário e uma Aufhebung (...) da psicanálise freudiana. (shrink)

O tema da alteridade é caro a ambosos autores. Contudo, a tematização da especificidadedesta alteridade é dissimétrica em cadaautor. Em Levinas, o privilégio é concedido àpresença originária do outro, enquanto produtorde um trauma desorganizante original para aprodução do eu e da própria relação com o outro.Por seu lado, para a psicanálise de Lacan, arelação mais originária do sujeito é com o símbolo,na medida em que o autor reivindica a anterioridadeoriginária da ordem simbólica que operacomo conditio sine qua non da assunção (...) dasubjetividade. (shrink)

Tradicionalmente, filosofia e psicanálisemuito pouco dialogam. O trabalho procuraampliar esta área de contato através de umconfronto entre a fenomenologia hermenêutica deHeidegger, em relação à análise do Dasein; ahermenêutica gadameriana, e o seu apelo àlinguagem como ambiente do humano e, de outrolado, a psicanálise de Lacan. Não se trata depsicanalisara filosofia mas, sim, tentar aprofundaro debate entre estas duas áreas, para possibilitara determinação daquilo que é especifico a cadacampo.

S1NTESE - O texto procura identificar, a partir da psicanálise de Lacan, de que forma, em função do indevido privilégio egóico dado pelo sujeito falante ao Registro do Imaginário, a percepção e compreensão da insistência do significante permanece restrita a este registro, impossibilitando- lhe uma compreensão mais ampla, correspondente à inscrição do significante no Registro do Simbólico, co-extensivo ao ethos do sujeito humano. Isto implicaria, em certo sentido, na forclusão da culpabilidade, ou, pelo menos, num certo conforto imaginário da ek-sistência (...) do sujeito. (shrink)

Este texto objetiva a comparaçãocótica entre o conjunto das obras de René Girarde Emmanuel Levinas no que diz respeito especialmenteaos temas "desejo" e "contemporaneidade",evidenciando as formas diversificadasporém de cena forma convergentes pelas quaisambos os autores penetram na massa da fatosque podem se organizar reflexivamente nasestruturas mais profícuas de compreensão darealidade no atual momento histórico.

Diálogo intercultural é a relação ética capaz de dar conta do desafio posto pela globalização que acelerou o contato e a interferência entre as culturas. Para um diálogo autêntico, há pressupostos sine qua non: a desideologização do universalismo cultural, o desocultamento da pluralidade. Além disso, há necessidade de um aclaramento conceitual que ajude a fazer opções pelos conceitos operacionais que realmente possam ajudar a ter uma postura de diálogo. Entre estes conceitos, aqui se privilegia o conceito “sistêmico” e de cultura (...) como expressão de transcendência humana, de tal forma que, em sua transparência simbólica, a cultura permite que haja um "face a face” dos interlocutores desde suas respectivas culturas. (shrink)

The main objective of the article is to understand the notion of power in Foucault as an action on action in a relationship of forces. In principle, the power of sovereignty and biopower in classical times are investigated. Where it is perceived that the former has negative and repressive connotations, while this one has positive and productive connotations of facts, happenings. Then, an analysis of Foucault's power is analyzed, where it is possible to verify that there is no construction of (...) a Theory of Power in Foucault, but only an ascending analysis of power, thus departing from specificity for general aspects. Finally, we will analyze the power relationship, seen as an action over action, in this action-reaction movement, there is its need, its becoming, its truth, which is the exercise of power, functioning. Thus, from the molecular to the complex composition, from the invisible to the visible, from the body to the population, power is understood, that is, power relations in the Foucaultian web. (shrink)

Música, filosofia e formação cultural - ensaios reúne as contribuições de renomados intelectuais interessados no estudo do significado e da aplicação da música nos processos formativos. Desloca o foco epistemológico da filosofia orientada pelo olhar para uma perspectiva que ressalta o ouvir. Discute as bases éticas e estéticas da educação, com destaque para o conceito de formação cultural, e analisa os múltiplos modos de compreender a experiência formativa da música, desde o clássico até o popular. É um livro que, além (...) de indicar as referências básicas para uma crítica da cultura do nosso tempo, também pode ser usado como material didático na formação de professores em diversas áreas do conhecimento, tais como a arte, a filosofia, a história, a sociologia e a pedagogia. (shrink)

O presente artigo procura apresentar o pensamento modernista e antropofágico brasileiro como uma espécie de crítica antiedipiana ao legado trágico e filosófico da modernidade antropocêntrica do século XVII. Com esse intuito, o artigo busca abordar o modo como a modernidade filosófica, científica e política seiscentista poderia ser entendida no registro de uma racionalização dos mitos e dos ídolos ancestrais. Sob o prisma heliocêntrico e antropocêntrico dessa modernidade seiscentista, o artigo busca apresentar como uma racionalização do mito do Édipo e da (...) Esfinge parece ter regulado a fundamentação de uma ciência moderna tanto natural quanto política em pensadores como Galileu, Bacon e Hobbes. No registro antropofágico de um modernismo artístico brasileiro crítico da própria modernidade científica e filosófica do século XVII, o principal interesse do presente artigo consiste em apresentar a antropofagia brasileira como uma espécie de reviravolta antiedipiana da enigmática Esfinge mitológica. (shrink)

Based on the film “Dead Poets Society”, the article points out the chaos created within the traditional North American school Welton through the work of Professor John Keating in the establishment of new teaching and learning methods for literature, as it tends to to encourage the questioning about the meaning and value of life and the cultivation of oneself as a possibility of producing a new and extemporaneous content and knowledge as an affirmation of the forces of life. Thus, based (...) on Friedrich Nietzsche's critique of “historical culture” as a product of the contradiction involving life and culture, the article emphasizes that the knowledge that has roots in “historical culture” is characterized as an unproductive capital, signaling the inexistence of rights of Philosophy between historical culture and the formative-educational process and the need for a correlation between art and philosophy before science and truth. Therefore, opposing the transformation of philosophy into erudition in the name of "historical culture" and the "philosophers" who place themselves at its service, Nietzsche denounces the reduction of being, life and vision to the framework of concepts, opinions, pasts, books in a critical analysis that focuses on the question involving philosophy professors between life and the science of universal becoming: philosophers or servers of “history”? (shrink)

Este relato apresenta brevemente a experiência de uma atividade realizada com alunos de ensino médio, no Subprojeto de Filosofia do PIBID UFFS Campus Chapecó, na qual foram abordados os conceitos de Eros e Philia em Platão e Aristóteles. A atividade foi pensada juntamente com o coordenador e o supervisor do subprojeto e aplicada aos alunos do 2º ano do Ensino Médio noturno da Escola Coronel Lara Ribas, onde são desenvolvidas as atividades do Subprojeto de Filosofia da UFFS, sendo realizada durante (...) o segundo semestre de 2012. A atividade envolveu todas as etapas fundamentais de uma atividade de docência, a saber: escolha do tema, planejamento, pesquisa dos conteúdos, definição da metodologia, aplicação na sala de aula e avaliação. A temática utilizada nas aulas, envolvendo os conceitos de Eros e Philia, foi fundamentada nas obras de Platão e Aristóteles, que foram lidos e debatidos pelos alunos em sala de aula. O objetivo central da atividade foi possibilitar compreensão desses dois conceitos, Eros e Philia, no pensamento de Platão e Aristóteles, por parte dos alunos do ensino médio. Metodologicamente, foram desenvolvidas várias atividades, como a leitura dos textos clássicos, apresentação de material audiovisual, análise de letras de música e debates. Esta prática contribuiu para a formação docente do bolsista, exigindo uma compreensão maior dos textos clássicos, domínio dos conteúdos, planejamento e reflexão sobre metodologias para o desenvolvimento dos temas. Esta experiência contribuiu ainda para que o acadêmico percebesse a sala de aula como um espaço de atuação/formação inicial e permanente, no qual é necessário sempre refletir sobre a qualidade do ensino, bem como a promoção da articulação entre a teoria e a prática dos saberes acadêmicos que promovem uma formação integral do aluno de licenciatura. (shrink)

Sambin [6] proved the normalization theorem for GL, the modal logic of provability, in a sequent calculus version called by him GLS. His proof does not take into account the concept of reduction, commonly used in normalization proofs. Bellini [1], on the other hand, gave a normalization proof for GL using reductions. Indeed, Sambin's proof is a decision procedure which builds cut-free proofs. In this work we formalize this procedure as a recursive function and prove its recursiveness in an arithmetically (...) formalizable way, concluding that the normalization of GL can be formalized in PA. MSC: 03F05, 03B35, 03B45. (shrink)