Lead shot deposited in fields and woodlands near shooting rangesand intense, upland, hunting adds an enormous tonnage of lead toenvironments, worldwide. This contamination is not remedied bybanning lead shot use only for waterfowl hunting. Lead pelletsdisintegrate extremely slowly, during which time they may beingested from the soil by wild birds, livestock, or silage-makingmachinery, and cause sublethal or fatal lead poisoning. Leadpellet corrosion products contaminate soil, surface waters, andground waters, often exceeding permissible levels. Plants do notconcentrate much lead from the soil, (...) except when grown in acidicsoils of heavily-contaminated shooting ranges. Inheavily-contaminated sites, earthworms ingest leadcompounds which are bioaccumulated in higher consumersof food webs. Non-toxic substitutes made from steelor bismuth are available internationally and areeffective for all types of hunting and targetshooting. Many nations are slow to require their use,despite the marked awareness of the problems of leadshot contamination and toxicosis. This is due tohunters and international sport shooting organizationsopposing the use of non-toxic substitutes and overtemphasis by government agencies on the burden ofscientific proof for every situation, rather thantaking preventative action according to thePrecautionary Principle. The ethical approach ofDenmark and The Netherlands, which banned all uses oflead shot, is advocated as a precedent for othernations to adopt. (shrink)

One of the central limitations of sensory substitution devices (SSDs) is their inability to reproduce the non-sensory feelings that are normally associated with visual experiences, especially hedonic and aesthetic responses. This limitation is sometimes reported to cause SSD users frustration. To make matters worse, it is unclear that improvements in acuity, bandwidth, or training will resolve the issue. Yet, if SSDs are to actually reproduce visual experience in its fullness, it seems that the reproduction of non-sensory feelings will be of (...) some importance. We offer a novel solution. Researchers can produce hedonic and aesthetic responses by eliciting these feelings artificially, pairing distal objects that should be pleasurable to pleasurable stimulus outputs from the SSD. We outline two strategies for accomplishing this: first, by means of a prefixed, hardwired, association of pleasant distal objects to pleasant stimulus outputs from the SSD; second, by means of a flexible, feedback-based association which creates associations based on a subject-directed matching of distal objects to patterns of stimuli from the SSD which the subject takes to have the corresponding hedonic properties. We evaluate some problems with both strategies, and we argue that the feedback-based strategy is more promising. Researchers can use this strategy to help the blind, allowing them to take pleasure in the objects they perceive using SSDs. (shrink)

We study the non-wellfounded sets as fixed points of substitution. For example, we show that ZFA implies that every function has a fixed point. As a corollary we determine for which functions f there is a function g such that . We also present a classification of non-wellfounded sets according to their branching structure.

We investigate the substitution Frege () proof system and its relationship to extended Frege () in the context of modal and superintuitionistic propositional logics. We show that is p-equivalent to tree-like , and we develop a “normal form” for -proofs. We establish connections between for a logic L, and for certain bimodal expansions of L.We then turn attention to specific families of modal and si logics. We prove p-equivalence of and for all extensions of , all tabular logics, all logics (...) of finite depth and width, and typical examples of logics of finite width and infinite depth. In most cases, we actually show an equivalence with the usual system for classical logic with respect to a naturally defined translation.On the other hand, we establish exponential speed-up of over for all modal and si logics of infinite branching, extending recent lower bounds by P. Hrubeš. We develop a model-theoretical characterization of maximal logics of infinite branching to prove this result. (shrink)

Certain steroids can react with proteins to form stable, covalent addition products. 16α‐hydroxyestrone and the glucocorticoids, for example, contain ketol moieties which permit them to react non‐enzymatically with proteins by forming Schiffbase rearrangement products with lysine residues. The oral contraceptive agent, 17α‐ethinylestradiol, can add to proteins after being enzymatically activated by microsomal oxidation. Elevated plasma levels of these steroids result in an increased amount of protein modification in vivo. Recent investigations have linked the occurrence of steroid‐modified proteins with pathological sequelae (...) associated with high steroid levels. (shrink)

In this chapter we argue for biophilosophy as a queerfeminist and posthumanities methodology that attends to the question of life by focusing on multiple differences and transformations, materiality and processuality, as well as relations, intra-actions, and disconnections. By combining both the ontological and ethical concerns that go beyond what is conventionally seen as “life”, biophilosophy offers a critical and innovative approach to the issues of death, extinction, (un) liveability, terminality, and toxicity, among others, which all form the backbone of the (...) environmental crises and changing conditions of life on Earth, often framed as the Anthropocene. In what follows, we first discuss select theorisations and implications of the “life/death” coupling as an ethico-political question; subsequently we elaborate the concept of biophilosophy as a methodology; and finally, we propose two examples where we test biophilosophy as a framework that allows us: (1) to engage with the enmeshment of life and death through the concept of the non/living, and (2) to explore the concept of toxic embodiment as an onto-ethical condition we all (human and non-human) are differentially immersed in. (shrink)

This note presents a point of view upon the notions of programsubstitution which are the tools for proving properties of programs of algorithmic logics [5], [3] being sufficiently strong and universal to comprise almost all previously introduced theories of programming, and the so-called extended algorithmic logic [1], [2] and algorithmic logic with nondeterministic programs [4]. It appears that the mentioned substitution rule allows us to examine more deeply algorithmic properties of terms, formulas and programs. Besides the problem of Post-completeness and (...) structural completeness of algorithmic logics strengthened additionally by the rule of substitution is raised. (shrink)

