Besides the better-known Nelson logic and paraconsistent Nelson logic, in 1959 David Nelson introduced, with motivations of realizability and constructibility, a logic called $\mathcal{S}$. The logic $\mathcal{S}$ was originally presented by means of a calculus with infinitely many rule schemata and no semantics. We look here at the propositional fragment of $\mathcal{S}$, showing that it is algebraizable, in the sense of Blok and Pigozzi, with respect to a variety of three-potent involutive residuated lattices. We thus introduce the first known algebraic (...) semantics for $\mathcal{S}$ as well as a finite Hilbert-style calculus equivalent to Nelson’s presentation; this also allows us to clarify the relation between $\mathcal{S}$ and the other two Nelson logics $\mathcal{N}3$ and $\mathcal{N}4$. (shrink)

Estas reflexões visam aproximar os conceitos linguístico-filosóficos vistos a partir da filosofia da linguagem nos diferentes períodos da história da civilização ocidental. A intenção é mostrar o modo como foram compreendidos os conceitos mais importantes da filosofia no campo da linguagem. Evidentemente, uma história repleta de detalhes, conceitos e circunstanciada por vários e complexos elementos culturais não poderia ser exposta de forma completa em poucas páginas. Assim, a nossa finalidade é antes mostrar os conceitos linguísticos considerados a partir de uma (...) perspectiva filosófica, de sorte que procuraremos enfatizar a maneira pela qual a linguagem foi vista e estudada através da tradição linguística, filosófica e cultural. (shrink)

In Aristotle’s account of change, lacking a form is called privation (Physics I.7 191a14). For example, someone takes on the form of being musical only from previously having the privation of being unmusical. However, he also states that “shape and nature are spoken of in two ways, for the privation too is in a way form” (Physics II.1 193b19). I will demonstrate that these seemingly contradictory statements are not actually in tension. Since all perceptible matter must be enformed, we would (...) have trouble discussing things that have yet to undergo generation, like menstrual fluid, and things that have undergone corruption, like corpses, if we did not cite the privation as a sort of form. I will argue that, given his commitment to hylomorphism, Aristotle is committed to privation being a form in a qualified sense. It cannot be a form in an unqualified sense because privation often spoils the matter such that it can no longer be reformed. The fact of the matter is we cannot draw a bright line between privation and form because the two are contraries and can be said to hold to different degrees at different points on a spectrum. (shrink)

O presente trabalho constitui-se de uma breve análise dos trechos que vão de 1005b 35 à 1006a 27 do capítulo quatro do livro Gama da Metafísica de Aristóteles e pretende fornecer uma leitura alternativa àquela feita pela tradição acerca da defesa do princípio de não-contradição elaborada nesse texto por Aristóteles. Com a ideia de um roteiro refutativo, pretendemos mostrar que argumentação em defesa do princípio encontra seu sucesso no seguimento desse roteiro provando, via demonstração elêntica, a validade e universalidade deste.

De libero arbitrio presents one of the first arguments of God’s existence developed by a Christian thinker. Using the hierarchy of beings, St. Augustine establishes Reason as an instrument for seeking a reality that is supreme: that which, finding nothing more excellent, Reason itself would not hesitate to call “God”. The present paper demonstrates how this argument is aligned with Augustinian axiom that the rational search already presupposes a fiduciary adhesion. If on the one hand it offers a substrate upon (...) which other thinkers will develop their ontological arguments of divine existence, on the other hand, Augustine differs from them in his intention. For him, more than convincing doubters, this exercise finds its greatest value in strengthening by Reason the convictions of those who have already found, by faith, the God they now seek to know. (shrink)

In the approach that sustains this entire essay, besides my own trajectory as a researcher, the path moves away from the orthodox tradition, the more Kantian one, incorporating in Social Theory a philosophical line for a long time forgotten, by including figures such as Baruch Spinoza (1632-1677), the founding father, Friedrich Nietzsche (1844-1900), Alfred North Whitehead (1861-1947), Henri Bergson (1859-1941), Gilbert Simondon (1924-1989), Gilles Deleuze (1925-1995) and many others. They would be the famous authors of vitalism, also known as philosophers (...) of life (Lebensphilosophie), philosophers of process, or philosophers of affect. What are the implications when these figures invade the field of Social Theory, which characteristics can be found and, mainly, which advantages when compared with their more orthodox side and their insistent commitment to Kantian philosophy and its transcendental by-products (power, culture, ideology, discourse, etc)? Following this and other questions, six points will be considered as representative of what we call here an Object-Oriented Social Theory (O.O.S.T.). (shrink)

