Realizability notions in mathematical logic have a long history, which can be traced back to the work of Stephen Kleene in the 1940s, aimed at exploring the foundations of intuitionistic logic. Kleene’s initial realizability laid the ground for more sophisticated notions such as Kreisel’s modified realizability and various modern approaches. In this context, our work aligns with the lineage of realizability strategies that emphasize the accumulation, rather than the propagation of precise witnesses. In this paper, we introduce a new notion (...) of realizability, namely herbrandized modified realizability. This novel form of (cumulative) realizability, presented within the framework of semi-intuitionistic logic is based on a recently developed star combinatory calculus, which enables the gathering of witnesses into nonempty finite sets. We also show that the previous analysis can be extended from logic to (Heyting) arithmetic. (shrink)

The modifier effect is the reduction in perceived likelihood of a generic property sentence, when the head noun is modified. We investigated the prediction that the modifier effect would be stronger for mutable than for central properties, without finding evidence for this predicted interaction over the course of five experiments. However Experiment 6, which provided a brief context for the modified concepts to lend them greater credibility, did reveal the predicted interaction. It is argued that the modifier effect arises primarily (...) from a general lack of confidence in generic statements about the typical properties of unfamiliar concepts. Neither prototype nor classical models of concept combination receive support from the phenomenon. 2010 Elsevier Inc. All rights reserved. (shrink)

As space travel and intentions to colonise other planets are becoming the norm in public debate and scholarship, we must also confront the technical and survival challenges that emerge from these hostile environments. This paper aims to evaluate the various arguments proposed to meet the challenges of human space travel and extraterrestrial planetary colonisation. In particular, two primary solutions have been present in the literature as the most straightforward solutions to the rigours of extraterrestrial survival and flourishing: (1) geoengineering, where (...) the environment is modified to become hospitable to its inhabitants, and (2) human (bio)enhancement where the genetic heritage of humans is modified to make them more resilient to the difficulties they may encounter as well as to permit them to thrive in non-terrestrial environments. Both positions have strong arguments supporting them but also severe philosophical and practical drawbacks when exposed to different circumstances. This paper aims to show that a principled stance where one position is accepted wholesale necessarily comes at the opportunity cost of the other where the other might be better suited, practically and morally. This paper concludes that case-by-case evaluations of the solutions to space travel and extraterrestrial colonisation are necessary to ensure moral congruency and the survival and flourishing of astronauts now and into the future. (shrink)

Within-category induction is the projection of a generic property from a class to a subtype of that class. The modifier effect refers to the discovery reported by Connolly et al., that the subtype statement tends to be judged less likely to be true than the original unmodified sentence. The effect was replicated and shown to be moderated by the typicality of the modifier. Likelihood judgements were also found to correlate between modified and unmodified versions of sentences. Experiment 2 elicited justifications, (...) which suggested three types of reason for the effect-pragmatics, knowledge-based reasoning, and uncertainty about attribute inheritance. It is argued that the results provide clear evidence for the default inheritance of prototypical attributes in modified concepts, although a full account of the effect remains to be given. (shrink)

In this article, we describe and attempt to solve a puzzle arising from the interpretation of modified numerals like less than five and between two and five. The puzzle is this: such modified numerals seem to mean different things depending on whether they combine with distributive or non-distributive predicates. When they combine with distributive predicates, they intuitively impose a kind of upper bound, whereas when they combine with non-distributive predicates, they do not. We propose and explore in detail four solutions (...) to this puzzle, each involving some notion of maximality, but differing in the type of maximality involved and in the source of maximality. While the full range of data we consider do not conclusively favor one theory over the other three, we do argue that overall the evidence goes against the view that modified numerals lexically encode a ‘standard’ maximality operator, and suggests the need for a pragmatic blocking mechanism that filters out readings of sentences that are generated by the grammar but intuitively unavailable. (shrink)

In this paper, I critique two conceptions of mechanisms, namely those put forth by Stuart Glennan (Erkenntnis 44:49–71, 1996; Philosophy of Science 69:S342–S353, 2002) and Machamer et al. (Philosophy of Science 67:1–25, 2000). Glennan’s conception, I argue, cannot account for mechanisms involving negative causation because of its interactionist posture. MDC’s view encounters the same problem due to its reificatory conception of activities—this conception, I argue, entails an onerous commitment to ontological dualism. In the place of Glennan and MDC, I propose (...) a “modified conception” of mechanisms, which (a) obviates the problem of negative causation by reinterpreting MDC’s activities according to a “descriptivist” account, and (b) avoids MDC’s problem by postulating a monistic ontology of entities. Thus, by solving these problems, my modified conception offers a cogent, more adequate alternative to Glennan’s and MDC’s conceptions of mechanisms. (shrink)