Climate change policy decisions are inescapably intertwined with future generations. Even if all carbon dioxide emissions were to be stopped today, most aspects of climate change would persist for hundreds of years, thus inevitably raising questions of intergenerational justice and sustainability. -/- The chapter begins with a short overview of discount rate debate in climate economics, followed by the observation that discounting implicitly makes the assumption that natural capital is always substitutable with man-made capital. The chapter explains why non-substitutability matters (...) if we are to take intergenerational justice seriously and invest aptly in mitigation. Non-substitutability simply implies that there are some forms of capital that cannot be substituted by another, and so consumption of one cannot be compensated with additional stocks of the other. The non-substitutability of critical natural capital can be defended without empirical data about preferences or the need to view the environment as a superior good, and the argument is presented through the language of keeping options open. -/- Those alive today make decisions about what natural capital to use and what to save for future. These choices are often represented as different points in a continuum of sustainability: weak sustainability is associated with a high degree of substitutability and therefore a lot of flexibility over what capital to consume, whereas strong sustainability is more stringent on substitutability. While it may be that in economical understanding weak and strong sustainability collapse into one another, philosophically the emphasis is slightly different. The chapter discusses how normative sustainability can be supported without ignoring opportunity costs and trade-offs. (shrink)

Academics working on military ethics and serving military personnel rarely have opportunities to talk to each other in ways that can inform and illuminate their respective experiences and approaches to the ethics of war. The workshop from which this paper evolved was a rare opportunity to remedy this problem. Our conversations about First Lieutenant (1LT) Portis’s experiences in combat provided a unique chance to explore questions about the relationship between oversight, accountability, and the idea of moral risk in military operations. (...) In this paper, we outline a particular experience of 1LT Portis’s that formed the basis of our discussions, before elucidating the ethical issues this experience raised. In particular, we see 1LT Portis’s experience as, first, illustrative of the problem of moral risk – when military personnel are placed in situations of moral temptation. The problem of moral risk, we propose, is best understood through the framework of the military’s duty of care. Second, we see his experience as highlighting tensions within the dominant moralized warrior model of the military profession. What we call a toxic warrior identity — a distorted form of the moralized warrior identity — can negatively affect the attitudes of military personnel toward rules, policies, procedures, and accountability mechanisms, particularly in relation to non-combat related roles and duties and when leaders must choose between competing bureaucratic demands. We see 1LT Portis’s experience as illustrative of these tensions, yet his experiences also highlight important concerns about the impact of increasing bureaucratic demands on military functioning. In the conclusion, we address the need to balance concerns about toxic warrior identity with legitimate criticisms of overly demanding bureaucracy and suggest avenues for further research on this issue. (shrink)

Academics working on military ethics and serving military personnel rarely have opportunities to talk to each other in ways that can inform and illuminate their respective experiences and approaches to the ethics of war. The workshop from which this paper evolved was a rare opportunity to remedy this problem. Our conversations about First Lieutenant (1LT) Portis’s experiences in combat provided a unique chance to explore questions about the relationship between oversight, accountability, and the idea of moral risk in military operations. (...) In this paper, we outline a particular experience of 1LT Portis’s that formed the basis of our discussions, before elucidating the ethical issues this experience raised. In particular, we see 1LT Portis’s experience as, first, illustrative of the problem of moral risk – when military personnel are placed in situations of moral temptation. The problem of moral risk, we propose, is best understood through the framework of the military’s duty of care. Second, we see his experience as highlighting tensions within the dominant moralized warrior model of the military profession. What we call a toxic warrior identity — a distorted form of the moralized warrior identity — can negatively affect the attitudes of military personnel toward rules, policies, procedures, and accountability mechanisms, particularly in relation to non-combat related roles and duties and when leaders must choose between competing bureaucratic demands. We see 1LT Portis’s experience as illustrative of these tensions, yet his experiences also highlight important concerns about the impact of increasing bureaucratic demands on military functioning. In the conclusion, we address the need to balance concerns about toxic warrior identity with legitimate criticisms of overly demanding bureaucracy and suggest avenues for further research on this issue. (shrink)

Part of the standard protection of decisionally incapacitated research subjects is a prohibition against enrolling them unless surrogate decision makers authorize it. A common view is that surrogates primarily ought to make their decisions based on what the decisionally incapacitated subject would have wanted regarding research participation. However, empirical studies indicate that surrogate predictions about such preferences are not very accurate. The focus of this article is the significance of surrogate accuracy in the context of research that is not expected (...) to benefit the research subject. We identify three morally relevant asymmetries between being enrolled and not being enrolled in such non-beneficial research, and conclude that when there is a non-negligible probability that surrogates’ predictions are wrong, it will generally be better to err on the side of not authorizing enrollment. (shrink)

We formulate epsilon substitution method for elementary analysisEA (second order arithmetic with comprehension for arithmetical formulas with predicate parameters). Two proofs of its termination are presented. One uses embedding into ramified system of level one and cutelimination for this system. The second proof uses non-effective continuity argument.

