Topos Theory is an important branch of mathematical logic of interest to theoretical computer scientists, logicians and philosophers who study the foundations of mathematics, and to those working in differential geometry and continuum physics. This compendium contains material that was previously available only in specialist journals. This is likely to become the standard reference work for all those interested in the subject.

Topos Theory is a subject that stands at the junction of geometry, mathematical logic and theoretical computer science, and it derives much of its power from the interplay of ideas drawn from these different areas. Because of this, an account of topos theory which approaches the subject from one particular direction can only hope to give a partial picture; the aim of this compendium is to present as comprehensive an account as possible of all the main approaches and thereby to (...) demonstrate the overall unity of the subject. The material is organised in such a way that readers interested in following a particular line of approach may do so by starting at an appropriate point in the text. (shrink)

Topos Theory is an important branch of mathematical logic of interest to theoretical computer scientists, logicians and philosophers who study the foundations of mathematics, and to those working in differential geometry and continuum physics. This compendium contains material that was previously available only in specialist journals. This is likely to become the standard reference work for all those interested in the subject.

Topos Theory is a subject that stands at the junction of geometry, mathematical logic and theoretical computer science, and it derives much of its power from the interplay of ideas drawn from these different areas. Because of this, an account of topos theory which approaches the subject from one particular direction can only hope to give a partial picture; the aim of this compendium is to present as comprehensive an account as possible of all the main approaches and thereby to (...) demonstrate the overall unity of the subject. The material is organised in such a way that readers interested in following a particular line of approach may do so by starting at an appropriate point in the text. (shrink)

We show that a morphism of locales is open if and only if all its pullbacks are skeletal in the sense of [P.T. Johnstone, Factorization theorems for geometric morphisms, II, in: Categorical Aspects of Topology and Analysis, in: Lecture Notes in Math., vol. 915, Springer-Verlag, 1982, pp. 216–233], i.e. pulling back along them preserves denseness of sublocales . This result may be viewed as the ‘dual’ of the well-known characterization of proper maps as those which are stably closed. We (...) also investigate the circumstances in which a particular sublocale, or set of sublocales, of a given locale, may be ‘declared closed’. (shrink)

Notices Amer. Math. Sac. 51, 2004). Logically, such a "Grothendieck topos" is something like a universe of continuously variable sets. Before long, however, F.W. Lawvere and M. Tierney provided an elementary axiomatization..

Corruption involves greed, money, and risky decision-making. We explore the love of money, pay satisfaction, probability of risk, and dishonesty across cultures. Avaricious monetary aspiration breeds unethicality. Prospect theory frames decisions in the gains-losses domain and high-low probability. Pay dissatisfaction (in the losses domain) incites dishonesty in the name of justice at the individual level. The Corruption Perceptions Index, CPI, signals a high-low probability of getting caught for dishonesty at the country level. We theorize that decision-makers adopt avaricious love-of-money aspiration (...) as a lens and frame dishonesty in the gains-losses domain (pay satisfaction-dissatisfaction, Level 1) and high-low probability (CPI, Level 2) to maximize expected utility and ultimate serenity. We challenge the myth: Pay satisfaction mitigates dishonesty across nations consistently. Based on 6500 managers in 32 countries, our cross-level three-dimensional visualization offers the following discoveries. Under high aspiration conditions, pay dissatisfaction excites the highest- (third-highest) avaricious justice-seeking dishonesty in high (medium) CPI nations, supporting the certainty effect. However, pay satisfaction provokes the second-highest avaricious opportunity-seizing dishonesty in low CPI entities, sustaining the possibility effect—maximizing expected utility. Under low aspiration conditions, high pay satisfaction consistently leads to low dishonesty, demonstrating risk aversion—achieving ultimate serenity. We expand prospect theory from a micro and individual-level theory to a cross-level theory of monetary wisdom across 32 nations. We enhance the S-shaped Curve to three 3-D corruption surfaces across three levels of the global economic pyramid, providing novel insights into behavioral economics, business ethics, the environment, and responsibility. (shrink)

