In the substitutional framework, validity is truth under all substitutions of the nonlogical vocabulary. I develop a theory where □ is interpreted as substitutional validity. I show how to prove soundness and completeness for common modal calculi using this definition.

An increasing amount of twenty-first century metaphysics is couched in explicitly hyperintensional terms. A prerequisite of hyperintensional metaphysics is that reality itself be hyperintensional: at the metaphysical level, propositions, properties, operators, and other elements of the type hierarchy, must be more fine-grained than functions from possible worlds to extensions. In this paper I develop, in the setting of type theory, a general framework for reasoning about the granularity of propositions and properties. The theory takes as primitive the notion of a (...) substitution on a proposition (property, etc.) and, among other things, uses this idea to elucidate a number of theoretically important distinctions. A class of structures are identified which can be used to model a wide range of positions about the granularity of reality; certain of these structures are seen to receive a natural treatment in the category of M-sets. (shrink)

Sensory substitution devices make use of one substituting modality to get access to environmental information normally accessed through another modality . Based on behavioural and neuroimaging data, some authors have claimed that using a vision-substituting device results in visual perception. Reviewing these data, we contend that this claim is untenable. We argue that the kind of information processed by a SSD is metamodal, so that it can be accessed through any sensory modality and that the phenomenology associated with the use (...) of a SSD is best described in terms of spatial phenomenology, only. (shrink)

When a user integrates a sensory substitution device into her life, the process involves perceptual learning, that is, ‘relatively long-lasting changes to an organism’s perceptual system that improve its ability to respond to its environment’ (Goldstone 1998: 585). In this paper, I explore ways in which the extensive literature on perceptual learning can be applied to help improve sensory substitution devices. I then use these findings to answer a philosophical question. Much of the philosophical debate surrounding sensory substitution devices concerns (...) what happens after perceptual learning occurs. In particular, should the resultant perceptual experience be classified in the substituted modality (as vision), in the substituting modality (as auditory or tactile), or in a new sense modality? I propose a novel empirical test to help resolve this philosophical debate. (shrink)

It is hoped that modern sensory substitution and augmentation devices will be able to replace or expand our senses. But to what extent has this been achieved to date? To what extent are the experiences created by sensory substitution devices like the sensory experiences that we are trying to replace? To what extent can we augment people’s senses providing them with new information and new experiences? The first aim of this introduction is to delve deeply into this question to discover (...) the usefulness of these devices, to outline the different sorts of experience that might be created, and what the evidence tells us about these experiences. While there are some reasons to be hopeful about the powers of sensory substitution devices, there are also reasons to wonder whether they will ever really have the practical applications that we hope they might have. The second aim is to look to see whether the study of modern sensory substitution and augmentation devices can shed light on the nature of our senses and perception in general. Much of the philosophical, psychological, and neuroscientific work that takes place concerning sensory substitution and augmentation is keenly aware of the possibility that it might help our understanding and it seeks to comprehend many different aspects of perception. (shrink)

How do philosophers and psychologists receive paradigmatic cases from pathology? More specifically, how are some essential features of ‘normal’ cognitive, affective or perceptual functions derived from these pathological cases? In this paper, I argue that Maurice Merleau-Ponty offers a fecund answer to this question by putting forth a logic of supplementation in pathology that distinguishes the coping behavior of the organic world in contrast to an inorganic one. Supplementation, instead of substitution, marks the world of the living, particularly in its (...) higher forms, as it denotes a persistence through impairment governed by an organic norm. A prominent example of this appears in his reading of the patient Schneider case, a classic example from Goldstein and Gelb’s Gestalt psychology. While earlier commentators were interested in underlying whether or not Merleau-Ponty used this example to denote the persistence of a key function or the disruption of another, what has been missed, on my view, is a far more consequential point about pathologies and how they structure our relation to our world. -/- . (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)

The aim of this article is to provide a plausible conceptual model of a specific use of images described as substitution in recent art-historical literature. I bring to light the largely implicit shared commitments of the art historians’ discussion of substitution, each working as they do in a different idiom, and I draw consequences from these commitments for the concept of substitution by image—the major being the distinction between nonportraying substitution and substitution by portrayal. I then develop an argument that (...) substitution by image in the desired, nonportraying sense needs to be thought of in terms of a figurative representation of an image’s subject as a generic object, what I will call its figurative instantiation. (shrink)

