Rob Clifton was one of the most brilliant and productive researchers in the foundations and philosophy of quantum theory, who died tragically at the age of 38. Jeremy Butterfield and Hans Halvorson collect fourteen of his finest papers here, drawn from the latter part of his career (1995-2002), all of which combine exciting philosophical discussion with rigorous mathematical results. Many of these papers break wholly new ground, either conceptually or technically. Others resolve a vague controversy intoa precise technical problem, which (...) is then solved; still others solve an open problem that had been in the air for soem time. All of them show scientific and philosophical creativity of a high order, genuinely among the very best work in the field. The papers are grouped into four Parts. First come four papers about the modal interpretation of quantum mechanics. Part II comprises three papers on the foundations of algebraic quantum field theory, with an emphasis on entanglement and nonlocality. The two papers in Part III concern the concept of a particle in relativistic quantum theories. One paper analyses localization; the other analyses the Unruh effect (Rindler quanta) using the algebraic approach to quantum theory. Finally, Part IV contains striking new results about such central issues as complementarity, Bohr's reply to the EPR argument, and no hidden variables theorems; and ends with a philosophical survey of the field of quantum information. The volume includes a full bibliography of Clifton's publications. Quantum Entanglements offers inspiration and substantial reward to graduates and professionals in the foundations of physics, with a background in philosophy, physics, or mathematics. (shrink)

In this chapter, Rob Lovering provides some possible answers to the question of whether God—understood as an omniscient, omnipotent, omnibenevolent, spiritual, personal deity who created the universe—knows what it’s like to undergo a positive, psychoactive, drug-induced experience; or, as he puts it for short, whether God knows what it’s like to get high. For either God knows what it’s like to get high or he does not and, in any case, interesting metaphysical, epistemological, and value theoretical questions arise. Lovering concludes (...) that, collectively, the possible answers he provides to the question of whether God knows what it’s like to get high generate an intriguing (and paradoxical) conclusion: It is hard to see how God could know what it’s like to get high, but it is also hard to see how he could not know what it’s like to get high. (shrink)

Using poststructural criticism, we explore how the book of Job deconstructs the deed/consequence nexus that stands at the core of the Hebrew Bible’s theological framework – i.e. the doctrine of reward and punishment. Building on both Derridean deconstruction and Foucauldian resistance, we show that the book of Job refuses to comply with the opposite binary of reward and punishment. First, we demonstrate how the friends in their speeches enforce the binary and, thereby, exercise power over Job. Secondly, we consider Job’s (...) resistance and deconstruction of this binary through both his lived experience and desire to argue with God. Finally, we argue how Job’s desire to argue with God challenges God to defend themself in court. In God’s answer, however, one is introduced to a different God than as portrayed by Job’s friends. Moreover, God’s boastful reply, which lacks any justification for Job’s suffering, makes God appear fragile and weak. As such, this article argues that the book of Job may not merely deconstruct dominant ideology, but also God itself. (shrink)

Having studied mathematics, in particular foundations and philosophy of mathematics, it happened that I was asked to teach logic to the students in the Faculty of Philosophy of the Radboud University Nijmegen. It was there that I discovered that logic is much more than just a mathematical discipline consisting of definitions, theorems and proofs, and that logic can and should be embedded in a philosophical context. After ten years of teaching logic at the Faculty of Philosophy at the Radboud University (...) Nijmegen, thirty years at the Faculty of Philosophy of Tilburg University and nine years at the Faculty of Philosophy of the Erasmus University Rotterdam, I got many ideas how to improve my LOGIC book which was published twenty five years ago in 1993 by Verlag Peter Lang. Although the amount of work was enormous, I felt I should do it. It is like working on a large painting where you put some extra color in one corner, add a little detail at another place, shed some more light on a particular face, etc. (shrink)

E.O. Wilson (1975) described humans as one of the four pinnacles of social evolution. The other pinnacles are the colonial invertebrates, the social insects, and the non-human mammals. Wilson separated human sociality from that of the rest of the mammals because, with the exception of the social insect like Naked Mole Rats, only humans have generated societies of a grade of complexity that approaches that of the social insects and colonial invertebrates. In the last few millennia, human societies have even (...) begun to exceed, in numbers of individuals and degree of complexity, the societies of ants, termites, and corals. (shrink)