According to the principle Grice calls 'Modified Occam's Razor' (MOR), 'Senses are not to be multiplied beyond necessity'. More carefully, MOR says that if there are distinct ways in which an expression is regularly used, then, all other things being equal, we should favour the view that the expression is unambiguous and that certain uses of it can be explained in pragmatic terms. In this paper I argue that MOR cannot have the central role that is typically assigned to it (...) by those who deploy it. More specifically, I argue that potential justifications of the epistemic import of parsimony in semantic theorizing are problematic, and that even if MOR could be justified, it has a redundant role to play in adjudicating the debate between the ambiguity-theorist and the proponent of the pragmatic approach. (shrink)

In recent years, humans’ ability to selectively modify genes has increased dramatically as a result of the development of new, more efficient, and easier genetic modification technology. In this paper, we argue in favor of using this technology to improve the welfare of agricultural animals. We first argue that using animals genetically modified for improved welfare is preferable to the current status quo. Nevertheless, the strongest argument against pursuing gene editing for welfare is that there are alternative approaches to addressing (...) some of the challenges of modern agriculture that may offer ethical advantages over genetic modification; namely, a dramatic shift towards plant-based diets or the development of in vitro meat. Nevertheless, we provide reasons for thinking that despite these possible comparative disadvantages there are important reasons for continuing the pursuit of welfare improvements via genetic modification. (shrink)

Theories of distributive justice tend to focus on the issue of what constitutes a fair division of 'external' goods and opportunities; things like wealth and income, opportunities for education and basic liberties and rights. However, rapid advances in the biomedical sciences have ushered in a new era, one where the 'genetic lottery of life' can be directly influenced by humans in ways that would have been considered science fiction only a few decades ago. How should theories of justice be modified (...) to take seriously the prospect of new biotechnologies, especially given the health challenges posed by global aging? Colin Farrelly addresses a host of topics, ranging from gene therapy and preimplantation genetic diagnosis, to an 'anti-aging' intervention and the creation and evolution of patriarchy. This book aims to foster the interdisciplinary dialogue needed to ensure we think rationally and cogently about science and science policy in the twenty-first century. (shrink)

A great deal of attention has been paid recently to the claim that traditional Frankfurt-type counterexamples to the Principle of Alternative Possibilities (PAP), which depend for their success on the presence of a perfectly reliable indicator (or prior sign ) of what an agent will freely do if left to act on his own, are guilty of begging the question against incompatibilists, since such indicators seem to presuppose a deterministic relation between an agent’s free action and its causal antecedents. Objections (...) of this sort have given rise to considerable efforts to construct alternative Frankfurt-type counterexamples that do not rely on prior signs of this kind and so do not presuppose determinism in a way that incompatibilists should find objectionable. One consequence of this shift in the way Frankfurt-type counterexamples are formulated is that it provides an opportunity for the forceful resurgence of certain versions of the so-called flicker defense of PAP. In this paper I develop two versions of the flicker defense, indicate their advantages over other versions of this strategy, and defend them against objections. Insofar as either of these is successful, it will show not only that PAP has yet to be falsified by any of the modified Frankfurt-type counterexamples currently on offer but that cases of this sort are in principle incapable of falsifying PAP. (shrink)

The primary responsibility of the US Food and Drug Administration is to protect public health by ensuring the safety of the food supply. To that end, it sometimes conducts risk assessments of novel food products, such as genetically modified food. The FDA describes its regulatory review of GM food as a purely scientific activity, untainted by any normative considerations. This paper provides evidence that the regulatory agency is not justified in making that claim. It is argued that the FDA’s policy (...) stance on GM food is shaped by neoliberal considerations. The agency’s review of a genetically engineered animal, the AquAdvantage salmon, is used as a case study to track the influence of neoliberalism on its regulatory review protocol. After that, an epistemic argument justifying public engagement in the risk assessment of new GM food is outlined. It is because risk evaluations involve normative judgments, in a democracy, layperson representatives of informal epistemic communities that could be affected by a new GM food should have the opportunity to decide the ethical, political or other normative questions that arise during the regulatory review of that entity. (shrink)