On Augustine"S Shoulders Rests A Philosophical Production Stigmatized Both By The Free Will Of The Human Volition And By The Efficacy Of Divine Grace. Aware Of The Tension Between These Two Movements, The Author Himself Identifies, Among His Writings, A Work In Which He Considered To Have Duly Solved This Question: De Diversis Quaestionibus Ad Simplicianum. The Present Research Will Investigate The First Book Of This Treatise To Simplician, Comparing It With The Previous And Later Writings, To Analyze The New (...) Moment That The Text Represents In The Augustinian Theory Of The Will. From It, The Human Will Is Described By Augustine As Incapable Of Moving In Search Of Divine Help, Thus Being At The Mercy Of The Initiative Of Grace To Desire The Good. In View Of This New Understanding Of The Author, The Following Problematic Will Be Addressed: Does Augustine Still Preserve Any Value To The Human Will In De Diversis Quaestionibus Ad Simplicianum? The Hypothesis Developed In This Work Is That, Despite The Protagonism. (shrink)

Como área interdisciplinar, as Ciências Cognitivas começam a se desenvolver em meados da década de 1950 a partir de uma concepção compartilhada sobre a mente, hoje chamada de cognitivista. Esses pesquisadores concebiam a mente com uma natureza representacional que opera por meio de computações simbólicas. Atualmente, há uma multiplicidade de abordagens e teorias sobre a mente. Nesse espectro de posições, há desde abordagens tradicionais, que concebem a mente como representacional, até abordagens bastante radicais, que negam qualquer natureza representacional para a (...) mente. Após introduzir este tema, apresentamos as críticas de William Ramsey à representação enquanto definidora das Ciências Cognitivas ou, em outros termos, à representação enquanto critério de demarcação do cognitivo. Desenvolveremos uma hipótese interpretativa para a crítica de Ramsey mobilizando o conceito de estratégia de pesquisa, de Hugh Lacey. Apresentaremos a distinção de Lacey entre adoção de uma estratégia e aceitação de uma teoria, discutindo a suposta independência avaliativa entre estratégia e teoria. Finalizaremos com a defesa de um pluralismo de estratégias nas Ciências Cognitivas. Diferente de concepções que buscam reduzir prematuramente as Ciências Cognitivas a uma única estratégia, o pluralismo que defendemos equilibra a eficiência na resolução de problemas com outros valores considerados importantes, como a abrangência empírica e a neutralidade no sentido de inclusividade e equitatividade de valores. No atual momento das ciências cognitivas, o pluralismo de estratégias constitui o caminho mais promissor. (shrink)

Recent years have seen a surge of interest in implicit bias. Driving this concern is the thesis, apparently established by tests such as the IAT, that people who hold egalitarian explicit attitudes and beliefs, are often influenced by implicit mental processes that operate independently from, and are largely insensitive to, their explicit attitudes. We argue that implicit bias testing in social and empirical psychology does not, and without a fundamental shift in focus could not, establish this startling thesis. We suggest (...) that implicit bias research has been conducted in light of inadequate theories of racism and sexism. As a result, such testing has not sufficiently controlled for subjects’ prejudiced explicit beliefs and emotions, and has not ruled out the possibility that explicit prejudice best explains test subjects’ discriminatory associations and behavior. (shrink)

Focusing on Deleuze´s concept of becoming and on the way it embraces difference in the genesis of literary writing, we intend to put in dialogue the concept and the philosopher with the post-colonial criticism and its re-articulation of the subaltern´s issue, to make a reinterpretation of the becoming and its variations – becoming-woman, becoming-minor – for cultural and literary analysis.

I argue that recent attempts to vindicate blame have failed to fully face the vengeful feelings and angry outbursts that have led to scepticism about blame’s ethical status. This paper ende...

Abstract: Contemporary analytic philosophers of the “reactive attitudes” tend to share a simple conception of guilt as “self-directed blame”—roughly, an “unpleasant affect” felt in combination with, or in response to, the thought that one has violated a moral requirement, evinced substandard “quality of will,” or is blameworthy. I believe that this simple conception is inadequate. As an alternative, I offer my own theory of guilt’s logic and its connection to morality. In doing so, I attempt to articulate guilt’s defining thought (...) or proposition through an extended investigation and analysis of guilt’s many competing metaphors, which I trace from the Hebrew Bible to the New Testament to Shakespeare to contemporary vernacular. My interpretation of this literary genealogy offers a way to understand guilt’s seemingly disparate metaphors in terms of a single master-image that illuminates our self-conceptions and our relationship to morality. I conclude by making a very brief start toward a moral vindication of guilt against the backdrop of Nietzschean and Freudian analyses that explicitly call guilt’s place in a healthy social and personal life into question. I suggest that once guilt’s logic is made explicit, we can see that it makes sense of, honors, and addresses some of our deepest aspirations and needs. (shrink)

