Much has been said about intuitionistic and classical logical systems since Gentzen’s seminal work. Recently, Prawitz and others have been discussing how to put together Gentzen’s systems for classical and intuitionistic logic in a single unified system. We call Prawitz’ proposal the Ecumenical System, following the terminology introduced by Pereira and Rodriguez. In this work we present an Ecumenical sequent calculus, as opposed to the original natural deduction version, and state some proof theoretical properties of the system. We reason that (...) sequent calculi are more amenable to extensive investigation using the tools of proof theory, such as cut-elimination and rule invertibility, hence allowing a full analysis of the notion of Ecumenical entailment. We then present some extensions of the Ecumenical sequent system and show that interesting systems arise when restricting such calculi to specific fragments. This approach of a unified system enabling both classical and intuitionistic features sheds some light not only on the logics themselves, but also on their semantical interpretations as well as on the proof theoretical properties that can arise from combining logical systems. (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)

Despite the application of 2.5 million tons ofpesticides worldwide, more than 40% of all potentialfood production is lost to insect, weed, and plantpathogen pests prior to harvest. After harvest, anadditional 20% of food is lost to another group ofpests. The use of pesticides for pest control resultsin an estimated 26 million human poisonings, with220,000 fatalities, annually worldwide. In the UnitedStates, the environmental and public health costs forthe recommended use of pesticides total approximately$9 billion/yr. Thus, there is a need for alternativenon-chemical (...) pest controls, and genetic engineering(biotechnology) might help with this need. Diseaseand insect pest resistance to various pests has beenslowly bred into crops for the past 12,000 years;current techniques in biotechnology now offeropportunities to further and more rapidly improve thenon-chemical control of disease and insect pests ofcrops. However, relying on a single factor, like theBacillus thuringiensis toxin that has beeninserted into corn and a few other crops for insectcontrol, leads to various environmental problems,including insect resistance and, in some cases, athreat to beneficial biological control insects andendangered insect species. A major environmental andeconomic cost associated with genetic engineeringapplications in agriculture relates to the use ofherbicide resistant crops (HRC). In general, HRCtechnology results in increased herbicide use but noincrease in crop yields. The heavy use of herbicidesin HRC technology pollutes the environment and canlead to weed control costs for farmers that may be2-fold greater than standard weed control costs. Therefore, pest control with both pesticides andbiotechnology can be improved for effective, safe,economical pest control. (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)

Because the agriculture/food sectors appear to be driven by short-term economic and political forces, cheap energy, and agricultural-chemical technologies, waste and environmental/social problems in the agricultural/food sectors are estimated to cost the nation at least $150 billion per year. Most of the waste and environmental/social problems can be eliminated through better resource management policies and the adoption of sustainable agricultural practices.

Ensaio sobre a compreensão do corpo baseada em autores que dialogam com a fenomenologia e a gestalt-terapia. Crítica ao distanciamento entre vida cotidiana, senso comum e ciência baseada no modelo natural. Na concepção fenomenologica o conceito de “mundo da vida” permite diferenciar um corpo vivo, um Leib, de um corpo não vivo Körper. E o corporar é um dos modos de ser do Dasein. Em Gestal-terapia o conceito de todo aplicado a percepção e a vivência do corpo contribui para a (...) compreensão de nós não temos um fígado e um coração, nós somos fígado, coração, cérebro, e assim por diante. Nós não somos partes, e sim uma coordenação muito sutil que configura um corpo A superação das dualidades é necessária para o reconhecimento da corporeidade na experiência individual de passar do apoio ambiental para o auto apoio, na medida em que criamos e realizamos contatos integrados. (shrink)

Benchmarking automated theorem proving (ATP) systems using standardized problem sets is a well-established method for measuring their performance. However, the availability of such libraries for non-classical logics is very limited. In this work we propose a library for benchmarking Girard's (propositional) intuitionistic linear logic. For a quick bootstrapping of the collection of problems, and for discussing the selection of relevant problems and understanding their meaning as linear logic theorems, we use translations of the collection of Kleene's intuitionistic theorems in the (...) traditional monograph "Introduction to Metamathematics". We analyze four different translations of intuitionistic logic into linear logic and compare their proofs using a linear logic based prover with focusing. In order to enhance the set of problems in our library, we apply the three provability-preserving translations to the propositional benchmarks in the ILTP Library. Finally, we generate a comprehensive set of reachability problems for Petri nets and encode such problems as linear logic sequents, thus enlarging our collection of problems. (shrink)

