In this article complexity results for adaptive logics using the minimal abnormality strategy are presented. It is proven here that the consequence set of some recursive premise sets is $\Pi _1^1 - complete$ . So, the complexity results in (Horsten and Welch, Synthese 158:41–60,2007) are mistaken for adaptive logics using the minimal abnormality strategy.

The present paper is devoted to computational aspects of propositional inconsistency-adaptive logics. In particular, we prove (relativized versions of) some principal results on computational complexity of derivability in such logics, namely in cases of CLuN r and CLuN m , i.e., CLuN supplied with the reliability strategy and the minimal abnormality strategy, respectively.

In this paper I present two new strategies for inconsistencyadaptive logics: the reliable sufficient information strategy of ACLuN3 andthe minimally abnormal sufficient information strategy of ACLuN4. I giveproof theory and semantics for both ACLuN3 and ACLuN4. I also compare them with the well-known inconsistency-adaptive logics ACLuN1 andACLuN2.

In a rather general setting, we prove a number of basic theorems concerning computational complexity of derivability in adaptive logics. For that setting, the so-called standard format of adaptive logics is suitably adopted, and the corresponding completeness results are established in a very uniform way.

In an adaptive logic APL, based on a (monotonic) non-standardlogic PL the consequences of can be defined in terms ofa selection of the PL-models of . An important property ofthe adaptive logics ACLuN1, ACLuN2, ACLuNs1, andACLuNs2 logics is proved: whenever a model is not selected, this isjustified in terms of a selected model (Strong Reassurance). Theproperty fails for Priest's LP m because its way of measuring thedegree of abnormality of a model is incoherent – correcting thisdelivers the property.

WHO II low grade glioma evolves inevitably to anaplastic transformation. Magnetic resonance imaging is a good non-invasive way to watch it, by hemodynamic and metabolic modifications, thanks to multinuclear spectroscopy 1H/31P. In this work we study a multi-scale minimal model of hemodynamics and metabolism applied to the study of gliomas. This mathematical analysis leads us to a fast-slow system. The control of the position of the stationary point brings to the concept of domain of viability. Starting from this system, (...) the equations bring to light the parameters that push glioma cells out of their domain of viability. Four fundamental factors are highlighted. The first two are cerebral blood flow and the rate of lactate transport through monocarboxylate transporters, which must be reduced in order to push glioma out of its domain of viability. Another factor is the intra arterial lactate, which must be increased. The last factor is pH, indeed a decrease of intra cellular pH could interfere with glioma growth. These reflections suggest that these four parameters could lead to new therapeutic strategies for the management of low grade gliomas. (shrink)

This article discusses minimal model explanations, which we argue are distinct from various causal, mechanical, difference-making, and so on, strategies prominent in the philosophical literature. We contend that what accounts for the explanatory power of these models is not that they have certain features in common with real systems. Rather, the models are explanatory because of a story about why a class of systems will all display the same large-scale behavior because the details that distinguish them are irrelevant. This (...) story explains patterns across extremely diverse systems and shows how minimal models can be used to understand real systems. (shrink)

ABSTRACTPrevious research suggests that labelling emotions, or describing affective states using emotion words, facilitates emotion regulation. But how much labelling promotes emotion regulation? And which emotion regulation strategies does emotion labelling promote? Drawing on cognitive theories of emotion, we predicted that labelling emotions using fewer words would be less confusing and would facilitate forms of emotion regulation requiring more cognitively demanding processing of context. Participants mentally immersed themselves in an emotional vignette, were randomly assigned to an exhaustive or minimal (...) emotion labelling manipulation, and then completed an emotion regulation strategy planning task. Minimal emotion labelling promoted higher subjective emotional clarity. Furthermore, in terms of specific emotion regulation strategies, minimal emotion labelling prompted more plans for problem solving and marginally more plans for reappraisal, but did not affect plans for behav... (shrink)

Cancer biologists ascribe normal functions to parts of cancer. Normal functions are activities that parts of systems are in some minimal sense supposed to perform. Cancer biologists’ finding normality within the abnormality of cancer pose difficulties for two main approaches to normal function. One approach claims that normal functions are activities that parts are selected for. However, some parts of cancers that have normal functions aren’t selected to perform them. The other approach claims that normal functions are part-activities (...) typical for the system and that contribute to survival/reproduction. However, cancers are too heterogeneous to establish what’s typical across a type. (shrink)

We summarize the ethnographic literature illustrating that “abnormal birth” circumstances and “ill omens” operate as cues to terminate parental investment. A review of the medical literature provides evidence to support our assertion that ill omens serve as markers of biological conditions that will threaten the survival of infants. Daly and Wilson (1984) tested the prediction that children of demonstrably poor phenotypic quality will be common victims of infanticide. We take this hypothesis one stage further and argue that some children will (...) be poor vehicles for parental investment yet are not of demonstrably poor quality at birth. We conclude that when people dispose of infants due to “superstitious beliefs” they are pursuing an adaptive strategy in eliminating infants who are poor vehicles for parental investment. (shrink)