I argue that fitting resentment tracks unacceptable ‘ecological’ imbalances in relative social strength between victims and perpetrators that arise from violations of legitimate moral expectations. It does not respond purely, or even primarily, to offenders’ attitudes, and its proper targets need not be fully developed moral agents. It characteristically involves a wish for the restoration of social equilibrium rather than a demand for moral recognition or good will. To illuminate these contentions, I focus on cases that I believe demonstrate a (...) corollary thesis, namely, that strength, broadly construed, is a necessary condition of resentment-worthiness. I argue that weakness can make resentment unfitting in two ways. First, weakness may prevent a wrongdoer from shifting the balance of social power. Second, a weak wrongdoer may do social damage but be so lowly that resentment, which would represent him as excessively strong, would be inapt. Finally, I consider how accepting the ecological view might affect our theorizing about moral responsibility and the ethics of blame. (shrink)

Contemporary philosophers of moral responsibility are in widespread agreement that we can only be blamed for actions that express, reflect, or disclose something about us or the quality of our wills. In this paper I reject that thesis and argue that self disclosure is not a necessary condition on moral responsibility and blameworthiness: reactive responses ranging from aretaic appraisals all the way to outbursts of anger and resentment can be morally justified even when the blamed agent’s action expresses or discloses (...) nothing significant about his or her “deep self,” judgments and cares, or the quality of his or her will. I argue that the self-disclosure requirement on responsibility overestimates the extent to which our blaming practices and responsibility judgments are responsive to agents as opposed to actions, and that this mistake has the potential to distort both our reactive responses and our understanding of blamed agents’ characters. (shrink)

In this paper, I argue that the principle of respect for autonomy can serve as the basis for laws that significantly limit conduct, including orders mandating isolation and quarantine. This thesis is fundamentally at odds with an overwhelming consensus in contemporary bioethics that the principle of respect for autonomy, while important in everyday clinical encounters, must be 'curtailed', 'constrained', or 'overridden' by other principles in times of crisis. I contend that bioethicists have embraced an indefensibly 'thin' notion of autonomy that (...) uproots the concept from its foundations in Kantian ethics. According to this thin conception, respect for autonomy, if unconditioned by competing principles (beneficence, justice, non-maleficence) would give competent adults the right to do anything they desired to do so long as they satisfied certain baseline psychological conditions. I argue that the dominant 'principlist' model of bioethical reasoning depends on this thin view of autonomy and show how it deprives us of powerful analytical tools that would help us to think seriously about the foundations of human rights, justice, and law. Then, I offer a brief sketch of a 'thick', historically grounded notion of autonomy and show what we could gain by taking it seriously. (shrink)

Recent years have seen the rise of ‘Just Culture’ as an ideal in the patient safety movement, with numerous hospitals and professional organisations adopting a Just Culture response to incidents ranging from non-culpable human error to intentional misconduct. This paper argues that there is a deep problem with the Just Culture model, resulting from its impoverished understanding of the value of punitive, fundamentally backward-looking, practices of holding people accountable. I show that the kind of ‘accountability’ and ‘punishment’ contemporary Just Culture (...) advocates endorse disrespects both patients and providers. I claim, first, that punishment is good because it respects participants in the healthcare system by restoring an equilibrium of social and moral status that wrongdoing disturbs, and, second, that it only does so when it communicates a backward-looking message of resentful blame. (shrink)

In this paper, we argue that providers who conscientiously refuse to provide legal and professionally accepted medical care are not always morally required to refer their patients to willing providers. Indeed, we will argue that refusing to refer is morally admirable in certain instances. In making the case, we show that belief in a sweeping moral duty to refer depends on an implicit assumption that the procedures sanctioned by legal and professional norms are ethically permissible. Focusing on examples of female (...) genital cutting, clitoridectomy and ‘normalizing’ surgery for children with intersex traits, we argue that this assumption is untenable and that providers are not morally required to refer when refusing to perform genuinely unethical procedures. The fact that acceptance of our thesis would force us to face the challenge of distinguishing between ethical and unethical medical practices is a virtue. This is the central task of medical ethics, and we must confront it rather than evade it. There are no data in this work. (shrink)