Estudo qualitativo exploratórios de literatura cientifica sobre ansiedade em estudantes brasileiros, objetivando identificar fatores relacionados ao desenvolvimento da ansiedade patológica. Os textos foram analisados e agrupados de acordo com análise de conteúdo. Entre os resultados encontramos o enfoque relacional que impacta o self e surge no contexto socioeconômico. Destacamos como agentes que contribuem para a ansiedade: exigência de responsabilidade e autonomia; preocupações com o futuro; não ter tempo para o lazer, ausência de familiares; ser mulher e ser homossexual. Concluímos que (...) o modelo de ensino praticado na universidade causa pressão psicológica pela grande diferença da experiência pedagógica no secundário. Completamos que a Universidade requer promover intervenções que visem o desenvolvimento emocional e cognitivo dos estudantes para que desenvolvam seu método de estudar mais eficiente, lidar melhor com suas dificuldades, e gerar estratégias para lidar com elas, além de organizar o planejamento tempo reservando horas para atividades de lazer e de interação social. (shrink)

Burning fossil fuel in the North American continent contributes more to the CO2 global warming problem than in any other continent. The resulting climate changes are expected to alter food production. The overall changes in temperature, moisture, carbon dioxide, insect pests, plant pathogens, and weeds associated with global warming are projected to reduce food production in North America. However, in Africa, the projected slight rise in rainfall is encouraging, especially since Africa already suffers from severe shortages of rainfall. For all (...) regions, a reduction in fossil fuel burning is vital. Adoption of sound ecological resource management, especially soil and water conservation and the prevention of deforestation, is important. Together, these steps will benefit agriculture, the environment, farmers, and society as a whole. (shrink)

Em meados do século XIX, a moderna Psiquiatria e o Espiritismo estavam se formando e divergiam sobre a etiologia espiritual das doenças mentais e sobre se práticas mediúnicas seriam uma grande causa de alienação mental (“Loucura espírita”). Este artigo investiga os argumentos de médicos europeus e as reações de Allan Kardec sobre esses dois temas. Como fontes primárias, analisamos publicações médicas europeias (de 1858 a 1936), escritos de Kardec e realizamos um estudo de caso sobre os “Possessos de Morzine”. Os (...) médicos negavam causas espirituais das doenças mentais e consideravam a mediunidade um produto de fraude ou de atividade cerebral, cuja prática seria uma grande causa de alienação mental. Kardec questionava a qualidade dos diagnósticos e das estatísticas de casos de “Loucura espírita”. Defendia que, além das causas biopsicossociais da loucura, as obsessões espirituais seriam uma causa complementar. As evidências seriam capacidades anômalas exibidas pelos doentes (p.ex. falar línguas que desconheciam, mostrar conhecimentos de fatos à distância, etc.) e a eficácia da desobsessão, mesmo que realizada à distância do paciente. O conflito foi diminuindo à medida que a Psiquiatria foi se legitimando no domínio do campo científico e o Espiritismo no religioso. (shrink)

Psychogenic non epileptic seizures (PNES) are clinical events of psychological nature. Video-electroencephalography monitoring (V-EEGM) is a valuable method for the diagnosis of PNES and may be combined with provocative tests to induce seizures. The use of placebo in provocative tests for the diagnosis of PNES is controversial because of associated deception, and contrasts with the use of truly decreasing epileptogenic threshold techniques such as hyperventilation and photo stimulation. We present a clinical case of a pregnant woman with a past history (...) of refractory epilepsy, admitted in the obstetric department due to unremitting seizures. In this clinical context, non-deceiving provocative tests such as hyperventilation and photo stimulation could be potentially harmful, nevertheless, the use of intravenous saline injection presented as a safer alternative to diagnose PNES and hence obviate an urgent caesarean. This case illustrates a disproportionate risk of causing harm when telling the truth, in comparison with the benefit of avoiding such risk, although deceiving the patient. This is a clinical example of how considerations concerning the use of placebo must be evaluated in an individual basis. (shrink)

This paper explores the endeavours of José Celestino Mutis before and during his directorship of the Royal Botanical Expedition to the New Kingdom of Granada. Firstly, it will consider various aspects of Mutis’ activities as a naturalist and entrepreneur, in particular his efforts to promote the identification and commercial exploitation of three natural products associated with the Viceroyalty of New Granada: quina, cinnamon, and tea. Secondly, the paper will focus on the complex dynamics of the expedition’s artistic workshop, whose outcome (...) was the monumental compilation of botanical illustrations known as the Flora de Bogotá. The overall aim is to offer a reflection on the challenges posed by the practices of accumulation and management in the context of a scientific expedition inspired by the new policies of the reformist movement in Spain and designed to make profit out of the nature of the New World and its knowledge. (shrink)