On a traditional interpretation of the substituted judgement standard a person who makes treatment decisions on behalf of a non-competent patient ought to decide as the patient would have decided had she been competent. I propose an alternative interpretation of SJS in which the surrogate is required to infer what the patient actually thought about these end-of-life decisions. In clarifying SJS it is also important to differentiate the patient's consent and preference. If SJS is part of an autonomy ideal of (...) the sort found in Kantian ethics, consent seems more important than preference. From a utilitarian perspective a preference-based reading of SJS seems natural. I argue that the justification of SJS within a utilitarian framework will boil down to the question whether a non-competent patient can be said to have any surviving preferences. If we give a virtue-ethical justification of SJS the relative importance of consent and preferences depends on which virtue one stresses-respect or care. I argue that SJS might be an independent normative method for extending the patient's autonomy, both from a Kantian and a virtue ethical perspective. (shrink)

The accumulation of potentially toxic elements (PTEs) has raised public awareness due to harmful contamination to both human and marine creatures. This study was designed to determine the concentration of copper (Cu), zinc (Zn), cadmium (Cd), and nickel (Ni) in the intestine, kidney, muscle, gill, and liver tissues of local commercial edible fish, fourfinger threadfin (Eleutheronema tetradactylum), and black pomfret (Parastromateus niger) collected from Morib (M) and Kuala Selangor (KS). Among the studied PTEs, Cu and Zn were essential elements (...) to regulate body metabolism with certain dosages required while Cd and Ni were considered as non-essential elements that posed chronic and carcinogenic risk. The concentration of PTEs in fish tissue samples was analyzed using flame atomic absorption spectrometry (F-AAS). By comparing the concentration of PTEs in fish tissues as a bioindicator, the environmental risk of Morib was more serious than Kuala Selangor because both fish species collected from Morib resulted in a higher PTEs concentration. For an average 62 kg adult with a fish ingestion rate (FIR) of 0.16 kg/person/day in Malaysia, the estimated weekly intake (EWI) of Cd from the consumption of E. tetradactylum (M: 0.0135 mg/kg; KS: 0.0134 mg/kg) and P. niger (M: 0.0140 mg/kg; KS: 0.0132 mg/kg) had exceeded the provisional tolerable weekly intake (Cd: 0.007 mg/kg) established by the Joint FAO/WHO Expert Committee on Food Additives (JECFA) and oral reference dose (ORD) values of Cd (0.001 mg/kg/day) as provided by the United States Environmental Protection Agency (USEPA) regional screening level, thus it posed chronic risks for daily basis consumption. Besides, the value of the carcinogenic risk of Cd (0.7−3 to 0.8−3) and Ni (0.5−3 to 0.6−3) were in between the acceptable range (10−6 to 10−4) of the health index that indicates a relatively low possibility cancer occurrence to the consumers in both Morib and Kuala Selangor. This study recommended FIR to be 0.80 kg/person/day to reduce the possibility of posing chronic and carcinogenic risks while at the same time obtaining the essential nutrients from the fish. (shrink)

This is an excerpt from a report on the Sensory Substitution and Augmentation Conference at the British Academy in March of 2013. This portion of the report explores the question: Can normal non-sensory feelings be generated through sensory substitution?

This essay discusses rules and semantic clauses relating to Substitution—Leibniz’s law in the conjunctive-implicational form s=t ∧ A(s) → A(t)—as these are put forward in Priest’s books "In Contradiction" and "An Introduction to Non-Classical Logic: From If to Is." The stated rules and clauses are shown to be too weak in some cases and too strong in others. New ones are presented and shown to be correct. Justification for the various rules are probed and it is argued that Substitution ought (...) to fail. (shrink)

This article explores a distinctive representational strategy used in stop-motion animation: the object substitution. Using as its central example a children’s TV episode in which brushes stand in for dogs, it explains how this strategy produces a complex relationship between depiction and representation. The analysis highlights the pragmatic underpinnings of various theories of pictorial and cinematic representation, arguing that, in a substitution, depicted elements constitute explicatures and represented ones implicatures. Connecting this strategy to humans’ capacity for pareidolia (seeing things in (...) other things), it contends that an object substitution achieves its effects—and reconciles its marked incongruities—by prompting viewers to pleasurably reverse-engineer the far-fetched projective imagining that motivated its use. This process, which is a form of conceptual blending, is based on relations that are neither straightforwardly iconic nor purely arbitrary. (shrink)

We formulate epsilon substitution method for a theory [Π0 1, Π0 1]-FIX for two steps non-monotonic Π0 1 inductive definitions. Then we give a termination proof of the H-processes based on Ackermann [1].

An increasing number of drugs removed from the market because of unacceptable toxicity raises concerns regarding preapproval testing of drug safety. In the present paper it is postulated that the non-inferiority type of trial should be abandoned in favor of the superiority trial with active controls and less stringent (p<0.1, both for efficacy and toxicity) statistics. This approach will increase sensitivity of detection of drug-induced adverse effects at the expense of increasing false positive results regarding the difference in efficacy between (...) the tested and reference drug. Such a move will increase the protection of future patients. In addition, the proposed design is far more acceptable from the clinical (e.g. no need to specify the statistically expected “unimportant” number of deaths) and ethical points of view, as well as being favored by the strong incentive of involved parties. In the second part of this paper arguments are presented in favor of the hypothesis that placebo (still used in some superiority trials) does not induce adverse effects. The assertion that placebo may induce adverse effects is probably biased by the nature of the clinical experiment. Such a conclusion is supported by studies indicating that placebo-induced adverse effects are disease — and treatment — specific. The modification of clinical trials according to the proposed changes may increase the trials’ sensitivity at detecting adverse effects of drugs. (shrink)