For years, phenomenological psychiatry has proposed that distortions of the temporal structure of consciousness contribute to the abnormal experiences described before schizophrenia emerges, and may relate to basic disturbances in consciousness of the self. However, considering that temporality refers mainly to an implicit aspect of our relationship with the world, disturbances in the temporal structure of consciousness remain difficult to access. Nonetheless, previous studies have shown a correlation between self disorders and the automatic ability to expect an event in time, (...) suggesting timing is a key issue for the psychopathology of schizophrenia. Timing disorders may represent a target for cognitive remediation, but this requires that disorders can be demonstrated at an individual level. Since cognitive impairments in patients with schizophrenia are discrete, and there is no standardized timing exploration, we focused on timing impairments suggested to be related to self disorders. We present the case report of AF, a 22 year old man suffering from schizophrenia, with no antipsychotic intake. Although AF shows few positive and negative symptoms and has a normal neurocognitive assessment, he shows a high level of disturbance of Minimal Self Disorders (SDs) (assessed with the EASE scale). Moreover, AF has a rare ability to describe his self and time difficulties. An objective assessment of timing ability (variable foreperiod task) confirmed that AF had temporal impairments similar to those previously described in patients, i.e., a preserved ability to distinguish time intervals, but a difficulty to benefit from the passage of time to expect a visual stimulus. He presents additional difficulties in benefitting from temporal cues and adapting to changes in time delays. The impairments were ample enough to yield significant effects with analyses at the individual level. Although causal relationships between subjective and objective impairments cannot be established, the results show that exploring timing deficits at the individual level is possible in patients with schizophrenia. Besides, the results are consistent with hypotheses relating minimal self disorders (SDs) to timing difficulties. They suggest that both subjective and objective timing investigations should be developed further so that their use at an individual level can be generalized in clinical practice. (shrink)

A diagnosis of fetal abnormality presents parents with a difficult – even tragic – moral dilemma. Where this diagnosis is made in the context of surrogate motherhood there is an added difficulty, namely that it is not obvious who should be involved in making decisions about abortion, for the person who would normally have the right to decide – the pregnant woman – does not intend to raise the child. This raises the question: To what extent, if at all, (...) should the intended parents be involved in decision-making? In commercial surrogacy it is thought that as part of the contractual agreement the intended parents acquire the right to make this decision. By contrast, in altruistic surrogacy the pregnant woman retains the right to make these decisions, but the intended parents are free to decide not to adopt the child. We argue that both these strategies are morally unsound, and that the problems encountered serve to highlight more fundamental defects within the commercial and altruistic models, as well as in the legal and institutional frameworks that support them. We argue in favour of the professional model, which acknowledges the rights and responsibilities of both parties and provides a legal and institutional framework that supports good decision-making. In particular, the professional model acknowledges the surrogate's right to decide whether to undergo an abortion, and the intended parents' obligation to accept legal custody of the child. While not solving all the problems that arise in surrogacy, the model provides a framework that supports good decision-making. (shrink)

The paper explains how a paraconsistent logician can appropriate all classical reasoning. This is to take consistency as a default assumption, and hence to work within those models of the theory at hand which are minimally inconsistent. The paper spells out the formal application of this strategy to one paraconsistent logic, first-order LP. (See, Ch. 5 of: G. Priest, In Contradiction, Nijhoff, 1987.) The result is a strong non-monotonic paraconsistent logic agreeing with classical logic in consistent situations. It is (...) shown that the logical closure of a theory under this logic is trivial only if its closure under LP is trivial. (shrink)

We propose a minimal logic for interactive epistemology based on a qualitative representation of epistemic individual and group attitudes including knowledge, belief, strong belief, common knowledge and common belief. We show that our logic is sufficiently expressive to provide an epistemic foundation for various game-theoretic solution concepts including “1-round of deletion of weakly dominated strategies, followed by iterated deletion of strongly dominated strategies” ) and “2-rounds of deletion of weakly dominated strategies, followed by iterated deletion of strongly dominated strategies” (...) ). Axiomatization and complexity results for the logic are given in the paper. (shrink)

The notion of a minimal form is defined as an extension of the notion of a normal form in λ-β-calculus and its meaning is discussed in a computational environment. The features of the Knuth-Gross reduction strategy are used to prove that to possess a minimal form, for a generic term, is a semidecidable predicate.

In this note, I apply Norton’s (Philos Sci 79(2):207–232, 2012) distinction between idealizations and approximations to argue that the epistemic and inferential advantages often taken to accrue to minimal models (Batterman in Br J Philos Sci 53:21–38, 2002) could apply equally to approximations, including “infinite” ones for which there is no consistent model. This shows that the strategy of capturing essential features through minimality extends beyond models, even though the techniques for justifying this extended strategy remain similar. (...) As an application I consider the justification and advantages of the approximation of a inertial reference frame in Norton’s dome scenario (Philos Sci 75(5):786–798, 2008), thereby answering a question raised by Laraudogoitia (Synthese 190(14):2925–2941, 2013). (shrink)