Pancreatitis is a complex, progressively destructive inflammatory disorder. Alcohol was long thought to be the primary causative agent, but genetic contributions have been of interest since the discovery that rare PRSS1, CFTR and SPINK1 variants were associated with pancreatitis risk. We now report two associations at genome-wide significance identified and replicated at PRSS1-PRSS2 and X-linked CLDN2 through a two-stage genome-wide study. The PRSS1 variant likely affects disease susceptibility by altering expression of the primary trypsinogen gene. The CLDN2 risk allele is (...) associated with atypical localization of claudin-2 in pancreatic acinar cells. The homozygous CLDN2 genotype confers the greatest risk, and its alleles interact with alcohol consumption to amplify risk. These results could partially explain the high frequency of alcohol-related pancreatitis in men. © 2012 Nature America, Inc. All rights reserved. (shrink)

The book roots corruption in the idea of a departure from conventional standards, and thus offers an account not only of its corrosiveness but also of its malleability and controversiality. In the course of a broadranging exploration, it examines various links between private and public corruption, connecting the latter with other social and political structures.

Walling and Hicks make a direct assault on the "Everest" of scientific mysteries. The authors trace the first glimmerings of consciousness in evolution and during emergence from anesthesia. There are no formulae or equations; all the difficult concepts have been presented as allegories and pictures. Unlike many philosophical books about consciousness, they have evidence to back up their ideas. This book is also an attempt to bridge the chasm between science and religion which the authors believe to be largely unnecessary.

Absolute identity seems at first sight to be presupposed in the branch of formal logic called identity theory. Classical identity theory may be obtained by adjoining a single schema to ordinary quantification theory.

This introduction to the philosophy of social science provides an original conception of the task and nature of social inquiry. Peter Manicas discusses the role of causality seen in the physical sciences and offers a reassessment of the problem of explanation from a realist perspective. He argues that the fundamental goal of theory in both the natural and social sciences is not, contrary to widespread opinion, prediction and control, or the explanation of events. Instead, theory aims to provide an (...) understanding of the processes which, together, produce the contingent outcomes of experience. Offering a host of concrete illustrations and examples of critical ideas and issues, this accessible book will be of interest to students of the philosophy of social science, and social scientists from a range of disciplines. (shrink)

When I offered this title, I was engaging myself to investigate an apparent difference between two kinds of intentionality, in the hope that I should be able to find some firm logical criterion to distinguish them. I was less successful in this than I had hoped. I think I have gained a certain amount of insight into the logic and semantics of one kind of intentional context, largely due to the work I was doing while visiting the University of Pennsylvania (...) on Frege and on Michael Dummett’s monumental commentary on Frege. But as regards the other variety of intentionality I am still very much in the dark; so I am giving you thus far merely a progress report on that. (shrink)

The probability of lineal extinction is sensitive to all the moments of the reproductive success probability distribution. In particular, high variance in reproductive success is associated with high probability of lineal extinction. Where male variance in reproductive success exceeds female variance, strictly patrilineal lines of descent will become extinct more rapidly than strictly matrilineal lines of descent. Patrilineal genealogies will be expected to be shallower and broader than matrilineal genealogies under such conditions. Potential implications of this genealogical asymmetry for human (...) descent systems include the greater information content of patrilineal kinship reckoning compared with any other unilineal system and the greater effectiveness of patrilineal kinship as a vehicle for corporate action. (shrink)

Introduction -- Pragmatism and science -- Pragmatic philosophy of science and the charge of scientism -- John Dewey and American psychology -- John Dewey and American social science -- Culture and nature -- Not another epistemology -- Naturalism and subjectivism -- Naturalizing epistemology : recent developments in psychology and the sociology of knowledge -- Democracy -- American democracy : a new spirit in the world -- John Dewey : anarchism and the political state -- Philosophy and politics : a historical (...) approach to Marx and Dewey -- John Dewey and the problem of justice -- Liberalism's discontent : America in search for past that never was -- Why not Dewey? -- The evasion of philosophy -- Democratic hope -- Analytic pragmatism -- Post-modern pragmatism. (shrink)