Hilbert proposed the epsilon substitution method as a basis for consistency proofs. Hilbert's Ansatz for finding a solving substitution for any given finite set of transfinite axioms is, starting with the null substitution S0, to correct false values step by step and thereby generate the process S0,S1,… . The problem is to show that the approximating process terminates. After Gentzen's innovation, Ackermann 162) succeeded to prove termination of the process for first order arithmetic. Inspired by G. Mints as an Ariadne's (...) thread we formulate the epsilon substitution method for the theory ID1 of non-iterated inductive definitions for disjunctions of simply universal and existential operators, and give a termination proof of the H-process based on Ackermann 162). The termination proof is based on transfinite induction up to the Howard ordinal. (shrink)

Sodium monofluoroacetate (1080) is a mammalian pesticide used in different parts of the world for the control of mammalian pest species. In New Zealand it is used extensively and very successfully as a conservation management tool for the control of brushtail possums (Trichosurus vulpecula) – an introduced marsupial that has become a substantial agricultural and conservation management pest. Possums pose a threat to cattle farming in New Zealand as they are a vector for bovine tuberculosis. In protected natural areas, possum (...) browsing is responsible for large scale defoliation of native vegetation. As with many other pesticides, there has been some degree of popular concern about the use of this toxin and its safety, with particular reference to non-target effects. These concerns have been associated with potential non-target effects on human health, and the health of animals of recreational value (e.g., hunting dogs and game animals). This has led to the development of a strong “anti-1080” lobby in New Zealand. In contrast, this study encompasses a science-based risk analysis focusing on the potential risks to non-target native wildlife with a particular focus on chronic toxicity. It finds that there is evidence that 1080 may have endocrine disrupting capabilities (with potential relevance for non-target wildlife) but that this still needs more detailed investigation. This can be clarified by further targeted research. Further research is also needed to test the degradation rates of 1080 and its breakdown products at ecologically-relevant temperatures (i.e., winter stream temperatures – below 11 °C). Such research may demonstrate that some adjustment to 1080 risk management is warranted in New Zealand, or it may help to put to rest the current controversy over the use of this cost effective conservation management tool. (shrink)

In this essay, I explore non-human multispecies interactions in soils polluted by electronic waste and subsequently bioremediated by plants and microbes. I argue that regenerative transformation in polluted soil environments is principally through microbial degradation, a significant process for survival amidst disaster. In doing so, I combine two separate research areas – the materiality of electronic waste and of soils – thus contributing to theorization on the persistent problem of anthropogenically polluted soils. I do so by examining the process of (...) bioremediation, which ties anthropogenic pollution with underground soil processes, notably those that occur at the soil interface surrounding plant roots, the rhizosphere. Using empirical examples from scientific literature on the bioremediation of electronic waste-contaminated soils in China, I demonstrate that degradation, symbiosis, and sequestration are instrumental processes in polluted soils. The micro-scaled perspective of these relational processes and their toxic alterlives contributes to materialist, chemosocial understandings of toxic and polluted environments. (shrink)

I present an analysis according to which the current state of the definition of substitution leads to a contradiction in the system of Transparent Intensional Logic. I entail the contradiction using only the basic definitions of TIL and standard results. I then analyse the roots of the contradiction and motivate the path I take in resolving the contradiction. I provide a new amended definition of collision-less substitution which blocks the contradiction in a non-ad hoc way. I elaborate on the consequences (...) of the amended definition, namely the invalidity of the Church-Rosser theorem. I present a counterexample to the validity of the theorem in TIL with an amended definition of substitution. (shrink)

The paper presents an alternative substitutional semantics for first-order modal logic which, in contrast to traditional substitutional (or truth-value) semantics, allows for a fine-grained explanation of the semantical behavior of the terms from which atomic formulae are composed. In contrast to denotational semantics, which is inherently reference-guided, this semantics supports a non-referential conception of modal truth and does not give rise to the problems which pertain to the philosophical interpretation of objectual domains (concerning, e.g., possibilia or trans-world identity). The paper (...) also proposes the notion of modality de nomine as an alternative to the denotational notion of modality de re. (shrink)

In this paper we formulate epsilon substitution method for a theory $\Pi _{2}^{0}$-FIX for non-monotonic $\Pi _{2}^{0}$ inductive definitions. Then we give a termination proof of the H-processes based on Ackermann [1].