The availability, range, cost and quality of food in Western societies have never been more favourable, yet food is also the focus of a great deal of anxiety. There are concerns that our current diets will mean we will get steadily fatter and more unhealthy while consuming ‘junk food', with consequences for our quality of life, our children's behaviour and even the environment. This book challenges these ideas and places the food debate in a wider context. As the political imagination (...) and the scope of social policy have narrowed, the focus on the personal and corporeal has filled this gap, creating an inward, individualised perspective that breeds a personal sense of vulnerability and distracts from issues of broader social importance.The book also examines the current use of ‘food as metaphor’ – the way that ‘bad food’ and obesity, for example, have become code words for an elite disdain for the masses, implicitly promoting the idea that the consequences of poverty are the fault of the poor, and that a solution to the problems of social inequality lies in the consumption of five fruit and veg a day.The author also discusses how health fears around food are used as a lever for greater official control of our everyday lives, from lunchbox inspections and school food crusades, to endless media health advice and scientifically-dubious ‘healthy labelling’ initiatives. The upshot of these connected trends is misplaced anxiety and wasted effort fixing what, for the most part, does not need to be fixed. Our modern food system allows us to be healthier than ever before, while transforming food from fuel into a source of entertainment, pleasure and choice.Rob Lyons is Deputy Editor of Spiked Online. (shrink)

_Yanomami_ raises questions central to the field of anthropology—questions concerning the practice of fieldwork, the production of knowledge, and anthropology's intellectual and ethical vision of itself. Using the Yanomami controversy—one of anthropology's most famous and explosive imbroglios—as its starting point, this book draws readers into not only reflecting on but refashioning the very heart and soul of the discipline. It is both the most up-to-date and thorough public discussion of the Yanomami controversy available and an innovative and searching assessment of (...) the current state of anthropology. The Yanomami controversy came to public attention through the publication of Patrick Tierney's best-selling book, _Darkness in El Dorado,_ in which he accuses James Neel, a prominent geneticist who belonged to the National Academy of Sciences, as well as Napoleon Chagnon, whose introductory text on the Yanomami is perhaps the best-selling anthropological monograph of all time, of serious human rights violations. This book identifies the ethical dilemmas of the controversy and raises deeper, structural questions about the discipline. A portion of the book is devoted to a unique roundtable in which important scholars on different sides of the issues debate back and forth with each other. This format draws readers into deciding, for themselves, where they stand on the controversy’s—and many of anthropology’s—central concerns. All of the royalties from this book will be donated to helping the Yanomami improve their healthcare. (shrink)

'Shades of Goodness' is aimed at readers interested in moral theories, and particularly those wishing to construct or defend a moral theory.

This article examines how the availability of Big Data, coupled with new data analytics, challenges established epistemologies across the sciences, social sciences and humanities, and assesses the extent to which they are engendering paradigm shifts across multiple disciplines. In particular, it critically explores new forms of empiricism that declare ‘the end of theory’, the creation of data-driven rather than knowledge-driven science, and the development of digital humanities and computational social sciences that propose radically different ways to make sense of culture, (...) history, economy and society. It is argued that: Big Data and new data analytics are disruptive innovations which are reconfiguring in many instances how research is conducted; and there is an urgent need for wider critical reflection within the academy on the epistemological implications of the unfolding data revolution, a task that has barely begun to be tackled despite the rapid changes in research practices presently taking place. After critically reviewing emerging epistemological positions, it is contended that a potentially fruitful approach would be the development of a situated, reflexive and contextually nuanced epistemology. (shrink)

The iterated prisoner’s dilemma (IPD) has been widely used in the biological and social sciences to model dyadic cooperation. While most of this work has focused on the discrete prisoner’s dilemma, in which actors choose between cooperation and defection, there has been some analysis of the continuous IPD, in which actors can choose any level of cooperation from zero to one. Here, we analyse a model of the continuous IPD with a limited strategy set, and show that a generous strategy (...) achieves the maximum possible payoff against its own type. While this strategy is stable in a neighborhood of the equilibrium point, the equilibrium point itself is always vulnerable to invasion by uncooperative strategies, and hence subject to eventual destabilization. The presence of noise or errors has no effect on this result. Instead, generosity is favored because of its role in increasing contributions to the most efficient level, rather than in counteracting the corrosiveness of noise. Computer simulation using a single-locus infinite alleles Gaussian mutation model suggest that outcomes ranging from a stable cooperative polymorphism to complete collapse of cooperation are possible depending on the magnitude of the mutational variance. Also, making the cost of helping a convex function of the amount of help provided makes it more difficult for cooperative strategies to invade a non-cooperative equilibrium, and for the cooperative equilibrium to resist destabilization by noncooperative strategies. (shrink)

