Bisimulations, behavioral equivalence and logical equivalence are investigated for stochastic image-coalgebras that interpret coalgebraic logic which is defined in terms of predicate liftings. We investigate the conditions for the functor under which these notions of equivalence are related by discussing congruences for the underlying stochastic relation. It is demonstrated that logics as diverse as continuous time stochastic logic and general modal logics can be usefully approached through coalgebraic methods.

Henry Shevlin’s paper—“How could we know when a robot was a moral patient?” – argues that we should recognize robots and artificial intelligence (AI) as psychological moral patients if they are cognitively equivalent to other beings that we already recognize as psychological moral patients (i.e., humans and, at least some, animals). In defending this cognitive equivalence strategy, Shevlin draws inspiration from the “behavioral equivalence” strategy that I have defended in previous work but argues that it is flawed (...) in crucial respects. Unfortunately—and I guess this is hardly surprising—I cannot bring myself to agree that the cognitive equivalence strategy is the superior one. In this article, I try to explain why in three steps. First, I clarify the nature of the question that I take both myself and Shevlin to be answering. Second, I clear up some potential confusions about the behavioral equivalence strategy, addressing some other recent criticisms of it. Third, I will explain why I still favor the behavioral equivalence strategy over the cognitive equivalence one. (shrink)

Bermúdez's case for rational framing effects, while original, is unconvincing and gives only parenthetical treatment to the problematic assumptions of extensional and semantic equivalence of alternative frames in framing experiments. If the assumptions are false, which they sometimes are, no valid inferences about “framing effects” follow and, then, neither do inferences about human rationality. This commentary recaps the central problem.

We study relationships between different aspects of risk preferences. We show that, under the assumptions of non-satiation and bounded marginal utility, some additional conditions on the asymptotic behaviour of the indices of relative prudence and relative temperance ensure that risk aversion, prudence and temperance are equivalent. Similar conclusions are derived for higher-degree risk aversion. Moreover, some links between indices of relative risk aversion of different degrees are derived. The implications of these results for several economic problems which involve risk changes (...) are discussed. (shrink)

A category theoretic generalization of the theory of algebraizable deductive systems of Blok and Pigozzi is developed. The theory of institutions of Goguen and Burstall is used to provide the underlying framework which replaces and generalizes the universal algebraic framework based on the notion of a deductive system. The notion of a term -institution is introduced first. Then the notions of quasi-equivalence, strong quasi-equivalence and deductive equivalence are defined for -institutions. Necessary and sufficient conditions are given for (...) the quasi-equivalence and the deductive equivalence of two term -institutions, based on the relationship between their categories of theories. The results carry over without any complications to institutions, via their associated -institutions. The -institution associated with a deductive system and the institution of equational logic are examined in some detail and serve to illustrate the general theory. (shrink)

The past thirty years have seen a surge of empirical research into political decision making and the influence of framing effects — the phenomenon that occurs when different but equivalent presentations of a decision problem elicit different judgments or preferences. During the same period, political philosophers have become increasingly interested in democratic theory, particularly in deliberative theories of democracy. Unfortunately, the empirical and philosophical studies of democracy have largely proceeded in isolation from each other. As a result, philosophical treatments of (...) democracy have overlooked recent developments in psychology, while the empirical study of framing effects has ignored much contemporary work in political philosophy. In Framing Democracy, Jamie Terence Kelly bridges this divide by explaining the relevance of framing effects for normative theories of democracy. -/- Employing a behavioral approach, Kelly argues for rejecting the rational actor model of decision making and replacing it with an understanding of choice imported from psychology and social science. After surveying the wide array of theories that go under the name of democratic theory, he argues that a behavioral approach enables a focus on three important concerns: moral reasons for endorsing democracy, feasibility considerations governing particular theories, and implications for institutional design. Finally, Kelly assesses a number of methods for addressing framing effects, including proposals to increase the amount of political speech, mechanisms designed to insulate democratic outcomes from flawed decision making, and programs of public education. -/- The first book to develop a behavioral theory of democracy, Framing Democracy has important insights for democratic theory, the social scientific understanding of political decision making, economics, and legal theory. (shrink)

