A version of intuitionistic type theory is presented here in which all logical symbols are defined in terms of equality. This language is used to construct the so-called free topos with natural number object. It is argued that the free topos may be regarded as the universe of mathematics from an intuitionist's point of view.

We introduce a linear analogue of Läuchli's semantics for intuitionistic logic. In fact, our result is a strengthening of Läuchli's work to the level of proofs, rather than provability. This is obtained by considering continuous actions of the additive group of integers on a category of topological vector spaces. The semantics, based on functorial polymorphism, consists of dinatural transformations which are equivariant with respect to all such actions. Such dinatural transformations are called uniform. To any sequent in Multiplicative Linear Logic (...) , we associate a vector space of“diadditive” uniform transformations. We then show that this space is generated by denotations of cut-free proofs of the sequent in the theory MLL + MIX. Thus we obtain a full completeness theorem in the sense of Abramsky and Jagadeesan, although our result differs from theirs in the use of dinatural transformations.As corollaries, we show that these dinatural transformations compose, and obtain a conservativity result: diadditive dinatural transformations which are uniform with respect to actions of the additive group of integers are also uniform with respect to the actions of arbitrary cocommutative Hopf algebras. Finally, we discuss several possible extensions of this work to noncommutative logic.It is well known that the intuitionistic version of Läuchli's semantics is a special case of the theory of logical relations, due to Plotkin and Statman. Thus, our work can also be viewed as a first step towards developing a theory of logical relations for linear logic and concurrency. (shrink)

This exploratory study of ethical decision making by individuals in organizations found moral intensity, as defined by Jones (1991), to significantly influence ethical decision making intentions of managers. Moral intensity explained 37% and 53% of the variance in ethical decision making in two decision-making scenarios. In part, the results of this research support our theoretical understanding of ethical/unethical decision-making and serve as a foundation for future research.

We present a full completeness theorem for the multiplicative fragment of a variant of noncommutative linear logic, Yetter's cyclic linear logic (CyLL). The semantics is obtained by interpreting proofs as dinatural transformations on a category of topological vector spaces, these transformations being equivariant under certain actions of a noncocommutative Hopf algebra called the shuffie algebra. Multiplicative sequents are assigned a vector space of such dinaturals, and we show that this space has as a basis the denotations of cut-free proofs in (...) CyLL + MIX. This can be viewed as a fully faithful representation of a free *-autonomous category, canonically enriched over vector spaces. This paper is a natural extension of the authors' previous work, "Linear Lauchli Semantics", where a similar theorem is obtained for the commutative logic MLL + MIX. In that paper, we interpret proofs as dinaturals which are invariant under certain actions of the additive group of integers. Here we also present a simplification of that work by showing that the invariance criterion is actually a consequence of dinaturality. The passage from groups to Hopf algebras in this paper corresponds to the passage from commutative to noncommutative logic. However, in our noncommutative setting, one must still keep the invariance condition on dinaturals. (shrink)

We present a full completeness theorem for the multiplicative fragment of a variant of noncommutative linear logic, Yetter's cyclic linear logic. The semantics is obtained by interpreting proofs as dinatural transformations on a category of topological vector spaces, these transformations being equivariant under certain actions of a noncocommutative Hopf algebra called the shuffie algebra. Multiplicative sequents are assigned a vector space of such dinaturals, and we show that this space has as a basis the denotations of cut-free proofs in CyLL (...) + MIX. This can be viewed as a fully faithful representation of a free *-autonomous category, canonically enriched over vector spaces. This paper is a natural extension of the authors' previous work, "Linear Lauchli Semantics", where a similar theorem is obtained for the commutative logic MLL + MIX. In that paper, we interpret proofs as dinaturals which are invariant under certain actions of the additive group of integers. Here we also present a simplification of that work by showing that the invariance criterion is actually a consequence of dinaturality. The passage from groups to Hopf algebras in this paper corresponds to the passage from commutative to noncommutative logic. However, in our noncommutative setting, one must still keep the invariance condition on dinaturals. (shrink)

