A modified subformula property for the modal logic KD with the additionalaxiom □ ◊ ⊃ □ ◊ A ∨ □ ◊B is shown. A new modification of the notion of subformula is proposed for this purpose. This modification forms a natural extension of our former one on which modified subformula property for the modal logics K5, K5D and S4.2 has been shown. The finite model property as well as decidability for the logic follows from this.

To decode the function and molecular recognition of several recently discovered cytosine derivatives in the human genome – 5-hydroxymethylcytosine, 5-formylcytosine, and 5-carboxylcytosine – a detailed understanding of their effects on the structural, chemical, and biophysical properties of DNA is essential. Here, we review recent literature in this area, with particular emphasis on features that have been proposed to enable the specific recognition of modified cytosine bases by DNA-binding proteins. These include electronic factors, modulation of base-pair stability, flexibility, and radical changes (...) in duplex conformation. We explore these proposals and assess whether or not they are supported by current biophysical data. This analysis is focused primarily on the properties of epigenetically modified DNA itself, which provides a basis for discussion of the mechanisms of recognition by different proteins. 5-hydroxymethylcytosine, 5-formylcytosine, and 5-carboxylcytosine have recently been discovered in mammalian DNA and appear to have essential regulatory roles. Here, we summarize recent investigations into their effects on the structural, chemical, and biophysical properties of DNA, an understanding of which is essential to decoding their behavior in the genome. (shrink)

Can one’s genetic profile be owned? How about techniques to improve genetic profi les? A brave new world of genetic enhancement is upon us and we’d better be ready to answer such questions. Adam Moore is ready. He thinks the answers to these questions are resoundingly “yes.” He defends this on the ground of individual liberty in the face of potential government control of such technology. He argues that genetic property is to be assimilated to rights of privacy and (...) property in general and can be owned. He defends this against several important objections on the basis of societal overriding needs or goods. (shrink)

Long‐term modification of synaptic strength is thought to be the basic mechanism underlying the activity‐dependent refinement of neural circuits and the formation of memories engrammed on them. Studies ranging from cell culture preparations to humans subjects indicate that the decision of whether a synapse will undergo strengthening or weakening critically depends on the temporal order of presynaptic and postsynaptic activity. At many synapses, potentiation will be induced only when the presynaptic neuron fires an action potential within milliseconds before the (...) postsynaptic neuron fires, whereas weakening will occur when it is the postsynaptic neuron that fires first. Such processes might be important for the remodeling of neural circuits by activity during development and for network functions such as sequence learning and prediction. Ultimately, this synaptic property might also be fundamental for the cognitive process by which we structure our experience through cause and effect relations. BioEssays 24:212–222, 2002. © 2002 Wiley Periodicals, Inc.; DOI 10.1002/bies.10060. (shrink)

The potential of memory modification techniques (MMTs) has raised concerns and sparked a debate in neuroethics, particularly in the context of identity and authenticity. This paper addresses the question whether and how MMTs influence authenticity. I proceed by drawing two distinctions within the received views on authenticity. From this, I conclude that an analysis of MMTs based on a dual-basis, process view of authenticity is warranted, which implies that the influence of MMTs on authenticity crucially depends on the specifics (...) of how memory modification would eventually work. Therefore, I continue with a systematic analysis of possible properties of MMTs in which I distinguish between the dimensions of memories and the kinds of experiences that can be modified as well as the properties of the process of memory modification. The impact of MMTs on authenticity is analyzed regarding the possible properties of MMTs and based on a narrative approach to authenticity which fulfills the requirements of a dual-basis, process view of authenticity. Lastly, I explore the potential of MMTs to shift the balance between self-discovery and self-creation within authenticity and thereby alter the concept itself as well as the value of authenticity. (shrink)

The logical formalization of sentences containing adverbial modification, e.g., “John walks slowly”, remains demanding. According to Bennett (1988, 2002), as facts are exemplifications of properties, they are abstract and not basic items in the universe, whereas events constitute a special subcategory of facts. The names of facts are complete, but the names of events are incomplete. This paper aims to provide an alternative logical formalization of facts and events, reflecting Bennett’s metaphysical and semantic insights better than his formalization based (...) on Davidson (1967a, 1985) and Parsons (1990). After discussing Bennett’s theory, I will develop my logical formalization based on Clark’s (1970) predicate modifiers theories. Using the abstraction operator will allow different modifiers to have the same scope and simultaneously guarantee the unicity of the fact or event. There is no quantification over facts or events. The resulting formalization will have advantages in coping with verb dependent and nonstandard adverbs and allowing for easier conjunctive formalization. The semantic insight that the names of facts are complete describers, and the names of events are not will manifest in the distinct formalization of events. Multigrade predicates will enable further logical entailments. As a result, we get a formalization fitting into Bennett’s theory. (shrink)