Apesar das grandes transformações do conhecimento, o século XVI conservou numerosos produtos de fantasia que desempenharam uma influência considerável sobre os viajantes e navegadores. O encontro com mundos desconhecidos ou pouco conhecidos fez-se muitas vezes através de categorias mentais anteriormente estabelecidas. A lenda do Paraíso Terreal continuava activa na literatura cristã e teve grande popularidade nessa época. Como figura de estilo ou como firme convicção, os navegadores e os autores descreveram mundos como se fossem jardins edénicos. As imagens transmitidas reflectem (...) o modo como a estrutura mental e cultural dos viajantes filtrava as informações recolhidas. Fruto da «utensilagem mental» dos narradores, o Paraíso surge como um conceito nostálgico, revelando-se, nas suas diversas representações, como um local privilegiado, aprazível, provido de todas as riquezas da criação, de clima ameno e terra fértil, sem enfermidades nem tristezas, repleto de aromas, cores e melodias de encantar, onde tudo se harmonizava na felicidade e imortalidade dos seres. É a criação de uma maravilha, construída fora da realidade que existe «para além das palavras» que lhe dão vida e revelam as ansiedades, e as várias maneiras de ver o possível e o impossível. (shrink)

This paper explores the practices of auditors in a non-Western cultural environment. Drawing on Alasdair MacIntyre’s virtue ethics framework and narrative interviews with twenty Tunisian auditors, we investigate how auditors reconcile their duty to independence with the expectations of a kinship economy. Additionally, we explore how institutions—such as professional oversight bodies—play into this reconciliation. We find that, although auditors may pursue a telos at odds with international auditing standards, the purpose that these auditors serve is congruent with their moral tradition. (...) That is, rather than positioning themselves as objective arbiters of financial reporting, these auditors position themselves as guardians of their auditees. While this revised position engenders conduct that may appear to violate their independence, our auditors’ practices are congruent with the virtues of justice, courage, and honesty, as they conceive of them in the context of a Tunisian moral tradition. This study makes two main contributions to the literature. First, we provide empirical evidence into the ways in which auditors redefine independence in the context of a kinship economy. Second, we demonstrate that, when auditing local firms, auditors apply a version of professionalism that emphasizes community-oriented care over objectivity. (shrink)

A representação em gravura de D. Isabel de Aragão não pode dissociar-se do processo político- -devocional que rodeia primeiro a memória e depois a formalização do culto da insigne soberana e do papel outorgado à gravura na comunicação de ideias e formas numa sociedade onde a sua circulação é necessariamente limitada. Com efeito, se os ritmos do processo canónico e da própria divulgação do culto seguem de perto os avatares do poder real – num processo reconhecível, de múltiplas formas, entre (...) os alvores do século XVI e o declinar do século XVIII –, a produção imagética em torno da devoção à Rainha Santa e, dentro dela, a produção gravada (necessariamente dependente dos progressos dos meios tipográficos) permitem acompanhar, em termos genéricos e conjunturais, esse mesmo ritmo afirmativo de um culto que se revelaria estrutural na afirmação de valores centrais à dimensão nacional e à projecção exterior da soberania e que o próprio estatuto régio da sua titular favorecia. Neste contexto, a projecção em gravura da devoção à solícita e caridosa Rainha, ilustre pelo sangue e pelas obras, constitui, inegavelmente, um objecto do maior interesse, não somente no domínio da História da Arte, mas no da própria História. (shrink)

As shortages of fossil energy, especially oil and natural gas, become evident, the United States has moved to convert corn grain into ethanol with the goal to make the nation oil independent. Using more than 20% of all U.S. corn on 15 million acres in 2007 was providing the nation with less than 1% of U.S. oil consumption. Because the corn ethanol project has been a disaster, there is growing interest to develop cellulosic ethanol. Wood, grasses, and crop residues are (...) being proposed as sources for ethanol fuel. Though it may seem beneficial to use renewable plant materials for biofuel, the use of crop residues and other biomass for biofuels raises major concerns about energy balance, food security, and environmental problems. (shrink)

