The various statements and declarations of the World Medical Association that address conflicts of interest on the part of physicians as (1) researchers, and (2) practitioners, are examined, with particular reference to the October 2000 revision of the Declaration of Helsinki. Recent contributions to the literature, notably on conflicts of interest in medical research, are noted. Finally, key provisions of the American Medical Association’s Code of Medical Ethics (2000–2001 Edition) that address the various forms of conflict of interest that can (...) arise in the practice of medicine are outlined. (shrink)

This paper argues that contemporary philosophical literature on meaning in life has important implications for the debate about our obligations to non-human animals. If animal lives can be meaningful, then practices including factory farming and animal research might be morally worse than ethicists have thought. We argue for two theses about meaning in life: that the best account of meaningful lives must take intentional action to be necessary for meaning—an individual’s life has meaning if and only if the individual (...) acts intentionally in ways that contribute to finally valuable states of affairs; and that this first thesis does not entail that only human lives are meaningful. Because non-human animals can be intentional agents of a certain sort, our account yields the verdict that many animals’ lives can be meaningful. We conclude by considering the moral implications of these theses for common practices involving animals. (shrink)

Can animals be agents? Do they want to be free? Can they have meaningful lives? If so, should we change the way we treat them? This paper offers an account of animal agency and of two continuums: between human and nonhuman agency, and between wildness and captivity. It describes how a wide range of human activities impede on animals’ freedom and argues that, in doing so, we deprive a wide range of animals of opportunities to exercise their agency (...) in ways that can give meaning to their lives. (shrink)

Animals who live in cities must coexist with us. They are, as a result, entitled to the conditions of their flourishing. This article argues that, as the boundaries of cities and urban areas expand, the boundaries of our conception of captivity should expand too. Urbanization can undermine animals’ freedoms, hence their ability to live good lives. I draw the implications of an account of “pervasive captivity” against the background of the Capabilities Approach. I construe captivity, including that of urban animals, (...) as affecting a range of animal capabilities, understood as freedoms, and I address some tensions within Nussbaum’s treatment of human-animal conflicts. Using the Capabilities Approach as a guide, I will attempt to motivate a convergence between habitat preservation in urbanized environments, urban design guided by justice, and the individual freedoms of animals. (shrink)

Urban animals can benefit from living in cities, but this also makes them vulnerable as they increasingly depend on the advantages of urban life. This article has two aims. First, I provide a detailed analysis of the concept of captivity and explain why it matters to nonhuman animals—because and insofar as many of them have a (non-substitutable) interest in freedom. Second, I defend a surprising implication of the account—pushing the boundaries of the concept while the boundaries of cities and (...) class='Hi'>human activities expand. I argue for the existence of the neglected problem of pervasive captivity, of which urban wildlife is an illustration. Many urban animals are confined, controlled and dependent, therefore often captive of expanding urban areas. While I argue that captivity per se is value-neutral, I draw the ethical and policy implications of harmful pervasive captivity. (shrink)

I examine the two-level utilitarian case for humane animal agriculture (by R. M. Hare and Gary Varner) and argue that it fails on its own terms. The case states that, at the ‘intuitive level’ of moral thinking, we can justify raising and killing animals for food, regarding them as replaceable, while treating them with respect. I show that two-level utilitarianism supports, instead, alternatives to animal agriculture. First, the case for humane animal agriculture does not follow from a commitment to two-level (...) utilitarianism combined with a commitment to respecting animal lives. Secondly, the two-level utilitarian case falls prey to a compartmentalization problem and cannot uphold both respect and replaceability. What I call ‘humane lives’ are not appropriately valued by the lights of two-level utilitarianism itself. (shrink)