I defend the principle of alternative possibilities against what are sometimes known as buffer cases, which are supposed by some to be counterexamples to the principle. I develop an existing problem with the claim that standard buffer cases are counterexamples to PAP, before responding to a recent attempt by Michael McKenna to modify the cases in a way that circumvents this problem. While McKenna’s strategy does avoid the problem, I argue that it faces a different difficulty. I conclude that buffer (...) cases pose no threat to PAP. (shrink)

This paper investigates the distinction between determining and modifying expressions that played an important role in the Brentano School. The focus lies on how the distinction is applied to adjectives by Anton Marty and Kazimierz Twardowski. In ‘heavy gun’, ‘heavy’ plays a determining role: heavy guns are guns; in ‘fake gun’, ‘fake’ plays a modifying role: fake guns are no guns at all. According to Marty and Twardowski, when a modifying adjective is combined with a noun, it shifts the meaning (...) of the noun. This paper rejects this proposal and proposes a better account which was developed by Bernard Bolzano: the difference between determining and modifying adjectives must be understood in terms of how their meanings figure in meaning analyses of adjective-noun combinations. (shrink)

The pigeon-inspired optimization algorithm is a category of a newly proposed swarm intelligence-based algorithm that belongs to the population-based solution technique. The MKP is a class of complex optimization problems that have many practical applications in the fields of engineering and sciences. Due to the practical applications of MKP, numerous algorithmic-based methods like local search and population-based search algorithms have been proposed to solve the MKP in the past few decades. This paper proposes a modified binary pigeon-inspired optimization algorithm named (...) (Modified-BPIO) for the 0 - 1 multidimensional knapsack problem (MKP). The utilization of the binary pigeon-inspired optimization (BPIO) for solving the multidimensional knapsack problem came with huge success. However, it can be observed that the BPIO converges prematurely due to lost diversity during the search activities. Given the above, the crossover operator is integrated with the landmark component of the BPIO to improve the diversity of the solution space. The MKP benchmarks from the Operations Research (OR) library are utilized to test the performance of the proposed binary method. Experimentally, it is concluded that the proposed Modified-BPIO has a better performance when compared with the BPIO and existing state-of-the-arts that worked on the same MKP benchmarks. (shrink)

In this paper, a modified form of Collatz conjecture for neutrosophic numbers n ∈ (Z U I) is defined. We see for any n ∈ (Z U I) the related sequence using the formula (3a + 1) + (3b + 1)I converges to any one of the 55 elements mentioned in this paper. Using the akin formula of Collatz conjecture viz. (3a- 1) + (3b -1)I the neutrosophic numbers converges to any one of the 55 elements mentioned with appropriate modifications. (...) Thus, it is conjectured that every n ∈ (Z U I) has a finite sequence which converges to any one of the 55 elements. (shrink)

Nowadays, genetically modified foods find application in many sectors from livestock to health and especially in agriculture. From Islamic law perspective, the critical point is to know whether the modern biotechnology is properly used in genetically modified food production and whether these products are suitable for human health and whether all production stages are halal. Another important point is the uncertainty that may arise during the production and whether the precaution can be taken. The Islamic law methodology is of great (...) importance in understanding and resolving the above issues in line with religious values and scientific data together. This paper outlines how the Islamic law methodology can be applied to the issues of genetically modified goods in an interdisciplinary framework, by combining the pillars of Islam and scientific knowledge, and thus promoting what is morally, legally and economically beneficial for halal nutrition and life, for all humanity, Muslims and non-Muslims. We reach the conclusion that there are no definitive provisions set by Islamic law about these issues but they can be resolved within the scope of maslahah and maqasid, which is to achieve the righteous and eliminate the harmful. (shrink)