In their Anachronic Renaissance, Alexander Nagel and Christopher Wood identify two principles upon which, in fifteenth-century Europe, a work of art might establish its validity or authority: substitution and performance. It has become established wisdom that the dual schema of substitution and performance follows Hans Belting's dualism of the medieval cult of the image and the modern aesthetic system of art. This, I submit, is not just a mistake, but also prevents from evaluating one of the book's most ambitious contributions (...) to art-historical theory on its own merits. An analysis of the structure of the claims made by Nagel and Wood brings to light that the two concepts—substitution and performance—do not play the same role as the conceptual pair of Bild and Kunst in Belting's influential work. (shrink)

This report highlights and explores five questions that arose from the workshop on sensory substitution and augmentation at the British Academy, March 26th through 28th, 2013.

Fundamental to Quine’s philosophy of logic is the thesis that substitutional quantification does not express existence. This paper considers the content of this claim and the reasons for thinking it is true.

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)

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: Does sensory substitution generate perceptual or cognitive states?

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 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: What can sensory substitution tell us about perceptual learning?

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: How does sensory substitution interact with the brain’s architecture?

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: What are the limitations of sensory substitution.

It is widely held that counterfactuals, unlike attitude ascriptions, preserve the referential transparency of their constituents, i.e., that counterfactuals validate the substitution of identicals when their constituents do. The only putative counterexamples in the literature come from counterpossibles, i.e., counterfactuals with impossible antecedents. Advocates of counterpossibilism, i.e., the view that counterpossibles are not all vacuous, argue that counterpossibles can generate referential opacity. But in order to explain why most substitution inferences into counterfactuals seem valid, counterpossibilists also often maintain that counterfactuals (...) with possible antecedents are transparency‐preserving. I argue that if counterpossibles can generate opacity, then so can ordinary counterfactuals with possible antecedents. Utilizing an analogy between counterfactuals and attitude ascriptions, I provide a counterpossibilist‐friendly explanation for the apparent validity of substitution inferences into counterfactuals. I conclude by suggesting that the debate over counterpossibles is closely tied to questions concerning the extent to which counterfactuals are more like attitude ascriptions and epistemic operators than previously recognized. (shrink)

The paper argues that philosophers commonly misidentify the substitutivity principle involved in Russell’s puzzle about substitutivity in “On Denoting”. This matters because when that principle is properly identified the puzzle becomes considerably sharper and more interesting than it is often taken to be. This article describes both the puzzle itself and Russell's solution to it, which involves resources beyond the theory of descriptions. It then explores the epistemological and metaphysical consequences of that solution. One such consequence, it argues, is that (...) Russell must abandon his commitment to propositions. (shrink)

Goodman and Lederman (2020) argue that the traditional Fregean strategy for preserving the validity of Leibniz’s Law of substitution fails when confronted with apparent counterexamples involving proper names embedded under propositional attitude verbs. We argue, on the contrary, that the Fregean strategy succeeds and that Goodman and Lederman’s argument misfires.

The 'substitution argument' purports to demonstrate the falsity of Russellian accounts of belief-ascription by observing that, e.g., these two sentences: (LC) Lois believes that Clark can fly. (LS) Lois believes that Superman can fly. could have different truth-values. But what is the basis for that claim? It seems widely to be supposed, especially by Russellians, that it is simply an 'intuition', one that could then be 'explained away'. And this supposition plays an especially important role in Jennifer Saul's defense of (...) Russellianism, based upon the existence of an allegedly similar contrast between these two sentences: (PC) Superman is more popular than Clark. (PS) Superman is more popular than Superman. The latter contrast looks pragmatic. But then, Saul asks, why shouldn't we then say the same about the former? The answer to this question is that the two cases simply are not similar. In the case of (PC) and (PS), we have only the facts that these strike us differently, and that people will sometimes say things like (PC), whereas they will never say things like (PS). By contrast, there is an argument to be given that (LS) can be true even if (LC) is false, and this argument does not appeal to anyone's 'intuitions'. The main goal of the paper is to present such a version of the substitution argument, building upon the treatment of the Fregan argument against Russellian accounts of belief itself in "Solving Frege's Puzzle". A subsidiary goal is to contribute to the growing literature arguing that 'intuitions' simply do not play the sort of role in philosophical inquiry that so-called 'experimental philosophers' have supposed they do. (shrink)