in 2017, a study of the brains of former football players returned some of the most damning evidence to date of the inherent dangers of the game. Of 111 former NFL players' brains examined post-mortem, 110 were found to have the damage associated with chronic traumatic encephalopathy, a brain disease causing serious emotional and behavioral problems—and, often, premature death. That football is physically risky has been known virtually since its advent; what the newest studies suggest is that its dangers (...) are much more extensive than previously imagined, and much harder to avoid than had been hoped.Such findings add urgency to the ethical problems that football raises: How can one justify... (shrink)

A wide range of ecological and evolutionary models predict variety in phenotype or behavior when a population is at equilibrium. This heterogeneity can be realized in different ways. For example, it can be realized through a complex population of individuals exhibiting different simple behaviors, or through a simple population of individuals exhibiting complex, varying behaviors. In some theoretical frameworks these different realizations are treated as equivalent, but natural selection distinguishes between these two alternatives in subtle ways. By investigating an increasingly (...) complex series of models, from a simple fluctuating selection model up to a finite population hawk/dove game, we explore the selective pressures which discriminate between pure strategists, mixed at the population level, and individual mixed strategists. Our analysis reveals some important limitations to the ESS framework often employed to investigate the evolution of complex behavior. (shrink)

Unlike many other studies which assumed narcissism to be equivalent to overt narcissism, the purpose of this study is to empirically examine how covert and overt narcissism affect counterproductive work behaviors, a type of unethical behavior that can be discussed by ethical ideology. Furthermore, this research tests whether the relationship between managerial position and CWBs is direct or mediated by narcissism. The population of this study consisted of managers and nonmanagerial employees in 10 relatively small Iranian firms. Questionnaires were used (...) to collect the required data. The results indicated that most of the Iranian managers show both types of narcissistic behaviors specifically overt type, covert narcissism is a stronger predictor of interpersonal and organizational CWBs than overt narcissism, and managerial position does not seem to have a direct effect on CWBs, but has an indirect effect mediated through covert narcissism. (shrink)

Infants' knowledge need not have the same structure as the mature knowledge that develops from it. Fundamental to an understanding of number are concepts of equivalence and less-than and greater-than relations. These concepts, together with the concept of unit, are posited to be the starting points for the development of numerical knowledge.

Darwinian evolution, defined as evolution arising from selection based directly on the properties of individuals, does not account for cultural constructs providing the organizational basis of human societies. The difficulty with linking Darwinian evolution to structural properties of cultural constructs is exemplified with kinship terminologies, a cultural construct that structures and delineates the domain of kin in human societies. (Published Online November 9 2006).

A wide range of ecological and evolutionary models predict variety in phenotype or behavior when a population is at equilibrium. This heterogeneity can be realized in different ways. For example, it can be realized through a complex population of individuals exhibiting different simple behaviors, or through a simple population of individuals exhibiting complex, varying behaviors. In some theoretical frameworks these different realizations are treated as equivalent, but natural selection distinguishes between these two alternatives in subtle ways. By investigating an increasingly (...) complex series of models, from a simple fluctuating selection model up to a finite population hawk/dove game, we explore the selective pressures which discriminate between pure strategists, mixed at the population level, and individual mixed strategists. Our analysis reveals some important limitations to the “ESS” framework often employed to investigate the evolution of complex behavior. (shrink)

Various threshold Boolean networks, a formalism used to model different types of biological networks, can produce similar dynamics, i.e. share same behaviors. Among them, some are complex, others not. By computing both structural and behavioral complexities, we show that most TBNs are structurally complex, even those having simple behaviors. For this purpose, we developed a new method to compute the structural complexity of a TBN based on estimates of the sizes of equivalence classes of the threshold Boolean functions (...) composing the TBN. (shrink)

Veksler and Gunzelmann make an extraordinary claim, which is that sleep deprivation effects and the vigilance decrement are functionally equivalent. Extraordinary claims require extraordinary evidence, which is missing from Veksler and Gunzelmann's study. Their behavioral data offer only weak theoretical constraint, and to the extent their modeling exercise supports any position, it is that these two performance impairments involve functionally distinct underlying mechanisms.

