Após a conclusão do curso de medicina psiquiátrica em Lyon, em 1951, Fanon foi acolhido no hospital Saint Alban, para um aprofundamento dos estudos psiquiátricos, tendo ali, trabalhado e pesquisado sob a supervisão do psiquiatra espanhol Francesc Tosquelles, onde praticou os fundamentos da psicoterapia institucional, desenvolvida por Tosquelles e seus colaboradores naquele hospital. Mais tarde, na Argélia, Fanon atuou no hospital de Blida-Joinvile e, posteriormente, na Tunísia, introduzindo reformas, à luz da psicoterapia institucional. A concepção de ser humano que cultivava (...) e a compreensão de que a sociedade doente produz pessoas doentes, levaram-no a um profundo conflito, à medida em que foi tomando consciência da violência do colonialismo francês contra o povo argelino, conforme relatou na carta de demissão que enviou ao Ministro Residente, Robert Lacoste, em 1956. Após o pedido de demissão, adentrou o movimento de libertação da Argélia. Escreveu livros e artigos combatendo o colonialismo e difundindo os ideais revolucionários. Van Renssalaer Potter, por longo tempo atuou como biólogo e bioquímico no MacArdle Laboratory for Cancer Research, na Universidade de Winsconsin, na cidade de Madison, onde doentes de câncer eram tratados. Na década de 1970, publicou um livro seminal, Bioética, ponte para o futuro. Anos depois, publicou estudos de Bioética Global. Mais tarde, articulou conceitos de Bioética Profunda. Preocupado com a sobrevivência humana neste planeta, atacado pela irresponsabilidade humana, Potter conclamou a humanidade à tomada de consciência e mudança de condutas. Comparando-se os dois autores, observa-se que os escritos de Fanon foram produzidos na década de 1950, sendo que seu último livro, Os Condenados da Terra, foi escrito em 1961. Potter, por sua vez, escreveu os primeiros estudos de bioética na década de 1970, cerca de uma década após o falecimento de Fanon. Respeitados os limites cronológicos, este estudo se pergunta: A dialética da medicina como política e da política como medicina, na práxis de Fanon, teria sintonias bioéticas? Para enfrentar este problema, o trabalho contextualiza a formação de Fanon, identificando os princípios da práxis médico-psiquiátrica dele. Em seguida, demonstra-se as contradições do colonialismo, identificando uma dialética da medicina como política e da política como medicina. Adiante, informa-se a contribuição de Van Rensselaer Potter, na proposição da bioética. Finalmente, argumenta-se a favor das sintonias bioéticas presentes nas passagens selecionadas. O procedimento metodológico é a pesquisa bibliográfica, analítico-dedutiva. Palavras-chave: Colonialismo. Consciência. Medicina. Política. Sintonias bioéticas. (shrink)

Resumo: As grandes corporações de comunicação, no Brasil, operam como construtoras de sentidos, por meio de narrativas sintonizadas com os interesses de grupos e atores sociais, com desprezo para as demandas e os direitos dos setores populares. Uma prática semelhante de comunicação foi vivenciada por Frantz Fanon, na África. No entanto, o ativista conseguiu fazer da sua práxis jornalística um instrumento a serviço da justiça e da libertação de povos africanos oprimidos. Essa prática libertária de Fanon identifica-se com os ideais (...) da bioética global, criada posteriormente por Van Rensselaer Potter. Frente a esse cenário, esta reflexão quer investigar em que sentido a práxis jornalística de Fanon, durante a guerra de libertação argelina, em busca de justiça social e de libertação, se identifica com os fundamentos da bioética global proposta posteriormente por Potter. A análise consiste numa argumentação de caráter analítico-dedutivo. Se, com a bioética global, Potter procurou restaurar um sentido humano da práxis científica e tecnológica, Fanon buscou esse objetivo como comunicador social e médico.: The big communication corporations of Brazil operate as constructers of meaning trough syntonized narratives in behalf of groups and social players, and with contempt for the rights and demands of popular sectors. A similar communication practice was experienced by Frantz Fanon in Africa. However, the activist was able to make an instrument in service of justice and liberation of oppressed African people from his journalistic practice. This libertarian practice of Fanon identifies oneself with the subsequently created global bioethics of Van Rensselaer Potter. In the face of this scenario, this reflection wants to investigate in what sense the journalistc praxis of Fanon during the Argelian Revolution, in pursuit of social justice and liberation, identifies itself with the global bioethics principles later proposed by Potter? The analyses consists in an anaclitic deductive character. If with global bioethci Potter searched to restore a human sense of the technological and scientific praxis, Fanon seeked this goal as an social communicator and physician. (shrink)