—Commentary on Mikhalevich and Powell on invertebrate minds.— Whether or not arthropods are sentient, they can have moral standing. Appeals to sentience are not necessary and retard progress in human treatment of other species, including invertebrates. Other increasingly well-documented aspects of invertebrate minds are pertinent to their welfare. Even if arthropods are not sentient, they can be agents whose goals—and therefore interests—can be frustrated. This kind of agency is sufficient for moral status and requires that we consider their welfare.

The idea that intelligence is embedded not only in a single brain network, but instead in a complex, well-optimized system of complementary networks, has led to the development of whole brain network analysis. Using graph theory to analyze resting-state functional MRI data, we investigated the brain graph networks (or brain networks) of high intelligence quotient (HIQ) children. To this end, we computed the “hub disruption index κ”, an index sensitive to graph network modifications. We found significant topological differences in the (...) integration and segregation properties of brain networks in HIQ compared to standard IQ children, not only for the whole brain graph, but also for each hemispheric graph, and for the homotopic connectivity. Moreover, two profiles of HIQ children, homogenous and heterogeneous, based on the differences between the two main IQ subscales (verbal comprehension index (VCI) and perceptual reasoning index (PRI)), were compared. Brain networks changes were more pronounced in the heterogeneous HIQ than in the homogeneous HIQ subgroups. Finally, we found significant correlations between the graph networks’ changes and the full-scale IQ (FSIQ), as well as the subscales VCI and PRI. Specifically, the higher the FSIQ the greater was the brain organization modification in the whole brain, the left hemisphere, and the homotopic connectivity. These results shed new light on the relation between functional connectivity topology and high intelligence, as well as on different intelligence profiles. (shrink)

Proponents of humane or traditional husbandry, in contrast to factory farming, often argue that maintaining meaningful relationships with animals entails working with them. Accordingly, they argue that animal liberation is misguided, since it appears to entail erasing our relationships to animals and depriving both us and them of valuable opportunities to live together. This chapter offers a critical examination of defense of animal husbandry based on the value of labour, in particular the view that farm animals could be seen as (...) workers, and what it entails. It then considers ways in which our relationships to domesticated species could be made meaningful, including through work, without entailing the premature killing of animals raised for food. Meaningful animal lives depend on a proper analysis of the meaning, and value, of labour, which this chapter argues is missing from labour-based defenses of humane husbandry. (shrink)

This paper addresses issues in comparing nonhuman animals and severely disabled human beings in terms of their morally relevant characteristics. Through a discussion of the works of Jeff McMahan, Eva Feder Kittay and Martha Nussbaum, the paper offers a defense of the importance and possibility of extending care and compassion to nonhumans without collapsing relevant species differences.

Starting from the typical case of utilitarianism, I distinguish three ways a moral theory may be deemed (over-)demanding: practical, epistemic, and cognitive. I focus on the latter, whose specific nature has been overlooked. Taking animal ethics as a case study, I argue that knowledge of human cognition is critical to spelling out moral theories (including their implications) that are accessible and acceptable to the greatest number of agents. In a nutshell: knowing more about our cognitive apparatus with a view (...) to play better with it. This meta-theoretical suggestion, however, differs from a classical objection drawn from the intuition that a given theory demands too much. -/- //// A partir du cas typique de l’utilitarisme, je distingue trois façons dont une théorie morale pourrait être jugée (trop) exigeante : pratique, épistémique et cognitive. La spécificité de cette dernière – qui fait l’objet de cet article – a été négligée. Je soutiens, en prenant l’exemple de l’éthique animale, que la connaissance de la cognition humaine est essentielle à la formulation de théories morales (et de leurs implications) qui soient accessibles à, et acceptables par, le plus grand nombre d’agents possible. En d’autres termes : comment mieux connaître notre machine cognitive pour mieux jouer avec elle. Cette recommandation méta-théorique se distingue cependant d’une objection classique tirée de l’intuition selon laquelle une théorie exigerait trop de nous. (shrink)