Advocates of linguistic pragmatics often appeal to a principle which Paul Grice called Modified Occam's Razor: 'Senses are not to be multiplied beyond necessity'. Superficially, Grice's principle seems a routine application of the principle of parsimony ('Entities are not to be multiplied beyond necessity'). But parsimony arguments, though common in science, are notoriously problematic, and their use by Griceans faces numerous objections. This paper argues that Modified Occam's Razor makes considerably more sense in light of certain assumptions about the processes (...) involved in language acquisition, and it describes recent empirical findings that bear these assumptions out. The resulting account solves several difficulties that otherwise confront Grice's principle, and it draws attention to problematic assumptions involved in using parsimony to argue for pragmatic accounts of linguistic phenomena. (shrink)

This paper has two parts. In part I, I review two older accounts of the logical forms of modifiers, and suggest that they may be combined with each other so as to yield a theory that is better than either of its parts taken singly. Part of this theory involves the idea that certain sentences refer to events, states, or processes; Part II of this paper shows how to use this idea to account for tenses and temporal adverbials, and (...) offers a new account of ordinary language quantification. (shrink)

We present a refinement ofthe bounded modified realizability which provides both upper and lower bounds for witnesses. Our interpretation is based on a generalisation of Howard/Bezem's notion of strong majorizability. We show how the bounded modified realizability coincides with our interpretation in the case when least elements exist . The new interpretation, however, permits the extraction of more accurate bounds, and provides an ideal setting for dealing directly with data types whose natural ordering is not well-founded.

This is a defence of the claim that names are predicates with a demonstrative element in their singular use.

Advocates of linguistic pragmatics often appeal to a principle which Paul Grice called Modified Occam's Razor: ‘Senses are not to be multiplied beyond necessity’. Superficially, Grice's principle seems a routine application of the principle of parsimony (‘Entities are not to be multiplied beyond necessity’). But parsimony arguments, though common in science, are notoriously problematic, and their use by Griceans faces numerous objections. This paper argues that Modified Occam's Razor makes considerably more sense in light of certain assumptions about the processes (...) involved in language acquisition, and it describes recent empirical findings that bear these assumptions out. The resulting account solves several difficulties that otherwise confront Grice's principle, and it draws attention to problematic assumptions involved in using parsimony to argue for pragmatic accounts of linguistic phenomena. (shrink)

This paper has two parts. In part I, I review two older accounts of the logical forms of modifiers, and suggest that they may be combined with each other so as to yield a theory that is better than either of its parts taken singly. Part of this theory involves the idea that certain sentences refer to events, states, or processes; Part II of this paper shows how to use this idea to account for tenses and temporal adverbials, and (...) offers a new account of ordinary language quantification. (shrink)

Presumed consent to organ donation looks increasingly unlikely to be a palatable option for increasing organ procurement in the UK following the publication of the report into events at Alder Hey and elsewhere. Yet, given that the alternative to increasing the number of cadaveric organs available is either to accept a greater number of live donations, or accept that people will continue to die for the want of an organ, public policy makers remain obliged to consider other means of increasing (...) the procurement rate.In this paper, we meet the main objections to mandated choice . We have modified the traditional approach to mandated choice to take into account the force of the objection that mandated donation is preferable, by accepting that people can and do make bad decisions about organ donation and proposing that all accompanying public education and information about cadaveric donation should be directed in favour of donation. (shrink)

Physical theories are complex and necessary tools for gaining new knowledge about their areas of application. A distinction is made between abstract and practical theories. The last are constantly being improved in the cognitive activity of professional physicists and studied by future physicists. A variant of the philosophy of physics based on a modified structural-nominative reconstruction of practical theories is proposed. Readers should decide whether this option is useful for their understanding of the philosophy of physics, as well as other (...) philosophies of particular sciences. (shrink)

CO-MODIFIED: Rocks on Vinyl comprises nine 6' x 3' banners displayed like convention signage. They are presented as a series of speculative geomedia landscapes that explore contemporary human entanglements and collaborations with the lithosphere, activities that are transforming the earth's surface and registering in its stratified depths. Animated by an affective, aesthetic appreciation of stone, these works invite reflection and discernment in a historical moment defined as the geologic now.1The stories of earth and humans are written in stone, from tectonic (...) plate movements and the rock record to Neolithic cave paintings and stone circles. These histories are becoming increasingly inextricably intertwined, as... (shrink)