This study investigates the relative influences of professional values and selected demographic variables on the ethical perceptions of services marketing professionals. The relationship between ethical perceptions and ethical judgments of service marketers is also examined. The data were obtained from a mail survey of the American Marketing Association's professional members of service industries. The survey results indicate a positive relationship between a service professional's professional values and his/her perceptions of ethical problems. The results also suggest that ethical judgments of a (...) service professional can be partially explained by his/her perceptions of ethical problems. Implications of the research findings were discussed. (shrink)

This paper argues that professionals who make boundary-related decisions should be guided by relationship-based practice. In our roles as service users and professionals, drawing from our lived experiences of professional relationships, we argue we need to move away from distance-based practice. This includes understanding the boundary stories and narratives that exist for all of us – including the people we support, other professionals, as well as the organisations and systems within which we work. When we are dealing with professional boundary (...) issues, we should centre relationship-building skills that are central to many other aspects of our work. Skills that foster relationships at all levels – between professionals, service users, and services – need to be revalued. Our final recommendation is to create, develop, and foster safer spaces within and outside of organisations, as well as inter-professionally, for the discussion and exploration of boundary-related issues and practice. We are interested in hearing from those with experiences of being marginalised by boundaries so that they can inform a reshaping of our collective ideas around boundary related practices. To foster relationship-based practices in organisations, we have outlined several recommendations here; however, we recognize that these do not go far enough, and that collective action is needed to inform systemic change. (shrink)

This article presents the results of a study that investigated the roles that religiosity and ones money ethic play in determining consumer attitudes/beliefs in various situations regarding questionable consumer practices. One dimension of religiosity – intrinsic religiousness – was studied. Four separate dimensions of a money ethic scale were initially examined, but only one was used in the final analyses. Results indicated that both intrinsic religiousness and one’s money ethic were significant determinants of most types of consumer ethical beliefs.

This article presents the results of a study that investigated the role that religiosity plays in determining consumer attitudes/beliefs regarding various questionable consumer practices. Additionally, other personal factors were examined including idealism, relativism, consumer alienation and selected demographics such as income and age. All of these constructs were examined as antecedents of consumer ethical beliefs. The results of a post hoc analysis indicated that religiosity was a significant determinate of both idealism and relativism, and since idealism and relativism determine consumer (...) ethical beliefs, religiosity is a significant indirect determinate of consumer ethical beliefs. (shrink)

This article presents the results of an exploratory study that investigated the role that religiosity plays in determining consumer attitudes/beliefs in various situations regarding questionable consumer practices. Two dimensions of religiosity – intrinsic and extrinsic religiousness – were studied. Results indicated that an intrinsic religiousness was a significant determinant of consumer ethical beliefs, but extrinsic religiousness was not related to those beliefs.

This article presents the results of a study that investigated the roles that one's money ethic, religiosity and attitude toward business play in determining consumer attitudes/beliefs in various situations regarding questionable consumer practices. Two dimensions of religiosity - intrinsic and extrinsic religiousness - were studied. A global scale of money ethic was examined, as was a global measure of attitude toward business. Results indicate that both types of religiosity as well as one's money ethic and attitude toward business were significant (...) determinants of at least some types of consumer ethical beliefs. (shrink)

This study examined the effect of various antecedent variables on marketers’ perceptions of the role of ethics and socialresponsibility in the overall success of the firm. Variables examined included Hofstede’s cultural dimensions (i.e., power distance, uncertainty avoidance, individualism, masculinity, and Confucian dynamism), as well as corporate ethical values and enforcement ofan ethics code. Additionally, individual variables such as ethical idealism and relativism were included. Results indicated that most ofthese variables impacted marketers’ perceptions of the importance of ethics and social responsibility, (...) although to varying degrees. (shrink)

