Nations with legal environments that allow indigenous entrepreneurs to create legal businesses are more likely to be peaceful and prosperous nations. In addition to focusing on the role of multinational corporations, those interested in creating peace through commerce should focus on promoting legal environments that allow indigenous entrepreneurs to create peace and prosperity. In order to illustrate the relationship between improved legal environments and conflict reduction, this article describes a case study in which increased economic freedom led to reduced violence (...) in Northern Ireland between 1975 and 2000. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:BOOK REVIEWS 273 Verene, Donald Phillip. Vico's Science of Imagination. Ithaca, New York: Cornell University Press, 1981, Pp. 227. $19.5o. In Chapter 1 (Introduction: Vico's Originality), Verene announces two principal concerns, a two-fold approach, and the predominant contention of his study.. 1. Principal concerns: "to consider the philosophical truth of Vico's ideas themselves, rather than to examine their historical character" (p. 19); to consider "the importance of Vico's conception (...) of barbarism for understanding present society" (p. 28). 2. Two-fold approach: "to interpret the central theses of Vico's thought" from the inside in the spirit of the whole and, at the same time, "to develop the problems of Vico's philosophy themselves" (pp. 19--21 ). 3. Predominant contention: "that Vico's ideas constitute a philosophy of recollective universals which generates philosophical understanding fronl the image, not the rational category. This approach regards imagination as a method of pfiilosophical thought" (p. 19) and the imaginative universal as "a key to his conception of knowledge" (p. 67). Vico's philosophy is depicted and characterized by Verene as fi)llows. Beginning with the imagination (fantasia) as an original and independent power of mind, Vico builds his philosophy on the image, the imaginative universal, thereby creating a position outside Western philosophy as traditionally understood. His New Science is a process of recollective fantasia, a kind of memory, and the system built constitutes a system of memory for all of human reality. By means of his concept of memory, Vico works his way back to the world of original thought, the mythicopoeticfantasia of the first men. His discovery of the imaginative universal as their way of thinking and their kind of knowledge establishes a new genetic origin for philosophical thought. Recollective fantasia constitutes the subject-matter and form of Vico's science itself', i.e., the term designates a type of nlemory through which the New Science is acconlplished as well as the type of thought from which it must be understood. "The New Science is a metaphysical fable, h creates a vera narratio of the recollectire imagination. The storia ideale eterna is an ideal trnth, but not an a priori or fictional one. As the master image of the recollective mind, it precisely contains all of the human event. Metaphysical truth, achieved through the exercise of.[antasia.., is generated out of the mind itself.., as images that actually contain the providential structure of reality" (p. 125). Vico's per|ornlative science "is man's true production of a knowledge of" his own nature" (p. 133). "The proof of the science is found through the reader making it for himself" (p. 156). What is the "recollective imaginative universal"? (a term coined by Verene) as distinguished from the universale fantastico? Vico identifies the latter quite simply. Poetic imagination, he tells us, was active in the first men who, "not being able to form intelligible class concepts of things, had a natural need to create poetic characters ; that is, imaginative class concepts or universals, to which, as to certain models or ideal portraits, to reduce all the particular species that resembled them." (The New Science of Giambattista Vico, trans. Thomas Goddard Bergin and Max Harold Fisch. Cornell University Press, 1968; orig. pub. 1948, w ) Thus in the theological age, 274 HISTORY OF PHILOSOPHY "Jove was born naturally in poetry as a divine character or imaginative universal, to which everything having to do with the auspices was referred by all the ancient gentile nations, which must therefore all have been poetic by nature" (9 381). In the age of heroes, Achilles embodies the idea of valor common to all strong men and Ulysses the idea of prudence common to all wise men (9 403). The myths, fables, and allegories brought to birth by poetic imagination were true stories for their makers. Imaginative universals or genera, "as the human mind later learned to abstract forms and properties from subjects, passed over into intelligible genera, which prepared the way for philosophers.... " (9 934)- Abstracting, categorizing, and predicating on the basis of properties in common, the philosophers in their intelligible class concepts no hmger think in the same manner as the first men did... (shrink)