In the first half of the 20 th century, philosophers of science used to sustain that the correct theory acceptance in science derived from their conforming to certain rules. However, from the historicist and practical turn in the philosophy of science, the theory acceptance started to be analyzed based on values rather than on a priori established rules. In this article, I will present four paradigmatic positions on the role of values in science. The first position, articulated by Hugh Lacey, (...) defends a regulative ideal of 'impartiality' in the acceptance of scientific theories as established. The other positions convey arguments that seem to conflict with this ideal. I characterize them as 'blind spot argument', 'inductive risk argument' and 'trust-based acceptance argument'. Based on this analysis, I will defend two main theses. My first thesis is that the ideal of impartiality is compatible with the arguments just mentioned. My second thesis is that the defense of impartiality has the advantage of providing a support for the epistemic authority of properly established scientific knowledge. Following Lacey, I will argue that theories can only be accepted as established under specified domains of phenomena. However, theories are accepted for other purposes, for example, when they are adopted to develop research or when they are endorsed to inform the legitimacy of an action. In such cases of theory acceptance, impartiality is neither possible nor desirable, which requires the support of other ideals. (shrink)

This chapter argues that adequately facing and responding to medical error requires making space for blame. In vindicating blame as a response to medical error, this essay does not advocate a return to a “bad apple” blame culture in which unlucky practitioners are unfairly scapegoated. It does, however, defend the targeted feeling and expression of angry, and even resentful, blaming attitudes toward health-care providers who make at least certain kinds of mistakes. The chapter makes the case that the angry and (...) resentful feelings associated with blame reflect a conception of oneself as a person worthy of consideration, and that expressing these feelings allows victims and families to fight for their dignity and self-respect. Along the way, it distinguishes between shaming and blaming, explaining that blaming, unlike shaming, characteristically aims to draw offenders into a moral dialogue. As a result, a good blaming practice can provide a logic within which providers who make costly errors may seek forgiveness, reconciliation, and healing. (shrink)

This book deals with an internal theme of metaphysics, which is the metaphysics of the laws of nature. The author presents traditional contemporary theories, as well as his own original theory, and evaluates each one at a time. He also addresses the problem of the modality of the laws of nature and makes some criticism of the standard view of necessity as truth in all possible worlds, and shows an application of his discussion to the metaphysics of physics. / Este (...) livro trata de um tema interno à metafísica, que é a metafísica das leis da natureza. O autor apresenta as teorias tradicionais contemporâneas, tal como também a sua própria teoria original, e avalia cada uma delas por vez. Ele também aborda o problema da modalidade das leis da natureza e apresenta uma certa crítica à visão padrão da necessidade como verdade em todos os mundos possíveis, e mostra uma aplicação da sua discussão à metafísica da Física. (shrink)

This book talks about the city's reception of philosophy. The purpose of this chapter is to show that philosophy is essential for the maintenance of human security in our cities. The importance of this apology for philosophy is precisely to undo a common but erroneous conception of the nature and disadvantages of this discipline and to politically base its existence. To do this, we will present a characterization of philosophy and some of the most important criticisms of its development within (...) the city, and show that they are not sustainable. Subsequently, we will approach the concept of human security, constructed by Amartya Sen and Obuchi Keizo, and indicate how philosophy is fundamental to its preservation. /// Este livro fala sobre a recepção da filosofia pela cidade. O objetivo deste capítulo é mostrar que a filosofia é essencial para a manutenção da segurança humana de nossas cidades. A importância dessa apologia da filosofia é justamente desfazer uma concepção comum, porém errônea, da natureza e das desvantagens dessa disciplina e fundamentar politicamente sua existência. Para fazermos isso, apresentaremos uma caracterização de filosofia e algumas das mais importantes críticas ao seu desenvolvimento no seio da cidade, e mostraremos que elas não se sustentam. Posteriormente, abordaremos o conceito de segurança humana, construído por Amartya Sen e Obuchi Keizo, e indicaremos como a filosofia é fundamental para a sua preservação. (shrink)