This paper offers a new semantic theory of existentials (sentences of the form There be NP pivot XP coda ) in which pivots are (second order) predicates and codas are modifiers. The theory retains the analysis of pivots as denoting generalized quantifiers (Barwise and Cooper 1981; Keenan 1987), but departs from previous analyses in analyzing codas as contextual modifiers on a par with temporal/locative frame adverbials. Existing analyses universally assume that pivots are arguments of some predicate, and that codas are (...) main or secondary predicates. It is shown that these analyses cannot account for the behavior of codas with quantifiers and for the interaction of multiple codas, both of which receive a simple treatment on the proposed theory. The assimilation of codas to frame adverbials explains several semantic properties which have not been analyzed in the semantic literature, and that distinguish existentials from their copular counterparts. Furthermore, it highlights important properties of the semantics of modification and its relation to predication. (shrink)

James cornman and r routley and v macrae have argued that the principle of identity (alias leibniz's law) is inconsistent with certain plausible and widely accepted identity statements; e.G., "the temperature of a gas is identical with the mean kinetic energy of the molecules of the gas." they argue on this ground that the principle of identity should be modified to remove this appearance of inconsistency. The requisite modification however, Removes whatever "metaphysical teeth" the unmodified version might have had. (...) I argue in this paper that such attacks on the principle of identity are utterly unwarranted. (shrink)

Should property owners have a unique right to express their opinion just because they own property? While current law recognizes owners’ rights to express their voices in certain instances, it does not provide comprehensive and coherent answers to this question. This article provides an analytical framework for recognizing the owners’ right to voice as an independent property entitlement within the owners’ property bundle of rights and delineates its boundaries. Yet even when the owners’ voice is (...) class='Hi'>property-dependent, there is a difference between voice that facilitates the realization of another property entitlement (such as the right to exclude, use, or trade) and voice that is constitutive to ownership in and of itself. Only the latter instances justify recognition of the owners’ right to a voice as an independent property entitlement. By examining different branches of both tangible and intellectual property law, such as inheritance law, eminent domain, homeowners’ association law, zoning law, and copyright law, this article demonstrates the usefulness of the proposed analytical framework in explaining certain parts of the current law and suggests modifications of other parts. (shrink)

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

Property dualism is enjoying a slight resurgence in popularity, these days; substance dualism, not so much. But it is not as easy as one might think to be a property dualist and a substance materialist. The reasons for being a property dualist support the idea that some phenomenal properties (or qualia) are as fundamental as the most basic physical properties; but what material objects could be the bearers of the qualia? If even some qualia require an adverbial (...) construal (if they are modifications of the thing that is conscious because of them, not properties of something else to which the subject of consciousness is related), then the property dualist can be driven to speculative forms of materialism none of which, at this point, looks more likely to be true than the more modest versions of emergent dualism defended by contemporary substance dualists. (shrink)

Appellate Court Modifications Extraction consists of, given an Appellate Court decision, identifying the proposed modifications by the upper Court of the lower Court judge’s decision. In this work, we propose a system to extract Appellate Court Modifications for Portuguese. Information extraction for legal texts has been previously addressed using different techniques and for several languages. Our proposal differs from previous work in two ways: our corpus is composed of Brazilian Appellate Court decisions, in which we look for a set of (...) modifications provided by the Court; and to automatically extract the modifications, we use a traditional Machine Learning approach and a Deep Learning approach, both as alternative solutions and as a combined solution. We tackle the Appellate Court Modifications Extraction task, experimenting with a wide variety of methods. In order to train and evaluate the system, we have built the KauaneJunior corpus, using public data disclosed by the Appellate State Court of Rio de Janeiro jurisprudence database. Our best method, which is a Bidirectional Long Short-Term Memory network combined with Conditional Random Fields, obtained an \ score of 94.79%. (shrink)

We introduce and investigate the notion of uniform Lyndon interpolation property which is a strengthening of both uniform interpolation property and Lyndon interpolation property. We prove several propositional modal logics including \, \, \ and \ enjoy ULIP. Our proofs are modifications of Visser’s proofs of uniform interpolation property using layered bisimulations Gödel’96, logical foundations of mathematics, computer science and physics—Kurt Gödel’s legacy, Springer, Berlin, 1996). Also we give a new upper bound on the complexity of (...) uniform interpolants for \ and \. (shrink)