Recently, Caleiro, Gon¸calves and Martins introduced the notion of behaviorally algebraizable logic. The main idea behind their work is to replace, in the traditional theory of algebraizability of Blok and Pigozzi, unsorted equational logic with multi-sorted behavioral logic. The new notion accommodates logics over many-sorted languages and with non-truth-functional connectives. Moreover, it treats logics that are not algebraizable in the traditional sense while, at the same time, shedding new light to the equivalent algebraic semantics of logics that are algebraizable (...) according to the original theory. In this paper, the notion of an abstract multi-sorted π-institution is introduced so as to transfer elements of the theory of behavioral algebraizability to the categorical setting. Institutions formalize a wider variety of logics than deductive systems, including logics involving multiple signatures and quantifiers. The framework developed has the same relation to behavioral algebraizability as the classical categorical abstract algebraic logic framework has to the original theory of algebraizability of Blok and Pigozzi. (shrink)

BackgroundDo sexual minority persons who have undergone unsuccessful sexual orientation change efforts suffer subsequent psychological or social harm from the attempt? Previous studies have conflated present and past, even pre-SOCE, harm in addressing this question. This study attempts, for the first time, to isolate and examine the question of current psychosocial harm for former SOCE participants among sexual minorities in representative population data.MethodUsing nationally representative data across three cohorts of sexual minorities in the United States, persons exposed to SOCE were (...) compared with the remainder not exposed to SOCE on two measures of internal distress—psychological distress and current mental health—and seven measures of behavioral harm: substance abuse ; alcohol dependence ; self-harm; suicide ideation; suicide planning; suicide intentions; and suicide attempts.ResultsThe SOCE group was statistically indistinguishable from the non-SOCE group on any measure of harm. For behavioral harm, risk ratios were 0.97–1.02. Harm was equivalent for the two groups despite the SOCE group having experienced higher lifetime and current minority stress, greater childhood adversity, and lower socioeconomic status. Logistic regression models that adjusted for these differences suggest that SOCE exposure reduced the effect of minority stress and childhood adversity for suicide attempts, although this effect did not fully account for the equivalence between the SOCE and non-SOCE groups.ConclusionDespite higher exposure to factors predicting behavioral harm—minority stress, childhood adversity, and lower socioeconomic background—sexual minority persons who had undergone failed SOCE therapy did not suffer higher psychological or social harm. Concerns to restrict or ban SOCE due to elevated harm are unfounded. Further study is needed to clarify the reasons for the absence of harm from SOCE. (shrink)

Motivated by the analysis of a general optimal portfolio selection problem, which encompasses as special cases an optimal consumption and an optimal debt-arrangement problem, we are concerned with the questions of how a personality trait like risk-perception can be formalized and whether the two objectives of utility-maximization and risk-minimization can be both achieved simultaneously. We address these questions by developing an axiomatic foundation of preferences for which utility-maximization is equivalent to minimizing a utility-based shortfall risk measure. Our axiomatization hinges on (...) a novel axiom in decision theory, namely the risk-perception axiom. (shrink)

Madole & Harden's assertion that the effects derived from within-family genome-wide association studies (GWASs) and from randomized controlled trials (RCTs) are equivalent is misleading. GWASs are substantially more “non-unitary, non-uniform, and non-explanatory” than RCTs. While the within-family GWAS bring us closer to identifying genetic causes, whether it will change behavioral genetics into a causal science is an open question.

Top-down causation is often taken to be a metaphysically suspicious type of causation that is found in a few complex systems, such as in human mind-body relations. However, as Ellis and others have shown, top-down causation is ubiquitous in physics as well as in biology. Top-down causation occurs whenever specific dynamic behaviors are realized or selected among a broader set of possible lower-level states. Thus understood, the occurrence of dynamic and structural patterns in physical and biological systems presents a problem (...) for reductionist positions. We illustrate with examples of universality and functional equivalence classes how higher-level behaviors can be multiple realized by distinct lower-level systems or states. Multiple realizability in both contexts entails what Ellis calls “causal slack” between levels, or what others understand as relative explanatory autonomy. To clarify these notions further, we examine procedures for upscaling in multi-scale modeling. We argue that simple averaging strategies for upscaling only work for simplistic homogenous systems, because of the scale-dependency of characteristic behaviors in multi-scale systems. We suggest that this interpretation has implications for what Ellis calls mechanical top-down causation, as it presents a stronger challenge to reductionism than typically assumed. (shrink)