Jocelyne Porcher sets out to “reinvent” our relationship to animals in order to better “live with” them. This article provides a critical examination of her thesis that farm animals can be seen as proper workers, in a sense that precludes the sort of unjust exploitation that she ascribes to factory farming. Contrary to Porcher, the article considers relationships between humans and domesticated species which do not entail killing or even work for food production purposes. The present critique focuses on the (...) distinction between the (industrial) “animal productions” and the (traditional) “husbandry” practices ; the notion of animal worker and its implications ; finally, the assumptions leading Porcher to overlook possible alternative relationships. (shrink)

After reviewing the literature on current knowledge about consciousness in humans, we present a state-of-the art discussion on consciousness and related key concepts in animals. Obviously much fewer publications are available on non-human species than on humans, most of them relating to laboratory or wild animal species, and only few to livestock species. Human consciousness is by definition subjective and private. Animal consciousness is usually assessed through behavioural performance. Behaviour involves a wide array of cognitive processes that have (...) to be assessed separately using specific experimental protocols. Accordingly, several processes indicative of the presence of consciousness are discussed: perception and cognition, awareness of the bodily-self, self-related knowledge of the environment (including social environment). When available, specific examples are given in livestock species. Next, we review the existing evidence regarding neuronal correlates of consciousness, and emphasize the difficulty of linking aspects of consciousness to specific neural structures across the phyla because high-level cognitive abilities may have evolved independently along evolution. Several mammalian brain structures (cortex and midbrain) are involved in the manifestations of consciousness, while the equivalent functional structures for birds and fishes would likely be the pallium/tectum and midbrain. Caution is required before excluding consciousness in species not having the same brain structures as the mammalian ones as different neural architectures may mediate comparable processes. Finally, specific neurophysiological mechanisms appear to be strongly linked to the emergence of consciousness, namely neural synchrony and neural feedback. Considering the limited amount of data available and the few animal species studied so far, we conclude that different manifestations of consciousness can be observed in animals but that further refinement is still needed to characterize their level and content in each species. Further research is required to clarify these issues, especially in livestock species. (shrink)

Duncan Purves and Nicolas Delon have argued that one’s life will be meaningful to the extent that one contributes to valuable states of affairs and this contribution is a result of one’s intentional actions. They then argue, contrary to some theorists’ intuitions, that non-human animals are capable of fulfilling these requirements, and that this finding might entail important things for the animal ethics movement. In this paper, I also argue that things besides human beings can have meaningful (...) existences, but I disagree with Purves and Delon’s theory of meaning, and some of the practical implications they suggest arise from their conclusion. Specifically, I argue that Purves and Delon are wrong to suggest that intentional agency is necessary for one’s life to be meaningful; contributing to valuable states of affairs can be sufficient by itself. Purves and Delon’s objection to such a claim is that it would allow even inanimate objects’ existences to count as meaningful. However, while I accept this... (shrink)

Most people agree that inflicting unnecessary suffering upon animals is wrong. Many fewer people, including among ethicists, agree that painlessly killing animals is necessarily wrong. The most commonly cited reason is that death (without pain, fear, distress) is not bad for them in a way that matters morally, or not as significantly as it does for persons, who are self-conscious, make long-term plans and have preferences about their own future. Animals, at least those that are not persons, lack a morally (...) significant interest in continuing to live. At the same time, some argue that existence itself can be good, insofar as one’s life is worth living. For animals, a good life can offset a quick, if early, death. So, it seems to follow that breeding happy animals that will be (prematurely) killed can be a good thing overall. Insofar as slaughter and sale makes it economically sustainable to raise new ones, who would otherwise not exist, raising and killing animals for food who will have lives worth living is good overall. It benefits them as well as consumers, and makes the world better by adding to the sum of happiness. The process of raising and killing animals with positive welfare produces a sequence of replacement that maintains or increases overall welfare, all else being equal (assuming in particular no overall negative impact on the welfare of other parties). Call this the Replaceability Argument (RA) and the ensuing controversy the Replaceability Problem (RP). This is a problem at the crossroads of the ethics of killing, agricultural ethics, procreation ethics, and population ethics. (shrink)