Since the end of the 19th century, Brazilian researchers have speculated about the phenomenon of ethnic coexistence they have witnessed in their country. How may the mixed culture that is its obvious result be explained? Should it be attributed to some sociocultural syncretism, to an interpenetration of civilizations or, quite simply, to a synthesis? Whatever the case, it is certain that cultural elements of very different origins became united in Brazil and that they have remained closely associated there in spite (...) of their disparity. The best example of this “cultural conglomerate,” if we may call it that, is without a doubt that of the Afro-Brazilian religious cults and, although numerous studies have already been devoted to them, they have a richness of content and meaning, plus a capacity for renewal, that is far from being exhaustively investigated. (shrink)

Rio de Janeiro, the opening of the carnival. On the Friday evening preceding Mardi Gras, the mayor of Rio hands over the keys to the city to King Momo, sovereign of the carnival. Immediately the samba breaks out in the brightly lit streets of the city. Newspapers, magazines and television feature big headlines describing the event and glorifying the holiday kingdom. They all report that the city is being shaken by winds of madness, that licence and inversions of every variety (...) are rampant, that the leveling of individuals and the abolition of social distances illustrate the resolutions of conflicts in a collective dream of joy and happiness…. (shrink)

Carnival was brought to the New World by Spanish and Portuguese colonizers, and it has been preserved there up to our day, although in the meantime it has almost disappeared from the countries where it originated. One asks oneself if Carnival has kept its original characteristics over the years, or if it instead has been transformed, and if so, how. The ethnological and cultural variety present in Latin America leads us to think that there must have been an evolution over (...) the years, and that Carnival should show some signs of acculturation. It is the examination of these two points that will be the subject of our study. (shrink)

Rio de Janeiro, the opening of the carnival. On the Friday evening preceding Mardi Gras, the mayor of Rio hands over the keys to the city to King Momo, sovereign of the carnival. Immediately the samba breaks out in the brightly lit streets of the city. Newspapers, magazines and television feature big headlines describing the event and glorifying the holiday kingdom. They all report that the city is being shaken by winds of madness, that licence and inversions of every variety (...) are rampant, that the leveling of individuals and the abolition of social distances illustrate the resolutions of conflicts in a collective dream of joy and happiness…. (shrink)

Introduction: The importance attached to ethical practice and related informed consent varies among health professionals and is further influenced by working environments, level of knowledge, experience and societal values and beliefs. The objective of this study is to evaluate the ethical conduct of professors, undergraduates and graduate students through questionnaires answered by patients. Methods: One hundred twenty patients at the dental clinics of three different dental schools in São Paulo State were interviewed based on objective and discursive questions about signed (...) informed consent, participation in scientific research, photographs during treatment, requested saliva samples, tooth donation requests, and information about tooth destination after removal. A frequency distribution was used for a statistical analysis of the data. Results: In all, 65.8% of the patients had given signed informed consent for treatment and 12.5% had not done so; 10.8% did not know if they had participated in scientific research; 54.2% were photographed during dental procedures and 47.1% of them had signed an authorization form; 6.6% were requested to provide a saliva sample and 66.6% of them had signed an authorization form to that effect; 16.1% had a tooth donation requested and 64.4% of them had signed an authorization form to that effect; and 61.3% did not know the destination of the tooth after removal, when donation was not requested. Conclusions: The majority of the patients had signed an informed consent form for treatment, photographs, saliva samples and tooth donation. This demonstrated ethical conduct towards patients on the part of professors, undergraduates and graduate students. doi: 10.5294/pebi.2017.21.1.2. (shrink)