Many adoptees face a number of challenges relating to separation from biological parents during the adoption process, including issues concerning identity, intimacy, attachment, and trust, as well as language and other cultural challenges. One common health challenge faced by adoptees involves lack of access to genetic-relative family health history. Lack of GRFHx represents a disadvantage due to a reduced capacity to identify diseases and recommend appropriate screening for conditions for which the adopted person may be at increased risk. In this (...) article, we draw out common features of traditionally understood “health disparities” in order to identify analogous features in the context of adoptees’ lack of GRFHx. (shrink)

A strong reducibility relation between partial numberings is introduced which is such that the reduction function transfers exactly the numbers which are indices under the numbering to be reduced into corresponding indices of the other numbering. The degrees of partial numberings of a given set with respect to this relation form an upper semilattice.In addition, Ershov’s completion construction for total numberings is extended to the partial case: every partially numbered set can be embedded in a set which results from (...) the given set by adding one point and which is enumerated by a total and complete numbering. As is shown, the degrees of complete numberings of the extended set also form an upper semilattice. Moreover, both semilattices are isomorphic.This is not so in the case of the usual, weaker reducibility relation for partial numberings which allows the reduction function to transfer arbitrary numbers into indices. (shrink)

We consider the strongest forms of enumeration reducibility, those that occur between 1- and npm-reducibility inclusive. By defining two new reducibilities which are counterparts to 1- and i-reducibility, respectively, in the same way that nm- and npm-reducibility are counterparts to m- and pm-reducibility, respectively, we bring out the structure of the strong reducibilities. By further restricting n1- and nm-reducibility we are able to define infinite families of reducibilities which isomorphically embed the r. e. Turing degrees. Thus (...) the many well-known results in the theory of the r. e. Turing degrees have counterparts in the theory of strong reducibilities. We are also able to positively answer the question of whether there exist distinct reducibilities ≤y and ≤a between ≤e and ≤m such that there exists a non-trivial ≤y-contiguous ≤z degree. (shrink)

Let A and B be subsets of the set of natural numbers. The well-known strong reducibilities are dened as follows: A m B i 2 B)) A 1 B i A m B and the reduction function f is one-one. where T ot denotes the set of total recursive functions. These reducibilities induce an equivalence relation of interreducibility, the equivalence classes of which are commonly called the m-degrees and the 1-degrees, respectively. The ordering of these degrees has (...) been extensively studied. In this paper the renements of the ordering of the m-degrees are studied by posing complexity conditions on the reduction func- tion. The discussion uses the axiomatic complexity theory and is hence very general. The paper is self-contained in the sense that the basic framework of the axiomatic complexity theory is brie y presented. (shrink)

We show that Sacks' and Shoenfield's analogs of jump inversion fail for both tt- and wtt-reducibilities in a strong way. In particular we show that there is a ${\mathrm{\Delta }}_{2}^{0}$ set B > tt ∅′ such that there is no c.e. set A with A′ ≡ wtt B. We also show that there is a ${\mathrm{\Sigma }}_{2}^{0}$ set C > tt ∅′ such that there is no ${\mathrm{\Delta }}_{2}^{0}$ set D with D′ ≡ wtt C.

We investigate strong versions of enumeration reducibility, the most important one being s-reducibility. We prove that every countable distributive lattice is embeddable into the local structure $L(\mathfrak D_s)$ of the s-degrees. However, $L(\mathfrak D_s)$ is not distributive. We show that on $\Delta^{0}_{2}$ sets s-reducibility coincides with its finite branch version; the same holds of e-reducibility. We prove some density results for $L(\mathfrak D_s)$ . In particular $L(\mathfrak D_s)$ is upwards dense. Among the results about reducibilities that are stronger (...) than s-reducibility, we show that the structure of the $\Delta^{0}_{2}$ bs-degrees is dense. Many of these results on s-reducibility yield interesting corollaries for Q-reducibility as well. (shrink)

This note evaluates the claim of Steven Pinker in The Better Angels of Our Nature that the advent of strong states led to a decline in violence. I test this claim in the modern context, measuring the effect of the strength of government in lower-income countries on reductions in homicide rates. The strength of government is measured using Polity IV, Worldwide Governance Indicators, and government consumption as a percentage of GDP. The data do not support Pinker’s hypothesis.