Condição humana foi afetada de modo polarizado desde que o projeto iluminista consolidou rupturas entre o senso-comum, a fé, instituindo a ciência e a racionalidade cognitiva como parâmetros balizadores das concepções binárias de sujeito e de intervenções clínicas em contextos de saúde mental. Atualmente a internet e as Tecnologias de Informação e Comunicação adensam o afastamento holístico da condição humana, ao instituir as redes sociais virtuais como meio de ideais de sujeitos. Convive-se com as teses de “morte do sujeito”, a (...) ênfase ao parâmetro da imagem, a dificuldade em lidar com a diferença, recusa ao diálogo e afirmação da intolerância. Assim, consideramos imprescindível retomar o debate dos aportes da fenomenologia Husserliana e Heideggeriana como referências para repensar nossa condição humana e contribuir para que os profissionais de saúde reencontrem o mundo da vida como start para construir, nos diversos contextos e instituições de atenção à saúde mental, práticas clinicas pautadas na vivencia e não na representação. (shrink)

Character customization is a prominent feature in digital games, affording users the ability to tailor one’s virtual self-representation to match aspects of their actual or ideal self, influencing psychological well-being. The mental health implications of character customization can be partially explained by self-discrepancy theory, which argues that achieving congruence with one’s avatar reduces cognitive dissonance. However, the role of undesirable self-concepts such as mental health ailments have largely been overlooked in this context despite forming part of one’s identity. In theory, (...) customization of an avatar representing undesirable self-concepts presents a self-regulatory paradox: individuals desire to reduce discrepancies with a self-representation, yet they also desire to enlarge discrepancies with a disliked-self. To reconcile this, two experiments explored the psychological implications of imbuing avatars with undesirable self-concepts. In Study 1, participants customized an avatar to represent anxiety within themselves. Customization significantly reduced state anxiety compared to a control group, supporting the proposed discrepancy-reduction mechanism. Study 2 employed a 2 × 2 between-subjects design, with participants either destroying or observing an anxiety avatar. Destruction of customized anxiety avatars resulted in the largest reduction in anxiety among all conditions, supporting the proposed discrepancy-enlargement mechanism. Theoretical and practical implications for the use of avatar-based e-mental health interventions are discussed. (shrink)

The use of organic farming technologies has certain advantages in some situations and for certain crops such as maize; however, with other crops such as vegetables and fruits, yields under organic production may be substantially reduced compared with conventional production. In most cases, the use of organic technologies requires higher labor inputs than conventional technologies. Some major advantages of organic production are the conservation of soil and water resources and the effective recycling of livestock wastes when they are available.

The film The Survivalist portrays a dystopic world, wherein the most valuable asset is seeds. The 'seeds' metaphor applies both in the context of agriculture and in that of fecundity. The Survivalist's hostile hospitality toward a pair of nomads -- a mother and her daughter -- results in the pregnancy of the latter. In the last raid on his compound, the Survivalist allows the daughter to escape at the expense of his own life. This sacrifice manifests a severe critique against (...) the preference given today to the well-being of the individual at the expense of the survival of the species. (shrink)

A central problem within an influential strand of recent philosophy of mind has been to explain the “conformity of mind to thing” that characterizes knowledge. John Haldane has argued that this problem can be best addressed by a development of Thomas Aquinas’s account of the “formal identity” of the knowing subject with the object known. However, such a development is difficult to present in a manner perspicuous to a contemporary audience. This paper seeks to present a persuasive account of formal (...) identity, taking sensory cognition of the individual object as the primary case for examination. Formal identity is initially explored usingthe notion of encoding, or the systematic transfer of information reflecting efficient and formal causal processes. The mathematical notion of “isomorphism” is thenemployed to describe precisely the features of encoding needed for formal identity. Forms are defined as formally identical if and only if they are isomorphic. (shrink)

A comunicação científica divulgada pela CompleXitas carrega nas camadas de seu campo semântico os significados de Renovar-se e Germinar. No âmbito gramatical os signos apostos neste editorial são sintaticamente delineados como verbos. Estes fundamentos estão presentes no volume 6/1/2022 na ação de manter o periódico como um dos canais de divulgação nos horizontes da Interdisciplinaridade, Fenomenologia e Hermenêutica. Além de agir é necessária a vida humana avaliar o percurso existencial para manter o curso da vida justa e boa a todos; (...) igualmente, em um periódico científico a avaliação favorece parâmetros para manter as premissas que o sustentam e atualizar os suportes. Estes preceitos permeiam o intervalo ocorrido entre as publicações. (shrink)

A comunicação científica divulgada pela CompleXitas carrega nas camadas de seu campo semântico os significados de Renovar-se e Germinar. No âmbito gramatical os signos apostos neste editorial são sintaticamente delineados como verbos. Estes fundamentos estão presentes no volume 6/1/2022 na ação de manter o periódico como um dos canais de divulgação nos horizontes da Interdisciplinaridade, Fenomenologia e Hermenêutica. Além de agir é necessária a vida humana avaliar o percurso existencial para manter o curso da vida justa e boa a todos; (...) igualmente, em um periódico científico a avaliação favorece parâmetros para manter as premissas que o sustentam e atualizar os suportes. Estes preceitos permeiam o intervalo ocorrido entre as publicações. (shrink)

