This article details the variety of critical strategies in Mary Wollstonecraft’s A Vindication of the Rights of Woman, finding strong connections with her writing as a reviewer for the Analytical Review, the literary review published by the reformer and Dissenter Joseph Johnson. In Rights of Woman, Wollstonecraft employed textual analyses and an evolving set of theoretical positions that had been introduced in the course of her career at the Analytical Review. By elucidating the importance of the reviews and the specificity (...) of Wollstonecraft’s procedures, this article contributes to a growing consensus that Rights of Woman initiated feminist literary criticism. (shrink)

An old and well-known objection to non-classical logics is that they are too weak; in particular, they cannot prove a number of important mathematical results. A promising strategy to deal with this objection consists in proving so-called recapture results. Roughly, these results show that classical logic can be used in mathematics and other unproblematic contexts. However, the strategy faces some potential problems. First, typical recapture results are formulated in a purely logical language, and do not generalize nicely to languages containing (...) the kind of vocabulary that usually motivates non-classical theories—for example, a language containing a naïve truth predicate. Second, proofs of recapture results typically employ classical principles that are not valid in the targeted non-classical system; hence, non-classical theorists do not seem entitled to those results. In this paper, we analyze these problems and provide solutions on behalf of non-classical theorists. To address the first problem, we provide a novel kind of recapture result, which generalizes nicely to a truth-theoretic language. As for the second problem, we argue that it relies on an ambiguity and that, once the ambiguity is removed, there are no reasons to think that non-classical logicians are not entitled to their recapture results. (shrink)

Intorno alla problematica del vuoto e alla sua dialettica col "pieno" si è giocata anche l'incerta, secolare partita tra libertà e senso. La questione riguarda non solo l'ambito filosofico, interessando la fisica innanzitutto, la psicoanalisi, le arte e l'estetica. Nel ricapitolare la storia culturale della questione, il volume vuol dar conto sinteticamente del tema del vuoto quindi nella tradizione kenotica cristiana, nell'attuale antropologia filosofica e in architettura, senza tralasciare la dimensione intrapsichica, sia nelle tradizioni della meditazione taoista e zen, sia (...) nella psicologia del profondo. (shrink)

The present work looks at what we call “the multiverse of quantification”, where visible and invisible numbers permeate all aspects and venues of life. We review the contributions of different authors who focus on the roles of quantification in society, with the aim of capturing different and sometimes separate voices. Several scholars, including economists, jurists, philosophers, sociologists, communication and data scientists, express concerns or identify critical areas of our relationship with new technologies of ‘numericization’. While mindful of the important specificities (...) of the different families of quantification, we use our broad and holistic canvas to explore possible spaces for a more systematic investigation of incumbent and novel quantifications, as to increase communication among disciplinary communities, and among these and society, in the pursuit a democratic agency and self-defence. (shrink)

A pandemia da Covid-19 transformou realidades e exigiu comportamentos sociais jamais experienciados que, na dimensão eclesial, vêm revelando compreensões e posturas inadequadas à mistagogia evangélica, mas que também podem provocar um discipulado missionário ad extra, na concepção de Igreja Povo de Deus. Portanto, o presente artigo objetivou, a partir de uma hermenêutica de Mc 4,35-41, refletir sobre o protagonismo laical em tempos de pandemia, sua autocompreensão eclesial e seu posicionamento diante da crise sanitária. Para tanto, estruturou-se em três pontos: teceu (...) uma compreensão da perícope marcana à luz da pandemia; refletiu sobre a postura do laicato em meio a crise sanitária e, por fim, teceu pistas para um agir missionário coerente ao discipulado, concluindo que mesmo em meio a posturas inadequadas o laicato é fortemente chamado ao protagonismo eclesial contribuindo para a superação da crise sanitária provocada pelo novo coronavírus. (shrink)