A presente proposta busca sistematizar a importância da valorização do docente através do período extraclasse, prevista pela Lei do Piso Salarial Profissional Nacional docente (PSPN), observando a proposta de formação continuada, e, também, formação permanente, desenvolvida no Centro de Formação Carolina Garcia (CFCG), localizado no município de Macaé/RJ. A discussão aprofundada por meio da monografia de pedagogia da extinta Faculdade de Filosofia, Ciências e Letras de Macaé – FAFIMA, tem como base os relatos apresentados nos questionários semiestruturados respondido pelas coordenadoras (...) do local, no ano de 2019. Nesse sentido, buscamos perceber o processo de elaboração da proposta do CFCG, que marca todo um movimento de formação pioneira em diálogo com o PSPN. Concluímos ao longo da pesquisa, que existem várias experiências que priorizam o fazer docente em diálogo com o período extraclasse, mas historicamente o CFCG propõe a ampliação do conhecimento de dentro da profissão e do seu entorno. (shrink)

The geometric system of deduction called N-Graphs was introduced by de Oliveira in 2001. The proofs in this system are represented by means of digraphs and, while its derivations are mostly based on Gentzen's sequent calculus, the system gets its inspiration from geometrically based systems, such as the Kneales' tables of development, Statman's proofs-as-graphs, Buss' logical flow graphs, and Girard's proof-nets. Given that all these geometric systems appeal to the classical symmetry between premises and conclusions, providing an intuitionistic version of (...) any of these is an interesting exercise in extending the range of applicability of the geometric system in question. In this article we produce an intuitionistic version of N-Graphs, based on Maehara's LJ' system, as described by Takeuti. Recall that LJ' has multiple conclusions in all but the essential intuitionistic rules, e.g., implication right and negation right. We show soundness and completeness of our intuitionistic N-Graphs with respect to LJ'. We also discuss how we expect to extend this work to a version of N-Graphs corresponding to the intuitionistic logic system FIL (Full Intuitionistic Logic) of de Paiva and Pereira and sketch future developments. (shrink)

Este estudio se ocupa del control social del cuerpo y de la reconfiguración de la memoria popular en películas de horror a través de la perspectiva genealógica de Foucault, presentada en su libro Vigilar y Castigar, publicado hace 40 años. Por lo tanto, tomaremos, À l’interieur e Frontière (s), dos producciones de horror cinematográfico hechas por directores franceses, ambos publicados en 2007. La hipótesis principal es que las películas de terror se muestran como una nueva forma de vigilancia y control (...) social del cuerpo. Por otro lado, también puede recodificar la memoria popular apropiándose de acontecimientos polítcos y/o revolucionarios como en las películas comentadas por Foucault en la revista Cahiers de Cinéma en 1974 políticas, aunque no sean las películas de terror. (shrink)

Este roteiro de leitura, que ora apresentamos, tem como objetivo principal tornar mais acessível, ou melhor, mais inteligível A ordem do discurso de Michel Foucault para aqueles que se arriscam a entrar nesta ordem por meio de sua análise do discurso redimensionada nesta sua aula inaugural. É um roteiro simples que procurou atender minimamente aos leitores iniciantes deste texto que se tornou um clássico no campo das Humanidades e das ciências empíricas como o Direito e a própria Medicina, campos que (...) passaram pelo crivo das análises arqueogenealógicas empreendidas por Foucault. (shrink)

O presente trabalho tem o objetivo de conectar a teoria criada por Pierre Bourdieu sobre a violência simbólica e o texto de Audre Lorde, The use of anger: women responding to racism do seu livro Sister Outsider; demonstrando a importância do debate sobre a relação entre dominante e dominado a partir do viés racial, tema abordado por ambos autores em seus textos. Com este fito, pretendemos diferenciar os resultados objetivos do ódio, raiva e culpa, bem como o modo que as (...) agressões invisíveis repercutem na vida do oprimido. Tendo como foco o racismo na vida da “mulher de cor” que ainda nos dias de hoje, em uma pirâmide social, se encontram em desvantagem quanto aos demais indivíduos. Faz parte dos objetivos também trazer à tona a reação do oprimido como consequência natural dos séculos de silenciamento, privação e desumanização, analisando os mecanismos institucionais para pacificação social. (shrink)

