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)

Ayda Ignez Arruda was a key figure in the development of the Brazilian school of Paraconsistent logic and the first person to write a historical survey of the field. Despite her importa...

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)

Departing from and closing with reflections on issues regarding teaching practices of philosophy of mathematics, I propose a comparison between the main features of the Leibnizian notion of symbolic knowledge and some passages from the Tractatus on arithmetic. I argue that this reading allows (i) to shed a new light on the specificities of the Tractarian definition of number, compared to those of Frege and Russell; (ii) to highlight the understanding of the nature of mathematical knowledge as symbolic or formal (...) knowledge that Wittgenstein mobilizes in his book; (iii) to offer reasons for the claim that Wittgenstein can be considered the philosopher of mathematical practice avant la lettre. The paper ends with an overview, a return to the initial reflection on the connections between research and teaching, and a defense of the reading key used here in terms of its potential for the research in philosophy of mathematics. (shrink)

O texto fornece distinções conceituais engendradas desde uma perspectiva para o ensino de filosofia que contempla, em seu horizonte, o projeto a construção de uma didática mínima da lógica para o ensino médio. Após a apresentação de alguns aspectos positivos da referida perspectiva são indicadas duas maneiras usuais de compreender e praticar o ensino de lógica. O objetivo central do texto é mostrar como, desde a perspectiva inicialmente esboçada, os esclarecimentos conceituais propostos podem sugerir caminhos interdisciplinares para a didática da (...) lógica sem perda da especificidade da disciplina. The text provides some conceptual distinctions generated from a perspective on teaching philosophy according to which the project of a "didactica minima" for logic in high schools is contemplated. After a brief presentation of some positive aspects of the perspective from which the distinctions are proposed, two common ways of teaching logic are considered. The aim of the paper is to show how the perspective proposed can clarify some topics on the issue of teaching logic in an interdisciplinary way, without losing the specifics of the discipline. (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)

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

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)

O livro reúne textos apresentados no II Workshop de Filosofia e Ensino, realizado na UFRGS em 2015, com a temática "Epistemologia e Currículo" -/- .

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)

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)

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)

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 note presents an analysis of Symbolic Knowledge from Leibniz to Husserl, a collection of works from some members of The Southern Cone Group for the Philosophy of Formal Sciences. The volume delineates an outlook of the philosophical treatments presented by Leibniz, Kant, Frege, and the Booleans, as well as by Husserl, of some questions related to the conceptual singularities of symbolic knowledge –whose standard we find in the arts of algebra and arithmetic. The book’s unity of themes and (at (...) least in part) style is examined with the aim of showing the articulation of its parts. (shrink)

Trata-se de uma análise do livro Quando ninguém educa (Rocha, 2017), visando expor uma contextualização, uma estruturação e uma avaliação dos principais eixos e propostas do livro.

Many people regularly watch horror films. While it seems clear that sporadically watching horror films will not make us bad people, if it is the main type of media that we consume, then are we still safe? I will defend most horror films from Di Muzio (2006), who worries that we are harming our moral character by watching them. Most horror films (e.g., Candyman, Get Out, and Scream) fall into what I call the summit of safe horror (SoSH), the inverse (...) of the uncanny valley effect, wherein almost-but-not-quite-human robots elicit discomfort from viewers rather than empathy. In the SoSH, violence elicits excitement rather than pity for the victims because the violence is mitigated by, among other things, comic relief and foolish choices by the characters. These narrative features allow most horror films to be intense enough to cause excitement and terror yet not so intense as to cause a negative moral attitude to form in our soul, because we feel what Aristotle would consider the appropriate amount of fear. Torture porn, a subset of horror films lacking plot and focus solely on gore (e.g., the Saw sequels), falls outside of the SoSH because it lacks these narrative features, making the violence depicted too intense to be entertaining. These films outside the SoSH will not necessarily cause an inappropriate amount of fear but are simply the only ones that could possibly do so. Caution: spoilers ahead! (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)

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)

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)

