A partir da temática abordada no filme Gattaca - a experiência genética , que trata de uma sociedade adepta da eugenia; mostraremos quais são as implicações morais que essa prática pode ocasionar em uma sociedade, bem como as diversas discriminações. Em contra-argumento a essa prática, abordaremos a teoria de Peter Singer em prol do princípio da igual consideração de interesses, demonstrando que dessa maneira teríamos sociedades menos discriminatórias. Enfim, queremos mostrar que caso não nos alertemos para as questões abordadas por (...) Singer, nós, agentes morais, faremos emergir uma sociedade preconceituosa, tal como vemos no filme Gattaca.: From selected themes in the movie Gattaca - A genetic experiment that describes a eugenics society, we will show what are the moral implications of the eugenic practice to the society as well as its several kinds of discrimination. We will argue against such practice by appropriating Peter Singer’s theory on behalf of the principle of equal consideration of interests by showing that societies based on it would be less discriminatory. Finally, we show that if we do not consider the issues raised by Singer we, moral agents, will make emerge a prejudiced society similar to that narrated by the movie Gattaca. Key words : Moral, Equality, Eugenie, discrimination. (shrink)

O estudo visa evidenciar o lugar que os princípios primeiros ocupam na filosofia moral de Alasdair MacIntyre, bem como o conceito de teleologia a eles articulado. Consistirá, no estudo panorâmico das categorias centrais da ética das virtudes de MacIntyre, onde ele constrói sua teoria da racionalidade das tradições que, por sua vez, é essencial para sua compreensão da retomada da ética aristotélica das virtudes e o papel dos princípios primeiros na sua filosofia moral. A partir destes, o desenvolvimento do artigo (...) se dá com a identificação do lugar que os primeiros princípios ocupam na filosofia moral de MacIntyre, como também a relevância que eles têm para o desenvolvimento de sua teoria do resgate da ética aristotélica. (shrink)

Since Seligman's 1971 statement that the vast majority of phobias are about objects essential to the survival of a species, a multitude of laboratory studies followed, supporting the finding that humans learn to fear and detect snakes (and other animals) faster than other stimuli. Most of these studies used schematic drawings, images, or pictures of snakes, and only a small amount of fieldwork in naturalistic environments was done. We address fear preparedness theories, and automatic fast detection data from mainstream laboratory (...) data and compares it with ethobehavioural information relative to snakes, predator-prey interaction, and snakes’ defensive kinematics strikes in order to analyse their potential matching. From this analysis four main findings arose, namely that: 1) Snakebites occur when people are very close to the snake and are unaware or unable to escape the bite; 2) Human visual detection and escape response is slow compared to the speed of snake strikes; 3) In natural environments, snake experts are often unable to see snakes existing nearby; 4) animate objects in general capture more attention over other stimuli and dangerous but recent objects in evolutionary terms are also able to be detected fast. The issues mentioned above pose several challenges to evolutionary psychology-based theories expecting to find special-purpose neural modules. The older selective habituation hypothesis (Schleidt, 1961), that prey animals start with a rather general predator image from which specific harmless cues are removed by habituation might deserve reconsideration. (shrink)

Iowa Gambling Task (IGT) is one of the most widely used tools to assess economic decision-making. However, the research tradition on aging and the Iowa Gambling Task (IGT) has been mainly focused on the overall performance of older adults in relation to younger or clinical groups, remaining unclear whether older adults are capable of learning along the task. We conducted a meta-analysis to examine older adults’ decision-making on the IGT, to test the effects of aging on reversal learning (45 studies) (...) and to provide normative data on total and block net scores (55 studies). From the accumulated empirical evidence, we found an average total net score of 7.55 (± 25.9). We also observed a significant reversal learning effect along the blocks of the IGT, indicating that older adults inhibit the prepotent response towards immediately attractive options associated with high losses, in favor of initially less attractive options associated with long-run profit. During block 1, decisions of older adults led to a negative gambling net score, reflecting the expected initial pattern of risk-taking. However, the shift towards more safe options occurred between block 2 (small-to-medium effect size) and blocks 3, 4, 5 (medium-to-large effect size). These main findings highlight that older adults are able to move from the initial uncertainty, when the possible outcomes are unknown, to decisions based on risk, when the outcomes are learned and may be used to guide future adaptive decision-making. (shrink)