What transformation would happen if we could combine the best of liberal politics with psychology? _Awakening our Faith in the Future_ investigates the avenues for creating a new branch of psychology, a transformative political psychology. In the past, political psychology has focused directly on analysis and knowledge acquisition, rather than on interventions that transform self and culture. A transformative political psychology combines the best of traditional social science with the transformative intent of clinical psychology in order to create a new (...) political culture. Peter T. Dunlap suggests that while liberals focus intently outside of themselves on changing the world, those with psychological interests focus much more internally on changing themselves. In this book, he argues that by combining political liberalism and psychology, and encouraging psychologists to develop cultural learning practices based on ideas of self- knowledge, there is opportunity to transform our political culture. Divided into five parts, this book explores: stories of political destiny questions of development opportunities for political development a speculative theory of cultural evolution practices of a political psychologist. This scholarly text uses personal experiences and the stories of progressive political leaders as pathways for addressing political problems, making it ideal reading for professionals and students in the fields of both politics and psychology as well as for activists interested in the future of liberalism. (shrink)

Because biologists are concerned with life in all its forms, and physicians deal with life and death on a daily basis, it is crucial that they explicitly understand what life is. Nevertheless, a clear idea of what life means remains elusive, and there is no universally accepted definition. Therefore, we offer our own: Life is a self-contained, self-regulating, self-organizing, self-reproducing, interconnected, open thermodynamic network of component parts which performs work, existing in a complex regime which combines stability and adaptability in (...) the phase transition between order and chaos, as a plant, animal, fungus, or microbe. This definition describes life as we know it here on earth and .. (shrink)

The nervous system and the endocrine system interact to integrate behavior and physiolo­gy. Hormones play an important role in this interaction, particularly steroid hormones. Other molecules, notably oxytocin, can serve both as hormones in the soma and neuro­modulators in the central nervous system. Understanding the influence of the endocrine system on human behavior, both individual and social, has been a primary focus of behav­ioral endocrinology for many decades, though technical and methodological challenges have been formidable. The recent enthusiasm for enzyme-linked (...) immunoassay kits for measuring steroid hormones in saliva has been found to be largely unsound, for example. Despite these difficulties, advances in many areas have been made and new areas, such as the endocrinology of paternal behavior and the role of oxytocin in social interactions, have emerged. Reproductive ecology provides a theoretical framework for integrating the di­verse content of human behavioral ecology. (shrink)

"Divination and Human Nature" casts a new perspective on the rich tradition of ancient divination--the reading of divine signs in oracles, omens, and dreams. Popular attitudes during classical antiquity saw these readings as signs from the gods while modern scholars have treated such beliefs as primitive superstitions. In this book, Peter Struck reveals instead that such phenomena provoked an entirely different accounting from the ancient philosophers. These philosophers produced subtle studies into what was an odd but observable fact--that humans (...) could sometimes have uncanny insights--and their work signifies an early chapter in the cognitive history of intuition. Examining the writings of Plato, Aristotle, the Stoics, and the Neoplatonists, Struck demonstrates that they all observed how, setting aside the charlatans and swindlers, some people had premonitions defying the typical bounds of rationality. Given the wide differences among these ancient thinkers, Struck notes that they converged on seeing this surplus insight as an artifact of human nature, projections produced under specific conditions by our physiology. For the philosophers, such unexplained insights invited a speculative search for an alternative and more naturalistic system of cognition. Recovering a lost piece of an ancient tradition, "Divination and Human Nature" illustrates how philosophers of the classical era interpreted the phenomena of divination as a practice closer to intuition and instinct than magic. (shrink)