In lieu of an abstract, here is a brief excerpt of the content:Toxic Progeny:The Plastisphere and Other Queer FuturesHeather Davis… the whole world can be plasticized, and even life itself.—Roland Barthes, MythologiesOn April 11, 2014, the Norwegian newspaper The Local reported that Bjørn Frilund caught a large cod that, as he discovered as he was gutting it, had swallowed a dildo. Frilund speculated that the fish mistook the dildo for one of the multicolored octopi that are its usual food (...) source and are common to the area. This is certainly not the first case of a marine animal mistaking a piece of plastic for food. Everything from whales to birds to turtles to bacteria have been documented consuming plastic (Tremlett 2013; Stephanis, Giménez, Carpinelli et al. 2013; Zettler, Mincer, and Amaral-Zettler 2013), presumably in a moment of misrecognition, or due to an inability to filter out the plastic that is now, in some parts of the ocean, six times more abundant than plankton (Andrady 2011; Law and Moret-Ferguson 2010). But what is interesting to me about this example is the explicit enmeshment and strange congruence of oceanic plastic as it ties into nonreproductive sex and queer futurity. Although silicone (the most likely material that the dildo was made from) is not what is normally grouped under the (very broad) term “plastic” because it is not derived from petrochemicals, it shares the same problem that plastic poses; that is, its non-decomposability. We are not certain how long plastic may stick around for, but as is now commonly known, plastic can be considered practically immortal. That is, the timescale for which plastic may biodegrade, meaning that it turns into something else (delineated from simply breaking [End Page 231] down, tearing, or becoming smaller), is on the order of thousands of years. Given this incredible longevity, plastic can then be understood as a non-filial human progeny, a bastard child that will most certainly outlive us. And it is heralding in a future in which—regardless of one’s gender, sexual orientation, or religious beliefs—reproduction is increasingly decoupled from sex. Plastic is contributing to this non-reproductivity while birthing a future of strange new life forms adapted to deal with these chemicals. What kind of offspring is plastic? How might it intersect with questions of queer life and (non)reproduction? And, in light of our increasingly nonreproductive futures, might there be something to be learned from queer theory, and the embodiment of queer subjects that have never assumed biological reproduction to be the ultimate signifier of hope?This essay will look to bring the worlds of plastic and queer theory together under the conditions of non-reproduction and extinction, a world where our progeny may not even be human much less our biological offspring. Here, I am following Nicole Seymour’s assertion that “queer values—caring not (just) about the individual, the family, or one’s descendants, but about the Other species and persons to whom one has no immediate relations—may be the most effective ecological values” (2013, 27). This fissuring of reproductive logic from biology could be one of the most important lessons in a world that is increasingly toxic. For, as Catriona Mortimer-Sandilands and Bruce Erickson write in Queer Ecologies, “queer attachments work both to celebrate the excess of life and to politicize the sites at which this excess is eradicated” (2010, 37). To develop these ideas, I build upon and am indebted to feminist science studies scholars such as Nancy Tuana, Donna Haraway, and Mel Chen, among many others, who assert the inherently intertwined viscous porosity of our bodies, our multiple compositions, and the necessarily imbricated and implicated nature of that position.PlasticPlastic is a curious substance. The first fully synthetic polymer was made in 1907 by Leo Bakeland and patented in 1909. Made to replace other materials that were becoming increasingly scarce, it fueled an era of mass consumerism and the cheap replication and distribution of goods. Plastic is a generic category that describes about twenty different types of polymers. The five families of commodity plastics that make up about seventy-five percent “of the roughly one hundred billion pounds of plastic produced and sold annually in... (shrink)

Slurs are special. They can be so powerful and harmful that even mentioning them can be offensive. What explains this “toxicity” that many slurs display? Most discussions in the literature on slurs attempt to analyze the derogatory meaning of slurs, differing in where they locate this meaning – in the semantics, pragmatics, etc. In this article, the author argues that these content theories, despite their merits, are unable to account for toxicity. For a content-based approach to toxicity implies that two (...) meaning-equivalent phrases should have the same toxicity. The author argues that this is not the case for the analyses proffered by current content theorists. Instead, he argues that we can only explain toxicity by understanding the special neurolinguistic properties of slurs. The author then draws out the consequences of this view for the issue of non-derogatory uses of slurs. (shrink)

Competing theories on the semantics of group pejorative terms (also known as‘slurs’)comprise both advocates and opponents to the Identity Thesis (IT), according to whichthese terms and their neutral counterparts do not differ in semantic value. In the oppo-nents’camp, Christopher Hom has offered an argument based on substitution of slurs andneutral counterparts that both supports his semanticist approach and cast doubts on all IT-based approaches to slurs. We aim to point to a dilemma triggered by this argument based on evidence showing (...) that substitution of some words (including but not restricted to slurs)for non-problematically co-referential pairs may fail to preserve truth-values in some linguistics contexts. (shrink)

In perceptual experience we are directed towards objects in a way which establishes a real relation between a mental act and its target. In reading works of fiction we enjoy experiences which manifest certain internal similarities to such relational acts, but which lack objects. The substitution theory of art attempts to provide a reason why we seek out such experiences and the artifacts which they generate. Briefly, we seek out works of art because we enjoy the physiology and the phenomenology (...) of, for example, the experience of love or mountain climbing, and works of art serve as props for the promotion of substitutes for the corresponding genuine feelings. Art arose, or came to be separated out from other, related phenomena, through the discovery that the experience of substitute emotions can be pleasurable. (shrink)