Philosophical reflection on quantum field theory has tended to focus on how it revises our conception of what a particle is. However, there has been relatively little discussion of the threat to the "reality" of particles posed by the possibility of inequivalent quantizations of a classical field theory, i.e., inequivalent representations of the algebra of observables of the field in terms of operators on a Hilbert space. The threat is that each representation embodies its own distinctive conception of what a (...) particle is, and how a "particle" will respond to a suitably operated detector. Our main goal is to clarify the subtle relationship between inequivalent representations of a field theory and their associated particle concepts. We also have a particular interest in the Minkowski versus Rindler quantizations of a free Boson field, because they respectively entail two radically different descriptions of the particle content of the field in the *very same* region of spacetime. We shall defend the idea that these representations provide *complementary descriptions* of the same state of the field against the claim that they embody completely *incommensurable theories* of the field. (shrink)

Although the academic interest in ethical mutual fund performance has developed steadily, the evidence to date is mainly sample-specific. To tackle this critique, new research should extend to unexplored countries. Using this as a motivation, we examine the performance and risk sensitivities of Canadian ethical mutual funds vis-à-vis their conventional peers. In order to overcome the methodological deficiencies most prior papers suffered from, we use performance measurement approaches in the spirit of Carhart (1997, Journal of Finance 52(1): 57–82) and Ferson (...) and Schadt (1996, Journal of Finance 51(2): 425–461). In doing so, we investigate the aggregated performance and investment style of ethical and conventional mutual funds and allow for time variation in the funds’ systematic risk. Our␣Canadian evidence supports the conjecture that any␣performance differential between ethical mutual funds and their conventional peers is statistically insignificant. (shrink)

Emotion, Sense, Experience calls on historians of emotions and the senses to come together in serious and sustained dialogue. The Element outlines the deep if largely unacknowledged genealogy of historical writing insisting on a braided history of emotions and the senses; explains why recent historical treatments have sometimes profitably but nonetheless unhelpfully segregated the emotions from the senses; and makes a compelling case for the heuristic and interpretive dividends of bringing emotions and sensory history into conversation. Ultimately, we envisage a (...) new way of understanding historical lived experience generally, as a mutable product of a situated world-brain-body dynamic. Such a project necessarily points us towards new interdisciplinary engagement and collaboration, especially with social neuroscience. Unpicking some commonly held assumptions about affective and sensory experience, we re-imagine the human being as both biocultural and historical, reclaiming the analysis of human experience from biology and psychology and seeking new collaborative efforts. (shrink)

The troubling ethics and politics of philanthropy Is philanthropy, by its very nature, a threat to today’s democracy? Though we may laud wealthy individuals who give away their money for society’s benefit, Just Giving shows how such generosity not only isn’t the unassailable good we think it to be but might also undermine democratic values and set back aspirations of justice. Big philanthropy is often an exercise of power, the conversion of private assets into public influence. And it is a (...) form of power that is largely unaccountable, often perpetual, and lavishly tax-advantaged. The affluent—and their foundations—reap vast benefits even as they influence policy without accountability. And small philanthropy, or ordinary charitable giving, can be problematic as well. Charity, it turns out, does surprisingly little to provide for those in need and sometimes worsens inequality. These outcomes are shaped by the policies that define and structure philanthropy. When, how much, and to whom people give is influenced by laws governing everything from the creation of foundations and nonprofits to generous tax exemptions for donations of money and property. Rob Reich asks: What attitude and what policies should democracies have concerning individuals who give money away for public purposes? Philanthropy currently fails democracy in many ways, but Reich argues that it can be redeemed. Differentiating between individual philanthropy and private foundations, the aims of mass giving should be the decentralization of power in the production of public goods, such as the arts, education, and science. For foundations, the goal should be what Reich terms “discovery,” or long-time-horizon innovations that enhance democratic experimentalism. Philanthropy, when properly structured, can play a crucial role in supporting a strong liberal democracy. Just Giving investigates the ethical and political dimensions of philanthropy and considers how giving might better support democratic values and promote justice. (shrink)

