The paper is concerned with the existence and asymptotic character of the nonlinear boundary value problemdG/dt=F ¦ –¦dF/dt=gG =k 1,G=k 2 as ¦– ¦ o+ The discussion is related to the problem of particle-number fluctuations in the theory of cosmic radiation andG andF denote respectively the probability generating functions for the electron distribution in an electron-initiated and a photon-initiated shower.A solution of the system satisfying the boundary conditions is constructed so that specified limiting conditions are fulfilled.

This paper explores the managerial context surrounding fairness promotion using a multi-method examination that employs interviews and a survey of practicing managers. The results of these examinations describe how managers tend to focus their efforts to promote fairness on fairly allocating rewards and responsibilities, accurately and consistently applying organizational policies and providing representation and understanding to their subordinates around key organizational issues. Analyses of the interview and survey data show how managers’ efforts to promote employee development, enact managerial propriety, and (...) demonstrate moral leadership mediate relationships between their fundamental desires to develop positive working relationships with their subordinates and the efforts they make to promote fairness. This paper concludes with a discussion about how this work refines and extends research on how and why managers promote fairness. (shrink)

The landscapes of mammalian genomes are characterized by complex patterns of intersecting and overlapping sense and antisense transcription, giving rise to large numbers of coding and non‐protein‐coding RNAs (ncRNAs). A recent report by Kapranov and colleagues1 describes three potentially novel classes of RNAs located at the very edges of protein‐coding genes. The presence of RNAs from one of these classes appears to be correlated with the expression levels of their associated genes. These results suggest that a proportion of these RNAs (...) might have roles in the cis‐regulation of neighbouring protein‐coding genes' expression. BioEssays 29:1077–1080, 2007. © 2007 Wiley Periodicals, Inc. (shrink)

In most decision-making situations, there is a plethora of information potentially available to people. Deciding what information to gather and what to ignore is no small feat. How do decision makers determine in what sequence to collect information and when to stop? In two experiments, we administered a version of the German cities task developed by Gigerenzer and Goldstein (1996), in which participants had to decide which of two cities had the larger population. Decision makers were not provided with the (...) names of the cities, but they were able to collect different kinds of cues for both response alternatives (e.g., “Does this city have a university?”) before making a decision. Our experiments differed in whether participants were free to determine the number of cues they examined. We demonstrate that a novel model, using hierarchical latent mixtures and Bayesian inference (Lee & Newell, 2011) provides a more complete description of the data from both experiments than simple conventional strategies, such as the take–the–best or the Weighted Additive heuristics. (shrink)

Although laughter plays an essential part in emotional vocal communication, little is known about the acoustical correlates that encode different emotional dimensions. In this study we examined the acoustical structure of laughter sounds differing along four emotional dimensions: arousal, dominance, sender's valence, and receiver-directed valence. Correlation of 43 acoustic parameters with individual emotional dimensions revealed that each emotional dimension was associated with a number of vocal cues. Common patterns of cues were found with emotional expression in speech, supporting the hypothesis (...) of a common underlying mechanism for the vocal expression of emotions. (shrink)

Following Birkhoff and von Neumann, quantum logic has traditionally been based on the lattice of closed linear subspaces of some Hubert space, or, more generally, on the lattice of projections in a von Neumann algebra A. Unfortunately, the logical interpretation of these lattices is impaired by their nondistributivity and by various other problems. We show that a possible resolution of these difficulties, suggested by the ideas of Bohr, emerges if instead of single projections one considers elementary propositions to be families (...) of projections indexed by a partially ordered set C(A) of appropriate commutative subalgebras of A. In fact, to achieve both maximal generality and ease of use within topos theory, we assume that A is a so-called Rickart C*-algebra and that C(A) consists of all unital commutative Rickart C*-subalgebras of A. Such families of projections form a Hey ting algebra in a natural way, so that the associated propositional logic is intuitionistic: distributivity is recovered at the expense of the law of the excluded middle. Subsequently, generalizing an earlier computation for n x n matrices, we prove that the Heyting algebra thus associated to A arises as a basis for the internal Gelfand spectrum (in the sense of Banaschewski-Mulvey) of the "Bohrification" A̱ of A, which is a commutative Rickart C*-algebra in the topos of functors from C(A) to the category of sets. We explain the relationship of this construction to partial Boolean algebras and Bruns-Lakser completions. Finally, we establish a connection between probability measures on the lattice of projections on a Hubert space H and probability valuations on the internal Gelfand spectrum of A̱ for A = B(H). (shrink)