The ‘multicultural clinical interaction’ presents itself as a dilemma for the mental health practitioner. Literature describes two problematic areas where this issues emerges - how to make an adequate distinction between religious rituals and the rituals that may be symptomatic of ‘obsessive compulsive disorder’ (OCD), and how to differentiate ‘normative’ religious or spiritual beliefs, behaviours, and experiences from ‘psychotic’ illnesses. When it comes to understanding service user’s ‘idioms of distress’, beliefs about how culture influences behaviour can create considerable confusion and (...) ‘normative uncertainty’ for mental health practitioners. In the absence of clear diagnostic and assessment criteria on distinguishing between ‘culture’ and ‘psychopathology’, practitioners have had to rely on their own intuition and seek out possible ‘strategies’ or ‘procedures’ from a contradictory and cross-disciplinary evidence base. Decontextualisation of service users’ experiences may result in the pathologisation of culturally ‘normative’ phenomenon, ‘category fallacy’ errors, and poor health care experiences and outcomes for service users. This paper situates this dilemma within a wider debate that has concerned both the biomedical and social sciences, namely, the unresolved question of ‘normality’ or ‘abnormality’. Indeed, issues that arise from dilemmas surrounding the question of ‘culture’ or ‘psychopathology’ are intimately tied to wider cultural ideas about what is considered ‘normal’. The disciplines of psychiatry, psychology, and medical anthropology have struggled to establish workable criteria against which to judge behaviour as ‘normal’, ‘abnormal’, or ‘pathological’. Three models for understanding mental ‘abnormality’ are evident in ‘transcultural psychiatry’ (what is now commonly known as ‘cultural psychiatry’), and these models have corresponded closely to the interpretive models used by anthropologists attempting to make sense of the apparent diversity of human societies. The three models of ‘absolutism’, ‘universalism’ and ‘cultural relativism’ have not only important consequences for the nature and conduct of research enquiry, but also have implications for how the dilemma of ‘culture’ or ‘psychopathology’ is attended to in clinical practice. (shrink)

We investigate some logics which use the concept of minimal models in their definition. Minimal objects are widely used in Logic and Computer Science. They are applied in the context of Inductive Definitions, Logic Programming and Artificial Intelligence. An example of logic which uses this concept is the MIN logic due to van Benthem [20]. He shows that MIN is equivalent to the Least Fixed Point logic in expressive power. In [6], we extended MIN to the MIN Logic (...) and proved it is equivalent to second-order logic in expressive power. Here, we exhibit a fragment of MIN, the MINΔ logic, which is more expressive than LFP, less expressive than MIN and closed under boolean connectives and first-order quantification. In order to do this, in the Section 2, we prove that the Downward Löwenheim-Skolem Theorem holds for arbitrary countable sets of LFP-formulas by showing that every infinite structure has a countable LFP-substructure. The method may be used to generalize this theorem to any set of LFP-formulas. We also analyse the expressive power of the Nested Abnormality Theories of Lifschitz, another formalism based on minimal models used in Artificial Intelligence, and we demonstrate that for each second-order theory Γ there is a NAT which is a conservative extension of Γ. We give a translation from second-order sentences into such NATs which is linear in the size of the sentence in prenex normal form. Finally, we establish a hierarchy of expressiveness of these logics that deal with the concept of minimal models. (shrink)

Oncogenic hyperplasia is the first and inevitable stage of formation of a (solid) tumor. This stage is also the core of many other proliferative diseases. The present work proposes the first minimal model that combines homeorhesis with oncogenic hyperplasia where the latter is regarded as a genotoxically activated homeorhetic dysfunction. This dysfunction is specified as the transitions of the fluid of cells from a fluid, homeorhetic state to a solid, hyperplastic-tumor state, and back. The key part of the model (...) is a nonlinear reaction-diffusion equation (RDE) where the biochemical-reaction rate is generalized to the one in the well-known Schlögl physical theory of the non-equilibrium phase transitions. A rigorous analysis of the stability and qualitative aspects of the model, where possible, are presented in detail. This is related to the spatially homogeneous case, i.e. when the above RDE is reduced to a nonlinear ordinary differential equation. The mentioned genotoxic activation is treated as a prevention of the quiescent G0-stage of the cell cycle implemented with the threshold mechanism that employs the critical concentration of the cellular fluid and the nonquiescent-cell-duplication time. The continuous tumor morphogeny is described by a time-space-dependent cellular-fluid concentration. There are no sharp boundaries (i.e. no concentration jumps exist) between the domains of the homeorhesis- and tumor-cell populations. No presumption on the shape of a tumor is used. To estimate a tumor in specific quantities, the model provides the time-dependent tumor locus, volume, and boundary that also points out the tumor shape and size. The above features are indispensable in the quantitative development of antiproliferative drugs or therapies and strategies to prevent oncogenic hyperplasia in cancer and other proliferative diseases. The work proposes an analytical-numerical method for solving the aforementioned RDE. A few topics for future research are suggested. (shrink)

The target article's important point is easily misunderstood to claim that all revenge is adaptive. Revenge and forgiveness can overstretch the bounds of utility due to misperceptions, minimization of costly errors, a breakdown within our evolved revenge systems, or natural genetic and developmental variation. Together, these factors can compound to produce highly abnormal instances of revenge and forgiveness.

