Combinatory logic and lambda-conversion were originally devised in the 1920s for investigating the foundations of mathematics using the basic concept of 'operation' instead of 'set'. They have now developed into linguistic tools, useful in several branches of logic and computer science, especially in the study of programming languages. These notes form a simple introduction to the two topics, suitable for a reader who has no previous knowledge of combinatory logic, but has taken an undergraduate course in predicate calculus and recursive (...) functions. The key ideas and basic results are presented, as well as a number of more specialised topics, and man), exercises are included to provide manipulative practice. (shrink)

Introduction Combinatory logic deals with a class of formal systems designed for studying certain primitive ways in which functions can be combined to form ...

The author identifies and defines the features of traditional utilitarian theories which account for their appeal, demonstrates that no theory which is exclusively act-oriented can have all the properties that ultilitarians have attempted to build into their theories, and develops a new theory co-operative utilitarianism.

Xenophon's concern with morality in his more philosophical writings is evident. But that concern embraces also his approach to history. In the Hellenica this interest in morality is not to be written off as a matter of marginal comment, but, it may be claimed, is integral to the historian's purpose. He is one for whom the determinants of history are the personalities and actions of great men, and it is natural for him to observe the interaction between personal morality and (...) political and military actions. It is from this standpoint that the present article seeks to illustrate from Xenophon's writings one aspect of his outlook on these matters, – the role of self-control over homoerotic desire in the context of military history. How far we can go behind his text to determine ‘what actually happened’ or use his testimony in developing a wider understanding of erōs in classical Greece at large are matters for further enquiry. (shrink)

One of the basic results in the theory of λ-conversion is the Church-Rosser Theorem, which says that, using certain rules for conversion and reduction of λ-formulae, any two interconvertible formulae can both be reduced to one formula. (I will not explain this in detail, as λ-conversion is described fully in Church's [2], where the Church-Rosser Theorem is Theorem 7 XXVII; see also Chapter 4 of Curry and Feys' [3].) The first part of the present paper contains an abstract form of (...) this theorem. (shrink)

In a previous article I attempted to trace the way in which, for Xenophon, homosexual liaisons might or might not affect the discipline of military life, and the emphasis which he placed upon the virtue of self-control in dealing with desires of this kind. The present paper seeks to broaden the enquiry into a study of Xenophon's attitude to male same-sex affairs in general.

The author believes that large‐scale rationality on the part of the interpretant is essential to his interpretability, and therefore, in his view, to her having a mind. How, then are cases of irrationality, such as akrasia or self‐deception, judged by the interpretant's own standards, possible? He proposes that, in order to resolve the apparent paradoxes, one must distinguish between accepting a contradictory proposition and accepting separately each of two contradictory propositions, which are held apart, which in turn requires to conceive (...) of the mind as containing a number of semi‐independent structures of interlocking beliefs, desires, emotions, memories, and other mental states. (shrink)

Mystery: the scalpel that split consciousness -- Beauty: sirens of the gene -- Reality: capers of the unseen sun -- Sensory: fitness beats truth -- Illusory: the bluff of a desktop -- Gravity: spacetime is doomed -- Virtuality: inflating a holoworld -- Polychromy: mutations of an interface -- Scrutiny: you get what you need, in both life and business -- Community: the network of conscious agents -- Precisely: the right to be wrong.

Around the globe, economists affect markets by saying what markets are doing, what they should do, and what they will do. Increasingly, experimental economists are even designing real-world markets. But, despite these facts, economists are still largely thought of as scientists who merely observe markets from the outside, like astronomers look at the stars. Do Economists Make Markets? boldly challenges this view. It is the first book dedicated to the controversial question of whether economics is performative--of whether, in some cases, (...) economics actually produces the phenomena it analyzes.The book's case studies--including financial derivatives markets, telecommunications-frequency auctions, and individual transferable quotas in fisheries--give substance to the notion of the performativity of economics in an accessible, nontechnical way. Some chapters defend the notion; others attack it vigorously. The book ends with an extended chapter in which Michel Callon, the idea's main formulator, reflects upon the debate and asks what it means to say economics is performative.The book's insights and strong claims about the ways economics is entangled with the markets it studies should interest--and provoke--economic sociologists, economists, and other social scientists.In addition to the editors and Callon, the contributors include Marie-France Garcia-Parpet, Francesco Guala, Emmanuel Didier, Philip Mirowski, Edward Nik-Khah, Petter Holm, Vincent-Antonin Lépinay, and Timothy Mitchell. (shrink)