According to Kant's theory of thought or cognition, thoughts are rules for empirical reactions in the compass of spatial and temporal constructions. Theses rules function to represent our situation in relation to all the ways it is proper to interact with reality. After outlining Kant's theory, I present a modified version in which rules are identified with executive mechanisms for behavioural output. Following Kant, I show how such rules can pertain to the past in terms of mechanisms for being beyond (...) or past stages of temporal constructions. This identification of rules with mechanisms allows for a real definition of the truth of thoughts as the active realizability of the mechanisms that thoughts are. I show how this modified version can encompass the full scope of even relativistic spatio-temporal reality, and indicate why this theory deserves consideration as against rival descriptive and causal theories of cognition. (shrink)

The public controversy over genetically modified crops is predominantly framed in terms of concerns over health and safety. Within this framing, the primary point of controversy is whether GM foods are likely to cause bio-physiological injury or disease to human consumers; a secondary issue, but one that still fits within the health and safety framing, is whether the cultivation of GM crops is likely to cause bio-physiological injury or disease to non-target species or ecosystems more broadly. Proponents of the development (...) and... (shrink)

Implementing Poincaré’s geometric conventionalism a scalar Lorentz-covariant gravity model is obtained based on gravitationally modified Lorentz transformations (or GMLT). The modification essentially consists of an appropriate space-time and momentum-energy scaling (“normalization”) relative to a nondynamical flat background geometry according to an isotropic, nonsingular gravitational affecting function Φ(r). Elimination of the gravitationally unaffected S 0 perspective by local composition of space–time GMLT recovers the local Minkowskian metric and thus preserves the invariance of the locally observed velocity of light. The associated energy-momentum (...) GMLT provides a covariant Hamiltonian description for test particles and photons which, in a static gravitational field configuration, endorses the four ‘basic’ experiments for testing General Relativity Theory: gravitational (i) deflection of light, (ii) precession of perihelia, (iii) delay of radar echo, (iv) shift of spectral lines. The model recovers the Lagrangian of the Lorentz–Poincaré gravity model by Torgny Sjödin and integrates elements of the precursor gravitational theories, with spatially Variable Speed of Light (VSL) by Einstein and Abraham, and gravitationally variable mass by Nordström. (shrink)

How strongly an agent beliefs in a proposition can be represented by her degree of belief in that proposition. According to the orthodox Bayesian picture, an agent's degree of belief is best represented by a single probability function. On an alternative account, an agent’s beliefs are modeled based on a set of probability functions, called imprecise probabilities. Recently, however, imprecise probabilities have come under attack. Adam Elga claims that there is no adequate account of the way they can be manifested (...) in decision-making. In response to Elga, more elaborate accounts of the imprecise framework have been developed. One of them is based on supervaluationism, originally, a semantic approach to vague predicates. Still, Seamus Bradley shows that some of those accounts that solve Elga’s problem, have a more severe defect: they undermine a central motivation for introducing imprecise probabilities in the first place. In this paper, I modify the supervaluationist approach in such a way that it accounts for both Elga’s and Bradley’s challenges to the imprecise framework. (shrink)

The main aim of this paper is to examine how the recent themata developments in Social Representations Theory can be linked with the classical process involved in the construction of social representations—anchoring—, as well as with the communicative modalities that are part of the theory since its inception. This was done through a study of the representation of GMOs in the Portuguese press, taken as an opportunity for addressing the issues related to the role played by old categories in rendering (...) new meanings and in establishing new categories.A further objective of the study, more applied in nature, was to explore whether the central characteristics of the representations of biotechnology in European countries were also present in Portugal.All articles that included the expressions Genetically Modified/Genetic Modification/Manipulation or Transgenics, were collected, in five Portuguese newspapers, during the years of 1999, 2000 and 2001. Content analysis of the 239 articles collected showed that their thematical organisation re-constitutes the Red/Green dichotomy found in most European countries. The Red/health discussion is structured around such themata as health/disease, risk/safety, benefits/problems, and anchors in categories like science and progress. The nature/culture opposition emerges, in turn, in the Green/food discussion, which anchors on categories like ideology and employs Propaganda as a communicative modality—a set of indicators configuring a more polemic debate. The conclusions discuss the relevance of linking themata with anchoring and the importance of devising more fine-grained tools for the analysis of Diffusion. (shrink)