Rodolfo Sacco developed the idea of “mute behaviours” during his studies on mute law. The notion of “mute behaviours” denotes an action that is able to mould a legal relationship without any use of language. Certainly, this concept may give rise to some doubts in relation to the attribution—to a behaviour qualified as mute—of the capability to affect dynamics involving a plurality of people. Aiming to clarify the idea of “mute behaviours” by this point of view, the authors analysed the (...) semiotic terminology used by Sacco himself to explain this notion and the issue of its silent nature. Therefore, the terms “signifying signs” and “symptoms”, deemed by Sacco—respectively—incompatible and compatible with the theory of mute behaviours were considered. The former term was traced back to the notion of conventional and arbitrary sign, the notion of the latter was reconstructed linking it to the concept of signs based on signification and suggesting a possible framework in view of the idea of “presentative meanings” developed by the philosopher Guido Morpurgo-Tagliabue. Clarified this dichotomy by a terminological analysis, the authors noticed—as affirmed by Rodolfo Sacco himself—the impossibility to ascribe the notion of gesture to the mute behaviour’s category, as some exegetes proposed. Consequently to this last remark, the authors tried to analyse the relationship between gestures and “mute behaviours”, identifying the category of “sema-pragmatic acts”, that includes gestures and may be seen as an intermediate phase between “mute behaviours” and legally relevant behaviours operated by speaking. (shrink)

Connexive logics are based on two ideas: that no statement entails or is entailed by its own negation (this is Aristotle’s thesis) and that no statement entails both something and the negation of this very thing (this is Boethius' thesis). Usually, connexive logics are contra-classical. In this note, I introduce a reading of the connexive theses that makes them compatible with classical logic. According to this reading, the theses in question do not talk about validity alone; rather, they talk in (...) part about (a property related to) the soundness of arguments. (shrink)

The volume will implement the research efforts of both Machiavelli scholars and those in related general and specific fields.

By stating that "only one died for all," "so that those who live should no longer live for themselves but for him who died and was raised for them" Paul precedes the following expression: " the love of Christ compels us ". As Christ left his example, Christians should love and assign themselves tasks on community service, be dedicated and taking responsibility for others. This article aims to reflect on the pastoral implications concerning the concept of "new creatures" with a (...) focus on self-giving and responsibility for others. Therefore, at first, it reflects on the concept of "new creatures", emphasizing the love of Christ as motivation for the practice on Christian life. Then presents discipleship in self-giving, a result of the new life in Christ, elements that allow us to present the concept of responsibility for others from the community service. It concludes that "living for Christ" implies a pastoral practice in which: a) the redeeming love of Christ compels a person to a new life and requires attitudes according to this love; b) Serving the community in self-giving is consequence of this new life; c) Community dimension leads to participation in building the Kingdom of God and takes to the responsibility for others. (shrink)

The Jesuit theologian, Francisco Suarez, is know as the «father of modern scientific Mariology» because of the innovations he brought to the Scholastic treatment of the Virgin Mary. Commenting on the third part of the Summa Theologica of St. Thomas, at the Roman College in 1584-85, he developed 24 questions under the title De Deipara et Christo ut eius Filio, material which to this day has remained unpublished. In the present essay, the author discusses the role of Mary in the (...) life and works of Suarez, revealing his faith in the Immaculate Conception and at the same time the need to establish in the Virgin the human debt or necessary participation in Original Sin. Then he deals with Suarez's 24 questions, material conserved in the archives of the Pontifical Gregorian University. In these questions, he insists, we find the first systematic treatise on Mary, a work which demonstrates a logical and unitary division, clearly different from the chronological order of Thomas's Summa. Suárez divides his work into three parts: the dignity of the Mother of God, her perfection in body and soul, and the veneration due to her. (shrink)

O presente artigo vem refletir sobre a crise do sacramento da penitência. Nesse contexto, apresenta-a como originária no relativismo e na distorção da noção de pecado presentes na sociedade atual. Por fim, apresenta os desafios atuais provenientes dessa reflexão, abrindo possibilidades para futuras reflexões e maior aprofundamento sobre o tema.

When logicians work with multiple-conclusion systems, they use a metalinguistic comma ‘,’ to aggregate premises and/or conclusions. In this note, I present an analogy between this comma and Prior’s infamous connective tonk. The analogy reveals that these expressions have much in common. I argue that, indeed, the comma can be seen as a structural incarnation of tonk. The upshot is that, whatever story one has to tell about tonk, there are good reasons to tell a similar story about the comma (...) in typical multiple-conclusion systems, and vice versa. (shrink)