Genomic instability is a hallmark of cancer. Cancer cells that exhibit abnormal chromosomes are characteristic of most advanced tumours, despite the potential threat represented by accumulated genetic damage. Carcinogenesis involves a loss of key components of the genetic and signalling molecular networks; hence some authors have suggested that this is part of a trend of cancer cells to behave as simple, minimal replicators. In this study, we explore this conjecture and suggest that, in the case of cancer, genomic instability (...) has an upper limit that is associated with a minimal cancer cell network. Such a network would include (for a given microenvironment) the basic molecular components that allow cells to replicate and respond to selective pressures. However, it would also exhibit internal fragilities that could be exploited by appropriate therapies targeting the DNA repair machinery. The implications of this hypothesis are discussed. (shrink)

This paper explores the justifications and impression management strategies that industrial companies use to rationalize their impacts on climate change. These strategies influence the perceptions of stakeholders through the use of techniques of neutralization intended to legitimize the impacts of corporate operations in the area of climate change. Based on a qualitative and inductive approach, 10 case studies were conducted of large Canadian industrial emitters. Interviews were conducted with managers and environmental specialists. Public documentation was also collected when available. This (...) study identifies six main neutralization techniques that industrial emitters use to rationalize their impacts: self-proclaimed excellence, promotion of a systemic view, denial and minimization, denouncing unfair treatment and deceptive appearances, economic and technological blackmail, and blaming others. The paper develops a better understanding of corporate arguments and strategies aimed at influencing the perceptions of stakeholders, including policymakers. The study also contributes to the literature on impression management by shedding light on new strategies and techniques of neutralization used by managers to shape the perceptions of stakeholders on socially sensitive issues. (shrink)

Although the definition of ‘signal’ has been controversial for some time within the life sciences, current approaches seem to be converging toward a common analysis. This powerful framework can satisfactorily accommodate many cases of signaling and captures some of its main features. This paper argues, however, that there is a central feature of signals that so far has been largely overlooked: its special causal role. More precisely, I argue that a distinctive feature of signals is that they are minimal (...) causes. I explain this notion, suggest some strategies for identifying its instances and defend its relevance by means of conceptual and empirical considerations. (shrink)

Human and non-human animals are social beings, both have social interactions. The ability to anticipate behavior of others is a fundamental requirement of social interactions. However, there are several ways of how agents can succeed in this. Two modes of anticipation, namely mindreading and behavior-reading, shape the animal mindreading debate. As a matter of fact, no position has yet convincingly ruled out the other. This paper suggests a strategy of how to argue for a mentalistic interpretation as opposed to (...) a behavioral interpretation. The first step suggests considering a pluralistic approach in order to allow for shortcomings such as not having a natural language. Second, a critical examination of the principle called Morgan’s Canon will show that this principle cannot be used as a final argument to rule out mentalistic approaches. Finally, the author argues that the setting of current experiments is responsible for the indistinguishability of mindreading versus behavior-reading and she suggests alternative experimental designs. (shrink)

This chapter focuses on what’s novel in the perspective that the prediction error minimization (PEM) framework affords on the cognitive-scientific project of explaining intelligence by appeal to internal representations. It shows how truth-conditional and resemblance-based approaches to representation in generative models may be integrated. The PEM framework in cognitive science is an approach to cognition and perception centered on a simple idea: organisms represent the world by constantly predicting their own internal states. PEM theories often stress the hierarchical structure of (...) the generative models they posit. The novel explanatory power of the PEM account derives largely from the way in which pairs of generative and recognition models interact. “Predictive coding” refers to an encoding strategy in which predicted portions of an input signal are subtracted from the actual signal received, so that only the difference between the two is passed as output to the next stage of information processing. (shrink)

The key claims of left accelerationism are grounded upon a network of concepts. Crucial here have been the notions of hegemony ; strategy ; and rationality. Though the concepts of hegemony–strategy and strategy–rationality have received wide treatment, the hegemony and rationality pair has received minimal attention. Yet to render the core arguments of left accelerationism explicable requires that these three ideas are placed in some concrete relation. To put the issue another way: what is the relationship (...) between power and rationality? This article will argue that many of the critiques which the left accelerationist position has received are bound up in misunderstanding this relationship. To remedy such misnomers, we will argue that it is a more sophisticated understanding of strategy that can help bridge these two domains. This leads us to delineate a form of strategy-without-a-strategiser, a distributed and emergent strategic orientation which mediates the power/rationality binary. (shrink)

In this paper, we define a class of dialogue games for Johansson’s minimal logic and prove that it corresponds to the validity of minimal logic. Many authors have stated similar results for intuitionistic and classical logic either with or without actually proving the correspondence. Rahman, Clerbout and Keiff [17] have already specified dialogues for minimal logic; however, they transformed it into Fitch-style natural deduction only. We propose a different specification for minimal logic with the proof of (...) correspondence between the existence of winning strategies for the Proponent in this class of games and the sequent calculus for minimal logic. (shrink)