Is the brain the biological substrate of consciousness? Most naturalistic philosophers of mind have supposed that the answer must obviously be «yes » to this question. However, a growing number of philosophers working in 4e (embodied, embedded, extended, enactive) cognitive science have begun to challenge this assumption, arguing instead that consciousness supervenes on the whole embodied animal in dynamic interaction with the environment. We call views that share this claim dynamic sensorimotor theories of consciousness (DSM). Clark (2009) a founder and (...) leading proponent of the hypothesis of the extended mind, demurs, arguing that as matter of fact the biology of consciousness doesn’t allow for a brain, body and world boundary crossing architecture. We begin by looking at one of the arguments for DSM, the variable neural correlates argument. We then outline two criticisms that Clark has made of this argument and endorse his criticisms. However we finish up by using the case of sensory substitution to argue that something of this argument for DSM nevertheless survives. We suggest that Clark ought to concede sensory substitution as a case in which the conscious mind extends. (shrink)

Expressivism is a blossoming meta-semantic framework sometimes relying on what Carter and Chrisman call “the core expressivist maneuver.” That is, instead of asking about the nature of a certain kind of value, we should be asking about the nature of the value judgment in question. According to expressivists, this question substitution opens theoretical space for the elegant, economical, and explanatorily powerful expressivist treatment of the relevant domain. I argue, however, that experimental work in cognitive psychology can shed light on how (...) the core expressivist maneuver operates at the cognitive level and that this: raises worries about the aptness of the expressivist question substitution and supports an evolutionary debunking argument against expressivism. Since evolutionary debunking arguments are usually run in favor of expressivism, this creates an obvious puzzle for expressivists. I wrap up by briefly responding to the objection that the debunking argument against expressivism overgeneralizes and, therefore, should be rejected. (shrink)

We show that, contrary to conventional wisdom, Frege’s distinction between sense and reference does not reconcile a classical logic of identity with apparent counterexamples to it involving proper names embedded under propositional attitude verbs.

This paper proposes substitutional definitions of logical truth and consequence in terms of relative interpretations that are extensionally equivalent to the model-theoretic definitions for any relational first-order language. Our philosophical motivation to consider substitutional definitions is based on the hope to simplify the meta-theory of logical consequence. We discuss to what extent our definitions can contribute to that.

Prior’s problem consists in the impossibility of replacing clausal complements of most attitude verbs by ‘ordinary’ NPs; only ‘special quantifiers’ that is, quantifiers like 'something' permit a replacement, preserving grammaticality or the same reading of the verb: (1) a. John claims that he won. b. ??? John claims a proposition / some thing. c. John claims something. In my 2013 book Abstract Objects and the Semantics of Natural Language, I have shown how this generalizes to nonreferential complements of various other (...) intensional predicates and argued for a Nominalization Theory of special quantifiers. In this paper, I will review and extend the range of linguistic generalizations that motivate the Nominalization Theory and show that they pose serious problems for higher-order and substitutional analyses of special quantifiers. (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)

It is sometimes said that simulation can serve as epistemic substitute for experimentation. Such a claim might be suggested by the fast-spreading use of computer simulation to investigate phenomena not accessible to experimentation (in astrophysics, ecology, economics, climatology, etc.). But what does that mean? The paper starts with a clarification of the terms of the issue and then focuses on two powerful arguments for the view that simulation and experimentation are ‘epistemically on a par’. One is based on the (...) claim that, in experimentation, no less than in simulation, it is not the system under study that is manipulated but a system that ‘stands-in’ for it. The other one highlights the pervasive use of models in experimentation. It will be argued that these arguments, as compelling as they might seem, are each based on a mistaken interpretation of experimentation and that, far from simulation and experimentation being epistemically on a par, they do not have the same epistemic function, do not produce the same kind of epistemic results. (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)

Millianism is reasonable; that is, it is reasonable to think that all there is to the semantic value of a proper name is its referent. But Millianism appears to be undermined by the falsehood of Substitutivity, the principle that interchanging coreferential proper names in an intentional context cannot change the truth value of the resulting belief report. Mary might be perfectly rational in assenting to ‘Twain was a great writer’ as well as ‘Clemens was not a great writer’. Her confusion (...) does not seem to preclude her from assenting to those sentences in a normal, understanding manner. That is, Assent-for-Mary is true: Mary can knowingly assent to ‘Twain was a great writer’ and ‘Clemens was not a great writer’. By Disquotation—the rough principle that if in ordinary circumstances one assents to “P”, then one believes that P—Mary believes that Twain was a great writer and she believes that it’s not the case that Clemens was a great writer. If Substitutivity were true, then since ‘Mary believes that Twain was a great writer’ is true, ‘Mary believes that Clemens was a great writer’ would have to be true too. But then Mary would amount to a refutation of the plausible principle Consistency that, roughly put, no rational adult can have occurrently held and reflectively considered and compared contradictory beliefs. Since Disquotation, Assent-for-Mary, and Consistency are true, Substitutivity has to go. (shrink)