Entanglement has long been the subject of discussion by philosophers of quantum theory, and has recently come to play an essential role for physicists in their development of quantum information theory. In this paper we show how the formalism of algebraic quantum field theory (AQFT) provides a rigorous framework within which to analyse entanglement in the context of a fully relativistic formulation of quantum theory. What emerges from the analysis are new practical and theoretical limitations on an experimenter's ability to (...) perform operations on a field in one spacetime region that can disentangle its state from the state of the field in other spacelike-separated regions. These limitations show just how deeply entrenched entanglement is in relativistic quantum field theory, and yield a fresh perspective on the ways in which the theory differs conceptually from both standard non-relativistic quantum theory and classical relativistic field theory. (shrink)

Intuitionistically. a set has to be given by a finite construction or by a construction-project generating the elements of the set in the course of time. Quantification is only meaningful if the range of each quantifier is a well-circumscribed set. Thinking upon the meaning of quantification, one is led to insights?in particular, the so-called continuity principles?which are surprising from a classical point of view. We believe that such considerations lie at the basis of Brouwer?s reconstruction of mathematics. The predicate ?α (...) is lawless? is not acceptable, the lawless sequences do not form a well-circumscribed intuitionistic set, and quantification over lawless sequences does not make sense. (shrink)

Two key elements define the modern-day version of a socially responsible corporation: (1) targeting business activities on value creation in three dimensions, and (2) maintaining relationships with stakeholders. In this article, we argue that a proper understanding of Corporate Social Responsibility (CSR) lies in the intrinsic link between these two elements. A relational approach to CSR is called for. Circles of stakeholders reflect the level of involvement of different stakeholders with a corporation and the dynamics of their relations. In a (...) globalising world, connecting corporations to outer-circle groups of stakeholders can be substantially rewarding. Partnerships with Non-Governmental Organisations (NGOs) present a useful strategy for governance for the benefit of all. (shrink)

This paper explores the Hizb ut Tahrir web forum by developing a coding and counting methodology that seeks to split opinions on the forum into categories and to rate them by their quality and by how much they were viewed. This methodology is innovative and enables the identification not just of the most aired topic, but of the one that is most likely to have an influence. It finds that the strongest type of posting (as defined by the methodology employed) (...) comes from those with extremely anti-Western opinion and that terrorism and other violence also feature. Explicit mention of violence is dwarfed by the amount of anti-western posting that does not include a call to violent action. However, the forum probably provides a rich seed-bed in which such violent conversations can occur. Whilst the forum does contain some alternative opinions, these are very minor voices on an otherwise quite extreme forum. Although the paper does not make policy recommendations, there are potential policy implications of this, especially in terms of ongoing discussions in the western world over whether or not to ban the movement. (shrink)

Some people (e.g., Drs. Paul and Susan Lim) and, with them, organizations (e.g., the National Embryo Donation Center) believe that, morally speaking, the death of a frozen human embryo is a very bad thing. With such people and organizations in mind, the question to be addressed here is as follows: if one believes that the death of a frozen embryo is a very bad thing, ought, morally speaking, one prevent the death of at least one frozen embryo via embryo adoption? (...) By way of a three‐premise argument, one of which is a moral principle first introduced by Peter Singer, my answer to this question is: at least some of those who believe this ought to. (Just who the “some” are is identified in the paper.) If this is correct, then, for said people, preventing the death of a frozen embryo via embryo adoption is not a morally neutral matter; it is, instead, a morally laden one. Specifically, their intentional refusal to prevent the death of a frozen embryo via embryo adoption is, at a minimum, morally criticizable and, arguably, morally forbidden. Either way, it is, to one extent or another, a moral failing. (shrink)

It's time to see Photoshop as a tool of your craft This book is not about "fixing it in Photoshop." It's about how you, the serious nature photographer, can use technology to enhance your art. Rob Sheppard sees Photoshop not as an eraser for mistakes and the effects of careless shooting, but as an artist's tool, one that assists you in the craft of producing art from your digital camera. He shows you how to use Photoshop CS2 to extend tonal (...) range, remove color haze, correct lens distortions, create multi-frame panoramas, and so much more--all to reveal the work of art you knew was there all along. * Learn to apply Photoshop techniques to the unique requirements of landscape and nature photography * Be aware of correct exposure when shooting for Photoshop * Use layers to enhance images and correct tonality and color for optimum images * Discover a better way of dodging and burning * Understand midtones and manage color correction with an eye to the finished product * Process images twice in Camera Raw for better shadow and highlight detail * Explore how Photoshop CS2 can support proven techniques used by the masters of traditional nature photography Photoshop offers great power for controlling color so you can get natural, realistic colors that best express what you see in nature Unsharp Mask is unmasked so that you can get the most from this powerful sharpening tool Utilize the best methods of black-and-white conversion. (shrink)