In light of the recent focus in bioethics on questions of deliberate moral enhancement through the use of psychoactive drugs, Levy et al. (2014) argue that the more pressing issue may be the incidental effect that prescription drugs could already be having on moral agency. Although concerns have focused on the possibility of altering moral psychology through direct effects on brain function, the authors point out that this may already be a reality, albeit an unintentional one. They conclude from their (...) survey of prescription drugs already in use, that we should urgently investigate the ways they may be “influencing the shape of our societies” (2014, 123). The question of how we ought to respond to this possibility, I believe, must be considered in the broader context of existing attitudes and policy in response to substances with similar effects; and the relative significance of these drug effects compared with other factors, in particular social factors that shape society through their developmental influence on moral psychology. -/- First, it is important to consider the drugs described by the authors alongside widely used drugs with known, comparable effects. For example, alcohol has profound effects on features of cognition that seem relevant to moral agency, in altering risk assessment and increasing aggression (Bushman and Cooper 1990; George et al. 2005). Its impairing of inhibitory control arguably undermines the reflective processes that are often considered central to moral agency (Craigie 2011; Field et al. 2010). However, by and large the current policy adopted in liberal democratic societies is to educate people about these dangers but leave it up to adults to choose whether they use alcohol. Exceptions to this position are grounded in reasons of public protection, for example, in the case of blood alcohol limits for drivers in order to protect people against injury or death as a result of drunk driving. Restrictions are also sometimes placed on inebriation in the context of particular public roles, for example, serving on a jury, although the issue remains controversial (Law Reform Commission 2010, s. 8.21, 8.26, 8.27). This approach to alcohol regulation offers an established model for responding to the kinds of drugs in question. Broadly, it suggests that concerns about the effect of a drug on moral agency are only considered serious enough to warrant restricting its use when this puts others at risk of serious harms, or when a person is fulfilling a public role where sound decision making is of great importance (e.g., in maintaining trust in institutions such as the criminal justice system). Although at first it may be an alarming thought that pharmaceuticals [End Page 127] could be influencing individual moral psychology, the example of alcohol suggests that this this is a familiar experience, and something for which states already have a policy framework. -/- Caffeine is another commonly used drug with psychoactive properties that seem likely to affect moral agency. Along with potentially morally relevant effects on attention and aggression (Einöther and Giesbrecht 2013; Kuhns et al. 2010), research suggests a connection between cortisol—a hormone that is elevated by caffeine—and the processing of social cues relating to threat (Montoya et al. 2012; Putman et al. 2007). There are little in the way of restrictions on the use of caffeine. Nonetheless, one might be concerned about the possible effects of caffeine on moral agency and society, particularly if the effects are less obvious than in the case of alcohol (Kuhns et al. 2010). The same concern might apply to the pharmaceuticals in question. Perhaps there is a need to investigate these effects on thought and behavior because they are not easy to detect. The greater danger might be in the fact that people do not recognize how these drugs change their appraisals and decisions, rather than in the effects themselves. It seems a reasonable suggestion that if a drug has significant enough effects on interpersonal relationships, then this information should be made available as a part of an informed consent procedure. (shrink)

Many loci in Drosophila exhibit dosage effects on single phenotypes. In the case of modifiers of position‐effect variegation, increases and decreases in dosage can have opposite effects on variegating phenotypes. This is seemingly paradoxical: if each locus encodes a limiting gene product sensitive to dosage decreases, then increasing the dosage of any one should have no effect, because the others should remain limiting. An earlier model put forward to resolve this paradox suggested that dosage‐dependent modifiers encode protein subunits of a (...) macromolecular complex that is sensitive to mass action equilibrium conditions. Because chemical equilibria are dynamic, however, such hypothetical complexes will be unstable to an extent that is inconsistent with the known properties of molecules that make up chromatin. An alternative model accounts for the dosage effects in terms of interactions between structural proteins that bind at multiple linked sites. These might include indirect interactions occurring between regulatory proteins and genes for structural proteins or their protein products. The large number of direct and inverse regulatory genes which are known to exist in Drosophila could account for the apparent genetic complexity that is seen for modifiers of position‐effect variegation and for other systems of phenotypic modification. (shrink)

In a 2010 paper Daley argues, contra Fodor, that several syntactically simple predicates express structured concepts. Daley develops his theory of structured concepts within Tichý’s Transparent Intensional Logic . I rectify various misconceptions of Daley’s concerning TIL. I then develop within TIL an improved theory of how structured concepts are structured and how syntactically simple predicates are related to structured concepts.

You are what you eat – this well‐known phrase properly describes the phenomenon of the effects of diet on acute and chronic inflammation. Several lipids and lipophilic compounds that are delivered with food or are produced in situ in pathological conditions exert immunomodulatory activity due to their interactions with the plasma membrane. This group of compounds includes cholesterol and its oxidized derivatives, fatty acids, α‐tocopherol, and polyphenols. Despite their structural heterogeneity, all these compounds ultimately induce changes in plasma membrane architecture (...) and fluidity. By doing this, they modulate the dynamics of plasma membrane receptors, such as TLR4. This receptor is activated by lipopolysaccharide, triggering acute inflammation during bacterial infection, which often leads to sepsis and is linked with diverse chronic inflammatory diseases. In this review, we discuss how the impact on plasma membrane properties contributes to the immunomodulatory activity of dietary compounds, pointing to the therapeutic potential of some of them.Also watch the Video Abstract. (shrink)

Since Kit Fine presented his counter-examples to the standard versions of the modal view, many have been convinced that the standard versions of the modal view are not adequate. However, the scope of Fine's argument has not been fully appreciated. In this paper, I aim to carry Fine’s argument to its logical conclusion and argue that once we embrace the intuition underlying his counter-examples, we have to hold that properties obtained, totally or partially, by application of logical operations are not (...) essential to non-logical entities. I also demonstrate that most of the post-Finean versions of the modal view, which were developed to accommodate Fine’s counter-examples, entail that such properties are essential to the entities, and so fail to capture the notion of essence at issue in Fine's counter-examples. Additionally, I explore the consequence of my argument for Fine’s proposed logic of essence. The logic turns out to be inadequate in its present shape as it represents such properties to be essential to the entities. I conclude by developing a modification to the logic to overcome the shortcoming. (shrink)