Minimal counterintuitiveness and its automatic processing has been suggested as the explanation of persistence and transmission of cultural ideas. This purported automatic processing remains relatively unexplored. We manipulated encoding strategy to assess the persistence of memory for different types of expectation violation. Participants viewed concepts including two types of expectation violation or no violation under three different encoding conditions: in the shallow condition participants focused on the perceptual attributes of the concepts, a deep condition probed their semantic meaning, (...) and intentional remembering condition. Participants’ recall was tested immediately as well as 2 weeks later. Our findings showed the greatest memory enhancement for schema-level violations regardless of the encoding condition, while the memory for domain-level violations improved over time. These results suggest two distinct memory patterns for different types of violations, and illustrate the importance of elaborative processes in memory consolidation especially for violations to our expectations. (shrink)

Although first-order Kripke semantics has become a well established branch of modal logic, very little - almost nothing - is written about logics with a weaker modal fragment. We try to help the situation by isolating principles determining the interaction between quantifiers and modalities in minimal semantics. First, we let the standard-model properties of monotonic and anti-monotonic domains clue us in on how to do this – i. e. we try to articulate, in terms of the inclusiveness of the (...) domains of a certain set of worlds, a set of semantical restrictions that will validate the Barcan and converse Barcan formulae respectively. As it turns out, this can indeed by done, but only by adding assumptions strong enough to make the models virtually normal. Since the whole point of switching to a minimal framework would be to generalise the logic, we therefore abandon the worlds-objects thinking altogether, and switch to a much simpler and more direct validation strategy in which the propositions we are after are simply picked out as such. (shrink)

Metaphorical statements surprise us as literal falsehoods, but the interpretation reveals a special motive for the figurative use of the language. Donald Davidson objects to nonliteral meaning: “to suppose a metaphor can be effective only by conveying a coded message is like thinking a joke or a dream makes some statement which a clever interpreter can restate in plain prose.” Taking this remark as my starting point I analyze interpretative strategies for metaphors, jokes, riddles and counterfactual conditionals – all of (...) them involve an initial incongruity and most of them require a certain blending of two different domains. I suggest that the ability to interpret metaphors is based on our ability to apprehend a special cognitive content associated with metaphors. (shrink)

For caregivers of minimally communicative individuals, providing support in the absence of clearly meaningful responses is ethically fraught. We conducted a secondary analysis of qualitative data from caregivers of individuals who are minimally communicative, including persons with advanced dementia and individuals in disorders of consciousness. Our analysis led to two central claims: (1) Personhood is a threshold concept that is situated, relational, and dynamic and (2) in circumstances in which personhood is difficult to judge, caregivers can “fill the gap” to (...) reach the threshold through a repertoire of strategies. Because personhood is in part an attribution from others, a situational loss of personhood does not preclude restoration, nor does it eliminate moral status. (shrink)

Nonclassical theories of truth have in common that they reject principles of classical logic to accommodate an unrestricted truth predicate. However, different nonclassical strategies give up different classical principles. The paper discusses one criterion we might use in theory choice when considering nonclassical rivals: the maxim of minimal mutilation.

BackgroundPrognostic uncertainty is a challenge for physicians in the neuro intensive care field. Questions about whether continued life-sustaining treatment is in a patient’s best interests arise in different phases after a severe traumatic brain injury. In-depth information about how physicians deal with ethical issues in different contexts is lacking. The purpose of this study was to seek insight into clinicians’ strategies concerning unresolved prognostic uncertainty and their ethical reasoning on the issue of limitation of life-sustaining treatment in patients with (...) class='Hi'>minimal or no signs of neurological improvement after severe traumatic brain injury in the later trauma hospital phase.MethodsInterviews with 18 physicians working in a neurointensive care unit in a large Norwegian trauma hospital, followed by a qualitative thematic analysis focused on physicians’ strategies related to treatment-limiting decision-making.ResultsA divide between proactive and wait-and-see strategies emerged. Notwithstanding the hospital’s strong team culture, inter-physician variability with regard to ethical reasoning and preferred strategies was exposed. All the physicians emphasized the importance of team—family interactions. Nevertheless, their strategies differed: (1) The proactive physicians were open to consider limitations of life-sustaining treatment when the prognosis was grim. They initiated ethical discussions, took leadership in clarification and deliberation processes regarding goals and options, saw themselves as guides for the families and believed in the necessity to prepare families for both best-case and worst-case scenarios. (2) The “wait-and-see” physicians preferred open-ended treatment (no limitations). Neurologically injured patients need time to uncover their true recovery potential, they argued. They often avoided talking to the family about dying or other worst-case scenarios during this phase.ConclusionsDepending on the individual physician in charge, ethical issues may rest unresolved or not addressed in the later trauma hospital phase. Nevertheless, team collaboration serves to mitigate inter-physician variability. There are problems and pitfalls to be aware of related to both proactive and wait-and-see approaches. The timing of best-interest discussions and treatment-limiting decisions remain challenging after severe traumatic brain injury. Routines for timely and open discussions with families about the range of ethically reasonable options need to be strengthened. (shrink)