Language is the main resource for meaningful action, including the very formation of selves and psychosocial identities, shaped by practical norms, beliefs, and values. Thus, language education constitutes one of the most powerful means for both social reproduction and social production and ideological maintenance and utopian innovation. In this paper, we attempt to emphasise the invaluable psychosocial, political, economic, and cultural function of language education in order to propose a critical view of the current transition from the monolingual to a (...) multilingual paradigm. We maintain that multilingual approaches tend to serve the neoliberal framework and reproduce its systemic inequalities. Therefore, we argue in favour of emancipatory multilingual practices that could embody a translingual pedagogy capable of promoting the development of capabilities, the recognition of otherness, and the cultivation of diversity. Rooted in critical theory, namely in Foucault’s notion of subjectification and Freire’s view of conscientisation, an emancipatory translingual pedagogy would enable and empower every learner to synthesise a contextually creative field of new semantic and pragmatic relationships. Critical language education would enhance the ethos of biophilia that fosters what we term the poetics of communality and selfhood, that is to say, the proactive commitment to expanding symbolic and existential novelty. (shrink)

This chapter describes the potential far‐reaching consequences of contemplative higher education for the fields of science and medicine.

O objetivo deste livro é propor uma reflexão sobre o ideário de centro, se perguntando se ele seria possível e como. Preferi chamar de “Uma Ideologia de Centro” em vez de “Ideário”, pois o termo “Ideologia” é instigante para um título. Entretanto tenho a noção de que essa palavra é bastante carregada de significados teóricos. No modelo marxista, grosso modo, a ideologia é um conjunto de crenças, construído pela parcela dominante da sociedade, para naturalizar a dominação. Não é nesse sentido (...) que utilizo o termo “ideologia”. Gostaria de um significado mais neutro para ele, tal como um conjunto de crenças, valores e/ou ações que respeita um conjunto de princípios. Nesse sentido, podemos pensar em uma ideologia para a direita política, para a esquerda política e para o centro político. Normalmente dividimos o espectro político de acordo com esses princípios; entretanto outras divisões são possíveis, ou ainda pode ser o caso que nenhuma divisão seja realmente objetiva. Como devemos, então, pensar essa divisão? Quais princípios subjazem as ações de diferentes atores políticos? Numa época de polarização política entre esquerda e direita, faz sentido refletirmos sobre posições mais moderadas? Qual conjunto de crenças, valores e ações poderia constituir moderação no cenário atual? Nosso livro tenta trazer uma reflexão sobre o ideário de centro, apresentando pensadores que refletem sobre a possibilidade de estabelecermos um centro, sobre a relação entre a ciência e o centro, sobre reformas centristas, entre outras coisas. Nossa intenção é que este livro promova uma reflexão inicial estimulante, e não a palavra final sobre as ideias apresentadas. Nesse sentido, este livro é ensaístico e tenta produzir algo original, ainda que incompleto. Nosso livro não têm uma unidade de visão; e acreditamos que isso é um mérito, pois não tenta estabelecer, em definitivo, se há e o que é o centro, mas nos leva a pensar sobre o conceito. A reflexão filosófica tem a característica de nos aprofundar nas questões investigadas. Podemos não chegar numa resposta final, mas nosso conhecimento sobre o problema e sobre as respostas para ele aprimoram nossa capacidade reflexiva. Pode-se acabar não concordando com nada do que aqui foi escrito. Maravilha! Se esse é o caso, o mais importante é saber por que não concordamos e construirmos nossa própria crítica argumentativa. Mas não paremos na crítica; construamos também uma teoria positiva, uma visão de mundo. É a partir do processo de criação, crítica, destruição e reconstrução, que tornamos mais fortes as nossas visões de mundo. Parafraseando a maior celebridade filosófica de todos os tempos, Sócrates: a vida só vale realmente a pena, se refletida. (shrink)

Apresentamos neste artigo explicitações histórico-conceituais sobre o surgimento da predicação lógica contemporânea. Quando se trata de predicação, remete-se de imediato à obra de Aristóteles, mas, com as transformações trazidas pela Lógica Contemporânea, o estudo da predicação deixa o plano do estudo lógico-gramatical para o estudo do plano da análise lógicomatemática. Veremos, nesse sentido, a importância dos trabalhos de Peirce, Frege e Russell para o surgimento da predicação lógica contemporânea. Embora Peirce tenha sido o precursor da introdução do conceito de função (...) proposicional na História da Lógica, ganha destaque, contemporaneamente, o modelo de interpretação da predicação inicialmente proposto por Frege. (shrink)