With respect to De Dreu and Gross's article, we comment on the psychological functions for attack and defense, focusing on associations between individual differences in psychopathic personality traits and the behavioral patterns observed in attack-defense conflicts. We highlight the dimensional nature of psychopathy and formulate hypothetical associations between distinct traits, their different behavioral outcomes, and associated brain mechanisms.

Nowadays, football goalkeepers play an important role in the team's organization, namely, considering the offensive and defensive processes. The purpose of our investigation focuses on the notational and T-pattern analysis of the offensive and defensive actions of elite young football GKs. The participating GKs presented 8 years of experience in the specific position, were internationally selected for the national team of Portugal, and competed in the national U-17 championship of Portugal. Thirty football matches were observed. The observational sample consisted of (...) defensive actions and offensive actions. Two observational instruments were used to codify the actions: the observation system of defensive technical-tactical actions of GKs and the observation system of offensive technical-tactical actions of GKs. Both instruments underwent a validation process, and inter- and intra-observer reliability was tested. The codification of the actions was performed with the LINCE program, and later the data were exported to Microsoft Excel and THEME 5.0. The notational data were analyzed in SPSS, and T-pattern detection analysis was performed in THEME 5.0. The predominant actions of young observed GKs were fundamentally goal defense and participation in the team's offensive process construction through actions performed with the foot and hand. The analysis of T-patterns allowed to identify T-pattern actions in the defensive actions of goal defense and exit of the goal, as well as related to the defensive set pieces. In the offensive process, the analysis of T-patterns reinforced the participation of the GK in the team's first phase of construction and in the execution of goal kicks and actions that start as a result of the actions of the opponent. The GK's defensive actions are mostly focused on the objective of goal defense and offensive actions with the hands and feet are important for their participation in positional attack construction. Our study contributes to a better knowledge of the GK's actions in the competition and is relevant to be considered by the specific position coaches in the training process organization. (shrink)

This book is dedicated to clarify ambiguous concepts from the world of creativity and innovation. One of the initial triggers for the development of the book was the perceived ambiguity of the binomials Design vs. Design Thinking and Innovation vs. Invention. Frequently, designers and innovation consultants are questioned by their clients about the relationships between these kind of concepts. Has the second emerged through the first, or vice-verse? Is one part of the other? Where are the similarities and which are (...) the differences? This conceptual incomprehension makes itself noticeable between many ambiguous concepts in the world of innovation and creativity. What is the difference between Radical and Disruptive Innovation? Or is Social Innovation the same as Social Intervention? And regarding Creativity, are Creativity and Creative Thinking the same? In this book the reader will find answers to these kinds of questions and doubts. 28 authors from 10 different countries and cultural backgrounds are questioning current definitions and perceptions, by comparing different sources and ideas, or simply by giving their personal opinions. Some of the authors have an academic background, others a practical one, being either entrepreneurs, working with innovation in companies, or being innovation/design consultants. (shrink)

SENA, Luzia (Org.). Ensino religioso e formação docente . (Religious teaching and teacher qualification) Amauri Carlos Ferreira SANGENIS, Luiz Fernando Conde. Gênese do pensamento único em educação: franciscanismo e jesuitismo na história da educação brasileira. (Genesis of an only thought in education: franciscanism and Jesuitism in the history of Brazilian education) Antônio Francisco da Silva TREVISAN, A. Santo Tomás de Aquino – O Credo: tradução, prefácio, introdução e notas. (Saint Thomas of Aquinas – The Creed: translation, preface, introduction (...) and notes) Ivonei Antônio de Oliveira BENELLI, Sílvio José. Pescadores de homens. Estudo psicossocial de um seminário católico. (Fishers of men. A psycho-social study of a Catholic seminary) João Batista Libanio ESTRADA, Juan Antonio. A impossível teodicéia: a crise de fé em Deus e o problema do mal. (The impossible theodicy: the crisis of faith in God and the problem of evil) Lindomar Rocha Mota USARSKI, Frank. Constituintes da Ciência da Religião: cinco ensaios em prol de uma disciplina. (Constituents of the science of religion: five essays on behalf of a discipline) Roberlei Panasiewicz CONGAR, Yves. Ele é o Senhor e dá a vida. (He is the Lord and bestows life) Roberlei Panasiewicz. (shrink)

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 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)

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)

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)

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.

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)

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