Non-perfect separably closed fields are stable, and not superstable. As a result, not all types can be ranked. We develop here a new tool, a "semi-rank", which takes values in the non-negative reals, and gives a sufficient condition for forking of types. This semi-rank is built up from a transcendence function, analogous to the one considered by Kolchin in the context of differentially closed fields. It yields some orthogonality and stratification results. /// Un corps séparablement clos non algébriquement clos est (...) stable sans être superstable. Cela signifie que seuls certains de ses types sont rangés. Nous développons un autre outil, un "semi-rang" à valeurs réelles, qui donne un critère de déviation des types. Ce semi-rang est construit à partir d'un analogue de la fonction de Kolchin associée à un type au-dessus d'un corps différentiel. Il produit des résultats de stratification des modèles et des résultats d'orthogonalité. (shrink)

This paper challenges a widespread, if tacit, assumption of animal ethics, namely, that the only properties of entities that matter to their moral status are intrinsic, cross‐specific properties—typically psychological capacities. According to moral individualism (Rachels 1990; McMahan 2002; 2005), the moral status of an individual, and how to treat him or her, should only be a function of his or her individual properties. I focus on the fundamental assumption of moral individualism, which I call intrinsicalism. On the challenged view, pigs, (...) puppies and babies, insofar as they are intrinsically similar in morally relevant respects are equally deserving of having their interests satisfied (Norcross 2004). Moreover, relationships—merely agent-relative—are assumed to be irrelevant to moral status. I argue that, while some intrinsic properties are indeed fundamentally relevant, the principled exclusion of extrinsic properties (in virtue of extrinsicness) is unwarranted. From uncontroversial assumptions about supervenience, final value, and moral status, I argue for the relevance of extrinsic properties to moral status based on vulnerability and “reasonable partiality”, as illustrated by pet-keeping. (shrink)

This article defends a relational account of personhood. I argue that the structure of personhood consists of dyadic relations between persons who can wrong or be wronged by one another, even if some of them lack moral competence. I draw on recent work on directed duties to outline the structure of moral communities of persons. The upshot is that we can construct an inclusive theory of personhood that can accommodate nonhuman persons based on shared community membership. I argue that, once (...) we unpack the internal relation between directed duties, moral status, and flourishing, relations can ground personhood and include nonhuman animals. (shrink)

Most people believe that suffering is intrinsically bad. In conjunction with facts about our world and plausible moral principles, this yields a pro tanto obligation to reduce suffering. This is the intuitive starting point for the moral argument in favor of interventions to prevent wild animal suffering. If we accept the moral principle that we ought, pro tanto, to reduce the suffering of all sentient creatures, and we recognize the prevalence of suffering in the wild, then we seem committed to (...) the existence of such a pro tanto obligation. Of course, competing values such as the aesthetic, scientific or moral values of species, biodiversity, naturalness or wildness, might be relevant to the all-things-considered case for or against intervention. Still, many argue that, even if we were to give some weight to such values, no plausible theory could resist the conclusion that WAS is overridingly important. This article is concerned with large-scale interventions to prevent WAS and their tractability and the deep epistemic problem they raise. We concede that suffering gives us a reason to prevent it where it occurs, but we argue that the nature of ecosystems leaves us with no reason to predict that interventions would reduce, rather than exacerbate, suffering. We consider two interventions, based on gene editing technology, proposed as holding promise to prevent WAS; raise epistemic concerns about them; discuss their potential moral costs; and conclude by proposing a way forward: to justify interventions to prevent WAS, we need to develop models that predict the effects of interventions on biodiversity, ecosystem functioning, and animals’ well-being. (shrink)