This paper reports how according to Heidegger, Deleuze, and Agamben, both the notion of thinking and of philosophical activity, far from meaning the same, involve fundamental differences. However, our reading of the three authors also proposes to discover a common affiliation related to the contrast between “doxa” and “thinking”; Heidegger’s, Deleuze’s and Agamben’s are three ways by which we can understand the “birth” or “emergence” of thinking as an experience or activity that should not be understood as stemming from the (...) field of communication or re-presentation. All these considerations converge finally in the subtle quality of thought as liminal “pow-er” that, according to each author, must also be understood in its paradoxical quality of “impotence”, quality much closer to the experience of in-corporation as an event ; to the pre-supposed, non-discursive moment –and simultaneously con- stituent– of either philosophical, artistic, or scientific “creation” ; or to the pure enjoyment of power, as the experience of a type of “deprivation”, both positive and unlimited, as well as eluding any “function”. (shrink)

Carrying out analyzes of qualitative master's and doctoral research continues to be a great difficulty for researchers in training. Thus, in this writing I present an itinerary for documental studies of public policies, scientific and literary texts, based on the Ricoeurian hermeneutics of discourse, text and ideology, based on two works by the philosopher, several articles to validate the interpretive procedure; and the dialogue with contributions from the gestalt clinical discourse, as the main application of the proposal is in the (...) field of Psychology and health studies. In the script I present a dynamic structure composed of three interconnected steps: identification; b) general and specific structure; c) hermeneutics of discourse. As an illustration I apply the itinerary to a poetic text. I conclude that the script allows, in the work of interpretation, to establish the distance from belonging and to overcome the intention of what the author intended to say. (shrink)

Este artigo busca apresentar de forma concisa o denominado Problema da Indução em David Hume e Thomas Reid. Em Hume, tem-se a recusa profunda de os raciocínios indutivos serem fruto ou resultado de um processo racional. No entanto, em Reid, para além de uma recusa em um processo dito racional, há o apelo àquilo que este chamou de princípios constitutivos da mente humana. Hume apela a um ceticismo epistemológico no qual se viu enredado, ao passo que Reid opta por um (...) caminho diferente, em que o raciocínio indutivo decorre de princípios com os quais a mente humana opera constitutiva e originariamente. Vale ressaltar que a utilização de um pensador como Reid em contraposição a Hume foi feita justamente pelo fato de o contemporâneo Problema da Indução ter sido objeto de reflexão e suscitar, assim, respostas diferentes de ambos filósofos. (shrink)

RESUMO Este artigo propõe pensar sobre as vicissitudes do cuidado na rede pública de atenção psicossocial e sobre a fundamentação de uma perspectiva ético-dialógica de trabalho a partir de contribuições bakhtinianas. A reflexão se entretece na análise de impasses e possibilidades para a práxis em um Centro de Atenção Psicossocial da Região Metropolitana I do Estado do Rio de Janeiro. O estudo é resultado da pesquisa de mestrado vinculada ao Programa de Pós-graduação em Saúde Pública da Escola Nacional de Saúde (...) Pública Sergio Arouca da Fundação Oswaldo Cruz. Foram realizadas entrevistas semiestruturadas com os profissionais e observação participante no cotidiano da instituição. A partir das análises realizadas sob o prisma do Construcionismo Social e do recurso de análise de práticas discursivas e produção de sentidos, verificamos a presença de posicionamentos contraditórios expressos em percepções que se mostraram ao mesmo tempo consonantes e conflitantes com pressupostos ético-dialógicos. ABSTRACT This paper proposes to think about the vicissitudes of care in the public psychosocial care network and about the fundamentals of an ethical-dialogical perspective of work with grounds in the Bakhtinian contributions. The reflection is interwoven in the analysis of the impasses and possibilities for the praxis in one Centro de Atenção Psicossocial - [Psychosocial Care Center - PCC] in the metropolitan area of the State of Rio de Janeiro, Brazil. The study is the result of a Master’s Degree research, linked to the Public Health Postgraduate Program of the Sergio Arouca National Public Health School of the Oswaldo Cruz Foundation. Semi-structured interviews and participant observation were carried out with professionals during the institutional routine. From the analyses performed under the perspective of Social Constructionism and using the resource of analysis of discursive practices and meaning production, we verified the presence of contradicting positions expressed in perceptions that are both aligned and conflicting with dialogical ethics assumptions. (shrink)