Weights of evidence and logistic regression are two loglinear methods for mineral potential mapping. Both models are limited by their respective basic assumptions in application. Ideally, WofE indicator patterns have the property of conditional independence with respect to the point pattern of mineral deposits to be predicted; in LR, there supposedly are no interactions between the point pattern and two or more of the indicator patterns. If the CI assumption is satisfied, estimated LR coefficients become approximately equal to WofE contrasts (...) and the two methods produce similar results; additionally, bias then is avoided in that the sum of all estimated posterior probabilities becomes approximately equal to the number of observed discrete events. WofE allows construction of input layers that have missing data as a separate category in addition to known presence-absence type input, while logistic regression as such is not capable of handling missing data. As an improved WofE model based on LR, modified weights of evidence inherit the advantages of both LR and WofE, i.e., eliminates bias due to lack of CI and can handle missing data as well. Pixel or unit area input for MWofE consists of positive and negative weights for presence and absence of a pattern plus zeros for missing data. MWofE first is illustrated by application to simple examples. Next, it is applied to a study area with 20 known gold occurrences in southwestern Nova Scotia in relation to four input layers based on geological and lake geochemical data. Assuming that geochemical data were missing for the northern part of the study area, MWofE, like WofE but unlike LR, provides posterior probabilities for the entire area. (shrink)

Some modified two-slit interference experiments were carried out showing an apparent paradox in wave–particle duality. In a typical such experiment, the screen, where the interference pattern is supposed to be formed, is replaced by a converging lens. The converging lens forms the images of the two slits at two spatially separated detectors. It was claimed that each of these two detectors give information about which slit a photon came from, even though they come from the region of interference. These experiments (...) generated a lot of debate. The various refutations pointed out that the controversial claims involved some questionable assumptions. However the refutations were largely philosophical in nature, and one may like to substantiate those with arguments which are testable, at least in principle. Here such an experiment is theoretically analyzed by introducing path markers which are two orthogonal polarization states of the photon. Analyzing the polarization at the two detectors shows that the photons which give rise to interference, and reach a particular detector, always come from both the slits. This provides clarity in understanding such experiments by making use of testable quantum correlations. (shrink)

There has been a growing interest in research concerning memory modification technologies (MMTs) in recent years. Neuroscientists and psychologists are beginning to explore the prospect of controllable and intentional modification of human memory. One of the technologies with the greatest potential to this end is optogenetics—an invasive neuromodulation technique involving the use of light to control the activity of individual brain cells. It has recently shown the potential to modify specific long-term memories in animal models in ways not yet possible (...) with other MMTs. As the therapeutic potential of optogenetics has already prompted approval of the first human trials, it is especially important and timely to consider the opportunities and dangers this technology may entail. In this article, we focus on possible consequences of optogenetics as an MMT by analyzing fundamental threats potentially associated with memory modifications: the potential disruption of personality and authenticity. (shrink)

Graham Macdonald; XI*—Modified Methodological Individualism, Proceedings of the Aristotelian Society, Volume 86, Issue 1, 1 June 1986, Pages 199–212, https://do.

Graham Macdonald; XI*—Modified Methodological Individualism, Proceedings of the Aristotelian Society, Volume 86, Issue 1, 1 June 1986, Pages 199–212, https://do.

Methods of punishing corporations have changed from self-regulation to economic sanctions by government as corporations have evolved from small groups of entrepreneurs to multinational entities. It is proposed that the next stage in the evolution of punishment methods is modified vendettas, or organized attempts by non-government groups to influence corporations through the application of economic and non-economic sanctions.This paper develops the concept of modified vendettas as a complement to government-initiated economic sanctions. The effectiveness of modified vendettas is analyzed through two (...) case examples. As with any punishment method, however, the usefulness of a modified vendetta depends not only on its effectiveness but also on how well it meets society's needs to monitor and check corporate activity while preserving corporations' rights to operate. To resolve this issue, modified vendettas are assessed using a philosophical framework incorporating both retributive and utilitarian principles. It is found that modified vendettas extend society's ability to control corporate behavior while corporations have legal and public relations means to protect themselves from frivolous use of the technique. Did you ever expect a corporation to have a conscience, when it has no soul to be damned, and no body to be kicked? (Baron Thurlow). (shrink)