The degree structure of functions induced by a polynomial-time reducibility first introduced in G. Miller's work on the complexity of prime factorization is investigated. Several basic results are established including the facts that the degrees restricted to the sets do not form an upper semilattice and there is a minimal degree, as well as density for the low degrees, a weak form of the exact pair theorem, the existence of minimal pairs and the decidability of the Π2 theory of the (...) low degrees. (shrink)

We show that a new interpretation of quantum mechanics, in which the notion of event is defined without reference to measurement or observers, allows to construct a quantum general ontology based on systems, states and events. Unlike the Copenhagen interpretation, it does not resort to elements of a classical ontology. The quantum ontology in turn allows us to recognize that a typical behavior of quantum systems exhibits strong emergence and ontological non-reducibility. Such phenomena are not exceptional but natural, and (...) are rooted in the basic mathematical structure of quantum mechanics. (shrink)

We use certain strong Q-reducibilities, and their corresponding strong positive reducibilities, to characterize the hyperimmune sets and the hyperhyperimmune sets: if A is any infinite set then A is hyperimmune (respectively, hyperhyperimmune) if and only if for every infinite subset B of A, one has \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\overline{K}\not\le_{\rm ss} B}$$\end{document} (respectively, \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\overline{K}\not\le_{\overline{\rm s}} B}$$\end{document}): here \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} (...) \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\le_{\overline{\rm s}}}$$\end{document} is the finite-branch version of s-reducibility, ≤ss is the computably bounded version of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\le_{\overline{\rm s}}}$$\end{document}, and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\overline{K}}$$\end{document} is the complement of the halting set. Restriction to \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Sigma^0_2}$$\end{document} sets provides a similar characterization of the \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Sigma^0_2}$$\end{document} hyperhyperimmune sets in terms of s-reducibility. We also show that no \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${A \geq_{\overline{\rm s}}\overline{K}}$$\end{document} is hyperhyperimmune. As a consequence, \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\deg_{\rm s}(\overline{K})}$$\end{document} is hyperhyperimmune-free, showing that the hyperhyperimmune s-degrees are not upwards closed. (shrink)

We show that any partial order with a Σ3 enumeration can be effectively embedded into any partial order obtained by imposing a strong reducibility such as ≤tt on the c. e. sets. As a consequence, we obtain that the partial orders that result from imposing a strong reducibility on the sets in a level of the Ershov hiearchy below ω + 1 are co-embeddable.

Bodily sensations, such as pain, hunger, itches, or sexual feelings, are commonly characterized in terms of their phenomenal character. In order to account for this phenomenal character, many philosophers adopt strong representationalism. According to this view, bodily sensations are essentially and entirely determined by an intentional content related to particular conditions of the body. For example, pain would be nothing more than the representation of actual or potential tissue damage. In order to motivate and justify their view, strong (...) representationalists often appeal to the reliable causal covariance between bodily sensations and certain kinds of bodily conditions or to the corresponding biological function that these bodily sensations are supposed to fulfill. In this paper, I argue on the basis of recent empirical research that arguments from reliable causal covariance and biological function cannot motivate the introduction of corresponding intentional content. In particular, I argue that bodily sensations are caused by a heterogeneous class of physiological and psychological factors and their biological functions are too diverse to be reduced to the representation of a particular bodily condition. Responses are available to strong representationalists, but they either require substantial alterations to their core assumptions or incur a significant empirical burden. (shrink)