It has been suggested that difficult-to-quantify differences in visual processing may prevent researchers from equating the color experience of different observers. However, spectral locations of unique hues are remarkably invariant with respect to everything other than gross differences in preretinal and photoreceptor absorptions. This suggests a stereotyping of neural color processing and leads us to posit that minor differences in observer neurophysiology may be irrelevant to color experience.

Although there are various ways to express actions and behaviors in natural languages, it is found in cognitive informatics that human and system behaviors may be classified into three basic categories: to be , to have , and to do . All mathematical means and forms, in general, are an abstract description of these three categories of system behaviors and their common rules. Taking this view, mathematical logic may be perceived as the abstract means for describing to be, set theory (...) for describing 'to have,' and algebras, particularly the process algebra, for describing to do. This is a fundamental view toward the formal description and modeling of human and system behaviors in general, and software behaviors in particular, because a software system can be perceived as a virtual agent of human beings, and it is created to do something repeatable, to extend human capability, reachability, and/or memory capacity. The author found that both human and software behaviors can be described by a three-dimensional representative model comprising action, time, and space. For software system behaviors, the three dimensions are known as mathematical operations, event/process timing, and memory manipulation. This paper introduces the real-time process algebra (RTPA) that serves as an expressive notation system for describing thoughts and notions of dynamic software behaviors. Experimental case studies on applications of RTPA in describing the equivalent software and human behaviors as a series of actions and cognitive processes are demonstrated with real-world examples. (shrink)

Although there are various ways to express actions and behaviors in natural languages, it is found in cognitive informatics that human and system behaviors may be classified into three basic categories: to be, to have, and to do. All mathematical means and forms, in general, are an abstract description of these three categories of system behaviors and their common rules. Taking this view, mathematical logic may be perceived as the abstract means for describing ‘to be,’ set theory for describing 'to (...) have,' and algebras, particularly the process algebra, for describing ‘to do.’ This is a fundamental view toward the formal description and modeling of human and system behaviors in general, and software behaviors in particular, because a software system can be perceived as a virtual agent of human beings, and it is created to do something repeatable, to extend human capability, reachability, and/or memory capacity. The author found that both human and software behaviors can be described by a three-dimensional representative model comprising action, time, and space. For software system behaviors, the three dimensions are known as mathematical operations, event/process timing, and memory manipulation. This paper introduces the real-time process algebra that serves as an expressive notation system for describing thoughts and notions of dynamic software behaviors. Experimental case studies on applications of RTPA in describing the equivalent software and human behaviors as a series of actions and cognitive processes are demonstrated with real-world examples. (shrink)

This paper presents a logical characterization of coalgebraic behavioral equivalence. The characterization is given in terms of coalgebraic modal logic, an abstract framework for reasoning about, and specifying properties of, coalgebras, for an endofunctor on the category of sets. Its main feature is the use of predicate liftings which give rise to the interpretation of modal operators on coalgebras. We show that coalgebraic modal logic is adequate for reasoning about coalgebras, that is, behaviorally equivalent states cannot be distinguished (...) by formulas of the logic. Subsequently, we isolate properties which also ensure expressiveness of the logic, that is, logical and behavioral equivalence coincide. (shrink)

Sensory substitution devices provide through an unusual sensory modality (the substituting modality, e.g., audition) access to features of the world that are normally accessed through another sensory modality (the substituted modality, e.g., vision). In this article, we address the question of which sensory modality the acquired perception belongs to. We have recourse to the four traditional criteria that have been used to define sensory modalities: sensory organ, stimuli, properties, and qualitative experience (Grice, 1962), to which we have added the criteria (...) of behavioral equivalence (Morgan, 1977), dedication (Keeley, 2002), and sensorimotor equivalence (O’Regan & Noe¨, 2001). We discuss which of them are fulfilled by perception through sensory substitution devices and whether this favors the view that perception belongs to the substituting or to the substituted modality. Though the application of a number of criteria might be taken to point to the conclusion that perception with a sensory substitution device belongs to the substituted modality, we argue that the evidence leads to an alternative view on sensory substitution. According to this view, the experience after sensory substitution is a transformation, extension, or augmentation of our perceptual capacities, rather than being something equivalent or reducible to an already existing sensory modality. We develop this view by comparing sensory substitution devices to other ‘‘mind-enhancing tools’’ such as pen and paper, sketchpads, or calculators. An analysis of sensory substitution in terms of mind-enhancing tools unveils it as a thoroughly transforming perceptual experience and as giving rise to a novel form of perceptual interaction with the environment. (shrink)