Este estudo tem como objetivo principal discutir qual o lugar da memória nas pesquisas históricas empreendidas pelo filósofo francês Michel Foucault, o qual foi responsável pelo desenvolvimento de duas frentes metodológicas de trabalho: a arqueologia do saber e a genealogia do poder, conhecidas hoje como arqueogenealogia foucaultiana. Ao longo de mais de 30 anos dedicados a estas pesquisas, Michel Foucault ganhou projeção nacional e internacional pela sua inquietante forma de aliar a militância política com o trabalho acadêmico, demonstrando, com isso, (...) qual era o papel do intelectual frente aos desafios e demandas no mundo do pós-guerra. Recebeu a maior honraria no mundo da intelectualidade francesa ao ser eleito professor do célebre Collège de France, assumindo, por mais de uma década, a cátedra história dos sistemas de pensamentos. Em uma de suas últimas entrevistas, declarou que todos os seus gestos tinham como principal objetivo: criar a história como os seres humanos se tornam sujeitos em nossa cultura. Esta declaração deixa evidente qual o lugar que a história ocupa em sua obra, mas qual seria o lugar da memória nesses seus empreendimentos? Por que a história aparece em seu trabalho como lugar privilegiado enquanto a memória tem um lugar de coadjuvante? São estas as reflexões iniciais que buscamos realizar neste nosso trabalho. (shrink)

Esta obra apresenta uma reflexão sobre a identidade dos professores de língua portuguesa construída nos Parâmetros Curriculares Nacionais e nas Orientações Curriculares Nacionais para o ensino de Língua Portuguesa. Este estudo foi motivado, porque em tais documentos curriculares há uma imposição de uma nova postura teórico-prática que acaba forjando uma nova identidade a tais profissionais. O autor utilizou a abordagem discursivo-desconstrutiva apresentada por Coracini em reflexões que tratam da mesma temática. A obra gira em torno da questão kantiana “quem somos (...) nós?”, tendo como preocupação principal a identidade do professor de Língua Portuguesa construída sob força de lei, num processo que envolve uma certa violência simbólica, em termos da teoria de Bourdieu e Passeron. (shrink)

In the text Critique of the Foundations of Psychology (1928) Georges Politzer (1903-1942) sought to investigate the epistemological bases of some currents of psychology. His intention was to reorient psychological studies toward a concreteconception. By analyzing Gestalt theory, Behaviorism, and Psychoanalysis, Politzer outlined a project of concrete psychology with some principles that guide possible perspectives of studies on psychological phenomena. His principles consist instudying psychological facts through the prism of the first person and consider man in his drama. Despite being (...) Hungarian, the author walked his political and intellectual path in France in the 20th century, a time when Jean Paul Sartre (1905-1980) focusedon psychological phenomena under the prism of phenomenology, proposing an Existential Psychoanalysis at the end of Being and Nothingness (1943). In this sense, we will verify to what extent the Sartrian theory can contemplate Politzer’s principlesof a concrete psychology. (shrink)

Taxonomies of living things and the methods used to produce them changed little with the institutionalization of evolutionary thinking in biology. Instead, the relationships expressed in existing taxonomies were merely reinterpreted as the result of evolution, and evolutionary concepts were developed to justify existing methods. I argue that the delay of the Darwinian Revolution in biological taxonomy has resulted partly from a failure to distinguish between two fundamentally different ways of ordering identified by Griffiths : classification and systematization. Classification consists (...) of ordering entities into classes, groups defined by the attributes of their members; in contrast, systematization consists of ordering entities into systems, more inclusive entities whose existence depends on some natural process through which their parts are related. Evolutionary, or phylogenetic, systematics takes evolutionary descent to be the natural process of interest in biological taxonomy. I outline a general framework for a truly phylogenetic systematics and examine some of its consequences. (shrink)

O objetivo deste artigo é demonstrar, a partir do pensamento de Marx, como o lucro comercial e a renda fundiária – dois componentes do mais-valor que, juntamente com o salário, correspondem aos rendimentos da fórmula trinitária – pressupõem a exploração do trabalho ou o intercâmbio desigual que mantém o processo de acumulação capitalista. As remunerações do comerciante e do proprietário fundiário, muito embora apareçam na superfície da economia moderna dissociadas do seu fundamento real, como se fossem autônomas e sem qualquer (...) nexo com a espoliação que garante a autovalorização do capital, representam apenas quotas do trabalho excedente obtido na esfera da produção. (shrink)