In this paper, we consider three different search strategies for a cut-free sequent system formalizing orthologic, and estimate the respective search spaces. Applying backward search, there are classes of formulae for which both the minimal proof length and the search space are exponential. In a combined forward and backward approach, all proofs are polynomial, but the potential search space remains exponential. Using a forward strategy, the potential search space becomes polynomial yielding a polynomial decision procedure for orthologic and (...) the word problem for free ortholattices. (shrink)

In this paper, we consider three different search strategies for a cut-free sequent system formalizing orthologic, and estimate the respective search spaces. Applying backward search, there are classes of formulae for which both the minimal proof length and the search space are exponential. In a combined forward and backward approach, all proofs are polynomial, but the potential search space remains exponential. Using a forward strategy, the potential search space becomes polynomial yielding a polynomial decision procedure for orthologic and (...) the word problem for free ortholattices. (shrink)

The impacts of early fishing on aquatic ecosystems were minimal, as primitive technologies were used to harvest fish primarily for food. As fishing technology grew more sophisticated and human populations dispersed and expanded, local economies transitioned from subsistence to barter and trade. Expanded trade networks and mercantilization led to surplus catches becoming tradable commodities. Today, global export fish commodities, including fresh, frozen, cured, and canned fish, are valued at over US$ 100 billion, but commoditization loses the ecological imperative, with (...) overfishing the result. To sustain global fisheries, human and ecosystem relationships with living fish need to be valued, as fish landed for both food and profit. Toward this end, we propose two decommoditization strategies: (a) valuing cultural property, the intergenerational relationships of people to places, in environmental policy and (b) instituting social subsidies that reward or enable local communities to cooperate in sustaining aquatic living resources, such as with marine protected areas. (shrink)

The finding that women are attracted to men older than themselves whereas men are attracted to relatively younger women has been explained by social psychologists in terms of economic exchange rooted in traditional sex-role norms. An alternative evolutionary model suggests that males and females follow different reproductive strategies, and predicts a more complex relationship between gender and age preferences. In particular, males' preferences for relatively younger females should be minimal during early mating years, but should become more pronounced as (...) the male gets older. Young females are expected to prefer somewhat older males during their early years and to change less as they age. We briefly review relevant theory and present results of six studies testing this prediction. Study 1 finds support for this gender-differentiated prediction in age preferences expressed in personal advertisements. Study 2 supports the prediction with marriage statistics from two U.S. cities. Study 3 examines the cross-generational robustness of the phenomenon, and finds the same pattern in marriage statistics from 1923. Study 4 replicates Study 1 using matrimonial advertisements from two European countries, and from India. Study 5 finds a consistent pattern in marriages recorded from 1913 through 1939 on a small island in the Philippines. Study 6 reveals the same pattern in singles advertisements placed by financially successful American women and men. We consider the limitations of previous normative and evolutionary explanations of age preferences and discuss the advantages of expanding previous models to include the life history perspective. (shrink)

Fibromyalgia is a chronic pain syndrome characterized by dysfunctional processing of nociceptive stimulation. Neuroimaging studies have pointed out that pain-related network functioning seems to be altered in these patients. It is thought that this clinical symptomatology may be maintained or even strengthened because of an enhanced expectancy for painful stimuli or its forthcoming appearance. However, neural electrophysiological correlates associated with such attentional mechanisms have been scarcely explored. In the current study, expectancy processes of upcoming laser stimulation (painful and non-painful) and (...) its further processing were explored by event-related potentials (ERPs). Nineteen fibromyalgia patients and twenty healthy control volunteers took part in the experiment. Behavioral measures (reaction times and subjective pain perception) were also collected. We manipulated the pain/no pain expectancy through an S1–S2 paradigm (cue-target). S1 (image: triangle or square) predicted the S2 appearance (laser stimulation: warmth or pinprick sensation). Laser stimuli were delivered using a CO2 laser device. Temporal and spatial principal component analyses were employed to define and quantify the ERP component reliability. Statistical analyses revealed the existence of an abnormal pattern of pain expectancy in patients with fibromyalgia. Specifically, our results showed attenuated amplitudes at posterior lCNV component in anticipation of painful stimulation that was not found in healthy participants. In contrast, although larger P2 amplitudes to painful compared to innocuous events were shown, patients did not show any amplitude change in this laser-evoked response as a function of pain predictive cues (as occurred in the healthy control group). Additionally, analyses of the subjective perception of pain and reaction time indicated that laser stimuli preceded by pain cues were rated as more painful than those signaling non-pain expectancy and were associated with faster responses. Differences between groups were not found. The present findings suggest the presence of dysfunction in pain expectation mechanisms in fibromyalgia that eventually may make it difficult for patients to correctly interpret signs that prevent pain symptoms. Furthermore, the abnormal pattern in pain expectancy displayed by fibromyalgia patients could result in ineffective pain coping strategies. Understanding the neural correlates of pain processing and its modulatory factors is crucial to identify treatments for chronic pain syndromes. (shrink)