Toxic plants have been used for years in agriculture to control major crop pests. However, the continuous exposure of targeted pests to toxins dramatically increases the rate of resistance evolution (Gassman et al. in Annu Rev Entomol 54:147–163, 2009a ; Tabashnik et al. Nat Biotechnol 26:199–202, 2008 ). To prevent or delay resistance, non toxic host plants can be used as refuges. Our study considers spatial and temporal refuges that are respectively implemented concurrently or alternatively a toxic (...) crop. A conceptual model based on impulsive differential equations is proposed to describe the dynamics of the susceptible and resistant pest populations over time. The mathematical study enlightens threshold values of the proportion of the spatial refuge and key parameters that should help to understand evolution of pest resistance to toxic crop. (shrink)

Tiebreak rules are necessary for revealing indifference in non- sequential decisions. I focus on a preference relation that satisfies Ordering and fails Independence in the following way. Lotteries a and b are indifferent but the compound lottery f, 0.5b> is strictly preferred to the compound lottery f, 0.5a>. Using tiebreak rules the following is shown here: In sequential decisions when backward induction is applied, a preference like the one just described must alter the preference relation between a and b at (...) certain choice nodes, i.e., indifference between a and b is not stable. Using this result, I answer a question posed by Rabinowicz (1997) concerning admissibility in sequential decisions when indifferent options are substituted at choice nodes. (shrink)

The λσ-calculus adds explicit substitutions to the λ-calculus so as to provide a theoretical framework within which the implementation of functional programming languages can be studied. This paper generalises the λσ-calculus to provide a linear calculus of explicit substitutions, called xDILL, which analogously describes the implementation of linear functional programming languages.Our main observation is that there are non-trivial interactions between linearity and explicit substitutions and that xDILL is therefore best understood as a synthesis of its underlying logical structure and the (...) technology of explicit substitutions. This is in contrast to the λσ-calculus where the explicit substitutions are independent of the underlying logical structure. (shrink)

The concept of ecosystem services is a way of visualizing the instrumental value that nature has for human beings. Most ecosystem services can be performed by more than one species. This fact is sometimes used as an argument against the preservation of species. However, even though substitutability does detract from the instrumental value of a species, it also adds option value to it. The option value cannot make a substitutable species as instrumentally valuable as a non-substitutable species, but in many (...) cases, it can add enough value to make the species more valuable than the projects that threaten its existence. (shrink)

Highlights: -/- • Breastfeeding and breastfeeding support can contribute to mitigating climate change. • Achieving global nutrition targets will save more emissions than fuel-switching. • Breastfeeding support programmes support a just transition. • This work can support the expansion of mitigation options in energy system models. -/- Abstract: -/- Renewable gas has been proposed as a solution to decarbonise industrial processes, specifically heat demand. As part of this effort, the breast-milk substitutes industry is proposing to use renewable gas as (...) a substitute for fossil natural gas. However, decarbonising the industrial processing of breast-milk substitutes can increase social license for these products, potentially undermining breastfeeding. World Health Organisation nutrition targets aim to increase exclusive breastfeeding to at least 50% globally by 2025 to improve maternal, infant, and young child health and nutrition. This target will have implications for the energy transition. A weakness of existing energy models is that demands for end-use products such as breast-milk substitutes are typically not considered explicitly. This paper develops an analytical framework for explicitly representing infant feeding methods in energy systems models. We compare the emissions saved in Ireland from decarbonising the industrial processing of breast-milk substitutes with renewable gas with the emissions saved by an increase in exclusive breastfeeding to 50% in both Ireland and a key export market, China. We demonstrate that the emissions saved from achieving the minimum global breastfeeding target are greater than when renewable gas is used to displace natural gas in the production of breast-milk substitutes in Ireland. We discuss the decarbonisation of breast-milk substitutes in relation to the principle of justice as non-maleficence, a principle based on the commitment to avoid harm, a novel application of a principle of justice. We conclude that breastfeeding support can be considered a demand-side measure for mitigating climate change by reducing the demand for energy services to produce breast-milk substitutes. A key recommendation is to position breastfeeding support as both a public health and a climate justice issue that is relevant for a just transition. The framework developed for this paper could be applied to support the inclusion of a wider range of mitigation options with social justice outcomes in energy system models. [Open access]. (shrink)

This paper explores the relation between the philosophical idea that logic is a science studying logical forms, and a mathematical feature of logical systems called the principle of uniform substitution, which is often regarded as a technical counterpart of the philosophical idea. We argue that at least in one interesting sense the principle of uniform substitution does not capture adequately the requirement that logic is a matter of form and that logical truths are formal truths. We show that some specific (...) logical expressions can produce propositions of different kinds and the resulting diversity of informational types can lead to a justified failure of uniform substitution without undermining the view that logic is a purely formal discipline. (shrink)

Recent discussions of physicalism have focused on the question how the physical ought to be characterized. Many have argued that any characterization of the physical should include the stipulation that the physical is non-mental, and others have claimed that a systematic substitution of ‘non-mental’ for ‘physical’ is all that is needed for philosophical purposes. I argue here that both claims are incorrect: substituting ‘non-mental’ for ‘physical’ in the causal argument for physicalism does not deliver the physicalist conclusion, and the specification (...) that the physical is non-mental is irrelevant to the task of formulating physicalism as a substantive, controversial thesis. (shrink)