Membranous organelles allow sub‐compartmentalization of biological processes. However, additional subcellular structures create dynamic reaction spaces without the need for membranes. Such membrane‐less organelles (MLOs) are physiologically relevant and impact development, gene expression regulation, and cellular stress responses. The phenomenon resulting in the formation of MLOs is called liquid–liquid phase separation (LLPS), and is primarily governed by the interactions of multi‐domain proteins or proteins harboring intrinsically disordered regions as well as RNA‐binding domains. Although the presence of RNAs affects the formation and (...) dissolution of MLOs, it remains unclear how the properties of RNAs exactly contribute to these effects. Here, the authors review this emerging field, and explore how particular RNA properties can affect LLPS and the behavior of MLOs. It is suggested that post‐transcriptional RNA modification systems could be contributors for dynamically modulating the assembly and dissolution of MLOs. (shrink)

: Continuing the discussion begun in the March 2006 issue of the Kennedy Institute of Ethics Journal, this paper further documents the failure of the United States to adequately consider possible modifications in the traditional robust system of intellectual property rights as applied to biotechnology. It discusses concrete suggestions for alternative disclosure requirements, for exemptions for research tools, and for improved access to clinical advances. In each of these cases, the modifications might be more responsive to the full set (...) of relevant values. (shrink)

[Derek Matravers] Jerrold Levinson maintains that he is a realist about aesthetic properties. This paper considers his positive arguments for such a view. An argument from Roger Scruton, that aesthetic realism would entail the absurd claim that many aesthetic predicates were ambiguous, is also considered and it is argued that Levinson is in no worse position with respect to this argument than anyone else. However, Levinson cannot account for the phenomenon of aesthetic autonomy: namely, that we cannot be put in (...) a position to make an aesthetic judgement by testimony alone. Finally, Levinson's views on the ontology of aesthetic properties are considered and found wanting. /// [Jerrold Levinson] Being an aesthetic realist is hard work. Derek Matravers has raised a number of concerns for the brand of aesthetic realism that I have defended in the past, and that I continue to defend, albeit with modification. Much turns on the nature of aesthetic properties, and on the reasons for acknowledging their existence. I here try to provide further illumination on both scores, suggesting in particular that many aesthetic properties can be viewed as manifest higher-order ways of appearing. Toward the end of my discussion the question of whether or not aesthetic properties are response-dependent is addressed, and I offer the tentative conclusion that some are, and some are not. (shrink)

We examine Sophie Gibb’s emergent property-dualist theory of mental causation as double-prevention. Her account builds on a commitment to a version of causal realism based on a powers metaphysic. We consider three objections to her account. We show, by drawing out the implications of the ontological commitments of Gibb’s theory of mental causation, that the first two objections fail. But, we argue, owing to worries about cases where there is no double-preventive role to be played by mental properties, her (...) account, which solely affords mental properties a double-preventive role, is incomplete and vulnerable to a causal exclusion objection. We propose a friendly modification to her theory of mental causation that is consistent with her theory’s ontological commitments. Specifically, we sketch an account on which mental properties have a more pronounced causal-structuring role that is not exhausted by the role Gibb assigns them as double-preventers. The result is a novel emergentist theory of mental causation. (shrink)

This dissertation argues that we have no good reason to accept any one theory of properties as correct. To show this, I present three possible bases for theory-choice in the properties debate: coherence, explanatory adequacy, and explanatory value. Then I argue that none of these bases resolve the underdetermination of our choice between theories of properties. First, I argue considerations about coherence cannot resolve the underdetermination, because no traditional theory of properties is obviously incoherent. Second, I argue considerations of explanatory (...) adequacy cannot resolve the underdetermination, because every traditional theory of properties lacks the theoretical resources to adequately explain resemblance, causal powers, and predication. However, these inadequacies are easily remedied with theoretical modifications. But this results in an overabundance of modified, but adequate, theories of properties. Third, I argue explanatory virtues cannot resolve the underdetermination, because we have no reason to think explanatory virtues make theories of properties more likely to be true. I reject the common argument that explanatory virtues are truth-conducive in theories of properties because they are truth-conducive in scientific theories. Since none of the three bases for theory choice can resolve the underdetermination, I conclude that we have no good reason to accept any one theory of properties as correct. Finally, I consider the possibility of choosing one theory over the others on pragmatic grounds. But I argue that pragmatic grounds cannot resolve the underdetermination either. Instead, I suggest we accept the view I call 'instrumental pluralism,' which allows practitioners to use whatever theory of properties they find useful. Adviser: Jennifer McKitrick. (shrink)

Amino-terminal heteroacylation has been identified in retinal proteins including recoverin and α subunit of G-protein, transducin. The tissue-specific modification seems to mediate not only a proteinmembrane interaction but also a specific protein-protein interaction. The mechanism generating the heterogeneity and its physiological role are still unclear, but an interesting idea for the latter postulates a fine regulation of the signal transduction pathway by distinct N-acyl groups.

: In the development of biotechnology in the United States, many questions were raised about the appropriateness of applying to this area a traditional robust system of intellectual property rights. Despite these hesitations, the U.S. rejected suggested modifications. This was a mistake, and there is a need to develop a modified system that promotes more of the relevant ethical values.