To better illuminate aspects of stress that are relevant to the moral domain, we present a definition and theoretical model of “moral stress.” Our definition posits that moral stress is a psychological state born of an individual’s uncertainty about his or her ability to fulfill relevant moral obligations. This definition assumes a self-and-others relational basis for moral stress. Accordingly, our model draws from a theory of the self (identity theory) and a theory of others (stakeholder theory) to suggest that this (...) uncertainty arises as a manager faces competing claims for limited resources from multiple stakeholders and/or across multiple role identities. We further propose that the extent to which the manager is attentive to the moral aspects of the claims (i.e., moral attentiveness) moderates these effects. We identify several consequences of managerial moral stress and discuss theoretical, empirical, and practical implications of our approach. Most importantly, we argue that this work paves an important path for considering stress through the lens of morality. (shrink)

Modernism is both a contested aesthetic category and a powerful political statement. Modernist music was condemned as degenerate by the Nazis and forcibly replaced by socialist realism under the Soviets. Sympathetic philosophers and critics have interpreted it as a vital intellectual defence against totalitarianism, yet some American critics consider it elitist, undemocratic, and even unnatural. Drawing extensively on the philosophy of Heidegger and Badiou, Quilting Points proposes a new dialectical theory of faithful, reactive, and obscure subjective responses to musical modernism, (...) which embraces all the music of Western modernity. (shrink)

The repercussions of unconscious priming on the neural correlates subsequent cognition have been explored previously. However, the neural dynamics during the unconscious processing remains largely uncharted. To assess both the complexity and temporal dynamics of unconscious cognition the present study contrasts the evoked response from classes of masked stimuli with three different levels of complexity; words, consonant strings, and blanks. The evoked response to masked word stimuli differed from both consonant strings and blanks, which did not differ from each other. (...) This response was qualitatively different to any evoked potential observed when stimuli were consciously visible and peaked at 140 ms, earlier than is usually associated with differences between words and strings and 100 ms earlier than word-consonant string differences in the visible condition. The evoked response demonstrates a qualitatively distinct signature of unconscious cognition and directly demonstrates the extraction of abstract information under subliminal conditions. (shrink)

The infinitary languages studied in this book are those in which quantification of infinitely many variables simultaneously, and conjunctions or alternations of infinitely many are permitted. Infinitary concatenation and infinitary propositional logics are first discussed, and a completeness theorem is proved about the latter. The later chapters deal with infinitary predicate languages and Scott's proof of incompleteness is introduced. Throughout the discussion, unsolved problems are mentioned and areas undergoing current development are emphasized. A short bibliography lists most recent articles (...) on this new branch of logic.—P. J. M. (shrink)

This article presents the results of a study that investigated the roles that one’s money ethic, religiosity and attitude toward business play in determining consumer attitudes/beliefs in various situations regarding questionable consumer practices. Two dimensions of religiosity – intrinsic and extrinsic religiousness – were studied. A global scale of money ethic was examined, as was a global measure of attitude toward business. Results indicate that both types of religiosity as well as one’s money ethic and attitude toward business were significant (...) determinants of at least some types of consumer ethical beliefs. (shrink)

Prior to the initiation of spontaneous movement, evoked potentials can be seen to precede awareness of the impending movement by several hundreds of milliseconds, meaning that this recorded neural activity is the result of unconscious processing. This study investigates the neural representations of impending movement with and without awareness. Specifically, the relationship between awareness and ‘idling’ cortical oscillations in the beta range was assessed. It was found that, in situations where there was awareness of the impending movement, pre-movement evoked potentials (...) were associated with a decrease in beta range oscillations. In contrast, when awareness of the impending movement was not present, the onset of the pre-movement potential was associated with tonic levels of beta range oscillations. A model is considered where by distributed neural activity remains outside of conscious awareness through the persistence of tonic slow wave cortical oscillations. (shrink)