Following Birkhoff and von Neumann, quantum logic has traditionally been based on the lattice of closed linear subspaces of some Hilbert space, or, more generally, on the lattice of projections in a von Neumann algebra A. Unfortunately, the logical interpretation of these lattices is impaired by their nondistributivity and by various other problems. We show that a possible resolution of these difficulties, suggested by the ideas of Bohr, emerges if instead of single projections one considers elementary propositions to be families (...) of projections indexed by a partially ordered set \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{C}(A)}$$\end{document} of appropriate commutative subalgebras of A. In fact, to achieve both maximal generality and ease of use within topos theory, we assume that A is a so-called Rickart C*-algebra and that \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{C}(A)}$$\end{document} consists of all unital commutative Rickart C*-subalgebras of A. Such families of projections form a Heyting algebra in a natural way, so that the associated propositional logic is intuitionistic: distributivity is recovered at the expense of the law of the excluded middle. Subsequently, generalizing an earlier computation for n × n matrices, we prove that the Heyting algebra thus associated to A arises as a basis for the internal Gelfand spectrum (in the sense of Banaschewski–Mulvey) of the “Bohrification” \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\underline A}$$\end{document} of A, which is a commutative Rickart C*-algebra in the topos of functors from \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{C}A}$$\end{document} to the category of sets. We explain the relationship of this construction to partial Boolean algebras and Bruns–Lakser completions. Finally, we establish a connection between probability measures on the lattice of projections on a Hilbert space H and probability valuations on the internal Gelfand spectrum of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\underline A}$$\end{document} for A = B(H). (shrink)

This book surveys and examines the most famous philosophical arguments against building a machine with human-level intelligence. From claims and counter-claims about the ability to implement consciousness, rationality, and meaning, to arguments about cognitive architecture, the book presents a vivid history of the clash between the philosophy and AI. Tellingly, the AI Wars are mostly quiet now. Explaining this crucial fact opens new paths to understanding the current resurgence AI (especially, deep learning AI and robotics), what happens when philosophy meets (...) science, and the role of philosophy in the culture in which it is embedded. -/- Organising the arguments into four core topics - 'Is AI possible', 'Architectures of the Mind', 'Mental Semantics and Mental Symbols' and 'Rationality and Creativity' - this book shows the debate that played out between the philosophers on both sides of the question, and, as well, the debate between philosophers and AI scientists and engineers building AI systems. Up-to-date and forward-looking, the book is packed with fresh insights and supporting material, including: -/- - Accessible introductions to each war, explaining the background behind the main arguments against AI - Each chapter details what happened in the AI wars, the legacy of the attacks, and what new controversies are on the horizon. - Extensive bibliography of key readings. (shrink)

Agroecology has been proposed as a key building block for food sovereignty. This article examines the meaning, practices and potentials of ‘transformative agroecology learning’ as a collective strategy for food system transformation. Our study is based on our qualitative and action research with the European Coordination of Via Campesina to develop the European Agroecology Knowledge Exchange Network. This network is linked to the global network of La Via Campesina and builds on the strong experiences and traditions of popular education in (...) Latin American peasant movements. Rather than focusing on agroecology education as a process of individual learning, we analyse how a transformative agroecology education can be strengthened as a critical repertoire of action used by social movements to advance food sovereignty. Our analysis contributes a new theory of transformative agroecology learning based on four key characteristics or qualities: horizontalism; diálogo de saberes ; combining practical and political knowledge; and building social movement networks. While these different elements of transformative agroecology learning were present across EAKEN, they were unevenly developed and, in many cases, not systematized. The framework can help to strategically and reflexively systematize and strengthen a transformative agroecology learning approach as a key building block for food sovereignty. (shrink)