Institute for Biomedical Ethics, Geneva University Medical School * Corresponding author: Médecins Sans Frontières (OCG), rue de Lausanne 78, CH-1211 Geneva 21, Switzerland. Tel.: +41 (0)22 849 89 29; Fax: +41 (0)22 849 84 88; Email: philippe_calain{at}hotmail.com ' + u + '@' + d + ' '//--> Abstract Outbreaks of filovirus (Ebola and Marburg) hemorrhagic fevers in Africa are typically the theater of rescue activities involving international experts and agencies tasked with reinforcing national authorities in clinical management, biological diagnosis, sanitation, (...) public health surveillance and coordination. These outbreaks can be seen as a paradigm for ethical issues posed by epidemic emergencies, through the convergence of such themes as: isolation and quarantine, privacy and confidentiality and the interpretation of ethical norms across different ethnocultural settings. With an emphasis on the boundaries between public health investigations and research, this article reviews specific challenges, past practices and current normative documents relevant to the application of ethical standards in the course of outbreaks of filovirus hemorrhagic fevers. Aside from commonly identified issues of informed consent and institutional review processes, we argue for more clarity over the specification of which communities are expected to share benefits, and we advocate for the use of collective definitions of duty to care and standard of care. We propose new elaborations around existing normative instruments, and we suggest some pathways toward more comprehensive approaches to the ethics of research in outbreak situations. CiteULike Connotea Del.icio.us What's this? (shrink)

Tarski asked whether the arithmetic identities taught in high school are complete for showing all arithmetic equations valid for the natural numbers. The answer to this question for the language of arithmetic expressions using a constant for the number one and the operations of product and exponentiation is affirmative, and the complete equational theory also characterises isomorphism in the typed lambda calculus, where the constant for one and the operations of product and exponentiation respectively correspond to the unit type and (...) the product and arrow type constructors. This paper studies isomorphisms in typed lambda calculi with empty and sum types from this viewpoint. Our main contribution is to show that a family of so-called Wilkie–Gurevič identities, that plays a pivotal role in the study of Tarski’s high school algebra problem, arises from type-theoretic isomorphisms. We thus close an open problem by establishing that the theory of type isomorphisms in the presence of product, arrow, and sum types is not finitely axiomatisable. Further, we observe that for type theories with arrow, empty and sum types the correspondence between isomorphism and arithmetic equality generally breaks down, but that it still holds in some particular cases including that of type isomorphism with the empty type and equality with zero. (shrink)

In this paper, Andrea Fiore sketches the notion of familiarity in Dewey's thought, particularly in its relations with education, aesthetics, and art. The importance of that notion emerges in Dewey's well-known writings such as How We Think, The School and Society, and Art as Experience, where he shows that not only does familiarity play a fundamental role in our lives, but it also constitutes a helpful tool to make our experience deeper and richer. This is particularly evident in two (...) aspects or functions related to familiarity: recognition and interpretation. For Dewey, especially the latter has an educational value through aesthetics and art, because it allows us to activate the peculiar capacity of human beings to transform the quality of experience. (shrink)

A metainference is usually understood as a pair consisting of a collection of inferences, called premises, and a single inference, called conclusion. In the last few years, much attention has been paid to the study of metainferences—and, in particular, to the question of what are the valid metainferences of a given logic. So far, however, this study has been done in quite a poor language. Our usual sequent calculi have no way to represent, e.g. negations, disjunctions or conjunctions of inferences. (...) In this paper we tackle this expressive issue. We assume some background sentential language as given and define what we call an inferential language, that is, a language whose atomic formulas are inferences. We provide a model-theoretic characterization of validity for this language—relative to some given characterization of validity for the background sentential language—and provide a proof-theoretic analysis of validity. We argue that our novel language has fruitful philosophical applications. Lastly, we generalize some of our definitions and results to arbitrary metainferential levels. (shrink)

We argue that, in the case of research biobanks, there is a need to replace the currently used informed consent with trusted consent. Accordingly, we introduce a proposal for the structure of the latter. Further, we discuss some of the issues that can be addressed effectively through our proposal. In particular, we illustrate: i) which research should be authorized by donors; ii) how to regulate access to information; iii) the fundamental role played by a Third Party Authority in assuring compliance (...) with the reciprocal expectations and obligations of donors and scientists. Finally, we briefly analyse two issues that might represent important elements of a ‘new alliance’ between researchers and donors to which the trusted consent could pave the way: i) the correlations between needs and rights of the two parties, and ii) possible economic transactions. (shrink)