Arguments for the autonomy of psychology or other higher-level sciences have often taken the form of denying the possibility of reduction. The form of reduction most proponents and critics of the autonomy of psychology have in mind is theory reduction. Mechanistic explanations provide a different perspective. Mechanistic explanations are reductionist insofar as they appeal to lower-level entities—the component parts of a mechanism and their operations— to explain a phenomenon. However, unlike theory reductions, mechanistic explanations also recognize the fundamental role of (...) organization in enabling mechanisms to engage their environments as units (as well as the role of yet higher-level structures in constraining such engagement). Especially when organization is non-linear, it can enable mechanisms to generate phenomena that are quite surprising given the operations of the components taken in isolation. Such organization must be discovered—it cannot simply be derived from knowledge of lower-level parts and their operations. Moreover, the organized environments in which mechanisms operate must also be discovered. It is typically the higher-level disciplines that have the tools for discovering the organization within and between mechanisms. Although these inquiries are constrained by the knowledge of the parts and operations constituting the mechanism, they make their own autonomous contribution to understanding how a mechanism actually behaves. Thus, mechanistic explanations provide a strong sense of autonomy for higher levels of organization and the inquiries addressing them even while recognizing the distinctive contributions of reductionistic research investigating the operations of the lower level components. (shrink)

Using an idea of Sargsyan, we show how to reduce the consistency strength of the assumptions employed to establish a theorem concerning a uniform level of indestructibility for both strong and supercompact cardinals.

We study a strong enumeration reducibility, called bounded enumeration reducibility and denoted by ≤be, which is a natural extension of s-reducibility ≤s. We show that ≤s, ≤be, and enumeration reducibility do not coincide on the \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Pi^0_1}$$\end{document} –sets, and the structure \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\boldsymbol{\mathcal{D}_{\rm be}}}$$\end{document} of the be-degrees is not elementarily equivalent to the structure of the s-degrees. We show also that the first order (...) theory of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\boldsymbol{\mathcal{D}_{\rm be}}}$$\end{document} is computably isomorphic to true second order arithmetic: this answers an open question raised by Cooper (Z Math Logik Grundlag Math 33:537–560, 1987). (shrink)

Disquotational theories of truth, that is, theories of truth based on the T-sentences or similar equivalences as axioms are often thought to be deductively weak. This view is correct if the truth predicate is allowed to apply only to sentences not containing the truth predicate. By taking a slightly more liberal approach toward the paradoxes, I obtain a disquotational theory of truth that is proof theoretically as strong as compositional theories such as the Kripket probe the compositional axioms.

In the Deese-Roediger/McDermott paradigm, distinctive encoding of list items typically reduces false recognition of critical lures relative to a read-only control. This reduction can be due to enhanced item-specific processing, reduced relational processing, and/or increased test-based monitoring. However, it is unclear whether distinctive encoding reduces false recognition in a selective or global manner. To examine this question, participants studied DRM lists using a distinctive item-specific anagram generation task and then completed a recognition test which included both DRM critical lures and (...) either strongly related lures or weakly related lures. Compared to a read-control group, the generate groups showed increased correct recognition and decreased false recognition of all lure types. We then estimated the separate contributions of encoding and retrieval processes using signal-detection indices. Generation improved correct recognition by both increasing encoding of memory information for list words and by increasing memory monitoring at test. Generation reduced false recognition by reducing the encoding of memory information and by increasing memory monitoring at test. The reduction in false recognition was equivalent for critical lures and related lures, indicating that generation globally reduces the encoding of related non-presented items at study, while globally increasing list-theme-based monitoring at test. (shrink)

We introduce agreement reducibility and highlight its major features. Given subsets A and B of, we write if there is a total computable function satisfying for all,.We shall discuss the central role plays in this reducibility and its connection to strong‐hyper‐hyper‐immunity. We shall also compare agreement reducibility to other well‐known reducibilities, in particular s1‐ and s‐reducibility. We came upon this reducibility while studying the computable reducibility of a class of equivalence relations on based on set‐agreement. We end by (...) describing the origin of agreement reducibility and presenting some results in that context. (shrink)

Supervenience in most of its guises entails necessary coextension. Thus theoretical supervenience entails nomically necessary coextension. Kim's result, thus strengthened, has yet to hit home. I suspect that many supervenience enthusiasts would cool at necessary coextension: they didn't mean to be saying anything quite so strong. Furthermore, nomically necessary coextension can be a good reason for property identification, leading to reducibility in principle. This again is more than many supervenience theorists bargained for. They wanted supervenience without reducibility. It is (...) not always available for this mediating role. (shrink)