Sensory substitution devices (SSDs) aim to compensate for the loss of a sensory modality, typically vision, by converting information from the lost modality into stimuli in a remaining modality. “The vOICe” is a visual-to-auditory SSD which encodes images taken by a camera worn by the user into “soundscapes” such that experienced users can extract information about their surroundings. Here we investigated how much detail was resolvable during the early induction stages by testing the acuity of blindfolded sighted, naïve vOICe users. (...) Initial performance was well above chance. Participants who took the test twice as a form of minimal training showed a marked improvement on the second test. Acuity was slightly but not significantly impaired when participants wore a camera and judged letter orientations “live”. A positive correlation was found between participants' musical training and their acuity. The relationship between auditory expertise via musical training and the lack of a relationship with visual imagery, suggests that early use of a SSD draws primarily on the mechanisms of the sensory modality being used rather than the one being substituted. If vision is lost, audition represents the sensory channel of highest bandwidth of those remaining. The level of acuity found here, and the fact it was achieved with very little experience in sensory substitution by naïve users is promising. (shrink)

Journal of Applied Philosophy, EarlyView.

Block (Trends Cogn Sci 7:285–286, 2003) and Prinz (PSYCHE 12:1–19, 2006) have defended the idea that SSD perception remains in the substituting modality (auditory or tactile). Hurley and Noë (Biol Philos 18:131–168, 2003) instead argued that after substantial training with the device, the perceptual experience that the SSD user enjoys undergoes a change, switching from tactile/auditory to visual. This debate has unfolded in something like a stalemate where, I will argue, it has become difficult to determine whether the perception acquired (...) through the coupling with an SSD remains in the substituting or the substituted modality. Within this puzzling deadlock two new approaches have been recently suggested. Ward and Meijer (Conscious Cogn 19:492–500, 2010) describe SSD perception as visual-like but characterize it as a kind of artificially induced synaesthesia. Auvray et al. (Perception 36:416–430, 2007) and Auvray and Myin (Cogn Sci 33:1036–1058, 2009) suggest that SSDs let their users experience a new kind of perception. Deroy and Auvray (forthcoming) refine this position, and argue that this new kind of perception depends on pre-existing senses without entirely aligning with any of them. So, they have talked about perceptual experience in SSDs as going "beyond vision". In a similar vein, MacPherson (Oxford University Press, New York, 2011a) claims that “if the subjects (SSD users) have experiences with both vision-like and touch-like representational characteristics then perhaps they have a sense that ordinary humans do not” (MacPherson in Oxford University Press, New York, 2011a, p. 139). (shrink)

Throughout the Yemeni Civil War, western states have supplied weapons used in the indiscriminate bombing campaign conducted by the Saudis. In defence of their actions, British politicians have argued that they are exchanging weapons for influence, and using the influence obtained to encourage compliance with humanitarian law. An additional premise in the argument is that Britain is using its influence more benignly than alternative suppliers would use theirs if Britain were not on the scene. The idea is that Britain is (...) substituting itself for other, less scrupulous, interveners. I argue that, regardless of whether British substitution intervention could be justified in this way…, it is not in fact justified, because Britain has not plausibly used its influence to secure an amount of good sufficient to offset the various harms that its actions have created (or to discharge the expanded duties of rescue that greater influence entails). In addition, the article identifies the various forms that substitution intervention can take, and shows how the concept reveals hitherto neglected reasons to both support and oppose intervention in foreign conflicts. (shrink)

Cortical plasticity is often invoked to explain changes in the quality or location of experience observed in rewired animals, in sensory substitution, in extension of the body through tool use, and in the rubber hand illusion. However this appeal to cortical plasticity may be misleading, because it suggest that the cortical areas that are plastic are themselves the loci of generation of experience. This would be an error, I claim, since cortical areas do not generate experience. Cortical areas participate in (...) enabling the interaction of an agent with its environment, and the quality of this interaction constitutes the quality of experience. Thus it is not plasticity in itself, but the change in modes of interaction which plasticity allows, which gives rise to the change of experience observed in these studies. (shrink)