ABSTRACT In this paper I explore the role of imagination in ethical life. I do so by discussing the thought of Kierkegaard and Murdoch, both of whom stress the importance as well as the dangerousness of imagination for ethical life. Both distinguish between proper imagination and mere fantasy in dealing with the tension. Anti-Climacus’s views on imagination emphasize that the proper use of the imagination plays a vital role in realizing the fundamental ethical task of becoming ourselves, whereas fantasy only (...) alienates us from ourselves. Murdoch’s account of imagination stresses that a proper use of the imagination contributes to the realization of a selfless attunement to the world, whereas fantasy only reinforces the (what she describes as) ‘fat, relentless ego’. In the final part of the paper I discuss some existing comparisons between both accounts. I conclude by drawing attention to the fundamental choice that comparing their views on the role of imagination in ethical life confronts us with: should we be existentialists or mystics in ethics? (shrink)

A flourishing literature assesses how sustainable business models create and capture value in socio-ecological systems. Nevertheless, we still know relatively little about how the organization of sustainable business models—of which cross-sector partnerships represent a core and distinctive mechanism—can support socio-ecological resilience. We address this knowledge gap by taking a complex adaptive systems (CAS) perspective. We develop a framework that identifies the key strategic, institutional, and learning elements of partnerships that sustainable business models rely on to support socio-ecological resilience. With our (...) analytical framework, we underpin the importance of assessing sustainable business initiatives in terms of their impact on resilience at the level of socio-ecological systems, not just of organizations. Therefore, we reveal how cross-sector partnerships provide the organizational support for sustainable business models to support socio-ecological resilience. By combining the key features of CAS and the key elements of partnerships, we provide insight into the formidable task of designing cross-sector partnerships so that they support socio-ecological resilience and avoid unintended consequences. (shrink)

Is society an organic whole with each of its many components working together like the organs in a body? Like organisms, societies are composed of many parts which seem to work together enhance their survival. Different people fulfill different, necessary role—subsistence, reproduction, coordination, and defense. Regular exchange of matter and energy guarantees that each component has the resources it needs. Norms, laws and customs regulate virtually every aspect of social interaction, who may marry who, how disputes are resolved, and how (...) verbs should be conjugated. Ritual and religion provide comfort to the sick and fearful, maintain a feeling of solidarity and belonging, and serve to preserve and transmit knowledge through time. Even the simplest human societies seem like complex machines designed for growth and survival. (shrink)

Most discussions on animal experimentation refer to domesticated animals and regulations are tailored to this class of animals. However, wild animals are also used for research, e.g., in biological field research that is often directed to fundamental ecological-evolutionary questions or to conservation goals. There are several differences between domesticated and wild animals that are relevant for evaluation of the acceptability of animal experiments. Biological features of wild animals are often more critical as compared with domesticated animals because of their survival (...) effects. An important issue is what is called here ``natural suffering'''': the suffering from natural circumstances. Should this type of suffering be taken into account when suffering from experimentation is evaluated? As an answer, it is suggested that ``natural functioning'''' should be considered as an additional standard in the evaluation of wild animal experimentation. Finally, two topics related to the ecological context are considered. Firstly, the often inevitable involvement of non-research animals in wild animal experimentation, and secondly, the eco-centric approach to nature conservation. According to the latter position, animals are subordinated to ecosystems. All these aspects make the evaluation of wild animal experiments much more complex than experiments with domesticated animals. Preliminary scores are proposed to deal with these aspects. It is argued that this should not lead to a more complex governmental regulation, since an effective maintenance and control are hard to realize and one may loose the cooperation of researchers themselves. In addition, non-governmental professional organizations such as research societies and funding organizations play a pivotal role. (shrink)