Conservation biologists agree that humanity is on the verge of causing a mass extinction and that its primary driver is our immense and rapidly expanding global economy. We are replacing Earth’s ten million wild species with more of ourselves, our domesticated species, our economic support systems, and our trash. In the process, we are creating a duller, tamer, and more dangerous world. The moral case for reducing excessive human impacts on the biosphere is strong on both anthropocentric and biocentric (...) ethical grounds. The sine qua non for doing so is reducing human numbers and the size of our economies, while increasing the global acreage set aside in protected areas. We should take these steps as part of comprehensive efforts to create just and sustainable societies in which both humans and other species can flourish. (shrink)

Analogical transfer in sequence learning is presented as an example of how the type-2 problem of learning an unbounded number of isomorphic sequences is reduced to the type-1 problem of learning a small finite set of sequences. The commentary illustrates how the difficult problem of appropriate analogical filter creation and selection is addressed while avoiding the trap of strong nativism, and it provides theoretical and experimental evidence for the existence of dissociable mechanisms for type-1 learning and type-2 recoding.

Barry Barnes and David Bloor of the Strong Programme of the sociology of knowledge advance a naturalized epistemology that reduces all accounts of normativity to social causes. I endorse their program of naturalizing one kind of normativity, but I argue that there is another kind they cannot naturalize. Within the context of sociological explanations of rationality, there are norms of rationality instantiated by scientists that Barnes and Bloor study, and Barnes and Bloor's own normative ascriptions of scientists as rational (...) beings. I argue that Barnes and Bloor successfully justify their naturalization of the norms of rationality of the scientists they describe by a methodological caution and arguments from under-determination and finitism. But they inevitably fail to naturalize their own normative ascriptions of those scientists as rational. (shrink)

Food insecurity in the United States is a profound public health challenge that hospitals are uniquely situated to address. Through the enactment of the Hospital Readmission Reduction Program, the Affordable Care Act provides a strong economic incentive for hospitals to actively confront food insecurity within the communities they serve. While there is a spectrum of nutrition interventions that hospitals can look to when engaging in these efforts, healthy food prescriptions and medically tailored meals are two particularly innovative and promising (...) approaches that could help hospitals reduce readmissions by addressing the nutritional needs of vulnerable patients. (shrink)

Tait's proof of strong normalization for the simply typed λ-calculus is interpreted in a general model theoretical framework by means of the specification of a certain theory T and a certain model /oU of T. The argumentation is partly reduced to formal predicate logic by the application of certain derivability properties of T. The resulting version of Tait's proof is, within the same framework, systematically generalized to the Calculus of Constructions and other advanced type systems. The generalization proceeds along (...) the formal level in the sense that T is modified first and that the new theory partly dictates the subsequent transformation of /oU, which is carried out in stages. The uniform and standardized character of the argumentation contributes to its perspicuity. (shrink)

Recent work in natural language semantics leads to some new observations on generalized quantifiers. In § 1 we show that English quantifiers of type $ $ are booleanly generated by their generalized universal and generalized existential members. These two classes also constitute the sortally reducible members of this type. Section 2 presents our main result--the Generalized Prefix Theorem (GPT). This theorem characterizes the conditions under which formulas of the form Q1x 1⋯ Qnx nRx 1⋯ xn and q1x 1⋯ qnx nRx (...) 1⋯ xn are logically equivalent for arbitrary generalized quantifiers Qi, qi. GPT generalizes, perhaps in an unexpectedly strong form, the Linear Prefix Theorem (appropriately modified) of Keisler & Walkoe (1973). (shrink)

We give two proofs of strong normalisation for second order classical natural deduction. The first one is an adaptation of the method of reducibility candidates introduced in [9] for second order intuitionistic natural deduction; the extension to the classical case requires in particular a simplification of the notion of reducibility candidate. The second one is a reduction to the intuitionistic case, using a Kolmogorov translation.