Aristotle lists six different hexeis (stable states of the soul) in Nicomachean Ethics Book VII. The three to be avoided are akrasia (lack of self-control), vice, and beastliness. Their mirrors, the three to be praised, are enkrateia (self-control), virtue, and superhuman virtue. While the beastial and superhumanly virtuous fall out of discussion, the other four remain a focus for most of Book VII. Aristotle thinks that he has described four reliable ways in which people act always or hōs epi to (...) polu (for the most part). However, I argue that he has only given us enough information to delineate three hexeis. On my interpretation, the akratēs (person lacking self-control) and the enkratēs (self-controlled person) are the same kind of person, they differ only in degree. They exist on a spectrum, while the other two hexeis are distinct kinds of people. While this is hardly the received view, I am convinced that it is consistent with the text. By his own lights, Aristotle does not have a description of the akratēs as differing from the enkratēs making a mistake. Therefore, I want to group them together, rather than draw a bright line between them. First, the mistake of the akratēs is very narrow. She does not know, or knows only in the way the drunk person knows, the conclusion to the good practical syllogism. Second, akrasia is only about an excess of the bodily pleasures associated with food and sex. Aristotle lists eleven other areas where her behavior is undetermined. Third, the akratēs and enkratēs lack the psychological unity that I argue the virtuous and vicious each possess. Therefore, I conclude that the akratēs and enkratēs are the same kind of person. The upshot of my view is that, because it focuses on the positives rather than the negatives, it exhorts us to be better people. (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)

A presente obra assume-se como um projeto genuinamente interdisciplinar de reflexão ética, interrogando os seus fundamentos e explorando as suas interseções com diversas áreas das Ciências Humanas e Sociais. Reunindo especialistas de distintas áreas, oriundos de países diferentes, o livro tem como fio condutor um diálogo polifónico com o pensamento ético contemporâneo, enraizando-se na tradição crítica que procura refundar a racionalidade prática na construção humana de sentido e, por conseguinte, refutar o niilismo e o relativismo axiológico absoluto.

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)

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)

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)

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 chapter describes the potential far‐reaching consequences of contemplative higher education for the fields of science and medicine.

O problema no qual se inserem nominalismo e realismo, diz-nos MacBride, é o de como explicar as características repetidas das coisas. Enquanto o realista nos diz que as características repetidas se explicam por serem universais, ou seja, por serem as naturezas comuns que várias coisas compartilham, o nominalista nos diz que é possível explicar essas características repetidas com apenas particulares concretos (sem universais).

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.

O uso dos nomes próprios sem nenhum outro indexador externo aos seus portadores expressa uma escolha narrativa em Úrsula (1859), romance de Maria Firmina dos Reis (1822-1917). Esse uso permite introduzir uma concepção de maternidade como condição para historicidade em contexto patriarcal e escravocrata. A autora não assina a novela, senão sob a descrição indefinida de “uma maranhense”, e, como pretendo demonstrar, essa indefinição é consistente com a vindicação da universalidade na narrativa, em que a autoria de uma história (...) não deve influenciar o sentido da denúncia da escravidão e do patriarcado. O uso dos nomes como descrições, em contraste, desempenha a função normativa de condenar a escravidão e o patriarcado e de condicionar uma historicidade. Primeiro, farei uma breve consideração histórica e biográfica, buscando contextualizar Úrsula, tanto na história do Brasil como na história da literatura do Brasil, com o intuito de situar a natureza abolicionista do texto. Em seguida, tratarei da relação de coextensão entre natureza e liberdade na determinação desse abolicionismo. Depois, chamarei a atenção para o sentido da escolha narrativa pelo uso dos nomes como descrições definidas. Por fim, apresentarei como esse uso permite à autora introduzir uma noção de historicidade, a partir do atrelamento do abolicionismo à função materna. Este último passo é o que constitui o ineditismo e a potência feminista do texto de Firmina, sob o manto da prosa romântica de folhetim. (shrink)

Esta entrevista está orientada a desentrañar la participación actoral de Giselle Collao con su personaje de Lucía en la serie televisiva Mil oficios (2001- 2003). Los temas que se desarrollarán para confrontar esa realidad serán la formación y la vocación que tuvo, así como la actitud que debió adoptar por las mismas pautas y los parlamentos del guion. De ese modo, su papel sería más verosímil y acogido con simpatía por la audiencia. Su interpretación en sí ha sido singular (...) y destacable en el país. Esto se ha demostrado con el decurso del tiempo, puesto que el público peruano aún recuerda su tan entrañable rol. Considerando esa premisa, las interrogantes que resuelve la actriz revelarán y complementarán ese universo real y subrepticio que permitió que su desenvolvimiento en la pantalla chica sea exitoso con esta teleserie. (shrink)