Nearly fifty years after the incorporation of the International Society for Knowledge Organization and the introduction of its formal scientific journal Knowledge Organization, a comprehensive encyclopedia of the domain appeared. The practice of domain analysis for knowledge organization, twenty years after its introduction as a core methodology, has created the largest corpus of theoretical knowledge in the domain analysis of knowledge organization itself. A substantial body of research data, therefore, is available in the corpus of articles and conference papers reporting (...) on the epistemological and ontological pillars of the science of knowledge organization. This paper is a report on the evolution of a formal taxonomy of knowledge organization, which is a product of an exhaustive meta-analysis of the KO domain. Our team compiled the corpus of twenty-nine formal published analyses together with key formative historical documents. We then analyzed the corpus thematically, bibliographically, and using co-word analysis to extract key concepts and the underlying faceted conceptual infrastructure. The taxonomy itself is faceted and is linked where possible to published definitions in the KO literature and as well as to the online ISKO Encyclopedia of Knowledge Organization. A dynamic project, the taxonomy will be maintained as linked open data and will grow as emergent research contributes new concepts or generates new facets. (shrink)

The cortical visual mechanisms involved in processing spatial relationships remain subject to debate. According to one current view, the ''dorsal stream'' of visual areas, emanating from primary visual cortex and culminating in the posterior parietal cortex, mediates this aspect of visual processing. More recently, others have argued that while the dorsal stream provides egocentric coding of visual location for motor control, the separate ''ventral'' stream is needed for allocentric spatial coding. We have assessed the visual form agnosic patient DF, whose (...) lesion mainly affects the ventral stream, on a prehension task requiring allocentric spatial coding. She was presented with transparent circular disks. Each disk had circular holes cut in it. DF was asked to reach out and grasp the disk by placing her fingers through the holes. The disks either had three holes (for forefinger, middle finger, and thumb) or two holes (for forefinger and thumb). The distance between the forefinger and thumb holes, and the orientation of the line formed by them, were independently varied. DF was quite unable to adjust her grip aperture or her hand orientation in the three-hole task. Although she was able to orient her hand appropriately for the two-hole disks, she still remained unable to adjust her grip aperture to the distance between the holes. These findings are consistent with the idea that allocentric processing of spatial information requires a functioning ventral stream, even when the information is being used to guide a motor response. (shrink)

Open-minded people should endorse dogmatism because of its explanatory power. Dogmatism holds that, in the absence of defeaters, a seeming that P necessarily provides non-inferential justification for P. I show that dogmatism provides an intuitive explanation of four issues concerning non-inferential justification. It is particularly impressive that dogmatism can explain these issues because prominent epistemologists have argued that it can’t address at least two of them. Prominent epistemologists also object that dogmatism is absurdly permissive because it allows a seeming to (...) provide justification even if the seeming was caused in some apparently inappropriate way. I conclude by disarming this objection. (shrink)