Abstract Our growing demand for meat and dairy food products is unsustainable. It is hard to imagine that this global issue can be solved solely by more efficient technologies. Lowering our meat consumption seems inescapable. Yet, the question is whether modern consumers can be considered as reliable allies to achieve this shift in meat consumption pattern. Is there not a yawning gap between our responsible intentions as citizens and our hedonic desires as consumers? We will argue that consumers can and (...) should be considered as partners that must be involved in realizing new ways of protein consumption that contribute to a more sustainable world. In particular the large food consumer group of flexitarians offer promising opportunities for transforming our meat consumption patterns. We propose a pragmatic approach that explicitly goes beyond the standard suggestion of persuasion strategies and suggests different routes of change, coined sustainability by stealth, moderate involvement, and cultural change respectively. The recognition of more routes of change to a more plant-based diet implies that the ethical debate on meat should not only associate consumer change with rational persuasion strategies and food citizens that instantiate “strong” sustainable consumption. Such a focus narrows the debate on sustainable protein consumption and easily results in disappointment about consumers’ participation. A more wide-ranging concept of ethical consumption can leave the negative verdict behind that consumers are mainly an obstacle for sustainability and lead to a more optimistic view on modern consumers as allies and agents of change. Content Type Journal Article Category Articles Pages 1-18 DOI 10.1007/s10806-011-9345-z Authors Erik de Bakker, LEI Wageningen UR (Agricultural Economics Research Institute), P.O. Box 29703, 2505 LS The Hague, The Netherlands Hans Dagevos, LEI Wageningen UR (Agricultural Economics Research Institute), P.O. Box 29703, 2505 LS The Hague, The Netherlands Journal Journal of Agricultural and Environmental Ethics Online ISSN 1573-322X Print ISSN 1187-7863. (shrink)

Many consumers implicitly associate sustainability with lower product strength. This so-called ethical = less strong intuition (ELSI) poses a major threat for the success of sustainable products. This article explores this pervasive lay theory and examines whether it is a key barrier for sustainable consumption patterns. Even more importantly, little is known about the underlying mechanisms that might operate differently at the implicit and explicit levels of the consumer’s decision-making. To fill this gap, three studies examine how the implicit (...) judgments that consumers activate automatically shape their consumption behaviors, in concert with their more controlled explicit beliefs about sustainable products. The Main Study investigates the ELSI’s imprint on actual shopping patterns and disentangles the implicit and explicit mechanisms of the lay theory. This paper also asks how this negative influence can be attenuated by examining whether the consumer’s interest in sustainable consumption reduces reliance on the ELSI. Two follow-up studies confirm the robustness from different methodological and practical perspectives. Implications for companies and policy makers are derived. (shrink)

We study the notion of polynomial-time relation reducibility among computable equivalence relations. We identify some benchmark equivalence relations and show that the reducibility hierarchy has a rich structure. Specifically, we embed the partial order of all polynomial-time computable sets into the polynomial-time relation reducibility hierarchy between two benchmark equivalence relations Eλ and id. In addition, we consider equivalence relations with finitely many nontrivial equivalence classes and those whose equivalence classes are all finite.

This article examines the theoretical motivations underlying the conflicting beliefs in support of and against responsible investment and presents unique quantitative evidence to illustrate how such conflicting logics produce a curvilinear relationship between screening intensity and two measures of risk. First, I argue that, whereas limiting the investable universe by using RI screening criteria increases the risk specific to the portfolio, very high screening intensity can reduce this risk. This is due to the fact that information benefits enable fund managers (...) to be more selective, allowing them to select less risky firms. Second, by drawing on behavioral studies, I argue that this same curvilinear relationship occurs when examining the flow of money coming in and out of a fund. That is, high RI screening makes ethical investors “stickier” and less likely to pull money out of a fund because they are attracted to its ethical properties. I test my hypotheses using a data set of all known European RI screening equity mutual funds. I generally find strong support for both hypotheses. This has an important implication for investors: For high screening intensity and meaningful RI practices, RI is associated with a significant risk reduction. (shrink)

: Carson Strong's reply to my response to his article demonstrates what happens when there is unacknowledged disagreement about the facts of a case or about the meaning of the terms used to describe those facts. I hope that our dialogue will help reduce this disagreement.