Esta pesquisa tem como temática as relações Interétnicas entre uma cigana Calón e uma brasileira evangélica na cidade de Jequié-Ba. Para a coleta dos dados utilizamos o método etnográfico. Como técnica de investigação utilizamos a observação participante de contato direto da pesquisadora com a pesquisadas e entrevistas semiestruturadas e o apoio do diário de campo.

Nosso objetivo nesse artigo é discutir o argumento do senso comum contra o ceticismo acerca do mundo externo. Apresentaremos o argumento que faz uso de hipóteses céticas e que conclui pela impossibilidade do conhecimento sobre o mundo externo. A seguir apresentaremos o senso comum segundo o filósofo G. E, Moore. Moore defende que o senso comum é capaz de refutar o ceticismo e propõe uma Prova do Mundo Externo, mas terá que livrar sua teoria de duas acusações principais: sua teoria (...) é dogmática e sua prova sofre de petição de princípio. Avaliaremos, ao final, se o senso comum é, de fato, capaz de fazer o enfrentamento teórico com o cético. Palavras Chave : Epistemologia, Ceticismo, Senso Comum. (shrink)

Este relato de experiência apresenta resultados da pesquisa sobre a Saúde em Santo Amaro: a partir dos saberes tradicionais das rezadeiras/benzedeiras que teve por objetivo analisar as práticas medicinais e espirituais com o sagrado. A pesquisa etnográfica foi realizada com as rezadeiras, dessa forma, estabelecendo fronteiras com os rituais de cura, fé e devoção, nos processos de aprendizagem, aos mais variados tipos de doenças, as rezas e as curas, sendo assim, realizadas por elas. As rezadeiras/benzedeiras são mulheres cujo valor histórico, (...) tornando-se as suas benzeduras símbolo de resistência humana, na sua prática sobre as benzeduras. Entretanto, vale fomentar na pesquisa, sobretudo, as suas práticas também estão relacionadas a conhecimentos católicos, indígena, africana, com seus “cânticos” e “rezas” religiosas, trazendo consigo o desejo da fé de resultar o seu trabalho por alcances estabelecidos nas suas práticas reverenciadas assim as pessoas que procuram por elas. O objeto é tentar caminhar ao longo da história, em conjunto com as práticas religiosas, percebendo as inúmeras implicações produzidas pela sociedade. O contexto etnográfico da pesquisa foi na cidade de Santo Amaro. Palavras-chave: Saúde, Benzedeira, Espiritualidade. (shrink)

It is well known that Frege's system in the Grundgesetze der Arithmetik is formally inconsistent. Frege's instantiation rule for the second-order universal quantifier makes his system, except for minor differences, full (i.e., with unrestricted comprehension) second-order logic, augmented by an abstraction operator that abides to Frege's basic law V. A few years ago, Richard Heck proved the consistency of the fragment of Frege's theory obtained by restricting the comprehension schema to predicative formulae. He further conjectured that the more encompassing Δ₁¹-comprehension (...) schema would already be inconsistent. In the present paper, we show that this is not the case. (shrink)

It is well known that Frege's system in the Grundgesetze der Arithmetik is formally inconsistent. Frege's instantiation rule for the second-order universal quantifier makes his system, except for minor differences, full (i.e., with unrestricted comprehension) second-order logic, augmented by an abstraction operator that abides to Frege's basic law V. A few years ago, Richard Heck proved the consistency of the fragment of Frege's theory obtained by restricting the comprehension schema to predicative formulae. He further conjectured that the more encompassing Δ11-comprehension (...) schema would already be inconsistent. In the present paper, we show that this is not the case. (shrink)