Journal of Mathematical Logic, Volume 22, Issue 02, August 2022. We show that every definable nested family of closed and bounded subsets of a P-minimal field K has nonempty intersection. As an application we answer a question of Darnière and Halupczok showing that P-minimal fields satisfy the “extreme value property”: for every closed and bounded subset [math] and every interpretable continuous function [math] (where [math] denotes the value group), f(U) admits a maximal value. Two further corollaries are obtained as a (...) consequence of their work. The first one shows that every interpretable subset of [math] is already interpretable in the language of rings, answering a question of Cluckers and Halupczok. This implies in particular that every P-minimal field is polynomially bounded. The second one characterizes those P-minimal fields satisfying a classical cell preparation theorem as those having definable Skolem functions, generalizing a result of Mourgues. (shrink)

A growing literature argues that animals can act for moral reasons without being responsible. I argue that the literature often fails to maintain a clear distinction between moral behavior and moral agency, and I formulate a dilemma: either animals are less moral or they are more responsible than the literature suggests. If animals can respond to moral reasons, they are responsible according to an influential view of moral responsibility–Quality of Will. But if they are responsible, as some argue, costly implications (...) must be acknowledged. If, however, they should not be considered responsible, then we may have to reassess the meaning of animal morality. I discuss ways to eschew responsibility or to tailor it to animals and argue that each requires a revised conception of animal morality. (shrink)

Is suffering really bad? The late Derek Parfit argued that we all have reasons to want to avoid future agony and that suffering is in itself bad both for the one who suffers and impersonally. Nietzsche denied that suffering was intrinsically bad and that its value could even be impersonal. This paper has two aims. It argues against what I call ‘Realism about the Value of Suffering’ by drawing from a broadly Nietzschean debunking of our evaluative attitudes, showing that a (...) recently influential response to the debunking challenge (the appeal to phenomenal introspection) fails. It also argues that a Nietzschean approach is well suited to support the challenge and is bolstered by the empirical literature. As strangers to ourselves, we cannot know whether suffering is really intrinsically bad for us. (shrink)

We give a complete description of minimal groups infinitely definable in separably closed fields of finite degree of imperfection. In particular we answer positively the question of the existence of such a group with infinite transcendence degree (i.e., a minimal group with non thin generic).

Social change is slow and difficult. Social change for animals is formidably slow and difficult. Advocates and scholars alike have long tried to change attitudes and convince the public that eating animals is wrong. The topic of norms and social change for animals has been neglected, which explains in part the relative failure of the animal protection movement to secure robust support reflected in social and legal norms. Moreover, animal ethics has suffered from a disproportionate focus on individual attitudes and (...) behavior at the expense of collective behavior, social change, and empirical psychology. If what we want to change is behavior on a large scale, norms are important tools. This article reviews an account of social norms that provides insights into the possibility and limitations of social change for animals, approaching animal protection as a problem of reverse social engineering. It highlights avenues for future work from this neglected perspective. (shrink)

Dans On What Matters Parfit défénd un objectivisme moral sur lequel il espère que les philosophes finiront par converger. Au cœur de cet espoir sont des vérités normatives irréductibles telles que l’affirmation que la souffrance est intrinsèquement mauvaise. Parfit se demande si Nietzsche menace son édifice et lui consacre un chapitre entier chapeautant la discussion du désaccord moral et de la convergence, et conclut que Nietzsche soit n’est pas en vrai désaccord, soit ne raisonne pas dans des conditions satisfaisantes. Je (...) mets ici à l’épreuve la prédiction de convergence de Parfit et montre que Nietzsche pose une menace encore plus sérieuse que ne le prétend Parfit. Je montre que l’idée que la souffrance peut être bonne est intelligible, cohérente et plus complexe que la lecture de Parfit ne le révèle. (shrink)