A decade ago, Isham and Butterfield proposed a topos-theoretic approach to quantum mechanics, which meanwhile has been extended by Döring and Isham so as to provide a new mathematical foundation for all of physics. Last year, three of the present authors redeveloped and refined these ideas by combining the C*-algebraic approach to quantum theory with the so-called internal language of topos theory (Heunen et al. in arXiv:0709.4364). The goal of the present paper is to illustrate our abstract setup through the (...) concrete example of the C*-algebra M n (ℂ) of complex n×n matrices. This leads to an explicit expression for the pointfree quantum phase space Σ n and the associated logical structure and Gelfand transform of an n-level system. We also determine the pertinent non-probabilisitic state-proposition pairing (or valuation) and give a very natural topos-theoretic reformulation of the Kochen–Specker Theorem.In our approach, the nondistributive lattice ℘(M n (ℂ)) of projections in M n (ℂ) (which forms the basis of the traditional quantum logic of Birkhoff and von Neumann) is replaced by a specific distributive lattice $\mathcal{O}(\Sigma_{n})$ of functions from the poset $\mathcal{C}(M_{n}(\mathbb{C}))$ of all unital commutative C*-subalgebras C of M n (ℂ) to ℘(M n (ℂ)). The lattice $\mathcal{O}(\Sigma_{n})$ is essentially the (pointfree) topology of the quantum phase space Σ n , and as such defines a Heyting algebra. Each element of $\mathcal{O}(\Sigma_{n})$ corresponds to a “Bohrified” proposition, in the sense that to each classical context $C\in\mathcal{C}(M_{n}(\mathbb{C}))$ it associates a yes-no question (i.e. an element of the Boolean lattice ℘(C) of projections in C), rather than being a single projection as in standard quantum logic. Distributivity is recovered at the expense of the law of the excluded middle (Tertium Non Datur), whose demise is in our opinion to be welcomed, not just in intuitionistic logic in the spirit of Brouwer, but also in quantum logic in the spirit of von Neumann. (shrink)

Little is known about distance processing in patients with posterior brain damage. Although many investigators have claimed that distance estimates are normal or abnormal in some of these patients, many of these observations were made informally and the examiners often asked for relative, and not absolute, distance estimates. The present investigation served two purposes. First, we wanted to contrast the use of distance information in peripersonal space for perceptual report as opposed to visuomotor control in our visual form agnosic patient, (...) DF. Second, we wanted to see to what extent her abilities to process distance cues were dependent on binocular vision, in light of Milner et al.'s (1991) observations of preserved stereopsis in DF, and Dijkerman et al.'s (1996) and Marotta et al.'s (1997) observations that her visual guidance of grasping may be particularly dependent on binocular vision of the target. We hypothesized that DF's visuomotor responses would show normal sensitivity to target distance, while her perceptual estimates would not. In the first experiment, we required DF and two age- and sex-matched control subjects to reach out and grasp black cubes placed at varying distances, or to estimate the distance of the cubes from the hand starting position without making a reaching movement. In the second experiment, we required DF and two age-matched control subjects to point as rapidly and accurately as possible to small LED targets which differed in spatial location, under binocular and monocular conditions. The results showed that, relative to the control subjects, DF's grasping movements produced normal peak velocity-distance scaling-when she reached for blocks which varied in depth or pointed to LED targets which were presented at different distances in depth. In contrast, in the cube experiment, her verbal estimates of object distance were poorly scaled, although they improved slightly under the binocular conditions. The results are discussed in terms of current theories of processing streams in extrastriate visual cortex and the distinction between categorical and coordinate spatial processing. (shrink)

Genetic studies in the social sciences could be augmented through the additional consideration of functional (transcriptome, methylome, metabolome) and/or multimodal genetic data when attempting to understand the genetics of social phenomena. Understanding the biological pathways linking genetics and the environment will allow scientists to better evaluate the functional importance of polygenic scores.

On Philosophy and Philosophers is a volume of unpublished philosophical papers by Richard Rorty, a central figure in late-twentieth-century intellectual debates and a primary force behind the resurgence of American pragmatism. The first collection of new work to appear since his death in 2007, these previously unseen papers advance novel views on metaphysics, ethics, epistemology, philosophical semantics and the social role of philosophy, critically engaging canonical and contemporary figures from Plato and Kant to Kripke and Brandom. This book's diverse offerings, (...) which include technical essays written for specialists and popular lectures, refine our understanding of Rorty's perspective and demonstrate the ongoing relevance of the iconoclastic American philosopher's ground-breaking thought. An introduction by the editors highlights the papers' original insights and contributions to contemporary debates. (shrink)