The present paper draws a contrast between the notions of τὸ παρ’ ἡμᾶς and τὸ ἐφ’ ἡμῖν to the effect that, according to Chrysippus, each has a different role to play and different requirements to meet, the former being especially tailored to suit the exigencies of praise and blame taken as exhortations, the latter those of desert and justice in praising and blaming as well as honoring and punishing.

In the course of ten short sections, we comment on Gödel's seminal dialectica paper of fifty years ago and its aftermath. We start by suggesting that Gödel's use of functionals of finite type is yet another instance of the realistic attitude of Gödel towards mathematics, in tune with his defense of the postulation of ever increasing higher types in foundational studies. We also make some observations concerning Gödel's recasting of intuitionistic arithmetic via the dialectica interpretation, discuss the extra principles that (...) the interpretation validates and comment on extensionality and higher order equality. The latter sections focus on the role of majorizability considerations within the dialectica and related interpretations for extracting computational information from ordinary proofs in mathematics. (shrink)

A equipe da Enfermagem é privilegiada, pois, é o cuidador que permanece vinte e quatro horas na assistência direta do paciente, podendo ter uma visão ampliada da pessoa no processo do adoecimento, tendo a oportunidade de incorporar e desenvolver os princípios dos Cuidados Paliativos (CP). Na perspectiva holística da saúde a religião/religiosidade/espiritualidade é uma das possibilidades de cuidado e manejo, porém ainda muito negligenciada pelos profissionais da saúde, seja por desconhecimento ou preconceitos e tabus, mas que se torna essencial no (...) cuidado de pacientes em CP. Por meio deste relato de experiência, objetiva-se ressaltar a importância da religião/religiosidade/espiritualidade, no cuidado e manejo de pacientes em CP, a partir da experiência de uma profissional da enfermagem, sua prática em cuidados e docência, supervisionando alunos com pacientes em contexto dos CP. Anos acompanhando alunos na prática, demonstraram que os profissionais da enfermagem têm dificuldade de identificar o Sofrimento Espiritual (SE) dos pacientes, e quando identificavam, não sabiam o que fazer com esta demanda, delegando a outros profissionais da equipe, que também tinham dificuldades, causando um (des)cuidado na Dimensão Espiritual (DE) do paciente em CP, trazendo-o mais sofrimento e desconforto com sua finitude. Como resultado dessas reflexões, está sendo desenvolvida uma pesquisa de pós-doutorado, destinada a identificar a DE, construção de roteiro de educação permanente. Em síntese, esses profissionais tendo a capacitação para identificar o SE, explorar e cuidar da DE, poderão promover a proteção da saúde mental, tanto do paciente em CP quanto sua, e tornarem-se profissionais mais sensíveis na finitude. (shrink)

A partir da temática abordada no filme Gattaca - a experiência genética, que trata de uma sociedade adepta da eugenia; mostraremos quais são as implicações morais que essa prática pode ocasionar em uma sociedade, bem como as diversas discriminações. Em contra-argumento a essa prática, abordaremos a teoria de Peter Singer em prol do princípio da igual consideração de interesses, demonstrando que dessa maneira teríamos sociedades menos discriminatórias. Enfim, queremos mostrar que caso não nos alertemos para as questões abordadas por Singer, (...) nós, agentes morais, faremos emergir uma sociedade preconceituosa, tal como vemos no filme Gattaca.: From selected themes in the movie Gattaca - A genetic experiment that describes a eugenics society, we will show what are the moral implications of the eugenic practice to the society as well as its several kinds of discrimination. We will argue against such practice by appropriating Peter Singer’s theory on behalf of the principle of equal consideration of interests by showing that societies based on it would be less discriminatory. Finally, we show that if we do not consider the issues raised by Singer we, moral agents, will make emerge a prejudiced society similar to that narrated by the movie Gattaca. Key words: Moral, Equality, Eugenie, discrimination. (shrink)