Applying the rules and systems of mathematics and logic to instance ontology, this work argues for the validity and problem-solving capacities of instance ontology, and associates it with a version of the realist position which is named by the author as moderate realism.

Patterns in the data on human sexuality support the hypothesis that the bases of sexual emotions are products of natural selection. Most generally, the universal existence of laws, rules, and gossip about sex, the pervasive interest in other people's sex lives, the widespread seeking of privacy for sexual intercourse, and the secrecy that normally permeates sexual conduct imply a history of reproductive competition. More specifically, the typical differences between men and women in sexual feelings can be explained most parsimoniously as (...) resulting from the extraordinarily different reproductive opportunities and constraints males and females normally encountered during the course of evolutionary history. Men are more likely than women to desire multiple mates; to desire a variety of sexual partners; to experience sexual jealousy of a spouse irrespective of specific circumstances; to be sexually aroused by the sight of a member of the other sex; to experience an autonomous desire for sexual intercourse; and to evaluate sexual desirability primarily on the bases of physical appearance and youth.The evolutionary causes of human sexuality have been obscured by attempts to find harmony in natural creative processes and human social life and to view sex differences as complementary. The human female's capacity for orgasm and the loss of estrus, for example, have been persistently interpreted as marriage-maintaining adaptations. Available evidence is more consistent with the view that few sex differences in sexuality are complementary, that many aspects of sexuality undermine marriage, and that sexuality is less a unifying than a divisive force in human affairs. (shrink)

Part I: Inductivism and its Critics:. 1. Some Historical Background: Inductivism, Russell and the Cambridge School, the Vienna Circle and Popper. 2. Popper’s Critique of Inductivism. 3. Duhem’s Critique of Inductivism. Part II: Conventionalism and the Duhem-Quine Thesis:. 4. Poincare’s Conventionalism of 1902. 5. The Duhem Thesis and the Quine Thesis. Part III: The Nature of Observation:. 6. Observation Statements: the Views of Carnap, Neurath, Popper and Duhem. 7. Observation Statements: Some Psychological Findings. Part IV: The Demarcation between Science and (...) Metaphysics:. 8. Is Metaphysics Meaningless? Wittgenstein, the Vienna Circle and Popper’s Critique. 9. Metaphysics in relation to Science: the Views of Popper, Duhem and Quine. 10. Falsification in the light of the Duhem-Quine Thesis. (shrink)

The work argues that engaging Africa's cultural and epistemic resources as social imaginaries, and not as metaphysical or ontological “essences,” could help practitioners of African philosophy overcome the cluster of shortcomings and undesirable features associated with “ethnophilosophy.” A number of points are outlined to buttress this claim. First, the framework of social imaginaries does not operate with the false assumption that Africa's cultural forms and epistemic resources are static and immutable. Second, this framework does not lend itself to sweeping generalizations (...) about Africa or large swathes of it. Third, the framework of social imaginaries remedies ethnophilosophy's problem of collectivism. Fourth, unlike ethnophilosophy, it does not romanticize and canonize a supposedly “idyllic” African past, which militates against a realistic and forward‐looking philosophizing. Finally, with the framework of social imaginaries, Africa's indigenous cultural and epistemic resources become amenable to being engaged with critical philosophical rigor. This not only enhances their potential for cross‐cultural philosophical conversation but also enhances their usefulness for addressing current sociopolitical issues affecting Africa. The discussion in this paper somewhat touches upon the question of method in African philosophy, using the ethnophilosophy problem to navigate the vast gamut of issues involved. (shrink)

There is more than one way to say that composition is identity. Yi has distinguished the Weak Composition thesis from the Strong Composition thesis and attributed the former to David Lewis while noting that Lewis associates something like the latter with me. Weak Composition is the thesis that the relation between the parts collectively and their whole is closely analogous to identity. Strong Composition is the thesis that the relation between the parts collectively and their whole is identity. Yi is (...) right that Strong Composition does not fully reflect my view. We must recognize further what, borrowing Lewis's characterization, could be called the "stronger, and stranger" Composition thesis, or what I'll call the Stronger Composition thesis for short. On Strong Composition, it is only collectively that the parts are identical with the whole. On Stronger Composition, they are individually identical with it as well. I will explain and motivate this thesis. (shrink)

According to the Weak Supplementation Principle (WSP)—a widely received principle of mereology—an object with a proper part, p , has another distinct proper part that doesn't overlap p . In a recent article in this journal, Nikk Effingham and Jon Robson employ WSP in an objection to endurantism. I defend endurantism in a way that bears on mereology in general. First, I argue that denying WSP can be motivated apart from the truth of endurantism. I then go on to offer (...) an explanation of WSP's initial appeal, argue that denying WSP fails to have untoward consequences for the rest of mereology, and show that the falsity of WSP is consistent with a primary guiding thought behind it. (shrink)