Optogenetics is an invasive neuromodulation technology involving the use of light to control the activity of individual neurons. Even though optogenetics is a relatively new neuromodulation tool whose various implications have not yet been scrutinized, it has already been approved for its first clinical trials in humans. As optogenetics is being intensively investigated in animal models with the aim of developing novel brain stimulation treatments for various neurological and psychiatric disorders, it appears crucial to consider both the opportunities and dangers (...) such therapies may offer. In this review, we focus on the memory-modifying potential of optogenetics, investigating what it is capable of and how it differs from other memory modification technologies. We then outline the safety challenges that need to be addressed before optogenetics can be used in humans. Finally, we re-examine crucial neuroethical concerns expressed in regard to other MMTs in the light of optogenetics and address those that appear to be unique to the memory-modifying potential of optogenetic technology. (shrink)

The advantages and risks of a number of new genome modifying procedures seeking to create healthy or enhanced individuals, such as Maternal Spindle Transfer, Pronuclear Transfer, Cytoplasmic Transfer and Genome Editing, are currently being assessed from an ethical perspective, by national and international policy organizations. One important aspect being examined concerns the effects of these procedures on different kinds of identity. In other words, whether or not a procedure only modifies the qualities or properties of an existing human being, meaning (...) that merely the qualitative identity of this single individual is affected, or whether a procedure results in the creation of a new individual, meaning that a numerically distinct human being would have come into existence. In this article, the different identity arguments proposed, so far, are presented with respect to these novel reproductive procedures. An alternative view is then developed using the Origin Essentialism argument to indicate that any cha... (shrink)

The modal logic S4.2 is S4 with the additional axiom ◊□A ⊃ □◊A. In this article, the sequent calculus GS4.2 for this logic is presented, and by imposing an appropriate restriction on the application of the cut-rule, it is shown that, every GS4.2-provable sequent S has a GS4.2-proof such that every formula occurring in it is either a subformula of some formula in S, or the formula □¬□B or ¬□B, where □B occurs in the scope of some occurrence of □ (...) in some formula of S. These are just the K5-subformulas of some formula in S which were introduced by us to show the modied subformula property for the modal logics K5 and K5D : 115–122, 2001). Some corollaries including the interpolation property for S4.2 follow from this. By slightly modifying the proof, the finite model property also follows. (shrink)

In previous work, I showed how the “reason model” of precedential constraint could naturally be generalized from the standard setting in which it was first developed to a richer setting in which dimensional information is represented as well. Surprisingly, it then turned out that, in this new dimensional setting, the reason model of constraint collapsed into the “result model,” which supports only a fortiori reasoning. The purpose of this note is to suggest a modification of the reason model of constraint (...) that distinguishes it from the result model even in the dimensional setting. (shrink)

Fourteen experienced psychiatric nurses participated in a pilot study aimed at describing the experiential aspect of making decisions for the patient. In-depth interviews focused on conflicts, were transcribed, coded, and categorized according to the Grounded Theory method. The theoretical construct, 'modifying autonomy' and its dimensions, such as being aware of the patient's vulnerability, caring for and caring about the patient, were identified. The findings in this study make clear the need for further research into the experiential aspect of ethical decision-making (...) in psychiatric practice. (shrink)

The whale optimization algorithm is a powerful swarm intelligence method which has been widely used in various fields such as parameter identification of solar cells and PV modules. In order to better balance the exploration and exploitation of WOA, we propose a novel modified WOA in which both the mutation strategy based on Levy flight and a local search mechanism of pattern search are introduced. On the one hand, Levy flight can make the algorithm get rid of the local optimum (...) and avoid stagnation; thus, it is able to prevent the algorithm from losing diversity and to increase the global search capability. On the other hand, pattern search, a direct search method, has not only high convergence rate but also good stability, which can boost the local optimization ability of the WOA. Therefore, the combination of these two mechanisms can greatly improve the capability of WOA to obtain the best solution. In addition, MWOA may be employed to estimate parameters in single diode model, double diode model, and PV modules and to identify unknown parameters of two different types of PV modules under diverse light irradiance and temperature conditions. The analytical results demonstrate the validity and the practicality of MWOA for estimating parameters of solar cells and PV modules. (shrink)

Modified action, either artificially induced or occurring naturally during life-span, alters organization and processing of primary somatosensory cortex, thereby serving as a predictor of age-related changes. These findings, together with the interconnectedness between motor-sensory systems and temporally-distributed processing across hierarchical levels, throws into question a sharp division between early perception and cognition, and suggest that composite codes of perception and action might not be limited to higher areas.