Diagnostic self-testing devices are being developed for many illnesses, chronic diseases and infections. These will be used in hospitals, at point-of-care facilities and at home. Designed to allow earlier detection of diseases, self-testing diagnostic devices may improve disease prevention, slow the progression of disease and facilitate better treatment outcomes. These devices have the potential to benefit both the individual and society by enabling individuals to take a more proactive role in the maintenance of their health and by helping society improve (...) health and reduce health costs. However, the full implications of future home-based diagnostic technology for individuals and society remain unclear due to their novelty. We argue that the development of diagnostic tools, especially for home use, will heighten a number of ethical challenges. This paper will explore some of the ethical implications of home-based self-testing diagnostic devices for the autonomous and relational dimensions of the person. This will be facilitated by examining the impact of diagnostic devices for individual autonomy, for the delivery of accurate diagnosis and for the personal significance of the information for the user. The latter will be examined using Charles Taylor's view of personhood and his emphasis on human agency and interpretation. While the ethical issues are not necessarily new, the development of home-based self-testing diagnostic devices will make issues regarding autonomy, accuracy of information and personal significance more and more demanding. This will be the case particularly when an individual's autonomous choices come into conflict with the person's relational responsibilities. (shrink)

Adults and infants display a robust ability to perceive the unity of a center-occluded object when the visible ends of the object undergo common motion (e.g. Kellman, P.J., Spelke, E.S., 1983. Perception of partly occluded objects in infancy. Cognitive Psychology 15, 483±524). Ecologically oriented accounts of this ability focus on the primacy of motion in the perception of segregated objects, but Gestalt theory suggests a broader possibility: observers may perceive object unity by detecting patterns of synchronous change, of which common (...) motion is a special case. We investigated this possibility with observations of adults and 4-month-old infants. Participants viewed a center-occluded object whose visible surfaces were either misaligned or aligned, stationary or moving, and unchanging or synchronously changing in color or bright- ness in various temporal patterns (e.g. ¯ashing). Both alignment and common motion con- tributed to adults' perception of object unity, but synchronous color changes did not. For infants, motion was an important determinant of object unity, but other synchronous changes and edge alignment were not. When a stationary object with aligned edges underwent syn- chronous changes in color or brightness, infants showed high levels of attention to the object, but their perception of its unity appeared to be indeterminate. An inherent preference for fast over slow ¯ash rates, and a novelty preference elicited by a change in rate, both indicated that infants detected the synchronous changes, although they failed to use them as information for object unity. These ®ndings favor ecologically oriented accounts of object perception in which surface motion plays a privileged role. Ó 1999 Elsevier Science B.V. All rights reserved. (shrink)

Background: Post-traumatic stress disorder is a prevalent, debilitating, and costly psychiatric disorder. Evidenced-based psychotherapies, including Cognitive Processing Therapy, are effective in treating PTSD, although a fair proportion of individuals show limited benefit from such treatments. CPT requires cognitive demands such as encoding, recalling, and implementing new information, resulting in behavioral change that may improve PTSD symptoms. Individuals with PTSD show worse cognitive functioning than those without PTSD, particularly in acquisition of verbal memory. Therefore, memory dysfunction may limit treatment gains in (...) CPT in some individuals with PTSD. Methods and Analysis: Here, we present a protocol describing the Cognition and PsychoTherapy in PTSD study, a prospective, observational study examining how cognitive functioning affects treatment response in CPT for PTSD. The study aims to recruit 105 outpatient veterans with PTSD between the ages of 18 and 70 years. Prior to beginning 12 sessions of CPT, Veteran participants will have standardized assessments of mood and functioning and complete a comprehensive neurocognitive battery assessing episodic learning, attention and speed of processing, language ability, executive control, and emotional functioning. This study aims to fill gaps in the current literature by: examining the specificity of memory effects on treatment response; exploring how baseline cognitive functioning impacts functional outcomes; and examining potential mechanisms, such as memory for treatment content, that might explain the effects of baseline memory functioning on PTSD symptom trajectory. Discussion: If successful, this research could identify clinically relevant neurocognitive mechanisms that may impact PTSD psychotherapy and guide the development of individualized treatments for PTSD. (shrink)

Studies in marketing ethics often revealed that ethical gaps do exist between marketers and other groups in society. The existence of these ethical gaps could be extremely counterproductive for marketing management. In order to effectively narrow these gaps, a marketing manager must first have a better understanding of causes of these gaps. To this end, this study compares marketing professionals with consumers on some important determinants of the ethical decision-making process. In particular, the marketers and consumers were compared with respect (...) to their personal moral philosophies and ethical perceptions in marketing situations. The data were obtained from a national survey of the practitioner members of the American Marketing Association and members of a consumer panel of a major southern university in the United States. The results generally indicate that marketing professionals are different from consumers with respect to some of the determinants of ethical decisions investigated. Some important managerial implications based on these findings were discussed. (shrink)