It is known that an epsilon-invariant sentence has a first-order reformulation, although it is not in an explicit form, since, the proof uses the non-constructive interpolation theorem. We make an attempt to describe the explicit meaning of sentences containing epsilon-terms, adopting the strong assumption of their first-order reformulability. We will prove that, if a monadic predicate is syntactically independent from an epsilon-term and if the sentence obtained by substituting the variable of the predicate with the epsilon-term is epsilon-invariant, then the (...) sentence has an explicit first-order reformulation. Finally, we point out that the formula gives a contextual-quantificational meaning for the indefinite descriptions, provided that one accepts Kneebone’s read of epsilon-terms. (shrink)

This paper shows how to conservatively extend theories formulated in non-classical logics such as the Logic of Paradox, the Strong Kleene Logic and relevant logics with Skolem functions. Translations to and from the language extended by Skolem functions into the original one are presented and shown to preserve derivability. It is also shown that one may not always substitute s=f(t) and A(t, s) even though A determines the extension of a function and f is a Skolem function for A.

This article intends to critically envisage limits and values of philosophy of art of Arthur Danto and to point out the main problems of the theory of supstitutional representation, when placed within wider theoretical frame of traditional aesthetics, such as the notion of meaning in the philosophy of art of Arthur Danto. The article focuses on the notions of exteral and interal representation and denotation of non-existent and existent entities substituted by representation. This article intends to question the validity of (...) Danto?s position. Ovaj tekst pokusava da kriticki sagleda domete i vrednosti filozofije umetnosti Artura Dantoa i da istakne osnovne probleme sa kojima supstituciona teorija reprezentacije mora da se suoci, kada se ona zastupa u sirem teorijskom okviru tradicionalne estetike, kakav je pojam znacenja u filozofiji umetnosti Artura Dantoa. Posebnu paznju tekst usmerava na pojmove eksteralne i interalne reprezentacije i denotacije nepostojecih i postojecih entiteta, koji se reprezentacijom supstituiraju. Autor nastoji pokazati da je stav koji Danto zastupa apsurdan. (shrink)

Speakers often judge the sentence “Lois Lane believes that Superman flies” to be true and the sentence “Lois Lane believes that Clark Kent flies” to be false. If Millianism is true, however, these sentences express the very same proposition and must therefore have same truth value. “Pragmatic” Millians like Salmon and Soames have tried to explain speakers’ “anti-substitution intuitions” by claiming that the two sentences are routinely used to pragmatically convey different propositions which do have different truth values. “Non-Pragmatic” Millians (...) like Braun, on the other hand, have argued that the Millian should not appeal to pragmatics and opt instead for a purely psychological explanation. I will present two objections against Non-Pragmatic Millianism. The first one is that the view cannot account for the intuitions of speakers who accept the identity sentence “Superman is Clark Kent”: applying a psychological account in this case, I will argue, would yield wrong predictions about speakers who resist substitution with simple sentences. I will then consider a possible response from the non-pragmatic Millian and show that the response would in fact require an appeal to pragmatics. My conclusion will be that Braun’s psychological explanation of anti-substitution intuitions is untenable, and that the Millian is therefore forced to adopt a pragmatic account. My second objection is that Non-Pragmatic Millianism cannot account for the role that certain commonsense intentional generalizations play in the explanation of behavior. I will consider a reply offered by Braun and argue that it still leaves out a large class of important generalizations. My conclusion will be that Braun’s non-pragmatic strategy fails, and that the Millian will again be forced to adopt a pragmatic account of intentional generalizations if he wants to respond to the objection. In light of my two objections, my general conclusion will be that non-pragmatic versions of Millianism should be rejected. This has an important consequence: if Millianism is true, then some pragmatic Millian account must be correct. It follows that, if standard objections against pragmatic accounts succeed, then Millianism must be rejected altogether. (shrink)

We show that there are continuum many different extensions of SCI (the basic theory of non-Fregean propositional logic) that lie below WF (the Fregean extension) and are closed under substitution. Moreover, continuum many of them are independent from WB (the Boolean extension), continuum many lie above WB and are independent from WH (the Boolean extension with only two values for the equality relation), and only countably many lie between WH and WF.

According to the hypothesis of extended phenomenal consciousness, although the material vehicles that realize phenomenal consciousness include neural elements, they are not restricted to such elements. There will be cases in which those material vehicles additionally include not only non-neural bodily elements, but also elements located beyond the skull and skin. In this paper, I examine two arguments for ExPC, one due to Noë and the other due to Kiverstein and Farina. Both of these arguments conclude that ExPC is true (...) on the basis of an analysis of sensory substitution, the phenomenon in which technological augmentation enables one sensory modality, for instance touch, to support the kind of environmental access and interaction ordinarily supported by a different sensory modality, for instance vision. I develop considerations which reveal that, as they stand, both of these arguments fall short. If the phenomenon of sensory substitution provides evidence for the truth of ExPC, it is not because of the specific arguments offered by these authors. (shrink)

Objectual interpretations of non-nominal quantification seems to offer a non-substitutional treatment of quantification which respects differences of grammatical category in the object language whilst only employing nominal quantification in the metalanguage. I argue that the satisfaction conditions of such interpretations makes use concepts that must themselves be explained through non-nominal quantification. As a result, the interpretation misrepresents the structure of non-nominal quantification and the relationship between nominal and non-nominal forms of generality.