"Se c’è un tratto dell’esperienza contemporanea che esemplifica le asimmetrie di potere che le donne continuano a subire, questa è la violenza. Violenza fisica e sessuale, ma anche (e soprattutto) violenza psicologica, morale, addirittura linguistica. Violenza come evento drammatico che nel suo improvviso accadere attualizza (e rende intelligibili) quei livelli più profondi e ancestrali della coscienza collettiva di cui la modernità non è riuscita purtroppo a liberare la nostra cultura. Ma violenza anche come indicatore (tragico) dei molteplici livelli di tensione (...) che si nascondono nelle relazioni di genere, sia a livello interpersonale che istituzionale: dalla famiglia, alle reti di prossimità, ai sistemi di educazione. Indagare il fenomeno della violenza sulle donne, come mostra il volume del Dipartimento di Scienze Politiche e Sociali dell’Università di Pisa (a cura di Luca Corchia), significa confrontarsi con un tema che affonda nel privato delle persone e, spesso, è ancora trattato in maniera inadeguata nel dibattito pubblico e politico. La violenza sulle donne striscia nella nostra quotidianità, il più delle volte in modo silenzioso, senza nessun riflettore. Da qui l’esigenza politica di costituire una rete integrata di servizi che prevenga, monitori e contrasti ogni forma di abuso, accolga e sostenga le vittime di tali violenze e sensibilizzi tutti i cittadini su di un problema la cui diffusione è tanto più allarmante nella misura in cui continua a rimanere una sorta di ‘sfondo oscuro’.". (shrink)

In a few texts, Thomas Aquinas says that the first operation of the intellect pertains to (respicit) “the quiddity of a thing” whereas the second operation pertains to “the to be itself of a thing” (esse). But Aquinas also says that quiddities are to the intellect as color is to the power of sight. Statements such as these seem to have led Jacques Maritain and Étienne Gilson to see esse as the proper object of the intellect’s second operation. Against this (...) conclusion, Fr Régis and Ralph McInerny have argued—using Aquinas’s In I Peryermenias, lecture 5—that since ‘is’ is a verb and ‘is’ signifies existence, but all verbs signify the first operation of the intellect, we must be able to form a concept of existence in the first operation of the intellect. This paper does three things. First, it analyzes the nature of the claim made by Maritain and Gilson. Second, it shows from internal textual evidence that “respicit ipsum esse rei” cannot mean what Maritain and Gilson take it to mean. The second operation of the intellect cannot have a proper object distinct from the object of the first operation, which is quiddities. Finally, this paper provides an alternative interpretation of In I Peryermenias, lecture 5, to the one given by McInerny. In that text, Aquinas does not speak about a particular concept of existence in the first operation of the intellect and signified by the verbs ‘is’ or ‘exists.’ Rather, he uses the word ‘esse’ in indirect speech to include generally any form or act joined to a subject by the copula, ‘is.’ Aquinas’s focus is not on what ‘esse’ or ‘est’ signifies, but on the mode in which it signifies (per modum actualitas) absent additional qualifying terms. The conclusion of this paper is that, although the esse contrasted with essence in Aquinas’s metaphysics corresponds to a concept in the intellect’s first operation, nevertheless, like the notions of blindness and of genus, this esse cannot fall properly within the intellect’s object. (shrink)

The purpose of this article is to present the influence of Plotinus' thought on the political philosophy of the Roman Emperor Julian, between the years 361 to 363. The methodology consists of selecting excerpts from the works of Juliano Misopogon and Cartas y Fragmentos that may indicate the influence of the ideas of Plotinus' Ennead in the speech given by the Emperor to legitimize his political power. Juliano argues that the laws of the empire were created by the gods for (...) the organization of human life, so that obedience to the gods necessarily requires an obedience to those laws. According to Juliano, knowledge or episteme about the laws of empire is conditioned to the escape from sensible reality in the name of spiritual reality, in which the wise ruler also needs to transcend the body to know and obey divine laws. Thus, after analyzing Juliano's arguments, we seek to reflect on the viability of the political system adopted by him, especially if the reception of his ideas by rulers from the 20th century onwards is considered. (shrink)