This paper presents a generalization of the standard notions of left monotonicity (on the nominal argument of a determiner) and right monotonicity (on the VP argument of a determiner). Determiners such as “more than/at least as many as” or “fewer than/at most as many as”, which occur in so-called propositional comparison, are shown to be monotone with respect to two nominal arguments and two VP-arguments. In addition, it is argued that the standard Generalized Quantifier analysis of numerical determiners such as (...) “more than three/at least three” is a simplification which ignores the fundamental parallellism with the propositional comparatives. Furthermore, the symmetric monotonicity configurations of the existential “some” and “no” are shown to be straightforwardly related to those of numerical comparatives with the limit numeral zero, whereas the asymmetric configurations of universal “all” and “not all” involve the extra complicating mechanism of polarity reversal, which is related to Keenan's notion of co-intersectivity (as opposed to intersectivity). A second aim of the paper is to investigate some of the factors reducing the inferential potential of determiners. Different types of comparative determiners and their modification will be considered in detail. In addition, a systematic interaction will be revealed between the monotonicity properties of the determiners in propositional comparatives and the differ ent types of ellipsis in the “than”-complement. Different degrees of ellipsis are defined in terms of informational dependencies between the “than”-complement and the main clause. A general balancing mechanism is observed by virtue of which an increase in informational dependency is compensated by a reduction of the inferential potential of the comparative determiner. The structure of the paper is as follows. Part two deals with propositional comparison and introduces the two basic monotonicity configurations. Part three distinguishes three types of informational dependencies or ellipsis between the “than”-complement and the main clause. In Section 3.1 the “than”-complement only contains a VP constituent, whereas in Section 3.2. it only consists of a nominal constituent. Section 3.3 considers more complex instances of multiple dependencies. Section 3.4 then looks at the interaction of these three types with the modifier “proportionally”. Part four presents the two basic monotonicity configurations for numerical comparison, whereas part five deals with more complex numerical determiners. Bounding determiners, such as “between five and ten”, and other boolean combinations are discussed in Section 5.1, whereas Section 5.2 goes into approximative determiners involving modifiers such as “only” or “almost”. Section 5.3. is devoted to proportional determiners such as “more than two out of three”. Part six then considers the standard existential and universal quantifiers. Section 6.1 reformulates the standard Generalized Quantifier analysis in comparative terms, whereas Section 6.2 deals with exception determiners of the form “all but five”. (shrink)

Taxa and homologues can in our view be construed both as kinds and as individuals. However, the conceptualization of taxa as natural kinds in the sense of homeostatic property cluster kinds has been criticized by some systematists, as it seems that even such kinds cannot evolve due to their being homeostatic. We reply by arguing that the treatment of transformational and taxic homologies, respectively, as dynamic and static aspects of the same homeostatic property cluster kind represents a good (...) perspective for supporting the conceptualization of taxa as kinds. The focus on a phenomenon of homology based on causal processes (e.g., connectivity, activity-function, genetics, inheritance, and modularity) and implying relationship with modification yields a notion of natural kinds conforming to the phylogenetic-evolutionary framework. Nevertheless, homeostatic property cluster kinds in taxonomic and evolutionary practice must be rooted in the primacy of epistemological classification (homology as observational properties) over metaphysical generalization (series of transformation and common ancestry as unobservational processes). The perspective of individuating characters exclusively by historical-transformational independence instead of their developmental, structural, and functional independence fails to yield a sufficient practical interplay between theory and observation. Purely ontological and ostensional perspectives in evolution and phylogeny (e.g., an ideographic character concept and PhyloCode’s ‘individualism’ of clades) may be pragmatically contested in the case of urgent issues in biodiversity research, conservation, and systematics. (shrink)

This book approaches depictive secondary predication from a crosslinguistic perspective. It maps out all the phenomena and brings together critical surveys and new contributions on their morphosyntactic and semantic properties"--Provided by publisher.

Modelling data in applied areas particularly in reliability engineering is a prominent research topic. Statistical models play a vital role in modelling reliability data and are useful for further decision-making policies. In this paper, we study a new class of distributions with one additional shape parameter, called a new generalized exponential-X family. Some of its properties are taken into account. The maximum likelihood approach is adopted to obtain the estimates of the model parameters. For assessing the performance of these estimators, (...) a comprehensive Monte Carlo simulation study is carried out. The usefulness of the proposed family is demonstrated by means of a real-life application representing the failure times of electronic components. The fitted results show that the new generalized exponential-X family provides a close fit to data. Finally, considering the failure times data, the Bayesian analysis and performance of Gibbs sampling are discussed. The diagnostics measures such as the Raftery–Lewis, Geweke, and Gelman–Rubin are applied to check the convergence of the algorithm. (shrink)