Our concern is the axiomatisation problem for modal and algebraic logics that correspond to various fragments of two-variable first-order logic with counting quantifiers. In particular, we consider modal products with Diff, the propositional unimodal logic of the difference operator. We show that the two-dimensional product logic $Diff \times Diff$ is non-finitely axiomatisable, but can be axiomatised by infinitely many Sahlqvist axioms. We also show that its ‘square’ version (the modal counterpart of the substitution and equality free fragment of two-variable first-order (...) logic with counting to two) is non-finitely axiomatisable over $Diff \times Diff$ , but can be axiomatised by adding infinitely many Sahlqvist axioms. These are the first examples of products of finitely axiomatisable modal logics that are not finitely axiomatisable, but axiomatisable by explicit infinite sets of canonical axioms. (shrink)

Emotion-processing impairment represents a risk factor for the development of somatic illness, affecting negatively both health-related quality of life and disease management in several chronic diseases. The present pilot study aims at investigating the associations between alexithymia and depression, anxiety, and HRQoL in patients with Hashimoto’s thyroiditis ; examining the association between these three psychological conditions together with HRQoL, and thyroid autoantibodies status as well as thyroid echotexture in patients with HT; and comparing the intensity of all these clinical psychological (...) features in patients with HT versus controls. Twenty-one patients with serologically or ultrasonographically verified HT and 16 controls with non-toxic goiter or postsurgical hypothyroidism were recruited for this study. Serum thyrotropin and free thyroxine, as well as thyroid autoantibodies, were assayed. Alexithymia, depression, anxiety, and HRQoL were assessed with Toronto Alexithymia Scale; Beck Depression Inventory, second edition; Hamilton Anxiety Rating Scale; and Health Survey Short-Form 36, respectively. A negative relationship between the difficulty to describe feelings and the cognitive component of depression was found. Besides, patients with seronegative HT had lower somatic anxiety than patients with HT who tested positive. Besides, no statistically significant difference was found between patients with HT and controls with regard to somatic anxiety. The present study suggests the relevance of alexithymia in patients suffering from HT, which may be intertwined with a possible state of underreported depression that is mainly expressed through physical complaints. Promoting the capability to describe and communicate feelings could contribute to psychological elaboration and coping with the disease and, consequently, to the improvement of self-management and perceived HRQoL. (shrink)

Experiences of substitute decision-makers with requests for consent to non-therapeutic research participation during the dying process, including to what degree such requests are perceived as burdensome, have not been well described. In this study, we explored the lived experiences of family members who consented to non-therapeutic research participation on behalf of an imminently dying patient. We interviewed 33 family members involved in surrogate research consent decisions for dying patients in intensive care. Non-therapeutic research involved continuous physiological monitoring of dying patients (...) prior to and for 30 min following cessation of circulation. At some study centres participation involved installation of bedside computers. At one centre electroencephalogram monitoring was used with a subset of participants. Aside from additional monitoring, the research protocol did not involve deviations from usual end-of-life care. Thematic analysis of interviews suggests most family members did not perceive this minimal-risk, non-therapeutic study to affect their time with patients during the dying process, nor did they perceive research consent as an additional burden. In our analysis, consenting for participation in perimortem research offered families of the dying an opportunity to affirm the intrinsic value of patients’ lives and contributions. This opportunity may be particularly important for families of patients who consented to organ donation but did not proceed to organ retrieval. Our work supports concerns that traditional models of informed consent fail to account for possible benefits and harms of perimortem research to surviving families. Further research into consent models which integrate patient and family perspectives is needed. All data relevant to the study are included in the article. (shrink)

The Direct Reference account of the semantics of singular terms is widely assumed to be inconsistent with the traditional Individualist account of psychological states. Because of this assumption, and because of the weight of the evidence for Direct Reference, Anti-Individualism has found supporters despite its counterintuitiveness. In this dissertation, it is argued that Direct Reference and Individualism are not genuinely inconsistent, but that the inconsistency emerges only with the additional assumption of Propositionalism--the orthodox, proposition-based framework for understanding thought and language. (...) Consequently, it is not necessary to endorse Anti-Individualism in order to accept Direct Reference, so long as Propositionalism is accepted only in an attenuated form, if at all. ;It is argued that the best strategy for resolving the inconsistency is to retain all of Propositionalism apart from the Relational Analysis of belief ascriptions. An alternative analysis--the Quantified Relational Analysis --is developed and motivated. According to QRA, an ascription of the form X believes that S attributes the property of believing some member of the class of propositions containing the proposition that S and finer-grained versions of it. QRA is extended also to de re belief locutions. The conjunction of Direct Reference, Individualism, and the remnants of Propositionalism plus QRA is termed Russellian Non-Parallelism. ;Like all Direct Reference theories, Russellian Non-Parallelism has the consequence that co-referring names and other genuine terms are freely substitutable for each other, despite the datum that ordinary speakers intuitively regard such substitutions in belief contexts as suspect. These intuitions are accounted for both pragmatically and semantically. The pragmatic explanation specifies a mechanism whereby the audience sometimes infers from the choice of genuine terms the subject's way of thinking of the objects involved. The semantic explanation motivates an idiomatic reading of ascriptions, on which, under certain circumstances, the choice of co-referring terms in ascriptions literally indicates different belief contents. Russellian Non-Parallelism is then applied to enhanced substitution puzzles and to some other traditional problems, such as the contingent a priori. Finally there is a discussion of pertinent contemporary literature. (shrink)