This paper responds to the recent situationist critique of practical rationality and decision-making. According to that critique, empirical evidence indicates that our choices are governed by morally irrelevant situational factors and not durable character traits, and rarely result from overt rational deliberation. This critique is taken to indicate that popular moral theories in the Western tradition are descriptively deficient, even if normatively plausible or desirable. But we believe that the situationist findings regarding the sources of, or influences over, our moral (...) agency do not reflect durable features of human nature, and claim that these findings are a byproduct of a deficient approach to moral education. Existing models of moral education, which are “positive” in nature, do a poor job of developing virtuous people. Instead, we argue that a “negative” approach to moral education, traceable to Locke, Smith, and Rousseau, would be more successful. This strategy represents something of a compromise between the strategies adopted by thinkers like Rachana Kamtekar : 458–491 2004), who argues that traditional moral categories escape largely untouched by findings in social psychology, and John Doris :504–530 1998) and Gilbert Harman : 87–94 2003), who argue that findings in psychology prove our traditional moral theories are defective. (shrink)

We present a new road map for research on “How the Brain Got Language” that adopts an EvoDevoSocio perspective and highlights comparative neuroprimatology – the comparative study of brain, behavior and communication in extant monkeys and great apes – as providing a key grounding for hypotheses on the last common ancestor of humans and monkeys and chimpanzees and the processes which guided the evolution LCA-m → LCA-c → protohumans → H. sapiens. Such research constrains and is constrained by analysis of (...) the subsequent, primarily cultural, evolution of H. sapiens which yielded cultures involving the rich use of language. (shrink)

Background While prenatal surgery historically was performed exclusively for lethal conditions, today intrauterine surgery is also performed to decrease postnatal disabilities for non-lethal conditions. We sought to describe physicians' attitudes about prenatal surgery for lethal and non-lethal conditions and to elucidate characteristics associated with these attitudes. Methods Survey of 1200 paediatric surgeons, neonatologists and maternal–fetal medicine specialists. Results Of 1176 eligible physicians, 670 responded. In the setting of a lethal condition for which prenatal surgery would likely result in the child (...) surviving with a severe disability, most respondents either disagreed or strongly disagreed that they would recommend the surgery. Male physicians were twice as likely to recommend surgery for the lethal condition, as were physicians who believe that abortion is morally wrong. Older physicians were less likely to recommend surgery. For non-lethal conditions, most respondents agreed that they would recommend prenatal surgery, even if the surgery increases the risk of prematurity or fetal death. Compared with MFMs, surgeons were less likely to recommend such surgery, as were physicians not affiliated with a fetal centre, and physicians who were religious. Conclusion Physician’s attitudes about prenatal surgery relate to physicians’ beliefs about disability as well as demographic, cultural and religious characteristics. Given the variety of views, parents are likely to receive different recommendations from their doctors about the preferable treatment choice. (shrink)

We present a new road map for research on “How the Brain Got Language” that adopts an EvoDevoSocio perspective and highlights comparative neuroprimatology – the comparative study of brain, behavior and communication in extant monkeys and great apes – as providing a key grounding for hypotheses on the last common ancestor of humans and monkeys and chimpanzees and the processes which guided the evolution LCA-m → LCA-c → protohumans → H. sapiens. Such research constrains and is constrained by analysis of (...) the subsequent, primarily cultural, evolution of H. sapiens which yielded cultures involving the rich use of language. (shrink)