In 1949 Culliton noted that "... religion has something to offer business" (Culliton, 1949, p. 265). While religion definitely does have something to offer business, especially business ethics, it is only recently that empirical research linking religiosity and business ethics has been conducted. Indeed, religiosity affords a background, against which the ethical nature of business, including marketing and consumer behavior, can be interpreted. This article offers a descriptive, rather than normative, perspective in reviewing articles linking religion to business and consumer (...) ethics. The main objective of the article being both to present some of the most significant empirical findings to date and also to encourage researchers to pursue further research in this relatively under researched area. (shrink)

Psychiatry is rapidly adopting digital phenotyping and artificial intelligence/machine learning tools to study mental illness based on tracking participants’ locations, online activity, phone and text message usage, heart rate, sleep, physical activity, and more. Existing ethical frameworks for return of individual research results (IRRs) are inadequate to guide researchers for when, if, and how to return this unprecedented number of potentially sensitive results about each participant’s real-world behavior. To address this gap, we convened an interdisciplinary expert working group, supported by (...) a National Institute of Mental Health grant. Building on established guidelines and the emerging norm of returning results in participant-centered research, we present a novel framework specific to the ethical, legal, and social implications of returning IRRs in digital phenotyping research. Our framework offers researchers, clinicians, and Institutional Review Boards (IRBs) urgently needed guidance, and the principles developed here in the context of psychiatry will be readily adaptable to other therapeutic areas. (shrink)

In this international and interdisciplinary collection of critical essays, distinguished contributors examine a crucial premise of traditional readings of Plato's dialogues: that Plato's own doctrines and arguments can be read off the statements made in the dialogues by Socrates and other leading characters. The authors argue in general and with reference to specific dialogues, that no character should be taken to be Plato's mouthpiece. This is essential reading for students and scholars of Plato.

BackgroundIn the Canadian Alliance for Healthy Hearts and Minds (CAHHM) cohort, participants underwent magnetic resonance imaging (MRI) of the brain, heart, and abdomen, that generated incidental findings (IFs). The approach to managing these unexpected results remain a complex issue. Our objectives were to describe the CAHHM policy for the management of IFs, to understand the impact of disclosing IFs to healthy research participants, and to reflect on the ethical obligations of researchers in future MRI studies.MethodsBetween 2013 and 2019, 8252 participants (...) (mean age 58 ± 9 years, 54% women) were recruited with a follow-up questionnaire administered to 909 participants (40% response rate) at 1-year. The CAHHM policy followed a restricted approach, whereby routine feedback on IFs was not provided. Only IFs of severe structural abnormalities were reported.ResultsSevere structural abnormalities occurred in 8.3% (95% confidence interval 7.7–8.9%) of participants, with the highest proportions found in the brain (4.2%) and abdomen (3.1%). The majority of participants (97%) informed of an IF reported no change in quality of life, with 3% of participants reporting that the knowledge of an IF negatively impacted their quality of life. Furthermore, 50% reported increased stress in learning about an IF, and in 95%, the discovery of an IF did not adversely impact his/her life insurance policy. Most participants (90%) would enrol in the study again and perceived the MRI scan to be beneficial, regardless of whether they were informed of IFs. While the implications of a restricted approach to IF management was perceived to be mostly positive, a degree of diagnostic misconception was present amongst participants, indicating the importance of a more thorough consent process to support participant autonomy.ConclusionThe management of IFs from research MRI scans remain a challenging issue, as participants may experience stress and a reduced quality of life when IFs are disclosed. The restricted approach to IF management in CAHHM demonstrated a fair fulfillment of the overarching ethical principles of respect for autonomy, concern for wellbeing, and justice. The approach outlined in the CAHHM policy may serve as a framework for future research studies.Clinical trial registrationhttps://clinicaltrials.gov/ct2/show/nct02220582. (shrink)