The infinitary function of the truth predicate consists in its ability to express infinite conjunctions and disjunctions. A transparency principle for truth states the equivalence between a sentence and its truth predication; it requires an introduction principle—which allows the inference from “snow is white” to “the sentence ‘snow is white’ is true”—and an elimination principle—which allows the inference from “the sentence ‘snow is white’ is true” to “snow is white”. It is commonly assumed that a theory of truth needs to (...) satisfy a transparency principle to fulfil the infinitary function. Picollo and Schindler (Erkenntnis 83:899–928, 2017) argue against this idea. They prove that, given certain assumptions, an elimination principle is sufficient for the purpose. Then, they pose a challenge: to show why we should incorporate introduction principles to our theory of truth. In this essay I take on the challenge. I show that, given the authors’ assumptions, an introduction principle is also sufficient to perform the infinitary function. (shrink)

This article builds upon earlier research in which the authors presented case studies focused on the design and development of two original ethical learning video games. Through this case study and a review of relevant literature, the authors explored the content creation of, and theoretical rationale for, the design and development of ethics games. Both games were geared toward an undergraduate student audience as casual learning games to be completed in a few hours of gameplay. To update and expand this (...) original work, the authors reviewed contemporary research on identity, cognition, and self in relation to video game environments as well as literature dealing more specifically with ethics and video games. From this literature base and their applied design experiences, the authors offer ten guidelines as best practices to follow for aspiring ethics game developers. (shrink)

Saul Kripke proposed a skeptical challenge that Romina Padró defended and popularized by the name of the Adoption Problem. The challenge is that, given a certain definition of adoption, there are some logical principles that cannot be adopted—paradigmatic cases being Universal Instantiation and Modus Ponens. Kripke has used the Adoption Problem to argue that there is an important sense in which logic is not revisable. In this essay, I defend two independent claims. First, that the Adoption Problem does not entail (...) that logic is never revisable in the sense that Kripke addresses. Second, that, to assess whether an agent can revise their logic in the sense that Kripke addresses, it is best to consider a different definition of adoption, according to which Universal Instantiation and Modus Ponens are sometimes adoptable. (shrink)

Logical pluralism is a general idea that there is more than one correct logic. Carnielli and Rodrigues [2019a] defend an epistemic interpretation of the paraconsistent logic N4, according to which an argument is valid in this logic just in case it necessarily preserves evidence. The authors appeal to this epistemic interpretation to briefly motivate a kind of logical pluralism: “different accounts of logical consequence may preserve different properties of propositions”. The aim of this paper is to study the prospect of (...) a logical pluralism based on different interpretations of logical systems. First, we give our analysis of what it means to interpret a logic – and make some hopefully useful distinctions along the way. Second, we present what we call an interpretational logical pluralism: there is more than one correct logic and a logic is correct only if it has some adequate interpretation. We consider four variants of this idea, bring up some possible objections, and try to find plausible solutions on behalf of the pluralist. We will argue that interpretations of logical systems provide a promising – albeit not unproblematic – route to logical pluralism. (shrink)

This collection of papers by prominent feminist thinkers advances the positive feminist project of remapping the moral by developing theory that acknowledges the diversity of women.

We discuss the meaning of “being alive” and “being dead.” Our primary aim is to pave the way for a sound and accurate ethical debate concerning these two concepts. In particular, we analyze a metabolic approach and a genetic one and discuss the reasons for their failure to constitute a good starting point for successive debates. We argue that any ethical or social discussion of topics involving life and death must introduce cultural constructs such as, on the one hand, the (...) concept of clinical death and, on the other hand, the concept of existence. We argue that these two cultural constructs, although consistent with biomedical knowledge, cannot be ontologically grounded in it. To conclude, we apply our findings to the case of human embryos. (shrink)

The effects of striatal dopamine (DA) on behavior have been widely investigated over the past decades, with “phasic” burst firings considered as the key expression of a reward prediction error responsible for reinforcement learning. Less well studied is “tonic” DA, where putative functions include the idea that it is a regulator of vigor, incentive salience, disposition to exert an effort and a modulator of approach strategies. We present a model combining tonic and phasic DA to show how different outflows triggered (...) by either intrinsically or extrinsically motivating stimuli dynamically affect the basal ganglia by impacting on a selection process this system performs on its cortical input. The model, which has been tested on the simulated humanoid robot iCub interacting with a mechatronic board, shows the putative functions ascribed to DA emerging from the combination of a standard computational mechanism coupled to a differential sensitivity to the presence of DA across the striatum. (shrink)