This article is the lead piece in a special report that presents the results of a bioethical investigation into chimeric research, which involves the insertion of human cells into nonhuman animals and nonhuman animal embryos, including into their brains. Rapid scientific developments in this field may advance knowledge and could lead to new therapies for humans. They also reveal the conceptual, ethical, and procedural limitations of existing ethics guidance for human‐nonhuman chimeric research. Led by bioethics researchers working closely with an (...) interdisciplinary work group, the investigation focused on generating conceptual clarity and identifying improvements to governance approaches, with the goal of helping scholars, funders, scientists, institutional leaders, and oversight bodies (embryonic stem cell research oversight [ESCRO] committees and institutional animal care and use committees [IACUCs]) deliver principled and trustworthy oversight of this area of science. The article, which focuses on human‐nonhuman animal chimeric research that is stem cell based, identifies key ethical issues in and offers ten recommendations regarding the ethics and oversight of this research. Turning from bioethics’ previous focus on human‐centered questions about the ethics of “humanization” and this research's potential impact on concepts like human dignity, this article emphasizes the importance of nonhuman animal welfare concerns in chimeric research and argues for less‐siloed governance and oversight and more‐comprehensive public communication. (shrink)

This paper articulates and defends an underexplored account of faith—the perspectival account of faith—according to which faith is a value-oriented perspective on the world toward which the subject has a pro-attitude. After describing this account of faith and outlining what it is to have faith on the perspectival account, I show that the perspectival account meets methodological criteria for an account of faith. I then show that this account of faith can be used to unify various faith locutions: having faith (...) that p (propositional faith), having faith in something (attitudinal faith), being a person of faith (global faith), articles of faith (creedal faith), and acts of faith (praxical faith). Finally, since the perspectival account of faith is a cognitive account of faith, I defend the perspectival view against objections to cognitive accounts of faith. (shrink)

Looking out the window, I see that it's raining outside. Do I know that it’s raining outside? According to proponents of the Entailment Thesis, I do. If I see that p, I know that p. In general, the Entailment Thesis is the thesis that if S perceives that p, S knows that p. But recently, some philosophers (McDowell 2002, Turri 2010, Pritchard 2011, 2012) have argued that the Entailment Thesis is false. On their view, we can see p and not (...) know that p. In this paper, I argue that their arguments are unsuccessful. (shrink)

The bounded arithmetic theories R2i, S2i, and T2i are closely connected with complexity theory. This paper is motivated by the questions: what are the Σi+1b-definable multifunctions of R2i? and when is one theory conservative over another? To answer these questions we consider theories , and where induction is restricted to prenex formulas. We also define which has induction up to the 0 or 1-ary L2-terms in the set τ. We show and and for . We show that the -multifunctions of (...) are FPΣip and that those of are FPΣip. For -definability we get FPΣi+k+1p for all these theories. Write for the set of terms 2min,t) where ℓ is a finite product of terms in τ and tL2. We prove and we show - INDτ provided τO2. This gives a proof theoretic proof that S2iΔi+1b-LIND and -LLIND solving an open problem. For τO2, we define using weak replacement axioms and show . We show if or if or if where τ′ has an unbounded term then PH=B. We separate PΣip from PΣip for behaved ℓ and deduce theory separations. We lastly introduce a notion of a model separating two theories and derive some consequences. (shrink)

We introduce multifunction algebras B i τ where τ is a set of 0 or 1-ary terms used to bound recursion lengths. We show that if for all ℓ ∈ τ we have ℓ ∈ O then B i τ = FP Σ i−1 p , those multifunctions computable in polynomial time with at most O )) queries to a Σ i−1 p witness oracle for ℓ ∈ τ and p a polynomial. We use our algebras to obtain independence results (...) in bounded arithmetic. In particular, we show if S 2 i proves Σ j b = PH for some j⩾i then S 2 i ≼ B S 2 . This implies if P NP ≠ P NP then S 2 1 does not prove the polynomial hierarchy collapses. We then consider a subtheory, Z , of the well-studied bounded arithmetic theory S 2 = ∪ i S 2 i . Using our algebras we establish the following properties of this theory: Z cannot prove the polynomial hierarchy collapses. In fact, even Z+ Π ̂ 0 b -consequences of S 2 cannot prove the hierarchy collapses. If Z ⊆ S 2 i for any i then the polynomial hierarchy collapses. If Z proves the polynomial hierarchy is infinite then for all i , S 2 i ⊢ Σ i p ≠ Π i p. (shrink)