An examination of the post-Darwinian history of biological taxonomy reveals an implicit assumption that the definitions of taxon names consist of lists of organismal traits. That assumption represents a failure to grant the concept of evolution a central role in taxonomy, and it causes conflicts between traditional methods of defining taxon names and evolutionary concepts of taxa. Phylogenetic definitions of taxon names (de Queiroz and Gauthier 1990) grant the concept of common ancestry a central role in the definitions of (...) taxon names and thus constitute an important step in the development of phylogenetic taxonomy. By treating phylogenetic relationships rather than organismal traits as necessary and sufficient properties, phylogenetic definitions remove conflicts between the definitions of taxon names and evolutionary concepts of taxa. The general method of definition represented by phylogenetic definitions of clade names can be applied to the names of other kinds of composite wholes, including populations and biological species. That the names of individuals (composite wholes) can be defined in terms of necessary and sufficient properties provides the foundation for a synthesis of seemingly incompatible positions held by contemporary individualists and essentialists concerning the nature of taxa and the definitions of taxon names. (shrink)

At least three different issues are commonly referred to by the term “the species problem”: one concerns the necessary properties of species, a second the processes responsible for the existence of species, and a third methods for inferring species limits. Solutions have recently been proposed to the first two problems, which are conceptual in nature (the third is methodological). The first equates species with metapopulation lineages and proposes that existence as a separately evolving metapopulation lineage be considered the only necessary (...) property of species. The second views the species category as a cluster concept and proposes that no single process or set of processes be considered necessary for the existence of species. Although these two solutions have been portrayed as being in conflict, they are, in fact, highly compatible. Moreover, the proposals in question clarify the problem concerning methods for inferring the limits of species, which has for a long time been confused with the problem concerning the necessary properties of species. Together these proposals provide the opportunity for biology to move beyond debates about the definition of the species category and focus on estimating the boundaries and numbers of species as well as studying the diverse processes involved in their origin and persistence. BioEssays 27:1263–1269, 2005. © 2005 Wiley Periodicals, Inc. (shrink)

The lambda calculus is a universal programming language. It can represent the computable functions, and such offers a formal counterpart to the point of view of functions as rules. Terms represent functions and this allows for the application of a term/function to any other term/function, including itself. The calculus can be seen as a formal theory with certain pre-established axioms and inference rules, which can be interpreted by models. Dana Scott proposed the first non-trivial model of the extensional lambda calculus, (...) known as $ D_{\infty }$, to represent the $\lambda $-terms as the typical functions of set theory, where it is not allowed to apply a function to itself. Here we propose a construction of an $\infty $-groupoid from any lambda model endowed with a topology. We apply this construction for the particular case $D_{\infty }$, and we see that the Scott topology does not provide enough information about the relationship between higher homotopies. This motivates a new line of research focused on the exploration of $\lambda $-models with the structure of a non-trivial $\infty $-groupoid to generalize the proofs of term conversion to higher-proofs in $\lambda $-calculus. (shrink)

Ernst Mayr played a central role in the establishment of the general concept of species as metapopulation lineages, and he is the author of one of the most popular of the numerous alternative definitions of the species category. Reconciliation of incompatible species definitions and the development of a unified species concept require rejecting the interpretation of various contingent properties of metapopulation lineages, including intrinsic reproductive isolation in Mayr's definition, as necessary properties of species. On the other hand, the general concept (...) of species as metapopulation lineages advocated by Mayr forms the foundation of this reconciliation, which follows from a corollary of that concept also advocated by Mayr: the proposition that the species is a fundamental category of biological organization. Although the general metapopulation lineage species concept and Mayr's popular species definition are commonly confused under the name "the biological species concept," they are more or less clearly distinguished in Mayr's early writings on the subject. Virtually all modern concepts and definitions of the species category, not only those that require intrinsic reproductive isolation, are to be considered biological according to the criterion proposed by Mayr. Definitions of the species category that identify a particular contingent property of metapopulation lineages (including intrinsic reproductive isolation) as a necessary property of species reduce the number of metapopulation lineages that are to be recognized taxonomically as species, but they cause conflicts among alternative species definitions and compromise the status of the species as a basic category of biological organization. (shrink)