For most of the two hundred years or so that have passed since the publication of the Wealth of Nations, Adam Smith's writings on political and economic questions have been viewed within a liberal capitalist perspective of nineteenth- and twentieth- century provenance. This essay in interpretation seeks to provide a more historical reading of certain political themes which recur in Smith's writings by bringing eighteenth-century perspectives to bear on the problem. Contrary to the view that sees Smith's work as marking (...) the point at which 'politics' was being eclipsed by 'economics', it claims that Smith has a 'politics' which goes beyond certain political attitudes connected with the role of the state in economic affairs. It argues that he employs a consistent mode of political analysis which cannot be encompassed within the standard liberal capitalist categories, but can be understood by reference to the language and qualities of contemporary political debate, and of the eighteenth-century science of politics cultivated by Montesquieu and, above all, Hume, particularly as revealed by recent scholarship. A concluding chapter draws the various strands of the interpretation together to form a portrait of what Smith might legitimately be said to have been doing when he wrote on these matters. (shrink)

One of the attractions of the Humean instrumentalist theory of practical rationality is that it appears to offer a special connection between an agent's reasons and her motivation. The assumption that Humeanism is able to assert a strong connection between reason and motivation has been challenged, most notably by Christine Korsgaard. She argues that Humeanism is not special in the connection it allows to motivation. On the contrary, Humean theories of practical rationality do connect reasons and motivation in a unique (...) and attractive way, though the nature of this connection has sometimes been misunderstood by both defenders and detractors of the theory. (shrink)

Neo-Humean instrumentalists hold that anagent's reasons for acting are grounded in theagent's desires. Numerous objections have beenleveled against this view, but the mostcompelling concerns the problem of ``aliendesires'' – desires with which the agent doesnot identify. The standard version ofneo-Humeanism holds that these desires, likeany others, generate reasons for acting. Avariant of neo-Humeanism that grounds anagent's reasons on her values, rather than allof her desires, avoids this implication, but atthe cost of denying that we have reasons to acton innocent whims. (...) A version of neo-Humeanismthat holds that an agent has reason to satisfyall of her desires that are not in conflictwith her values appears to allow us to grantthe reason-giving force of innocent whims whiledenying the reason-giving force of alien desires. (shrink)

Reproduced here in facsimile, this volume was originally published in 1963 and is available individually. The collection is also available in a number of themed mini-sets of between 5 and 13 volumes, or as a complete collection.

Phronesis is often described as a ‘practical wisdom’ adapted to the matters of everyday human life. Phronesis enables one to judge what is at stake in a situation and what means are required to bring about a good outcome. In medicine, phronesis tends to be called upon to deal with ethical issues and to offer a critique of clinical practice as a straightforward instrumental application of scientific knowledge. There is, however, a paucity of empirical studies of phronesis, including in medicine. (...) Using a hermeneutic and phenomenological approach, this inquiry explores how phronesis is manifest in the stories of clinical practice of eleven exemplary physicians. The findings highlight five overarching themes: ethos (or character) of the physician, clinical habitus revealed in physician know-how, encountering the patient with attentiveness, modes of reasoning amidst complexity, and embodied perceptions (such as intuitions or gut feeling). The findings open a discussion about the contingent nature of clinical situations, a hermeneutic mode of clinical thinking, tacit dimensions of being and doing in clinical practice, the centrality of caring relations with patients, and the elusive quality of some aspects of practice. This study deepens understandings of the nature of phronesis within clinical settings and proposes ‘Clinical phronesis’ as a descriptor for its appearance and role in the daily practice of (exemplary) physicians. (shrink)

The Cambridge Companion to Socrates is a collection of essays providing a comprehensive guide to Socrates, the most famous Greek philosopher. Because Socrates himself wrote nothing, our evidence comes from the writings of his friends (above all Plato), his enemies, and later writers. Socrates is thus a literary figure as well as a historical person. Both aspects of Socrates' legacy are covered in this volume. Socrates' character is full of paradox, and so are his philosophical views. These paradoxes have led (...) to deep differences in scholar's interpretation of Socrates and his thought. Mirroring this wide range of thought about Socrates, this volume's contributors are unusually diverse in their background and perspective. The essays in this volume were authored by classical philologists, philosophers, and historians from Germany, Francophone Canada, Britain, and the United States, and they represent a range of interpretive and philosophical traditions. (shrink)