According to proponents of the sensorimotor contingency theory of perception (Hurley & Noë 2003, Noë 2004, O’Regan 2011), active control of camera movement is necessary for the emergence of distal attribution in tactile-visual sensory substitution (TVSS) because it enables the subject to acquire knowledge of the way stimulation in the substituting modality varies as a function of self-initiated, bodily action. This chapter, by contrast, approaches distal attribution as a solution to a causal inference problem faced by the subject’s perceptual systems. (...) Given all of the available endogenous and exogenous evidence available to those systems, what is the most probable source of stimulation in the substituting modality? From this perspective, active control over the camera’s movements matters for rather different reasons. Most importantly, it generates proprioceptive and efference-copy based information about the camera’s body-relative position necessary to make use of the spatial cues present in the stimulation that the subject receives for purposes of egocentric object localization. (shrink)

What if a blind person could 'see' with her ears? Thanks to Sensory Substitution Devices (SSDs), blind people now have access to out-of-reach objects, a privilege reserved so far for the sighted. In this paper, we show that the philosophical debates have fundamentally been mislead to think that SSDs should be fitted among the existing senses or that they constitute a new sense. Contrary to the existing assumption that they get integrated at the sensory level, we present a new thesis (...) according to which they are not sensory, and get vertically integrated on the top of existing sensory abilities, from which they should be theoretically distinguished. (shrink)

In current philosophy of mind, there is lively debate over whether emotions, moods, and other affects can extend to comprise elements beyond one’s organismic boundaries. At the same time, there has been growing interest in the nature and significance of so-called existential feelings, which, as the term suggests, are feelings of one’s overall being in the world. In this article, I bring these two strands of investigation together to ask: Can the material underpinnings of existential feelings extend beyond one’s skull (...) and skin? To begin, I introduce and adopt a componential-systemic view of extended affectivity. In doing so, I specify the vehicle externalist criteria for extension employed in my analysis. I then define what existential feelings are and pinpoint several key issues in their potential extension. More specifically, I identify sensorimotor ‘know-how’ as a possibly extending component of existential feeling and posit it as the fulcrum of my argument. Finally, I move on to consider the extension of existential feeling via sensory substitution, especially through so-called Tactile Visual Sensory Substitution (TVSS) devices. Informed by both philosophical and empirical studies, I argue that, under certain conditions, (a) the agent’s implicit sensorimotor processing and a TVSS device can become coupled into a new systemic whole, which in turn (b) reconfigures the material underpinnings of the agent’s pre-intentional world-experience. This, I conclude, counts as a cogent case for extended existential feeling. (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)

The doctrine of penal substitution claims that it was good (or required) for God to punish in response to human sin, and that Christ received this punishment in our stead. I argue that this doctrine’s central factual claim—that Christ was punished by God—is mistaken. In order to punish someone, one must at least believe the recipient is responsible for an offense. But God surely did not believe the innocent Christ was responsible for an offense, let alone the offense of human (...) sin. So, the central factual claim is mistaken. In the final section, I show that this critique of penal substitution does not apply to the closely-related Anselmian satisfaction theory. (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)

This paper presents proof that Buss's S22 can prove the consistency of a fragment of Cook and Urquhart's PV from which induction has been removed but substitution has been retained. This result improves Beckmann's result, which proves the consistency of such a system without substitution in bounded arithmetic S12. Our proof relies on the notion of "computation" of the terms of PV. In our work, we first prove that, in the system under consideration, if an equation is proved and either (...) its left- or right-hand side is computed, then there is a corresponding computation for its right- or left-hand side, respectively. By carefully computing the bound of the size of the computation, the proof of this theorem inside a bounded arithmetic is obtained, from which the consistency of the system is readily proven. This result apparently implies the separation of bounded arithmetic because Buss and Ignjatović stated that it is not possible to prove the consistency of a fragment of PV without induction but with substitution in Buss's S12. However, their proof actually shows that it is not possible to prove the consistency of the system, which is obtained by the addition of propositional logic and other axioms to a system such as ours. On the other hand, the system that we have considered is strictly equational, which is a property on which our proof relies. (shrink)