Environmental ethics has to deal with the challenge of reconciling contrasting ecocentric and animal-centric perspectives. Two classic attempts at this reconciliation, which both adopted the metaphor of concentric circles, are discussed. It is concluded that the relationship between the animal and its environment, whether the latter is human or natural, should be a pivotal element of such reconciliation. An alternative approach is presented, inspired by care ethics, which proposes that caring for wild animals implies caring for their relationship to the (...) natural environment and thus taking action to maintain wildlife habitat. This type of care is labelled non-specific care because it is not directed towards the individual wild animal and its specific individual needs. In contrast, caring for domestic animals is called specific care because it is much more directed towards the individual animal's needs. (shrink)

If culture is defined as variation acquired and maintained by social learning, then culture is common in nature. However, cumulative cultural evolution resulting in behaviors that no individual could invent on their own is limited to humans, song birds, and perhaps chimpanzees. Circumstantial evidence suggests that cumulative cultural evolution requires the capacity for observational learning. Here, we analyze two models the evolution of psychological capacities that allow cumulative cultural evolution. Both models suggest that the conditions which allow the evolution of (...) such capacities when rare are much more stringent than the conditions which allow the maintenance of the capacities when common. This result follows from the fact that the assumed benefit of the capacities, cumulative cultural adaptation, cannot occur when the capacities are rare. These results suggest why such capacities may be rare in nature. (shrink)

RE-ISSUED WITH INDEX 'Therapy may be mad,' declares Rob Weatherill in this outspoken volume. Therapy here means particularly psychotherapy and counselling, but should be also taken to signify the universal logic of the post-modern therapeutic culture of well-being, happiness and enjoyment. More and more people want to believe in therapy who have lost belief in anything else. Counselling and therapy increasingly inform all human interaction. The dominant ethos is a holistic one. This book aims to refute, primarily through the prism (...) of modern psychoanalysis and key theorists like Baudrillard, Levinas, Lyotard, Paz, Steiner, Reiff as well as Žižek, the fashion for a return to a pre-Cartesian ideal of harmony and integration. On the contrary, there is something monstrous, something excessive, that Freud termed the death drive, at the heart of the Real upon which ordinary reality, so to speak, rests. Enlightenment thought, in which we in the West in particular are caught, is entirely incapable of going beyond the ideal humanist version of man – our last great illusion. (shrink)

We show that three fundamental information-theoretic constraints -- the impossibility of superluminal information transfer between two physical systems by performing measurements on one of them, the impossibility of broadcasting the information contained in an unknown physical state, and the impossibility of unconditionally secure bit commitment -- suffice to entail that the observables and state space of a physical theory are quantum-mechanical. We demonstrate the converse derivation in part, and consider the implications of alternative answers to a remaining open question about (...) nonlocality and bit commitment. (shrink)

In this article I develop a new perspective on Kierkegaard’s ethics of becoming oneself. I understand this important subject from the perspective of moral exemplarity, a viewpoint for which there has not been sufficient attention in Kierkegaard scholarship on the subject of becoming oneself. On the basis of a combined reading of his The sickness unto death and his Practice in Christianity I show that Kierkegaard argues, under the pseudonym Anti-Climacus, that one becomes oneself through the imitation of Christ. I (...) elaborate this Christian ethics of becoming oneself by focusing on the transition from philosophy to theology in Anti-Climacus’ ethics, and, moreover, by making clear, first, how one can become oneself through the imitation of Christ; second, why one should, according to Anti-Climacus, imitate Christ; and third, what exactly should be imitated in the imitation of Christ. In the conclusion of this article I argue that, contra a dominant interpretation among Kierkegaard scholars, human beings can be themselves according to Anti-Climacus. (shrink)

Depending on what one means by the main connective of logic, the -if..., then... -, several systems of logic result: classic and modal logics, intuitionistic logic or relevance logic. This book presents the underlying ideas, the syntax and the semantics of these logics. Soundness and completeness are shown constructively and in a uniform way. Attention is paid to the interdisciplinary role of logic: its embedding in the foundations of mathematics and its intimate connection with philosophy, in particular the philosophy of (...) language. Set theory is presented both as a conditio sine qua non for logic and as a interesting exact ontology. The study of infinite sets yields perplexing results. Formalization of informal number theory results in formal number theory; Godel's incompleteness is treated. At appropriate places attention is paid to paradoxes, intuitionism, conditionals, the historical development of logic, to logic programming and automated theorem proving for classical logic.". (shrink)