Starting from a distinction between intrinsic and final value, I explore the implications of the supervenience of final value on extrinsic properties regarding moral status. I make a case for ‘extrinsic moral status’ based on ‘extrinsic final value’. I show that the assumption of ‘moral individualism’, that moral status supervenes merely on intrinsic properties, is misguided, and results from a conflation of intrinsic with final value. I argue that at least one extrinsic property, namely vulnerability, can be the basis of (...) both final value and moral status, and that dependence on such extrinsic properties is compatible with the requirement of agent-neutrality. (shrink)

In the third edition of ‘Practical Ethics’ (2011), Peter Singer reexamines the so-called “replaceability argument,” according to which merely sentient beings, as opposed to persons (self-conscious and with a robust sense of time), are replaceable—it is in principle permissible to kill them provided that they live pleasant lives that they would not have had otherwise and that they be replaced by equally happy beings. On this view, existence is a benefit and death is not a harm. Singer’s challenge is to (...) avoid (i) the replaceability of persons while preserving the replaceability of merely sentient beings, (ii) the implication that parents are morally required to procreate if they can have happy children, and (iii) to do avoid these implications without having the proposed solution (the “debit view” of preferences) imply negative utilitarianism, or the conclusion that a nonsentient universe is better than any sentient universe. I review Singer’s changing views since 1975 and I argue that his attempt to avoid the replaceability of persons fails: either both non-persons and persons are replaceable or neither are. Singer can only avoid this conclusion by appealing to controversial metaethical claims (attitude-independent moral objectivism) and/or giving up on essential features of utilitarianism. (shrink)

In, Marker and Steinhorn characterized models of an o‐minimal theory such that all types over M realized in N are definable. In this article we characterize pairs of algebraically closed valued fields satisfying the same property. In o‐minimal theories, a pair of models for which all 1‐types over M realized in N are definable has already the desired property. Although it is true that if M is an algebraically closed valued field such that all 1‐types over M are definable then (...) all types over M are definable, we build a counterexample for the relative statement, i.e., we show for any that there is a pair of algebraically closed valued fields such that all n‐types over M realized in N are definable but there is an ‐type over M realized in N which is not definable. (shrink)

We study the model theory of fields k carrying a henselian valuation with real closed residue field. We give a criteria for elementary equivalence and elementary inclusion of such fields involving the value group of a not necessarily definable valuation. This allows us to translate theories of such fields to theories of ordered abelian groups, and we study the properties of this translation. We also characterize the first-order definable convex subgroups of a given ordered abelian group and prove that the (...) definable real valuation rings of k are in correspondence with the definable convex subgroups of the value group of a certain real valuation of k. (shrink)

Commentary on Shawn Thompson's "Supporting Ape Rights". My response to Wise’s and Thompson’s strategy is two-fold: 1) personhood is neither strictly deter-mined by cognitive facts nor fruitfully construed in Kantian terms, and 2) personhood is not what matters when it comes to animal protection. To conclude, 3) I hint at an alternative, or complementary, avenue for change.

Commentary on Neuhaus and Parent, 'Gene doping--In Animals?' (2019).

Separated and immediate extensions of valued fields. The notion of separated extension of valued fields was introduced by Baur. He showed that extensions of maximal fields are separated. We prove that, when (K, v) is Henselian with residual characteristic 0, then $(K, v) \subset (L, w)$ is separated iff L is linearly disjoint over K from each immediate extension of K.

Commentary on Kyle Johannsen, Wild Animal Ethics (Routledge, 2020). I want to unpack what we should understand by wild animal well-being, and how different interpretations of what matters about it shape the sorts of interventions we endorse. I will not offer a theory of wild animal well-being or even take a stance on the best approach to theories of well-being as they pertain to wild animals. My aim is to bring into view a concern that WAE has largely overlooked: agency (...) and freedom. To Johannsen’s credit, the issue of liberties does feature in his Wild Animal Ethics (2020) (36–39, 41, 47). The interventions that he favors are those that, for a given amount of harm prevention, involve fewer liberty infringements. Liberties can act, to an extent, as constraints on permissible interventions. For all that, Johannsen’s primary focus remains welfare in a sense that does not appear to give much consideration to agency. Fortunately, his approach is open-ended enough to accommodate some of my concerns. My hope is that he sees them as possible ways of specifying the duties of beneficence, if not justice, that he rightly argues we have to wild animals. (shrink)