Depots de uma primeira parte em que se situa o problema, o presente artigo aborda de forma pormenorizada, ainda que nāo exaustiva, o modo como a psicanalista francesa Marie Balmary interpreta os três primeiros capítulos do Génesis. O artigo mostra como, segundo a análise de Balmary, se trata aqui de um conjunto de narrativas que evidenciam o fracasso da prova da alteridade homem-mulher. O artigo pretende, desta forma, conjugar uma série de saberes habitualmente separados, como sejam a psicanálise, a exegese (...) bíblica e a antropologia filosófica. /// After aftrst part where the problem is situated, the present article develops in a detailed, though not exhaustive way how the French psychoanalyst Marie Balmary interprets the first three chapters of Genesis. According to Balmary's analysis, we are dealing here with a collection of narratives which clearly show the failure of the "proof ofalterity" between men and women. In this way, the article aims to link knowledges usually separated: psychoanalysis, biblical exegesis and philosophical anthropology. (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)

We present a new functional interpretation, based on a novel assignment of formulas. In contrast with Gödel’s functional “Dialectica” interpretation, the new interpretation does not care for precise witnesses of existential statements, but only for bounds for them. New principles are supported by our interpretation, including the FAN theorem, weak König’s lemma and the lesser limited principle of omniscience. Conspicuous among these principles are also refutations of some laws of classical logic. Notwithstanding, we end up discussing some applications of the (...) new interpretation to theories of classical arithmetic and analysis. (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)

RESUMO A história do estatuto, bem como da posição da memória entre semelhantes forças, desde a formação do conceito moderno da antropologia, durante toda a tradição leibniz-wolffinana, e até Kant, é uma história de mudança ascendente, de cristalização de ambos os predicados desta faculdade, e também uma de grande influência sobre a história do próprio pensamento antropológico. O presente ensaio propõe-se analisar como Kant receberia essa evolução, e como ele sobre ela actuaria. Isto é, centrando-nos nas “Lições de Antropologia”, e (...) sobre a “Antropologia num Enfoque Pragmático”, queremos indagar até que ponto Kant daria continuidade à referida tradição, mas, sobretudo, a partir de onde este com ela rompe, talhando ele próprio um novo capítulo nessa história, e também na história da antropologia; mais concretamente, importa conhecer a posição de Kant em relação a Platner ou Hume e suas concepções de memória, sua cisão em relação a estes, e sua proposta de todo um reposicionamento, e também revalorização do estatuto da memória entre faculdades da alma; e, por fim, perceber como Kant traz estes propósitos a bom porto, a saber, por meio da memória judiciosa, a única que abre não só para as ciências, mas também para a faculdade de imaginação produtiva, e para a poesia, e portanto também a única capaz de unir inferiores e superiores faculdades da alma, e instaurar harmonia entre estas. ABSTRACT The history of the status, as well as the position of memory among similar forces, since the genesis of the modern concept of anthropology, during the Leibniz-Wolffian tradition, and until Kant, is a history of ascending transformation, a crystallization of both this faculty’s attributes, and also one of great influence on the history of anthropological thought itself. The present essay aims at analyzing how Kant would receive that evolution, and how he would act upon it. That is, by focusing on the “Lectures on Anthropology”, and on “Anthropology on a Pragmatic Point of View”, we wish to inquire to what extent Kant would resume the aforementioned tradition, but, above all, from which point he breaks with it, thus carving he himself a new chapter in that history, and also in the history of anthropology; namely, it is our objective to ascertain Kant’s position regarding Platner or Hume and their conceptions of memory, his scission from the latter two, and his proposition of a whole repositioning, and also revaluation of the status of memory among faculties of the soul; and finally, understanding how Kant succeeds in these purposes, namely, through the concept of judicious memory, the only one which enables not only sciences, but also the productive faculty of imagination, and hence poetry, and therefore the only one able to unite both inferior and superior faculties of the soul and to sow harmony between the latter. (shrink)