Human security is being threatened as a consequence of climate change. However, the human security paradigm still needs to be addressed as a cause and effect of environmental degradation. Therefore, this article aims to comprehend the impacts of climate change in fragile states regarding food security and human development. The article is a comparative case study of the five most vulnerable countries in Africa: Somalia, South Sudan, Central African Republic, Sudan, and Congo (Dem. Republic). This research contends that climate change (...) is detrimental to the agricultural sector and effects economic growth and basic human needs. Moreover, it is threatening human development due to food and water shortages. This scenario also triggers conflicts among the vulnerable populations of fragile states, disrupting food availability and people’s access. This article suggests that international measures connecting environmental degradation and human security must be implemented in order to improve the quality of life in Africa. Also, long-term nation-building is required to address human security issues present in all five countries. (shrink)

SummaryLooking at proof theory as an attempt to ‘code’ the general pattern of the logical steps of a mathematical proof, the question of what kind of rules can make the meaning of a logical connective completely explicit does not seem to have been answered satisfactorily. The lambda calculus seems to have been more coherent simply because the use of ‘λ’ together with its projection 'apply' is specified by what can be called a 'reduction' rule: β‐conversion. We attempt to analyse the (...) role of proof rules, making use of a set of formal rules designed to capture both the notions of proof theory and those of the lambda‐calculus: Martin‐Löf's Intuitionistic Type Theory.RésuméSi on considère la théorie de la démonstration comme une tentative de ‘codifier’ les pas logiques d'une démonstration mathématique, on se rendra compte qu'on n'a pas répondu de façon satisfaisante à la question suivante: quelles sont les règies qui rendent complètement explicite le sens d'un connecteur logique? Le lambda‐calcul a été apparemment plus cohérent, tout simplement parce que l'utilisation du‘λ’ avec sa projection 'apply' est spécifiée par une regie de 'réduction': β‐conversion. Nous essayons d'analyser le rôle des règies de démonstration, en utilisant un système formel de règies conçu pour englober à la fois les notions de la théorie de la démonstration et celles du lambda‐calcul: la Théorie Intuitionniste des Types de Martin‐Löf.ZusammenfassungWenn man Beweistheorie als einen Versuch, ein allgemeines Muster der logischen Schritte in einem mathematischen Beweis zu kodifizieren, betrachtet, so scheint die Frage nach der Art von Regeln , die die Bedeutung von logischen Operatoren vollständig beschreiben, nicht zufriedenstellend beantwortet. Der Lambda‐Kalkül erscheint, kohärenter, einfach deshalb weil der Gebrauch von ‘λ’ zusammen mit dessen Projektion 'apply' durch Regeln bestimmt wird, die man 'Reduktions'‐Regeln nennen kann: β‐Konversion. Wir versuchen, die Rolle von Beweisregeln zu analysieren, indem wir ein Regelsystem verwenden, das sowohl die Begriffe der Beweistheorie als auch diejenigen des Lambda‐Kalküls erfasst, nämlich die Martin‐Löfsche Typentheorie. (shrink)

An appropriate framework is put forward for the construction of $$\lambda $$ -models with $$\infty $$ -groupoid structure, which we call homotopic $$\lambda $$ -models, through the use of an $$\infty $$ -category with cartesian closure and enough points. With this, we establish the start of a project of generalization of Domain Theory and $$\lambda $$ -calculus, in the sense that the concept of proof (path) of equality of $$\lambda $$ -terms is raised to higher proof (homotopy).

The intention here is that of giving a formal underpinning to the idea of ‘meaning-is-use’ which, even if based on proofs, it is rather different from proof-theoretic semantics as in the Dummett–Prawitz tradition. Instead, it is based on the idea that the meaning of logical constants are given by the explanation of immediate consequences, which in formalistic terms means the effect of elimination rules on the result of introduction rules, i.e. the so-called reduction rules. For that we suggest an extension (...) to the Curry– Howard interpretation which draws on the idea of labelled deduction, and brings back Frege’s device of variable-abstraction to operate on the labels (i.e., proof-terms) alongside formulas of predicate logic. (shrink)