If migration is more effective than aid for fighting poverty, should it replace aid? Not always. This article proposes a criterion that may be used to distinguish between cases where migration should serve as a substitute for development assistance and cases where it should supplement such aid. According to this criterion, development agendas are poverty-efficient when they lift the largest possible number of people out of poverty. Therefore, to be poverty-efficient, development agendas should always aim to complement aid with (...) policies for pulling people out of poverty. Development assistance that is not poverty-efficient should be abandoned and replaced by migration and other policies that can effectively fight poverty. (shrink)

In this paper we investigate with a case study from chemistry under what conditions a simulation can serve as a surrogate for an experiment. The case-study concerns a simulation of H2-formation in outer space. We find that in this case the simulation can act as a surrogate for an experiment, because there exists comprehensive theoretical background knowledge in form of quantum mechanics about the range of phenomena to which the investigated process belongs and because any particular modelling assumptions as can (...) be justified. If these requirements are met then direct empirical validation may even be dispensable. We conjecture that this is not the case in the absence of comprehensive theoretical background knowledge. (shrink)

Phthalic anhydride and 3-Nitro Phthalic anhydride were reacted with 2-aminomethyl benzimidazole in pyridine to give 2- (5-substituted phthalimidomethyl) bezimidazoles. These benzimidazoles were refluxed with chloroacetyl chloride in dry benzene followed by reaction with different secondary amines to give 1-(N-substituted amino acetyl)-2-(5-substituted phthalimidomethyl) benzimidazoles. Antiviral activity of these compounds was studied against Ranikhet Disease Virus (RDV) and Vaccinia Virus (VV). Some of these compounds have been found to be active against RDV.

3, 5 dinitro benzoic acid hydrazide was prepared by the hydrazinolysis of the corresponding ethyl ester. Condensation of this hydrazide with different aromatic acids in presence of POCl3 gave 2-3, 5 dinitropheny1-5-substituted pheny1 1, 3, 4-oxadiazoles. All the final compounds were tested against Ranikhet Disease Virus (RDV). However no compound showed antiviral activity against RDV.

El propósito de Levinas coincide con el intento moderno de recuperación de la verdad y del sentido aunque en una dirección y contenidos distintos. Si en Hegel la Aufhebung tendía a la Totalidad y lo Mismo , para Husserl será esencial la apertura de Mundo que tiene lugar ya en la experiencia de conciencia del ego trascendental, mientras que Heidegger, por su parte, primará la pregunta por el Ser. El intento de Levinas, en cambio, no será recomponer la relación entre (...) el yo, por un lado, y el mundo, lo absoluto, las cosas o el ser, por el otro, sino la recuperación de la relación entre yo-y-otro. No es un simple cambio en la dirección o en el contenido del sentido de la reflexión filosófica, sino un intento serio de encontrar una nueva significación, «otra manera que ser» que no termine siendo otro proyecto más de integración y síntesis. Lo que propone Levinas es una auténtica salida para la que traza el itinerario que va del ser al otro, recurriendo sencillamente a la experiencia que cotidianamente se nos impone a cada uno de nosotros con un peso incontestable, a saber: la presencia de las diferencias, de lo asimétrico, en definitiva, la manifestación del otro en tanto que otro. Es esta experiencia heterónoma ordinaria, esta vivencia diaria de la alteridad como dato primordial del fenómeno de la intersubjetividad el ámbito que ha intentado explorar nuestro autor. ¿Acaso es esta responsabilidad así sentida conjugable con una experiencia filosófica universal? ¿La responsabilidad puede llevarse hasta el límite de la substitución por el otro, hasta la de-posición del Yo sin identidad? ¿Qué tipo de relación puede darse con algo absolutamente asimétrico, exterior, previo e irreductible? ¿De dónde viene esa asignación apremiante de responsabilidad que llega hasta arrojarme en la obsesión y el asedio? ¿Cómo puede ser éticamente plausible un mandato tan traumatizante y violento que termina por convertir al sujeto en rehén, sustituido ya por los otros? ¿Es posible conciliar la libertad y la autónoma decisión del sujeto con una consideración de la subjetividad como «heme aquí», absoluta pasividad expuesta a los otros y vulnerabilidad de una piel que se ofrece al ultraje y la herida?. En definitiva: ¿es la subjetividad algo de lo que partimos o a lo que llegamos? (shrink)

This paper replies a number of objections brought against the solution to Jennifer Saul's puzzle of failure of substitutivity in transparent contexts presented in my 2001 paper "Alter Egos and Their Names".