Church's Thesis asserts that the only numeric functions that can be calculated by effective means are the recursive ones, which are the same, extensionally, as the Turing-computable numeric functions. The Abstract State Machine Theorem states that every classical algorithm is behaviorally equivalent to an abstract state machine. This theorem presupposes three natural postulates about algorithmic computation. Here, we show that augmenting those postulates with an additional requirement regarding basic operations gives a natural axiomatization of computability and a proof of Church's (...) Thesis, as Gödel and others suggested may be possible. In a similar way, but with a different set of basic operations, one can prove Turing's Thesis, characterizing the effective string functions, and--in particular--the effectively-computable functions on string representations of numbers. (shrink)

There is growing interest in machine ethics in the question of whether and under what circumstances an artificial intelligence would deserve moral consideration. This paper explores a particular type of moral status that the author terms psychological moral patiency, focusing on the epistemological question of what sort of evidence might lead us to reasonably conclude that a given artificial system qualified as having this status. The paper surveys five possible criteria that might be applied: intuitive judgments, assessments of intelligence, the (...) presence of desires and autonomous behavior, evidence of sentience, and behavioral equivalence. The author suggests that despite its limitations, the latter approach offers the best way forward, and defends a variant of that, termed the cognitive equivalence strategy. In short, this holds that an artificial system should be considered a psychological moral patient to the extent that it possesses cognitive mechanisms shared with other beings such as nonhuman animals whom we also consider to be psychological moral patients. -/- . (shrink)

We propose a probabilistic interpretation of Propositional Dynamic Logic (PDL). We show that logical and behavioral equivalence are equivalent over general measurable spaces. This is done first for the fragment of straight line programs and then extended to cater for the nondeterministic nature of choice and iteration, expanded to PDL as a whole. Bisimilarity is also discussed and shown to be equivalent to logical and behavioral equivalence, provided the base spaces are Polish spaces. We adapt techniques (...) from coalgebraic stochastic logic and point out some connections to Souslin's operation A from descriptive set theory. This leads to a discussion of complete stochastic Kripke models and model completion, which permits an adequate treatment of the test operator. (shrink)

We generalize stochastic Kripke models and Markov transition systems to stochastic right coalgebras. These are coalgebras for a functor with as an endofunctor on the category of analytic spaces, and is the subprobability functor. The modal operators are generalized through predicate liftings which are set-valued natural transformations involving the functor. Two states are equivalent iff they cannot be separated by a formula. This equivalence relation is used to construct a cospan for logical equivalent coalgebras under a separation condition for (...) the set of predicate liftings. Consequently, behavioral and logical equivalence are really the same. From the cospan we construct a span. The central argument is a selection argument giving us the dynamics of a mediating coalgebra from the domains of the cospan. This construction is used to establish that behavioral equivalent coalgebras are bisimilar, yielding the equivalence of all three characterizations of a coalgebra’s behavior as in the case of Kripke models or Markov transition systems. (shrink)