Humans ought to do much more in order to remedy the severe harm caused by climate change. While there seems to be an overall consensus that governments and other national and international political agents need to resolve the problem, there is no agreement yet on the role and responsibility of individuals in this process. In this paper, I suggest an argument of integrity that offers strong pro tanto moral reasons for individuals to reduce their personal greenhouse gas emissions. Hourdequin (...) (2010) has presented an argument of integrity to justify a corresponding obligation. In this paper, I argue that even though Hourdequin’s argument is appealing, it has important limitations. I advance the argument in light of the current literature so that it is not subject to these limitations and establishes an overall more comprehensive justification for why individuals ought to reduce their personal emissions. (shrink)

Using a sample of 12,061 firm-year observations from the Chinese stock market for the period of 2001–2011 and geographic-proximity-based Confucianism variables, this study provides strong evidence that Confucianism is significantly negatively associated with minority shareholder expropriation, implying that Confucianism does mitigate agency conflicts between the controlling shareholder and minority shareholders. This finding suggests that Confucianism has important influence on business ethics, and thus can serve as an important ethical philosophy or social norm to mitigate the controlling shareholder’s unethical expropriation (...) behavior. Moreover, my findings reveal that the nature of the ultimate owner attenuates the negative association between Confucianism and minority shareholder expropriation, suggesting that Confucianism’s negative impact on minority shareholder expropriation is less pronounced for state-owned enterprises than for non-state-owned enterprises. The above results are robust to a variety of sensitivity tests and my findings are valid after controlling for the potential endogeneity between Confucianism and minority shareholder expropriation. (shrink)

This study extends previous literature on the association between Confucianism and corporate decisions by examining Confucianism’s influence on board gender diversity. Using a sample of Chinese listed firms during the period of 2001–2011 and geographic-proximity-based Confucianism variables, I provide strong and consistent evidence to show that Confucianism is significantly negatively associated with board gender diversity, suggesting that the proportion of women directors in the boardroom is significantly lower for firms surrounded by strong Confucianism atmosphere than for firms located (...) in regions with weak Confucianism atmosphere. This finding also implies that Confucian philosophical system has important impacts on business ethics and women’s status in corporate governance. Moreover, GDP per capita, the proxy for economic development level in a province in which a firm is located, attenuates the negative association between Confucianism and board gender diversity. Above results are robust to different measures of Confucianism and board gender diversity and are still valid after controlling for the potential endogeneity between Confucianism and board gender diversity. (shrink)

Natural and industrial disasters are increasing in the U.S., and the terrorist threat is still with us. Our response has been proximate — remediation and protection B rather than basic B reducing our vulnerabilities. Reducing vulnerabilities will involve the deconcentration of hazardous materials, of population density in vulnerable areas, and of private centers of economic and political power. The objection that deconcentration will entail economic inefficiencies is addressed by examining four systems that are very large, highly efficient, robust, radically decentralized, (...) and innovative: the Internet, the electric power grid, networks of small firms, and, alas, terrorist networks. All are threatened, but regulation by a strong state could preserve the efficiency of the first three, and muster the tools to thwart the fourth. (shrink)

Summary The controversy about the strong AI-thesis was recently revived by two interrelated contributions stemming from J. R. Searle on the one hand and from P. M. and P. S. Churchland on the other hand. It is shown that the strong AI-thesis cannot be defended in the formulation used by the three authors. It violates some well accepted criterions of scientific argumentation, especially the rejection of essentialistic definitions. Moreover, Searle's ‘proof’ is not conclusive. Though it may be reconstructed (...) in a conclusive manner, the modified proof is trivial. Beyond that, the most interesting aspect is formulated as an axiom that is not justified either. Therefore Searle's criticism of strong AI-thesis fails to be a convincing proof — it can be reduced to an unjustified presupposition. (shrink)

It was observed by Curry that when λ-terms can be assigned types, for example, simple types, these terms have nice properties . Coppo, Dezani, and Veneri, introduced type systems using conjunctive types, and showed that several important classes of terms can be characterized according to the shape of the types that can be assigned to these terms. For example, the strongly normalizable terms, the normalizable terms, and the terms having head-normal forms, can be characterized in some systems and Ω. The (...) proofs use variants of the method of reducibility. In this paper, we present a uniform approach for proving several meta-theorems relating properties of λ-terms and their typability in the systems and Ω. Our proofs use a new and more modular version of the reducibility method. As an application of our metatheorems, we show how the characterizations obtained by Coppo, Dezani, Veneri, and Pottinger, can be easily rederived. We also characterize the terms that have weak head-normal forms, which appears to be new. We conclude by stating a number of challenging open problems regarding possible generalizations of the realizability method. (shrink)