The so-called evolutionary social scienccs are based on the belief that Darwinism can explain the living world and that it therefore should be able to explain other complex systems such as minds and societies. In fact, Darwinism cannot explain biological evolution. It does make an important contribution, but this is towards understanding adaptation, which is a major problem in biology but not in the social sciences. Darwinism has much less to offer to the social sciences than to biology and the (...) shortcomings it brings with it are much greater. (shrink)

The work of Brentano's English contemporary J. E. McTaggart is in several ways profitable for Brentano scholars to study: I here cosider his views on the nature and classification of mental states. In McTaggart's account the characteristic of being a 'cognition', one that some but not all 'cogitations' have, corresponds to Brentano's notion of Anerkennen; quite unlike Brentano, he holds that contrariety obtains only between the contents of judgments, not between contrary acts of affirming and denying; like Brentano however he (...) recognizes contrariety in the realm of emotion and feeling, e.g. between love and hate, pleasure and pain. He regards feelings and emotions as mere colourings of cogitations, and thinks that their relation to an object (intentionality, as Brentano would say) comes about merely from their cogitative aspect. This view is attractively simple; but by considering McTaggart's own view of emotions' being in respect of characteristics of their objects, we can find serious ground to reject it. (shrink)

This ambitious critical history of the variety of disciplines we group together as the social sciences argues that the defining characteristic of social science, both historically and in the present, is ideology. Based originally on a flawed ideal of science, the 'social sciences' have incorporated and refined a set of assumptions about the nature of state and society, assumptions which have been institutionalized with the growth of modern universities. The book is in three main parts. It deals firstly with the (...) history of certain key ides from the early modern period, before exploring the institutional and social features which have shaped the emergence of modern social science. Manicas goes on to reveal the ideological component of mainstream social science, concluding by suggesting and alternative realist philosophy for the future. Rigorous in scholarship and engaging in presentation, the book offers a brilliant combination of wide-ranging historical scholarship and a firm location in the current theoretical dilemmas of the social sciences. (shrink)

This book compares Butler's and Wang's moral vision and conception of conscience. It seeks to advance our ongoing inquiry into the complex encounter between Christianity and Confucianism. The study shows that in both thinkers' treatises are profound consonances that could serve as framework for a constructive interaction between these two civilizations.

This volume showcases six of Deutsch's more notable and influential papers, and include complementary chapters written by other significant contributors working ...

This paper is an "ordinary language" analysis of the philosophical discussion of visual perception in the context of Twentieth Century British "sense datum" theorists, primarily G.E. Moore. -/- The title of the paper is derived from A.J. Ayer's "argument from illusion", which also forms part of the context of this paper. Both Moore and Ayer believed in sense datum theory, but Moore provides an interesting illustration that is intended to clarify (and also prove) sense datum theory in his paper, "A (...) Defence of Common Sense". Moore invites us to inspect his hand. I try to follow suit, but succeed only in falling out with the viewpoints of both Moore and Ayer. (shrink)

While markets are all around us, not all markets are the same. Markets come in a variety of colors based on the legality of activities in the specific market. As such, there is no market economy per se, but instead various shades of markets. The different shades of markets that are evidenced in practice directly depend on the institutional environment that makes certain activities legal or illegal. Shifts in the institutional environment are a result of entrepreneurial activity over the rules (...) of the game. The rules of the game and resulting shade of the market in turn impact entrepreneurs acting within those rules and hence economic development or the lack thereof.L’économie de marché est en réalité une économie des marchés. La variété des marchés s’explique par la légalité des activités sur chacun d’entre eux. Ainsi il n’existe pas une économie de marché en soi, mais plutôt plusieurs formes de marché. Ces formes manifestes de marché sont fonction de l’environnement institutionnel qui rend certaines activités légales ou illégales. Les changements de l’environnement institutionnel sont le résultat de l’activité entrepreneuriale en dehors des règles du jeu. Les règles du jeu ainsi que la forme du marché qui leur est associée influencent à leur tour les actions entrepreneuriales et donc le développement économique. (shrink)