ABSTRACT According to David Lewis, alteration is "qualitative difference between temporal parts of something." It follows that moments, since they are simple and lack temporal parts, cannot alter from future to present to past. Here then is another way to put McTaggart's paradox about change in tense. I will appeal to my theory of Aspects to rebut the thought behind this rendition of McTaggart. On my theory, it is possible that qualitatively differing things be numerically identical. I call these differing, (...) numerically identical things "aspects." I will argue that alteration can be a qualitative difference between temporal aspects of something that lacks temporal parts. So a moment can alter in tense. By rejecting Lewis's assumption my theory can solve this version of McTaggart's paradox. (shrink)

Part 1. Introduction -- Introduction: Navigating the Perfect Moral Storm in Light of a Thirty-Five Year Debate -- Thirty-Five Year Climate Change Policy Debate -- Part 2. Priority Ethical Issues -- Ethical Problems with Cost Arguments -- Ethics and Scientific Uncertainty Arguments -- Atmospheric Targets -- Allocating National Emissions Targets -- Climate Change Damages and Adaptation Costs -- Obligations of Sub-national Governments, Organizations, Businesses, and Individuals -- Independent Responsibility to Act -- Part 3. The Crucial Role of Ethics in Climate (...) Change Policy Making -- Why Has Ethics Failed to Achieve Traction? -- Conclusion: Navigating the Perfect Moral Storm. (shrink)

As the accompanying articles in the Special Issue on Semiotic Scaffolding will attest, my colleagues in biosemiotics have done an exemplary job in showing us how to think about the critically generative role that semiotic scaffolding plays “vertically” – i.e., in evolutionary and developmental terms – by “allowing access to the upper floors” of biological complexity, cognition and evolution.In addition to such diachronic considerations of semiotic scaffolding, I wish to offer here a consideration of semiotic scaffolding’s synchronic power, as well (...) – and in particular the ability that it can afford its users to access new and other sign relations “horizontally” as a function of the way that multiple semiotically scaffolded relations intertwine to result in a “definite semantic topology that determines the ways that symbols modify each other’s referential functions in different combinations”.Taking up, in turn, Terrence Deacon’s later challenge that what the sciences of cognition – and biology more generally – needs to “come to grips with [is] the process of semiosis; the dynamic of interpretive activity by which semiotic relationships emerge from other semiotic relationships [as] intrinsically dynamic phases in a generative process”, I attempt here to show how Deacon’s own Peirce-inspired matrix of referential sign relations as presented in The Symbolic Species, when viewed as a semiotic scaffold of interactional constraints and possibility biases, provides the key to understanding the essentially thirdness-manifesting nature of symbol reference, formation and growth. (shrink)

Hume discusses the distinction of reason to explain how we distinguish things inseparable, and so identical, e.g., the color and figure of a white globe. He says we note the respect in which the globe is similar to a white cube and dissimilar to a black sphere, and the respect in which it is dissimilar to the first and similar to the second. Unfortunately, Hume takes these differing respects of resemblance to be identical with the white globe itself. Contradiction results, (...) undermining his theory of abstraction. The way out is apparently to admit an intrinsic complexity in even simple things. (shrink)

In a well-known paper, Bernard Williams argues that an immortal life would not be worth living, for it would necessarily become boring. I examine the implications for the boredom thesis of three human traits that have received insufficient attention in the literature on Williams’ paper. First, human memory decays, so humans would be entertained and driven by things that they experienced long before but had forgotten. Second, even if memory does not decay to the extent necessary to ward off boredom, (...) once-satisfied desires often return after a sufficient period of time. Eternity would always contain sufficient time for our desires to rejuvenate. Third, even if too many of our desires were satisfied but not yet rejuvenated, we can expect that human ingenuity would continue to invent new pursuits, pastimes, careers, and ways of life that would prevent us from becoming bored as we moved from one to another. Finally, I consider and respond to several objections, including the claims that as much variety as I propose to be put into an eternal life is inconsistent with having one character throughout one’s life and that the sort of character change and memory decay I postulate is inconsistent with personal identity. (shrink)

The generation of evidence is integral to the work of public health and health service providers. Traditionally, ethics has been addressed differently in research projects, compared with other forms of evidence generation, such as quality improvement, program evaluation, and surveillance, with review of non-research activities falling outside the purview of the research ethics board. However, the boundaries between research and these other evaluative activities are not distinct. Efforts to delineate a boundary – whether on grounds of primary purpose, temporality, underlying (...) legal authority, departure from usual practice, or direct benefits to participants – have been unsatisfactory. (shrink)