We provide a new and elementary proof of strong normalization for the lambda calculus of intersection types. It uses no strong method, like for instance Tait-Girard reducibility predicates, but just simple induction on type complexity and derivation length and thus it is obviously formalizable within first order arithmetic. To obtain this result, we introduce a new system for intersection types whose rules are directly inspired by the reduction relation. Finally, we show that not only the set of strongly (...) normalizing terms of pure lambda calculus can be characterized in this system, but also that a straightforward modification of its rules allows to characterize the set of weakly normalizing terms. (shrink)

The view that complexity increases in evolution is uncontroversial, yet little is known about the possible causes of such a trend. One hypothesis, the Zero Force Evolutionary Law (ZFEL), predicts a strong drive toward complexity, although such a tendency can be overwhelmed by selection and constraints. In the absence of strong opposition, heritable variation accumulates and complexity increases. In order to investigate this claim, we evaluate the gross morphological complexity of laboratory mutants in Drosophila melanogaster, which represent organisms (...) that arise in a context where selective forces are greatly reduced. Complexity was measured with respect to part types, shape, and color over two independent focal levels. Compared to the wild type, we find that D. melanogaster mutants are significantly more complex. When the parts of mutants are categorized by degree of constraint, we find that weakly constrained parts are significantly more complex than more constrained parts. These results support the ZFEL hypothesis. They also represent a first step in establishing the domain of application of the ZFEL and show one way in which a larger empirical investigation of the principle might proceed. (shrink)

One stable marker of face perception appears to be left-side bias, the tendency to rely more on information conveyed by the left side of the face than the right. Previous studies have shown that left-side bias is influenced by familiarity and prior experience with face stimuli. Since other-race facial recognition is characterized by reduced familiarity, in contrast to own-race facial recognition, the phenomenon of left-side bias is expected to be weaker for other-race faces. Among Chinese participants, face inversion has been (...) found to eliminate the left-side bias associated with own-race faces. Therefore, it is of interest to know whether face inversion influences left-side bias for non-Chinese research participants and can be generalized across own- and other-race faces. This study assessed 65 Caucasian participants using upright and inverted chimeric Caucasian and Asian faces in an identity similarity-judgment task. Although a significant left-side bias was observed for upright own-race faces, this bias was eliminated by facial inversion, indicating that such a bias depends on the applicability of configural processing strategies. For other-race faces, there was no left-side bias in the upright condition. Interestingly, the inverted presentation yielded a right-side bias. These results show that while left-side bias is affected by familiarity differences between own- and other-race faces, it is a universal phenomenon for upright faces. Inverted presentation strongly reduces left-side bias and may even cause it to revert to right-side bias, suggesting that left-side bias depends on configural face processing. (shrink)

We examine the degree structure $\operatorname {\mathrm {\mathbf {ER}}}$ of equivalence relations on $\omega $ under computable reducibility. We examine when pairs of degrees have a least upper bound. In particular, we show that sufficiently incomparable pairs of degrees do not have a least upper bound but that some incomparable degrees do, and we characterize the degrees which have a least upper bound with every finite equivalence relation. We show that the natural classes of finite, light, and dark degrees are (...) definable in $\operatorname {\mathrm {\mathbf {ER}}}$. We show that every equivalence relation has continuum many self-full strong minimal covers, and that $\mathbf {d}\oplus \mathbf {\operatorname {\mathrm {\mathbf {Id}}}_1}$ needn’t be a strong minimal cover of a self-full degree $\mathbf {d}$. Finally, we show that the theory of the degree structure $\operatorname {\mathrm {\mathbf {ER}}}$ as well as the theories of the substructures of light degrees and of dark degrees are each computably isomorphic with second-order arithmetic. (shrink)