This study assessed the validity of instrument including various negative psychological and physical behaviors of commuters due to the public transport delay. Instruments have been mostly evaluated by parametric method of item response theory. However, the IRT has been characterized by some restrictive assumptions about the data, focusing on detailed model fit evaluation. The Mokken scale analysis, as a scaling procedure is a non-parametric method, which does not require adherence to any distribution. The results of the study show that in (...) most regards, our instrument meets the minimum requirements highlighted by the MSA. However, the instrument did not adhere to the minimum requirements of the “scalability” for two variables including “stomach pain” and “increased heart rate”. So, modifications were proposed to address the violations. Although MSA technique has been used frequently in other fields, this is one of the earliest studies to implement the technique in the context of transport psychology. (shrink)

In the classical account of knowledge, S knows that P if and only if S believes that P, S is justified in believing that P, and P is true (JTB).. In 1963, Gettier presented two problems that casted doubt on this account. Since then, numerous authors proposed modifications or clarifications of JTB, however, these efforts have not produced a satis-factory solution. In this paper, the focus is on logical properties of justification. The Get-tier problem Case II is expressed in sentential (...) logic and Gettier Minimal Assumption (GMA) is introduced. It is shown that Gettier must have used GMA or some other as-sumption that entails GMA in his construction of Case II. Rejection of GMA solves Get-tier problem Case II and it is a step towards a better understanding of the logical proper-ties of justification and knowledge. (shrink)

Background Licensed nurses working in long-term care facilities experience ethical challenges if not resolved can lead to moral distress. There is a lack of an English-language validated tool to adequately measure moral distress in the long-term care setting. Aims To describe the modification and psychometric evaluation of the Moral Distress Questionnaire. Methods Instrument development and psychometric evaluation. Internal consistency using Cronbach’s α to establish reliability was conducted using SPSS version 27.0 while SPSS Amos version 27.0 was used to perform (...) a confirmatory factor analysis of the Moral Distress Questionnaire Participants A national sample of US-licensed nurses who provided direct resident care in long-term care settings were recruited via a targeted sampling method using Facebook from 7 December 2020 to 7 March 2021. Ethical Consideration The study was approved by the university’s human research protection program. Informed consent was provided to all participants. Results A total of 215 participants completed the surveys. Confirmatory analysis indicated that the 21-item scale with a 4-factor structure for the Moral Distress Questionnaire model met the established criteria and demonstrates an acceptable model fit (CMIN/DF = 2.0, CFI = 0.82, TLI = 0.77, RMSEA = 0.07). Factor loadings for each item depict a moderate to a strong relationship (range 0.36–0.70) with the given underlying construct. Cronbach’s α coefficient was 0.87 for the overall scale and 0.60–0.74 for its subscales which demonstrate good reliabilities. Discussion This is the first English-language validated tool to adequately measure moral distress in the long-term care setting experienced by US long-term care nurses. This reliable and well-validated tool will help identify moral distress situations experienced by US long-term care nurses. Conclusion The modified 21-item English version of the Moral Distress Questionnaire is reliable tool that demonstrates good psychometric properties to validly measure sources of moral distress among direct resident care nurses. (shrink)

The aim of this essay is to show that phenomenal properties are contentless modes of appearances of representational properties. The essay initiates with examination of the first-person perspective of the conscious observer according to which a “reference to I” with respect to the observation of experience is determined. A distinction is then drawn between the conscious observer and experience as observed, according to which, three distinct modifications of experience are delineated. These modifications are then analyzed with respect to the content (...) of experience and from this the ground of the distinction between phenomenal and representational properties is identified. (shrink)

Memory reconsolidation holds great hope for memory modification approaches and clinical treatments of mental disorders associated with maladaptive memories. However, it remains controversial as to whether reconsolidation is a general property of all types of memory. Especially, discrepancies have been reported in research focusing on whether declarative memory undergoes reconsolidation, and whether old memories can be reorganized after retrieval. Here, we discuss how these inconsistent results can be reconciled and what information we need to uncover for the general (...) use of reconsolidation. (shrink)

It has been shown that the orbits of motion for a wide class of non-relativistic Hamiltonian systems can be described as geodesic flows on a manifold and an associated dual by means of a conformal map. This method can be applied to a four dimensional manifold of orbits in spacetime associated with a relativistic system. We show that a relativistic Hamiltonian which generates Einstein geodesics, with the addition of a world scalar field, can be put into correspondence in this way (...) with another Hamiltonian with conformally modified metric. Such a construction could account for part of the requirements of Bekenstein for achieving the MOND theory of Milgrom in the post-Newtonian limit. The constraints on the MOND theory imposed by the galactic rotation curves, through this correspondence, would then imply constraints on the structure of the world scalar field. We then use the fact that a Hamiltonian with vector gauge fields results, through such a conformal map, in a Kaluza-Klein type theory, and indicate how the TeVeS structure of Bekenstein and Saunders can be put into this framework. We exhibit a class of infinitesimal gauge transformations on the gauge fields ${\mathcal{U}}_{\mu}(x)$ which preserve the Bekenstein-Sanders condition ${\mathcal{U}}_{\mu}{\mathcal{U}}^{\mu}=-1$ . The underlying quantum structure giving rise to these gauge fields is a Hilbert bundle, and the gauge transformations induce a non-commutative behavior to the fields, i.e. they become of Yang-Mills type. Working in the infinitesimal gauge neighborhood of the initial Abelian theory we show that in the Abelian limit the Yang-Mills field equations provide residual nonlinear terms which may avoid the caustic singularity found by Contaldi et al. (shrink)