This article outlines a “descriptive animal ethics” based on the study of people’s intuitions about particular cases, in order to determine which moral theories best comport with those intuitions. I suggest that the latter need not be unreliable since they may be endorsed as considered judgments, and that even if they were, knowing them would still provide relevant information for a complete moral theory concerned with what moral agents can do. I describe a survey in descriptive ethics, discuss the results, (...) and introduce prospective experiments. I then set forth hypotheses and propose a dual model of moral status attribution in terms of both intrinsic and extrinsic properties. I rely on recent empirical research in psychology and experimental philosophy, which I confront with the above results, to support my hypotheses. The model predicts that attributions vary depending on the capacities of entities, their context (including relationships), and the context of the attributor. These facts of descriptive ethics, I conclude, are directly relevant to normative ethics insofar as our cognitive apparatus constrains our ability to act morally. Moreover, they suggest ways to improve moral perception, education, and motivation. (shrink)

Separated and immediate extensions of valued fields. The notion of separated extension of valued fields was introduced by Baur. He showed that extensions of maximal fields are separated. We prove that, when $(K, v)$ is Henselian with residual characteristic 0, then $(K, v) \subset (L, w)$ is separated iff $L$ is linearly disjoint over $K$ from each immediate extension of $K$.

A chain-closed field is defined as a chainable field (i.e. a real field such that, for all n ∈ N, Σ K2n+1 ≠ Σ K2n) which does not admit any "faithful" algebraic extension, and can also be seen as a field having a Henselian valuation ν such that the residue field K/ν is real closed and the value group ν K is odd divisible with |ν K/2ν K| = 2. If K admits only one such valuation, we show that f (...) ∈ K(X) is in $\mathbf{\Sigma} K(X)^{2n} \operatorname{iff}$ for any real algebraic extension L of $K, "f(L) \subseteq \mathbf{\Sigma}L^{2n}"$ holds. The conclusion is also true for K = R((t)) (a chainable but not chain-closed field), and in the case n = 1 it holds for several variables and any real field K. (shrink)

Diderot escreve, na Enciclopédia, um longo verbete, “Tear de meias”, no qual compara o tear a um raciocínio cuja conclusão seria o têxtil. Ele retoma esta comparação na Refutação de Helvétius: ali, é o próprio Leibniz que se torna uma máquina de reflexão, similar ao “tear de meias”. A opção materialista do homem máquina retoma uma tradição que assimila o texto ao tecido. Encontramos a mesma imagem no Fausto de Goethe, que é citado por Freud em A interpretação dos sonhos, (...) e na novela de Henry James O motivo no tapete. A invenção é sempre cruzamento, tecelagem e mestiçagem, numa interação entre criação técnica e representação da atividade intelectual. O sistema de programação dos teares foi posteriormente adaptado às primeiras máquinas analíticas, ancestrais de nossos computadores atuais. A Enciclopédia teorizou esta interação, reabilitando os teares e concebendo o pensamento como um trabalho. (shrink)

L. van den Dries proved that the theory of n-valued rings has a model companion. We show here that this result is still true when the valuation rings are required to satisfy given inclusion relations (we restrict ourselves to the case of residual characteristic zero).

Consider k((G)) in the language of valued fields enriched with a unary predicate for the set of constants and another one for the cross-section. For perfect k, this structure is undecidable if it does not satisfy Kaplansky's conditions.

The theory of immediate pairs of Henselian valued fields, with a given residual theory (of characteristic zero) and a given theory of valuation group (nonzero), is undecidable and has 2ℵ0 completions.