This study examined the role of temporal orientation and affective frame in the execution of ethical decision-making strategies. In reflecting on a past experience or imagining a future experience, participants thought about experiences that they considered either positive or negative. The participants recorded their thinking about that experience by responding to several questions, and their responses were content-analyzed for the use of ethical decision-making strategies. The findings indicated that a future temporal orientation was associated with greater strategy use. Likewise, (...) a positive affective frame was associated with greater strategy use. Future orientation may permit better strategy execution than a past orientation because it facilitates more objective, balanced contemplation of the reflected-upon situation and minimizes potential self-threat associated with past behavior. A positive affective frame likely improves strategy execution because it facilitates active analysis of the experience. Future directions and implications of these findings are discussed. (shrink)

Background: Patients in a vegetative state pose problems in diagnosis, prognosis and treatment. Currently, no prognostic markers predict the chance of recovery, which has serious consequences, especially in end-of-life decision-making. Objective: We aimed to assess an objective measurement of prognosis using advanced electroencephalography (EEG). Methods: EEG data (19 channels) were collected in 14 patients who were diagnosed to be persistently vegetative based on repeated clinical evaluations at 3 months following brain damage. EEG structure parameters (amplitude, duration and variability within quasi-stationary (...) segments, as well as the spatial synchrony between such segments and the strength of this synchrony) were used to predict recovery of consciousness 3 months later. Results: The number and strength of cortical functional connections between EEG segments were higher in patients who recovered consciousness (P < .05 – P < .001) compared with those who did not recover. Linear regression analysis confirms that EEG structure parameters are capable of predicting (P = .0025) recovery of consciousness 6 months post-injury, whereas the same analysis failed to significantly predict patient outcome based on aspects of their clinical history alone (P = .629) or conventional EEG spectrum power (P = .473). Conclusions: The result of this preliminary study demonstrates that structural strategy of EEG analysis is better suited for providing prognosis of consciousness recovery than existing methods of clinical assessment and of conventional EEG. Our results may be a starting point for developing reliable prognosticators in patients who are in vegetative state, with the potential to improve their day-to-day management, quality of life, and access to early interventions. (shrink)

Background In the last years, there has been an increase in publication of systematic reviews of normative literature or of normative information in bioethics. The aim of a systematic review is to search, select, analyse and synthesise literature in a transparent and systematic way in order to provide a comprehensive and unbiased overview of the information sought, predominantly as a basis for informed decision-making in health care. Traditionally, one part of the procedure when conducting a systematic review is an appraisal (...) of the quality of the literature that could be included. Main text However, while there are established methods and standards for appraising e.g. clinical studies or other empirical research, quality appraisal of normative literature in the context of a systematic review is still rather a conundrum – not only is it unclear how it could or should be done, but also the question whether it necessarily must be done is not settled yet. Based on a pragmatic definition of “normative literature” as well as on a typology of different types of systematic reviews of normative literature/information, this paper identifies and critically discusses three possible strategies of conducting quality appraisal. Conclusions The paper will argue that none of the three strategies is able to provide a general and satisfying solution to the problems associated with quality appraisal of normative literature/information. Still, the discussion of the three strategies allows outlining minimal conditions that elaborated strategies have to meet in future, and facilitates sketching a theoretically and practically promising strategy. (shrink)

Resolving the challenge of flight delays caused by air traffic congestion renders it necessary to explore the mode of congestion propagation. By applying complex network theory, this article establishes a complex network structure where airspace sectors act as nodes, and the edges represent traffic flow relationships between sectors. In addition, a cascading failure model is proposed to analyze the airspace sector network’s invulnerability. The critical threshold and the sector abnormality rate are determined according to the cascading failure measurement indexes. (...) Based on the remaining capacity of sector nodes, two optimization strategies are proposed: adjacent load redistribution strategy and local load redistribution strategy. The simulation results demonstrate that the local load redistribution strategy greatly improves the airspace sector network’s invulnerability to cascading failure. (shrink)

Interactions between humans and bots are increasingly common online, prompting some legislators to pass laws that require bots to disclose their identity. The Turing test is a classic thought experiment testing humans’ ability to distinguish a bot impostor from a real human from exchanging text messages. In the current study, we propose a minimal Turing test that avoids natural language, thus allowing us to study the foundations of human communication. In particular, we investigate the relative roles of conventions and (...) reciprocal interaction in determining successful communication. Participants in our task could communicate only by moving an abstract shape in a 2D space. We asked participants to categorize their online social interaction as being with a human partner or a bot impostor. The main hypotheses were that access to the interaction history of a pair would make a bot impostor more deceptive and interrupt the formation of novel conventions between the human participants. Copying their previous interactions prevents humans from successfully communicating through repeating what already worked before. By comparing bots that imitate behavior from the same or a different dyad, we find that impostors are harder to detect when they copy the participants’ own partners, leading to less conventional interactions. We also show that reciprocity is beneficial for communicative success when the bot impostor prevents conventionality. We conclude that machine impostors can avoid detection and interrupt the formation of stable conventions by imitating past interactions, and that both reciprocity and conventionality are adaptive strategies under the right circumstances. Our results provide new insights into the emergence of communication and suggest that online bots mining personal information, for example, on social media, might become indistinguishable from humans more easily. (shrink)