Twenty-first century science faces a dilemma. Two of its well-verified foundation stones - relativity and quantum theory - have proven inconsistent. Resolution of the conflict has resisted improvements in experimental precision leaving some to believe that some fundamental understanding in our world-view may need modification or even radical reform. Employment of the wave-front model of electrodynamics, as a propagation process with a Markov property, may offer just such a clarification.

Properties of non‐canonical GC base pairs and their relations with mechanochemical cleavage of DNA are analyzed. A hypothesis of the involvement of the transient GC wobble base pairs both in the mechanisms of the mechanochemical cleavage of DNA and epigenetic mechanisms involving of 5‐methylcytosine, is proposed. The hypothesis explains the increase in the frequency of the breaks of the sugar‐phosphate backbone of DNA after cytosines, the asymmetric character of these breaks, and an increase in break frequency in CpG after cytosine (...) methylation. As an alternative hypothesis, probable implication of GC+ Hoogsteen base pairs is considered, which now exemplify the best‐studied non‐canonical GC base pairs in the DNA double helix. Also see the video abstract here https://youtu.be/EUunVWL0ptw. (shrink)

In this paper I present a formal language in which complex predicates stand for properties and relations, and assignments of denotations to complex predicates and assignments of extensions to the properties and relations they denote are both homomorphisms. This system affords a fresh perspective on several important philosophical topics, highlighting the algebraic features of properties and clarifying the sense in which properties can be represented by their extensions. It also suggests a natural modification of current logics of properties, one (...) in which some complex predicates stand for properties while others do not. (shrink)

Despite many attempts to achieve an adequate definition of living systems by means of a set of necessary and sufficient conditions, the opinion that such an enterprise is inexorably destined to fail is increasingly gaining support. However, we believe options do not just come down to either having faith in a future success or endorsing skepticism. In this paper, we aim to redirect the discussion of the problem by shifting the focus of attention from strict definitions towards a philosophical framework (...) that allows conceiving of living systems as a natural kind, but whereby natural kinds are not to be defined by fixed necessary and sufficient conditions. We argue for a property-cluster kind approach according to which living systems constitute a natural kind with vague boundaries, capable of changing, and whose members do not need to instantiate every property. We draw from Boyd’s homeostatic property-cluster theory and introduce two modifications, one regarding homeostatic mechanisms and another related to the scientific role of kinds. Thus, our view overcomes some difficulties of Boyd’s theory and we are able to account for the natural kindhood of living things. We also emphasize the most appealing features of our approach for specific research fields and address three objections to this sort of approach. (shrink)

Just as the nation is imagined and produced through everyday rhetoric and maps and flags, it is also constructed on the skin, and through bodies, by different types of corporeal `flagging'. In this article, I use two examples of contemporary surgical procedures to explore these dynamics. Aesthetic surgeries on `white' subjects are not often interrogated for their racializing effects, but I use the concept of `flagging' to explore how these surgeries work in the UK to align `white' bodies with a (...) white nation. US media coverage of Iraq invasion veterans with prosthetic limbs circulates narratives of heroism and patriotism, and I explore how the apparent `visibility' of these limbs works to re-embed notions of the US as a transcendent Christian nation. In these two examples of corporeal modification, the nation is `flagged' on the skin, reiterating relationships of belonging that echo practical and conceptual links with property. Propertied belonging — possessive and constitutive — unfolds through bodies, producing whiteness not only as property itself, but also as unmarked, habitual terrain. (shrink)

Focused on the impact of stringent intellectual property mechanisms over the uses of plant agricultural biodiversity in crop improvement, the article delves into a systematic analysis of the relationship between institutional paradigms and their technological contexts of application, identified as mass selection, controlled hybridisation, molecular breeding tools and transgenics. While the strong property paradigm has proven effective in the context of major leaps forward in genetic engineering, it faces a systematic breakdown when extended to mass selection, where innovation (...) often displays a collective nature. However, it also creates partial blockages in those innovation schemes rested between on-farm observation and genetic modification, i.e. conventional plant breeding and upstream molecular biology research tools. Neither overly strong intellectual property rights, nor the absence of well delineated protection have proven an optimal fit for these two intermediary socio-technological systems of cumulative incremental innovation. To address these challenges, the authors look at appropriate institutional alternatives which can create effective incentives for in situ agrobiodiversity conservation and the equitable distribution of technologies in plant improvement, using the flexibilities of the TRIPS Agreement, the liability rules set forth in patents or plant variety rights themselves, and other ad hoc reward regimes. (shrink)