We are concerned with showing how ‘labelled’ Natural Deduction presentation systems based on an extension of the so-called Curry-Howard functional interpretation can help us understand and generalise most of the deduction calculi designed to deal with the logical notion of existential quantification. We present the labelling mechanism for ‘’ using what we call ‘ɛ-terms’, which have the form of ‘a’) in a dual form to the ‘Ax.f’ terms of in the sense that the ‘witness’ is chosen at the time of (...) assertion/introduction.With the intention of demonstrating the generality of our framework, we provide a brief comparison with some other calculi of existentials, including the model-theoretic interpretations of Skolem and Herbrand, indicating the way in which some of the classical results on prenex normal forms can be extended to a wide range of logics. The essential ingredient is to look at the conceptual framework of labelled natural deduction as an attempted reconstruction of Frege's functional calculus where the devices of the Begriffsschrift work separately from, yet in harmony with, those of the Grundgesetze 1. (shrink)

One takes advantage of some basic properties of every homotopic \(\lambda\)-model (e.g. extensional Kan complex) to explore the higher \(\beta\eta\)-conversions, which would correspond to proofs of equality between terms of a theory of equality of any extensional Kan complex. Besides, Identity types based on computational paths are adapted to a type-free theory with higher \(\lambda\)-terms, whose equality rules would be contained in the theory of any \(\lambda\)-homotopic model.

Advocates of cladistic parsimony methods have invoked the philosophy of Karl Popper in an attempt to argue for the superiority of those methods over phylogenetic methods based on Ronald Fisher's statistical principle of likelihood. We argue that the concept of likelihood in general, and its application to problems of phylogenetic inference in particular, are highly compatible with Popper's philosophy. Examination of Popper's writings reveals that his concept of corroboration is, in fact, based on likelihood. Moreover, because probabilistic assumptions are necessary (...) for calculating the probabilities that define Popper's corroboration, likelihood methods of phylogenetic inference—with their explicit probabilistic basis—are easily reconciled with his concept. In contrast, cladistic parsimony methods, at least as described by certain advocates of those methods, are less easily reconciled with Popper's concept of corroboration. If those methods are interpreted as lacking probabilistic assumptions, then they are incompatible with corroboration. Conversely, if parsimony methods are to be considered compatible with corroboration, then they must be interpreted as carrying implicit probabilistic assumptions. Thus, the non-probabilistic interpretation of cladistic parsimony favored by some advocates of those methods is contradicted by an attempt by the same authors to justify parsimony methods in terms of Popper's concept of corroboration. In addition to being compatible with Popperian corroboration, the likelihood approach to phylogenetic inference permits researchers to test the assumptions of their analytical methods (models) in a way that is consistent with Popper's ideas about the provisional nature of background knowledge. (shrink)

El contexto del Concilio Vaticano II vivió un aspecto fundamental que es necesario valorar: el clima de libertad, de apertura y alegría traído por el Concilio, sin coacciones, ni imposiciones sobre numerosos aspectos de la vivencia de la fe, ni moralismos, ni casuísticas sobrepasadas. Además de reflexiones teológicas para abrir nuevos caminos, el Concilio trajo un nuevo clima para la Iglesia. En América Latina, que sufría dictaduras asesinas, la Iglesia del Concilio era luz que sustentaba la evangelización y la lucha (...) por la justicia. Ahora, como en el periodo que precedió al Concilio, las señales de los tiempos perciben que algo tiene que ocurrir. Como entonces, es preciso superar la perplejidad y el temor, abriéndose a una gran esperanza. La búsqueda sigue, con la paciencia activa que soporta las “demoras de Dios”, aguantando sorpresas y contradicciones sin abatirse. Es un tiempo apropiado para vivir con intensidad la recomendación del Apóstol de ser “alegres en la esperanza, firmes en la tribulación, constantes en la oración” (Rm 12,12). - DOI: 10.5752/P.2175-5841.2011v9n24p1361. (shrink)