Life-history evolution is a complexprocess. Life-history theory covers the fundamentallevel of the process, the evolution of life-historytraits. Life-history traits interact; thosecoevolving as a response to the same selectionpressure form life-history tactics. Top level of thehierarchy, life-history strategy, is formed bygenetically interconnected tactics. Our aim is toexpand the traditional view to life-history evolutionby considering what boundary conditions a successfullife-history strategy has to fulfil. We claim thatthe most fundamental condition successful strategieshave to meet is to minimize the risk of evolutionaryfailure. (...) Here the risk of failure refers to failurein transferring practitioners of the strategy to thenext time point, either through survival, or byreproduction. We make an attempt to classify types ofrisks as they lead to evolutionary failure, anddiscuss how risk minimization ideas may be approachedempirically. We conclude that understanding howtraits evolve may not cover all aspects of howstrategies evolve. We emphasize that bookkeeping ofthe actual causes of failure might help in developinglife-history theory that uses causes of selection topredict responses to selection. (shrink)

Despite several research on HIV/aids, it is still incumbent to investigate more effective control measures to mitigate its infection level. Therefore, we introduce an HIV/aids-resistant model with behavior change and study its basic properties. In order to determine the most sensitive parameters that are responsible for disease transmission with respect to the basic reproduction number and those responsible for disease prevalence with respect to the endemic equilibrium, the sensitivity analysis was established and it was confirmed that the influx rate of (...) people into the infected population and total abstinence from all risk practices and endemic areas are some of the most sensitive parameters for disease spread and disease eradication, respectively. Furthermore, by considering controls u1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$u_1$$\end{document} denoting the government’s intervention in promoting and encouraging behavior change, u2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$u_2$$\end{document} representing intake of balanced nutritional supplementation, and u3\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$u_3$$\end{document} connoting antiretroviral therapy (ART), an optimal control problem was developed and analyzed. Before the establishment of the necessary conditions of the optimal control using Pontryagin’s Maximum Principle, we proved the existence of the optimal control triplet (u1(t),u2(t),u3(t)∈Φ,\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$(u_1(t),u_2(t),u_3(t)\in \Phi,$$\end{document} where Φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Phi$$\end{document} is the control set at time t,) which has been neglected by many researchers in recent years. Using the Runge–Kutta scheme, the optimal control problem was solved to understand the best combination of control strategies. Using the demographic and epidemiological data for South Africa on HIV/aids, a numerical simulation was carried out and results are presented on 3D surface plots. The obtained results suggested that the combination of all the considered control measures is the best method to ensure disease eradication. (shrink)

This study investigated the effect of obstructive sleep apnea on the neural mechanism of visual perception. A preliminary case-control study was conducted. Seventeen patients with moderate to severe OSA in the sleep center of Civil Aviation General Hospital and 20 healthy controls matched for age, sex, and education were recruited. The participants accepted the perceptual contour integration task, compared the differences in behavioral indicators between the two groups, and compared the differences in electroencephalography data between the two groups through event-related (...) potential technology. The groups did not differ significantly in age and gender, but they differed significantly in body mass index. The groups were not statistically different in terms of sleep structure and total sleep time. AHI, sleep efficiency, and minimal SaO2 value in the OSA group were significantly different from those of the control group. The results showed that the average reaction time of the OSA group was significantly longer than that of the healthy control group in the contour integration task. There was no significant difference in the accuracy rate. The results of EEG showed that the amplitudes of N100 of the OSA group were significantly higher than those of the control group at O1, Oz, and O2 electrodes. There was no significant difference in latency between the two groups. At the FCz electrode, the amplitudes of N200 of the OSA group were significantly higher than those of the control group. Therefore, we concluded that in the early stage of the perceptual integration task, although the neural response activity of patients with moderate and severe OSA was not accelerated, they need to call on more psychological resources, activate more neurons in the contour global recognition processing stage, and the compensatory effect of frontal lobe appeared in the stage of visual perception. (shrink)

Human skin produces numerous neurohormones and neuropeptides. Recent evidence has shown that the neuroendocrine regulation of human skin biology also extends to keratins, the major structural components of epithelial cells. For example, thyrotropin‐releasing hormone, thyrotropin, opioids, prolactin, and cannabinoid receptor 1‐ligands profoundly modulate human keratin gene and protein expression in human epidermis and/or hair follicle epithelium in situ. Since selected keratins are now understood to exert important regulatory functions beyond mechanical stability, we argue that neuroendocrine pathways of keratin regulation are (...) important for maintaining skin and hair follicle homeostasis. This invites innovative neuroendocrine therapeutic interventions for skin disorders characterized by abnormal keratin expression, ranging from psoriasis to genodermatoses, and for promoting skin wound healing and hair growth. This strategy can be probed in simple, but instructive and readily available human skin and hair follicle organ culture assays as ideal models for exploring this new neuroendocrine frontier in translational epithelial biology. (shrink)