Water has a dual role in the Sundarbans area of southwestern Bangladesh. Hydrologic processes are vital to the ecological functioning and cultural identity of the mangrove ecosystem. But at the same time, large scale water development creates external forces that threaten the Sundarbans environment. Water is managed to a limited degree as a common property resource, both in the Sundarbans and in larger regions. It is also managed as private property, a public good, a state-controlled resource, an open (...) access resource, and a natural hazard. And to a large degree, it is not managed at all. By focussing on water, we begin to understand the linkages between the Sundarbans area and larger regional contexts; and between common property resource systems and the broader array of institutional, political, and property relations. Section one of this paper provides an overview of the role of water in the Sundarbans, including modern human modifications of deltaic hydrology. Section two surveys water management issues and institutions at six geographical scales: the International Basin; 2) India and Bangladesh; 3) Greater Bengal; 4) Bangladesh; 5) southwestern Bangladesh; and 6) Khulna district. The conclusion stresses the role that the political geography of water will play both within and outside the Sundarbans ecosystem. (shrink)

Discrete choice experiments (DCE) are often used to elicit preferences, for instance, in health preference research. However, DCEs only provide binary responses, whilst real-life choices are made with varying degrees of conviction. We aimed to verify whether eliciting self-reported convictions on a 0–100 scale adds meaningful information to the binary choice. Eighty three respondents stated their preferences for health states using DCE and the time trade-off method (TTO). In TTO, utility ranges were also elicited to account for preference imprecision. We (...) verified the properties of the conviction across three areas: (1) response to various choice task modifications (e.g. dominance, increase in complexity, distance from the status quo) and association with rationality violations (e.g. intransitivity); (2) association with test–retest results; (3) relation to the utility difference and imprecision estimated in TTO. Regarding (1), conviction increased in choice tasks with lower complexity, larger relative attractiveness, and lower distance to the status quo. Regarding (2), choices made with above-median conviction were sustained in 90% of the cases, compared to 68% for below-median conviction. Regarding (3), the conviction increases with utility difference and it decreases with utility imprecision; overconfidence seems to prevail: non-zero conviction is reported even for identical utilities. Self-reported conviction in DCE is associated in an intuitive way with the observed choices. It may, therefore, be useful in explaining or predicting behaviour or bridging the gap between the results of various elicitation tasks. (shrink)

We discuss the methods for providing sequent calculi for Suszko’s basic non-Fregean Logic with sentential identity SCI. After examination of possible strategies and already proposed systems we focus on the new calculus and its modification. It does not satisfy full cut elimination but a slightly generalised form of the subformula property holds for it. It is also standard in the sense of satisfying several conditions on rules formulated by Gentzen and his followers. We examine also the problem of (...) providing a constructive proof of the interpolation theorem in the setting of this sequent calculus. (shrink)

In this paper a unified framework for dealing with a broad family of propositional multimodal logics is developed. The key tools for presentation of the logics are the notions of closure relation operation and monotonous relation operation. The two classes of logics: FiRe-logics (finitely reducible logics) and LaFiRe-logics (FiRe-logics with local agreement of accessibility relations) are introduced within the proposed framework. Further classes of logics can be handled indirectly by means of suitable translations. It is shown that the logics from (...) these classes have the finite model property with respect to the class of -formulae, i.e. each -formula has a -model iff it has a finite -model. Roughly speaking, a -formula is logically equivalent to a formula in negative normal form without occurrences of modal operators with necessity force. In the proof we introduce a substantial modification of Claudio Cerrato's filtration technique that has been originally designed for graded modal logics. The main core of the proof consists in building adequate restrictions of models while preserving the semantics of the operators used to build terms indexing the modal operators. (shrink)

The paper examines three essays that Leibniz wrote in 1688, immediately after the composition of the Discourse on Metaphysics, one of his most organic philosophical works. The main topics which emerge from these essays are: the relationship between substance and accidents; the nature of accidents; and, more generally, the nature of abstract entities. Given that accidents' nature is that of changing, Leibniz sees how hard it is to give an account of the relationship between substance and accidents that does not (...) imply any change in the substance, when its accidents undergo a change. To find a way out of this problem, Leibniz assumes that abstract terms (whiteness, wisdom, etc.) do not name real properties or real parts of substances, and that any sentence containing real abstract terms can be rephrased as a sentence containing logical abstract terms, which do no imply any commitment to the existence of real properties. Coherently with this nominalistic attitude, Leibniz ends up, in the Theodicy and in his correspondence with Des Bosses, considering accidents as modes or internal modifications of the substance. (shrink)

Many studies have been conducted on the effect of item order in self-report questionnaires on mean scores. This research aims to study the effect of item order on measurement invariance in addition to mean scores. To this end, two groups randomly obtained from the same sample were presented a fixed order form in which all items belonging to the same dimension were adjacent to each other, and a random order form in which the items were randomly sequenced respectively. The results (...) obtained revealed a statistically significant difference between the mean scores of the two forms. In the next stage of the study, the fit indices obtained from the confirmatory factor analysis applied to the two separate forms and the modification indices suggested by the software were compared. Both forms returned high modification suggestions for adjacent items or items presented near each other. Additionally, it was found that high χ2 reductions suggested by the MIs in one form resulted in low χ2 reductions in the other. Lastly, multiple group CFA was conducted to determine whether or not measurement invariance was achieved through different item order presentations of the scale. The findings indicate that measurement invariance could not be achieved even at the first stage of analysis. It may specifically be stated that presenting respondents items under the same dimension together ensures empirical findings congruent with theoretical structure. (shrink)