RESUMO: Fruto de longa maturação filosófica desde a sua estada em Jena, e instado a isso pelas influências de Karl L. Reinhold e Johann G. Fichte, o poeta Novalis produz, a partir do outono de 1795, um conjunto de anotações fragmentárias sobre a filosofia de Fichte, hoje conhecidas como Fichte-Studien. De entre os importantes temas aí abordados, um revela-se particularmente interessante: o tema do estatuto da Filosofia no seio do problema da autocompreensão do Eu -, e mais concretamente, o necessário (...) pensar da filosofia sobre si própria, as alterações que no processo têm de sobrevir à própria filosofia e a repercussão disto na compreensão de si próprio do Eu. Nesta senda, o seguinte ensaio propõe-se mostrar como, para Novalis, a filosofia é o natural pensar do homem, e como para além disto é a própria filosofia, com o decorrer do seu pensamento sobre si própria, que molda o curso da compreensão de si próprio do Eu: quer tendo com o Eu uma origem comum, nascendo com ele, lançando-o para o mundo e cindindo a união originária em que ele de outro modo sempre estaria, quer, por fim, afirmando-se como carência deste, ou como algo por que o Eu e a própria filosofia têm de passar no seu curso, para que possam experienciar a perda, e almejar à recuperação dessa origem. ABSTRACT: Fruit of a long philosophical maturation that began with his stay in Jena, and encouraged by the influence of Karl L. Reinhold and Johann G. Fichte, the poet Novalis produced, from autumn 1795 on, a set of fragmentary notes on the philosophy of Fichte. These are now known as Fichte-Studien. Among the important issues treated in the notes, one appears particularly interesting: the treatment of the theme of philosophy within the problem of the self-understanding of the "I" - and, more specifically, the need for philosophy to think about itself, about the changes that must come upon philosophy during this process, and about the impact of these on the self-understanding of the "I". The present article aims to show how, for Novalis, philosophy is the natural thought of man. Furthermore, it aims to show how philosophy, in the course of its thought on itself, shapes the course of the self-understanding of the "I", having with the "I" a common origin, being born with it, launching it into the world, cleaving the original union in which it otherwise would always be, and finally asserting itself as a lack of this union, something through which the "I" and philosophy itself must pass in their course so they can experience this loss and aim to recover its source. (shrink)

Depots de uma primeira parte em que se situa o problema, o presente artigo aborda de forma pormenorizada, ainda que nāo exaustiva, o modo como a psicanalista francesa Marie Balmary interpreta os três primeiros capítulos do Génesis. O artigo mostra como, segundo a análise de Balmary, se trata aqui de um conjunto de narrativas que evidenciam o fracasso da prova da alteridade homem-mulher. O artigo pretende, desta forma, conjugar uma série de saberes habitualmente separados, como sejam a psicanálise, a exegese (...) bíblica e a antropologia filosófica. /// After aftrst part where the problem is situated, the present article develops in a detailed, though not exhaustive way how the French psychoanalyst Marie Balmary interprets the first three chapters of Genesis. According to Balmary's analysis, we are dealing here with a collection of narratives which clearly show the failure of the "proof ofalterity" between men and women. In this way, the article aims to link knowledges usually separated: psychoanalysis, biblical exegesis and philosophical anthropology. (shrink)

We construct a weak second-order theory of arithmetic which includes Weak König's Lemma (WKL) for trees defined by bounded formulae. The provably total functions (with Σ b 1 -graphs) of this theory are the polynomial time computable functions. It is shown that the first-order strength of this version of WKL is exactly that of the scheme of collection for bounded formulae.

We show how to interpret intuitionistic propositional logic into a predicative second-order intuitionistic propositional system having only the conditional and the universal second-order quantifier. We comment on this fact. We argue that it supports the legitimacy of using classical logic in a predicative setting, even though the philosophical cast of predicativism is nonrealistic. We also note that the absence of disjunction and existential quantifications allows one to have a process of normalization of proofs that avoids the use of "commuting conversions.".