Revision operation is the consistent expansion of a theory by a new belief-representing sentence. We consider that in a paraconsistent setting this desideratum can be accomplished in at least three distinct ways: the output of a revision operation should be either non-trivial or non-contradictory (in general or relative to the new belief). In this paper those distinctions will be explored in the constructive level by showing how the remainder sets could be refined, capturing the key concepts of paraconsistency in a (...) dynamical scenario. These are preliminaries results of a wider project on Paraconsistent Belief Change conduced by the authors. (shrink)

The analysis of logical predication has long philosophical tradition in which one of the central subjects of study is the analysis of the logical form of the proposition. We contemporaneously can say that the way more well-finished of logic predication is propositional function. Historically, the propositional function arises as a logical analysis of the proposition scheme resulting from the convergence of mathematics and logic between the XIX and XX centuries. Two of the main responsible for this convergence were Gottlob Frege (...) (1848 - 1925) and Bertrand Russell (1872-1970). Influenced by Frege's ideas and direct heir of Russell, having been a disciple of this in Cambridge, Ludwig Wittgenstein (1889 - 1951) has become, in view of the originality of his thought, one of the most discussed and commented thinkers of the twentieth century, especially with the publication of his work entitled "Tractatus Logico-Philosophicus" (1921). It's in this work that Wittgenstein more considers himself debtor from Frege and Russell, having left explicit mention to them. Then the question that guides the development of this thesis is: what is the meaning of the propositional function of Frege and Russell in the Wittgenstein's Tractatus (1921)? Our goal is, in this sense, to investigate the meaning of the concept of propositional function in the Tractatus (1921). Our starting point is to understand the meaning of the propositional function in Frege and Russell to understand its meaning in the Tractatus (1921). We will focus our analysis on what Wittgenstein calls "propositional variable" (Satzvariable), term that best approximates, in our view, of the propositional function of Frege and Russell. In this sense, our interpretative question was formulated as: what is the meaning of the concept of propositional variable in the Tractatus (1921)? We defend the thesis that the role of the propositional function in Frege and Russell corresponds to the role of the propositional variable in Wittgenstein. (shrink)

Este artigo é resultado do projeto de pesquisa ‘Educação e ações afirmativas: um estudo sobre a presença e o lugar de professores negros e negras no IFMT’, desenvolvido no Instituto Federal de Educação, Ciência e Tecnologia de Mato Grosso. Tem por objetivo analisar, a partir de uma pesquisa quantitativa, a presença e o lugar de docentes negros e negras na estrutura educacional e administrativa do IFMT. Problematizamos especificamente esta instituição, de modo a compreender o locus dela no cenário de implementação (...) de políticas de ações afirmativas no Brasil pós Durban (2001), tendo em vista que, no contexto geral das universidades públicas e privadas brasileiras, é visível a diminuta presença de professores negros e negras na estrutura didática e administrativa dessas academias. Para tanto, a pesquisa parte do pressuposto de que o cerne deste problema é o racismo acadêmico, justificado ‘brasileiristicamente’ pelo mito da democracia racial, presente na obra de Gilberto Freyre (2003). Por outro lado, descontruímos a ideia de democracia racial, principal impeditivo para a discussão de políticas de ações afirmativas no Brasil até 2001, ano da Terceira Conferência de Durban, tendo como aporte teórico Florestan Fernandes (1972), Kabengele Munanga (1999, 2014), José Jorge de Carvalho (2003, 2006) e Nilma Lino Gomes (2005). Resulta da investigação que o combate à desigualdade racial na docência superior e nas instâncias administrativas universitárias requer novas medidas de ações afirmativas que promovam a igualdade racial e, por conseguinte, ampliem a presença e o protagonismo de docentes negros e negras no ambiente acadêmico. (shrink)

La cobertura universal de salud está en el centro de la acción actual para fortalecer los sistemas de salud y mejorar el nivel y la distribución de la salud y los servicios de salud. Este documento es el informe fi nal del Grupo Consultivo de la OMS sobre la Equidad y Cobertura Universal de Salud. Aquí se abordan los temas clave de la justicia (fairness) y la equidad que surgen en el camino hacia la cobertura universal de salud. Por lo (...) tanto, el informe es pertinente para cada agente que infl uye en ese camino y en particular para los gobiernos, ya que se encargan de supervisar y guiar el progreso hacia la cobertura universal de salud. (shrink)

This report from the WHO Consultative Group on Equity and Universal Health Coverage offers advice on how to make progress fairly towards universal health coverage.

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)