The existence of superstition and religious beliefs in most, if not all, human societies is puzzling for behavioral ecology. These phenomena bring about various fitness costs ranging from burial objects to celibacy, and these costs are not outweighed by any obvious benefits. In an attempt to resolve this problem, we present a verbal model describing how humans and other organisms learn from the observation of coincidence (associative learning). As in statistical analysis, learning organisms need rules to distinguish between real (...) patterns and randomness. These rules, which we argue are equivalent to setting the level of α for rejection of the null hypothesis in statistics, are governed by risk management as well as by comparison to previous experiences. Risk management means that the cost of a possible type I error (superstition) has to be traded off against the cost of a possible type II error (ignorance). This trade-off implies that the occurrence of superstitious beliefs is an inevitable consequence of an organism’s ability to learn from observation of coincidence. Comparison with previous experiences (as in Bayesian statistics) improves the chances of making the right decision. While this Bayesian approach is found in most learning organisms, humans have evolved a unique ability to judge from experiences whether a candidate subject has the power to mechanistically cause the observed effect. Such “strong” causal thinking evolved because it allowed humans to understand and manipulate their environment. Strong causal thinking, however, involves the generation of hypotheses about underlying mechanisms (i.e., beliefs). Assuming that natural selection has favored individuals that learn quicker and more successfully than others owing to (1) active search to detect patterns and (2) the desire to explain these patterns mechanistically, we suggest that superstition has evolved as a by-product of the first, and that belief has evolved as a by-product of the second. (shrink)

Background: The development of implicit tests for measuring biases and behavioral predispositions is a recent development within psychology. While such tests are usually researched within a social-cognitive paradigm, behavioral researchers have also begun to view these tests as potential tests of conditioning histories, including in the sexual domain. Objective: The objective of this paper is to illustrate the utility of a behavioral approach to implicit testing and means by which implicit tests can be built to the standards (...) of behavioral psychologists. Design: Research findings illustrating the short history of implicit testing within the experimental analysis of behavior are reviewed. Relevant parallel and overlapping research findings from the field of social cognition and on the Implicit Association Test are also outlined. Results: New preliminary data obtained with both normal and sex offender populations are described in order to illustrate how behavior-analytically conceived implicit tests may have potential as investigative tools for assessing histories of sexual arousal conditioning and derived stimulus associations. Conclusion: It is concluded that popular implicit tests are likely sensitive to conditioned and derived stimulus associations in the history of the test-taker rather than ‘unconscious cognitions’, per se. Keywords: implicit association test; function acquisition speed test; relational frame theory; stimulus equivalence; sex offenders; sexual interests (Published: 15 March 2012) Citation: Socioaffective Neuroscience & Psychology 2012, 2 : 17335 - DOI: 10.3402/snp.v2i0.17335. (shrink)

In recent decades, behavioral sciences have introduced into economic theories of choice the image of weak willed individuals with limited rationality, whose decisions are affected by systematic errors. From here, theorists of libertarian paternalism originate the thesis of the possibility of State interventions that promote citizens’ welfare by conditioning their choices while, at the same time, safeguarding their freedom. The Author asserts that such a public promotion of individual welfare is equivalent to the transformation of the welfare State into (...) a paternalistic State and that its theorists aim to avoid the debate about the conflict between exercising liberty and containing the public expenditure which is necessary to protect social rights. (shrink)

Such a bewildering and contradictory welter of behaviors and traits are connoted by “honor” and its best equivalents in other languages that analyses of the concept have daunted philosophers, anthropologists, sociologists, political scientists, historians, and literary scholars for millennia. Is it an external good given — and revoked just as easily — by others? Or does “honor” name an inner good that’s absolutely in our control: our integrity, our very commitment to right conduct? Is honor a central moral virtue — (...) as when we might say that “all was lost, save our honor”? Or is it a good quality that’s not-quite “moral,” or indeed even an antiquated virtue hostile to true morality? Is the honorable man a heroic figure who protects the weak, or one who can be expected to bully the weak, as in the case of “honor killings”? Is honor aristocratic and inegalitarian, and thus a virtue that enables and ennobles what’s essentially oppression? Or is honor a signal virtue of fair-dealing, fair-fighting, and fair competition, as evidenced in sportsmanship? (shrink)

Many psychometricians and behavioral geneticists believe that high heritability of IQ test scores within racial groups coupled with environmental hypotheses failing to account for the differences between the mean scores for groups lends plausibility to explanations of mean differences in terms of genetic factors. I show that heritability estimates and the statistical analysis of variance on which they are based have limited relevance in exposing genetic and environmental factors operating within any single group or population. I begin with agricultural (...) investigations, where replication of genetic types and control over environmental factors are possible, and highlight the difficulties of moving from AOV of observed traits to investigation of measurable genetic factors. The difficulties can only be exacerbated for human data sets, which are equivalent to a crop trial in which each variety is replicated in only one or two of the locations. (shrink)