RESUMO O presente ensaio aborda o período anterior às obras tidas como as diferentes reescrições da Doutrina da Ciência, de J. G. Fichte, e aí tenta não só perceber a origem da necessidade de um princípio da identidade, como ela surge aquando das primeiras ocorrências do mesmo, mas também discernir os primeiros passos de todo o problema da possibilidade de um princípio absoluto de toda a filosofia, que sempre animaria a empresa. O foco em questão é a «Aenesidemus-Rezension», onde Fichte (...) junta a sua voz ao aceso diálogo já anteriormente entabulado por K. L. Reinhold e G. E. Schulze, e, na necessidade de repensar o princípio da consciência do primeiro, e as críticas a este feitas pelo segundo, é trazido à convicção da necessidade de um novo princípio absoluto; mas onde, e é este o fulcro do presente ensaio, Fichte percebe a insuficiência filososófica do sistema reinholdiano como uma insuficiência de linguagem, e portanto todo o problema como um problema que depende intimamente de uma apoditicidade linguística, e daí parte para a proposta de uma nova terminologia nacional, uma linguagem filosófica sistematicamente certa e inequívoca, à altura de um sistema filosófico regido por um princípio absoluto – um problema que viria a ocupar as cogitações de toda a geração de jovens pensadores em torno do professor de Jena. ABSTRACT This essay approaches the period prior to the works considered as the different versions of the Doctrine of Science, by J. G. Fichte, and aims not only at discerning the origin of the need for a principle of identity, but also at retracing the first steps of the whole problem of the possibility of an absolute principle of all philosophy. The focus shall be the «Aenesidemus-Rezension», where Fichte joins his voice to the heated argument previously struck by K. L. Reinhold and G. E. Schulze, and, urged to rethink Reinhold's principle of consciousness and the criticism raised by Schulze, is brought to believe the necessity for a new absolute principle; but where, and this is the fundamental idea of this essay, Fichte realizes the philosophical insufficiency of Reinhold's system as a language-related insufficiency, and therefore the whole problem as one intimately dependent on a linguistic apodicticity, and moves on to propose a new national terminology, a systematically certain and unequivocal philosophical language, which might meet the demands of a philosophical system ruled by an absolute principle – a problem which would soon be in the agenda of a whole generation of young idealists around the Professor of Jena. (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)

In Frege’s logicism, numbers are logical objects in the sense that they are extensions of certain concepts. Frege’s logical system is inconsistent, but Richard Heck showed that its restriction to predicative quantification is consistent. This predicative fragment is, nevertheless, too weak to develop arithmetic. In this paper, I will consider an extension of Heck’s system with impredicative quantifiers. In this extended system, both predicative and impredicative quantifiers co-exist but it is only permissible to take extensions of concepts formulated in the (...) predicative fragment of the language. This system is consistent. Moreover, it proves the principle of reducibility applied to concepts true of only finitely many objects. With the aid of this form of reducibility, it is possible to develop arithmetic in a thoroughly Fregean way. (shrink)

We present a functional interpretation of Peano arithmetic that uses Gödel’s computable functionals and which systematically injects uniformities into the statements of finite-type arithmetic. As a consequence, some uniform boundedness principles are interpreted while maintaining unmoved the -sentences of arithmetic. We explain why this interpretation is tailored to yield conservation results.

We define a notion of realizability, based on a new assignment of formulas, which does not care for precise witnesses of existential statements, but only for bounds for them. The novel form of realizability supports a very general form of the FAN theorem, refutes Markov's principle but meshes well with some classical principles, including the lesser limited principle of omniscience and weak König's lemma. We discuss some applications, as well as some previous results in the literature.

Brazil stands out at the global level for having implemented several policies intending to promote agroecology as a productive paradigm for small-holder farmers. However, the impacts of this process of institutionalization of agroecology still lack research and debates that evaluate the effectiveness of these policies. In this paper, we assess and discuss the impacts of a policy specifically focused on education in agroecology, the support to the establishment of Centers for the Study of Agroecology and Organic Production (NEAs) in more (...) than 150 higher education institutions throughout Brazil. NEAs bring together teachers, researchers, and students who engage in teaching, research, and extension activities in partnerships with peasant farmers, their organizations, and rural extension workers. The hypothesis that guides our analysis is that this support to establish NEAs allowed redistribution of symbolic power in the universities where they were established, supporting agroecology to gain greater legitimacy inside and outside the university field. Based on an in-depth study of four NEAs, performed through participant observation and documentary analysis, the NEAs are evaluated from the perspective of social fields in dispute, first in a university sphere, but also from the perspective of training people in integrative and transdisciplinary thinking that will contest the industrial-corporate food regime. Our findings suggest that the State support to university groups dedicated to the promotion of agroecology has allowed the construction of what we have named agroecological spaces, which symbolically dispute the dominant paradigms in educational institutions, supporting the constitution of material and immaterial agroecological territories. (shrink)