After half a century of cognitive revolution we remain far from agreement about what cognition is and what cognition does. It was once thought that these questions could wait until the data were in. Today there is a mountain of data, but no way of making sense of it. The time for tackling the fundamental issues has arrived. The biogenic approach to cognition is introduced not as a solution but as a means of approaching the issues. The traditional, and still (...) predominant, methodological stance in cognitive inquiry is what I call the anthropogenic approach: assume human cognition as the paradigm and work ‘down’ to a more general explanatory concept. The biogenic approach, on the other hand, starts with the facts of biology as the basis for theorizing and works ‘up’ to the human case by asking psychological questions as if they were biological questions. Biogenic explanations of cognition are currently clustered around two main frameworks for understanding biology: self-organizing complex systems and autopoiesis. The paper describes the frameworks and infers from them ten empirical principles—the biogenic ‘family traits’—that constitute constraints on biogenic theorizing. Because the anthropogenic approach to cognition is not constrained empirically to the same degree, I argue that the biogenic approach is superior for approaching a general theory of cognition as a natural phenomenon. (shrink)

A main thread of the debate over mathematical realism has come down to whether mathematics does explanatory work of its own in some of our best scientific explanations of empirical facts. Realists argue that it does; anti-realists argue that it doesn't. Part of this debate depends on how mathematics might be able to do explanatory work in an explanation. Everyone agrees that it's not enough that there merely be some mathematics in the explanation. Anti-realists claim there is nothing mathematics can (...) do to make an explanation mathematical ; realists think something can be done, but they are not clear about what that something is. I argue that many of the examples of mathematical explanations of empirical facts in the literature can be accounted for in terms of Jackson and Pettit's [1990] notion of program explanation, and that mathematical realists can use the notion of program explanation to support their realism. This is exactly what has happened in a recent thread of the debate over moral realism. I explain how the two debates are analogous and how moves that have been made in the moral realism debate can be made in the mathematical realism debate. However, I conclude that one can be a mathematical realist without having to be a moral realist. (shrink)

It is natural to think of precise probabilities as being special cases of imprecise probabilities, the special case being when one’s lower and upper probabilities are equal. I argue, however, that it is better to think of the two models as representing two different aspects of our credences, which are often vague to some degree. I show that by combining the two models into one model, and understanding that model as a model of vague credence, a natural interpretation arises that (...) suggests a hypothesis concerning how we can improve the accuracy of aggregate credences. I present empirical results in support of this hypothesis. I also discuss how this modeling interpretation of imprecise probabilities bears upon a philosophical objection that has been raised against them, the so-called inductive learning problem. (shrink)

We theorize that social media will reduce the incidence of corporate greenwash. Drawing on the management literature on decoupling and the economic literature on information disclosure, we characterize specifically where this effect is likely to be most pronounced. We identify important differences between social media and traditional media, and present a theoretical framework for understanding greenwash in which corporate environmental communications may backfire if citizens and activists feel a company is engaging in excessive self-promotion. The framework allows us to draw (...) out a series of propositions regarding the impact of social media on corporate decisions whether to greenwash, and what channels to use for environmental communication. We conclude with a number of suggestions for future research. (shrink)

Governing by identity describes the emerging regime of a globalizing, mobile world. Governance depends on identification but identification increasingly depends on biometrics. This 'solution' to difficulties of verification is described and some technical weaknesses are discussed. The role of biometrics in classification systems is also considered and is shown to contain possible prejudice in relation to racialized criteria of identity. Lastly, the culture of biometric identification is shown to be limited to abstract data, artificially separated from the lived experience of (...) the body including the orientation to others. It is proposed that creators of national ID systems in particular address these crucial deficiencies in their attempt to provide new modes of verification. (shrink)

In the mid-1990s, fairtrade-organic registration data showed that only 9 % of Oaxaca, Mexico’s organic coffee ‘farm operators’ were women; by 2013 the female farmer rate had increased to 42 %. Our research investigates the impact of this significant increase in women’s coffee association participation among 210 members of two coffee producer associations in Oaxaca, Mexico. We find that female coffee organization members report high levels of household decision-making power and they are more likely than their male counterparts to report (...) control over their coffee income. These significant advances in women’s agency within the household are offset by the fact that the women experience significant time poverty as they engage in coffee production while bearing a disproportionate share of domestic labor obligations. The women coffee producers view organizational labor as a third burden on their time, after their reproductive and productive labor. The time poverty they experience limits their ability to fully participate in coffee organizational governance and consequently there are few women leaders at all levels of the coffee producer businesses. This is problematic because it limits women’s ability to fully benefit from organizational membership: when women fully participate in governance they gain valuable business and leadership skills and producer associations with active female members may also be more likely to develop and maintain programs and policies that enhance gender equity. Our findings indicate that targeted agricultural development programs to improve gender equity among agricultural smallholders should involve creative ways to ease women’s labor burdens and reduce their time poverty in order to facilitate full organizational participation. The research findings fill a gap in existing studies of agricultural global value chains (GVCs) by demonstrating how the certified coffee GVC depends on women’s under and un-paid labor not only within the household but also within producer organizations. (shrink)

David Malament argued that Hartry Field's nominalisation program is unlikely to be able to deal with non-space-time theories such as phase-space theories. We give a specific example of such a phase-space theory and argue that this presentation of the theory delivers explanations that are not available in the classical presentation of the theory. This suggests that even if phase-space theories can be nominalised, the resulting theory will not have the explanatory power of the original. Phase-space theories thus raise problems for (...) nominalists that go beyond Malament's initial concerns. Thanks to Mark Steiner, Jens Christian Bjerring, Ben Fraser, John Mathewson, and two anonymous referees for helpful comments on an earlier draft of this paper. CiteULike Connotea Del.icio.us What's this? (shrink)

The paper presents evidence in bacteria for the utility of Godfrey-Smith’s environmental complexity thesis, using certain kinds of signal transduction systems as proxies for cognitive/behavioral complexity. Microbiologists already accept that the number of signal transduction proteins in a bacterial genome indicates the level of ecological complexity to which the organism is subject: the more signalling proteins, the greater the complexity. Sheer numbers are not always a reliable indicator of behavioral complexity, however. The paper proposes a new, ECT-based procedure for identifying, (...) from genomic sequence and signalling repertoire, novel bacterial candidates likely to exhibit behavioral complexity in response to a complex ecological niche. (shrink)

This article examines how the special theoretical significance of the sociology of scientific knowledge is affected by attempts to apply relativist-constructivism to technology. The article shows that the failure to confront key analytic ambivalences in the practice of SSK has compromised its original strategic significance. In particular, the construal of SSK as an explanatory formula diminishes its potential for profoundly reconceptualizing epistemic issues. A consideration of critiques of technological determinism, and of some empirical studies, reveals similar analytic ambivalences in the (...) social study of technology. The injunction to consider "technology as text" is critically examined. It is concluded that a reflexive interpretation of this slogan is necessary to recover some of the epistemological significance lost in the constructivist move from SSK to SST. (shrink)

Surveillance is sometimes spoken of as a God’s eye view of the world. This idea is explored in relation to the ‘objective gaze’ of disengaged reason in the Enlightenment and its technologically-reinforced modes in the twenty-first century. The rise of the eye-centred viewpoint is coincident with the ‘great disembedding’ of individuals from the social. This in turn also prompted the self-disciplines of modernity, which are now key aspects of the power-base of modern institutions. A crucial moment in this shift was (...) Bentham’s panopticon proposal, in which the knowledge regime of secular ism started to shape social imaginaries in relation to surveillance. While secular omniscience was sought through the surveillance gaze, and explored later in the work of Foucault, Debord and others, the eye-centred view is not without critics. We draw upon some biblical resources, notably, the story of Hagar, that query the centrality of ‘objective vision’. Instead, an ethic of care is proposed, based in part on a fresh understanding of the ‘eye of God’. It is argued that the implications of the care ethic go far deeper than current appeals to privacy, data protection, civil liberties or human rights. (shrink)

The Snowden revelations about National Security Agency surveillance, starting in 2013, along with the ambiguous complicity of internet companies and the international controversies that followed provide a perfect segue into contemporary conundrums of surveillance and Big Data. Attention has shifted from late C20th information technologies and networks to a C21st focus on data, currently crystallized in “Big Data.” Big Data intensifies certain surveillance trends associated with information technology and networks, and is thus implicated in fresh but fluid configurations. This is (...) considered in three main ways: One, the capacities of Big Data intensify surveillance by expanding interconnected datasets and analytical tools. Existing dynamics of influence, risk-management, and control increase their speed and scope through new techniques, especially predictive analytics. Two, while Big Data appears to be about size, qualitative change in surveillance practices is also perceptible, accenting consequences. Important trends persist – the control motif, faith in technology, public-private synergies, and user-involvement – but the future-orientation increasingly severs surveillance from history and memory and the quest for pattern-discovery is used to justify unprecedented access to data. Three, the ethical turn becomes more urgent as a mode of critique. Modernity's predilection for certain definitions of privacy betrays the subjects of surveillance who, so far from conforming to the abstract, disembodied image of both computing and legal practices, are engaged and embodied users-in-relation whose activities both fuel and foreclose surveillance. (shrink)

Ernst Cassirer occupies a unique space in Twentieth-century philosophy. A great liberal humanist, his multi-faceted work spans the history of philosophy, the philosophy of science, intellectual history, aesthetics, epistemology, the study of language and myth, and more. Cassirer's thought also anticipates the renewed interest in the origins of analytic and continental philosophy in the Twentieth Century and the divergent paths taken by the 'logicist' and existential traditions, epitomised by his now legendary debate in 1929 with the philosopher Martin Heidegger, over (...) the question "What is the Human Being?" The Philosophy of Symbolic Forms is Cassirer's most important work. It was first published in German in 1923, the third and final volume appearing in 1929. In it Cassirer presents a radical new philosophical worldview - at once rich, creative and controversial - of human beings as fundamentally "symbolic animals," placing signs and systems of expression between themselves and the world. This major new translation of all three volumes, the first for over fifty years, brings Cassirer's magnum opus to a new generation of students and scholars. Taken together, the three volumes of The Philosophy of Symbolic Forms are a vital treatise on human beings as symbolic animals and a monumental expression of neo-Kantian thought. Correcting important errors in previous English editions, this translation reflects the contributions of significant advances in Cassirer scholarship over the last twenty to thirty years. Each volume includes a new introduction and translator's notes by S. G. Lofts, a foreword by Peter Gordon, a glossary of key terms, and a thorough index. (shrink)

Some have argued that chance and determinism are compatible in order to account for the objectivity of probabilities in theories that are compatible with determinism, like Classical Statistical Mechanics (CSM) and Evolutionary Theory (ET). Contrarily, some have argued that chance and determinism are incompatible, and so such probabilities are subjective. In this paper, I argue that both of these positions are unsatisfactory. I argue that the probabilities of theories like CSM and ET are not chances, but also that they are (...) not subjective probabilities either. Rather, they are a third type of probability, which I call counterfactual probability. The main distinguishing feature of counterfactual-probability is the role it plays in conveying important counterfactual information in explanations. This distinguishes counterfactual probability from chance as a second concept of objective probability. (shrink)

In the philosophy of probability there are two central questions we are concerned with. The first is: what is the correct formal theory of probability? Orthodoxy has it that Kolmogorov’s axioms are the correct axioms of probability. However, we shall see that there are good reasons to consider alternative axiom systems. The second central question is: what do probability statements mean? Are probabilities “out there”, in the world as frequencies, propensities, or some other objective feature of reality, or are probabilities (...) “in the head”, as subjective degrees of belief? We will survey some of the answers that philosophers, mathematicians and physicists have given to these questions. (shrink)

What is cognition? It is now common knowledge that, so far, no one has a ready answer. It is much less generally acknowledged that this is a matter of strong concern when it comes to the further development of the cognitive sciences. We discuss how cognitivism provided a strongly human orientation on cognition, which hindered the development of the standard piecemeal approach, which has been so extremely successful in the biological sciences more generally: first study simple cases and then move (...) onward to more difficult ones. (shrink)

This paper studies the relationship between labelled and nested calculi for propositional intuitionistic logic, first-order intuitionistic logic with non-constant domains and first-order intuitionistic logic with constant domains. It is shown that Fitting’s nested calculi naturally arise from their corresponding labelled calculi—for each of the aforementioned logics—via the elimination of structural rules in labelled derivations. The translational correspondence between the two types of systems is leveraged to show that the nested calculi inherit proof-theoretic properties from their associated labelled calculi, such as (...) completeness, invertibility of rules and cut admissibility. Since labelled calculi are easily obtained via a logic’s semantics, the method presented in this paper can be seen as one whereby refined versions of labelled calculi (containing nested calculi as fragments) with favourable properties are derived directly from a logic’s semantics. (shrink)

Whereas many constructivist and feminist approaches to the social study of technology share an antipathy to technological tietenninism, they offer an insufficiently radical critique of technolagy. Three main problems in "anti-essentialist" critiques of techno logical determinism are identified, all of which mean that such critiques remain committed to a form of essentialism. These characteristics recur in many recent feminist arguments about technology, illustrated by the example of reproductive technologies. To overcome weaknesses in political radicalism based on anti-essentialism, it is necessary (...) to move to a "past-essentialist" approach. The unwillingness to do so is shown to be based on unfounded objections to "excessive" relativism. (shrink)

We provide a direct method for proving Craig interpolation for a range of modal and intuitionistic logics, including those containing a "converse" modality. We demonstrate this method for classical tense logic, its extensions with path axioms, and for bi-intuitionistic logic. These logics do not have straightforward formalisations in the traditional Gentzen-style sequent calculus, but have all been shown to have cut-free nested sequent calculi. The proof of the interpolation theorem uses these calculi and is purely syntactic, without resorting to embeddings, (...) semantic arguments, or interpreted connectives external to the underlying logical language. A novel feature of our proof includes an orthogonality condition for defining duality between interpolants. (shrink)

The traditional structure of medical school curriculum in the United States consists of 2 years of pre-clinical study followed by 2 years of clinical rotations. In this essay, I propose that this curricular approach stems from the understanding that medicine is both a science, or a body of knowledge, as well as an art, or a craft that is practiced. I then argue that this distinction between science and art is also relevant to the field of medical ethics, and that (...) this should be reflected in ethics curriculum in medical education. I introduce and argue for virtue ethics as the best opportunity for introducing practical ethical knowledge to medical trainees. (shrink)

This thesis introduces the "method of structural refinement", which serves as a means of transforming the relational semantics of a modal and/or constructive logic into an 'economical' proof system by connecting two proof-theoretic paradigms: labelled and nested sequent calculi. The formalism of labelled sequents has been successful in that cut-free calculi in possession of desirable proof-theoretic properties can be automatically generated for large classes of logics. Despite these qualities, labelled systems make use of a complicated syntax that explicitly incorporates the (...) semantics of the associated logic, and such systems typically violate the subformula property to a high degree. By contrast, nested sequent calculi employ a simpler syntax and adhere to a strict reading of the subformula property, making such systems useful in the design of automated reasoning algorithms. However, the downside of the nested sequent paradigm is that a general theory concerning the automated construction of such calculi (as in the labelled setting) is essentially absent, meaning that the construction of nested systems and the confirmation of their properties is usually done on a case-by-case basis. The refinement method connects both paradigms in a fruitful way, by transforming labelled systems into nested (or, refined labelled) systems with the properties of the former preserved throughout the transformation process. To demonstrate the method of refinement and some of its applications, we consider grammar logics, first-order intuitionistic logics, and deontic STIT logics. The introduced refined labelled calculi will be used to provide the first proof-search algorithms for deontic STIT logics. Furthermore, we employ our refined labelled calculi for grammar logics to show that every logic in the class possesses the effective Lyndon interpolation property. (shrink)

As the field of Science and Technology Studies has become more established, it has increasingly hidden its philosophical roots. While the trend is typical of disciplines striving for maturity, Steve Fuller, a leading figure in the field, argues that STS has much to lose if it abandons philosophy. In his characteristically provocative style, he offers the first sustained treatment of the philosophical foundations of STS and suggests fruitful avenues for further research. With stimulating discussions of the Science Wars, the (...) Intelligent Design Theory controversy, and theorists such as Donna Haraway and Bruno Latour, _Philosophy of Science and Technology_ _Studies_ is required reading for students and scholars in STS and the philosophy of science. (shrink)

This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for STIT logics. A new class of cut-free complete labelled sequent calculi G3LdmL^m_n, for multi-agent STIT with at most n-many choices, is introduced. We refine the calculi G3LdmL^m_n through the use of propagation rules and demonstrate the admissibility of their structural rules, resulting in auxiliary calculi Ldm^m_nL. In the single-agent case, we (...) show that the refined calculi Ldm^m_nL derive theorems within a restricted class of (forestlike) sequents, allowing us to provide proof-search algorithms that decide single-agent STIT logics. We prove that the proof-search algorithms are correct and terminate. (shrink)

Ardon Lyon; VIII*—The Immutable Laws of Nature1, Proceedings of the Aristotelian Society, Volume 77, Issue 1, 1 June 1977, Pages 107–126, https://doi.org/10.109.

Wittgenstein's philosophy of mathematics has long been notorious. Part of the problem is that it has not been recognized that Wittgenstein, in fact, had two chief post-Tractatus conceptions of mathematics. I have labelled these the calculus conception and the language-game conception. The calculus conception forms a distinct middle period. The goal of my article is to provide a new framework for examining Wittgenstein's philosophies of mathematics and the evolution of his career as a whole. I posit the Hardyian Picture, modelled (...) on the Augustinian Picture, to provide a structure for Wittgenstein's work on the philosophy of mathematics. Wittgenstein's calculus period has not been properly recognized, so I give a detailed account of the tenets of that stage in Wittgenstein's career. Wittgenstein's notorious remarks on contradiction are the test case for my theory of his transition. I show that the bizarreness of those remarks is largely due to the calculus conception, but that Wittgenstein's later language-game account of mathematics keeps the rejection of the Hardyian Picture while correcting the calculus conception's mistakes. (shrink)

The authors of a much discussed recent book A Lot of People are Saying: The New Conspiracism and the Assault on Democracy, Russell Muirhead and Nancy L. Rosenblum argue that ‘a new conspiracism’ has emerged recently. Their examples include Donald Trump’s allegations that elections have been rigged, ‘Birther’ accusations about Barack Obama, ‘QAnon’ and ‘Pizzagate’. They characterize these as ‘conspiracism without the theory’. They argue that the new conspiracism is validated by repetition, disregards experts, and is satisfied with the conclusion (...) that allegations are ‘true enough’. Here I argue that there is no new conspiracism. Muirhead and Rosenblum have misconstrued their chief examples of new conspiracism and mischaracterized classic conspiracism. The non-existence of a new conspiracism matters. If those studying contemporary conspiracism suppose that many of the objects of their study are theory-free then they are liable to fail to examine the theories that actually are driving contemporary conspiracism. Also, if they suppose that they are confronting an entirely new phenomenon then they are in danger of failing to learn lessons from the rich history of conspiracy theorizing. (shrink)

Enduring intolerable suffering, an essential eligibility criterion in Medical Assistance in Dying (MAiD) in Canada and elsewhere, is a contradiction in terms, in that suffering must be tolerable to be endured. Cases of people who were approved for MAiD but who elected to die naturally, thus tolerating their suffering, bear out the unreliability of this central safeguard. The clinical assessment of intolerable suffering may be strengthened by adopting a definition of intolerable suffering centred on clinically evidenced physical and psychological decompensation. (...) This argument also raises important questions about the risks of MAiD clinicians subjectively defining, approving and providing MAiD in ways that deviate from accepted legal and clinical concepts and ethics. Examples show some prolific clinicians describe MAiD in terminology that differs from such norms, as a personal mission, as personally pleasurable, and as a rights-based service. These alternative views are explored for their risks in assessing and providing MAiD for intolerable suffering. This further demonstrates the need for conceptual clarity in legislation, improved vetting and monitoring of clinicians, and a different assessment process to protect patients and clinicians. (shrink)

This paper clarifies the terms “institutions” and “social structures” and related terms “rules”, “conventions”, “norms”, “values” and “customs”. Part one explores the similarities between institutions and social structures whilst the second and third parts explore differences. Part two considers institutions, rules, habits or habitus and habituation, whilst part three critically reflects on three common conceptions of social structures. The conclusion comments upon reflexive deliberation via the internal conversation.

The dead donor rule states that organ donors must be declared dead before any vital organs are removed. Recently, scholars and physicians have argued for the abandonment of the dead donor rule, based on the rule’s supposed connection with the concept of brain death, which they view as a conceptually unreliable definition of death. In this essay, I distinguish between methods of death determination and the question of whether or not the dead donor rule should be a guiding principle of (...) organ transplant ethics. In principle, the dead donor rule does not rely on any one definition of death, but only prohibits the taking of vital organs before a patient is declared dead. In light of this distinction, I argue that even if the dead donor rule is tied to brain death in practice, conceptual disagreement about brain death does not provide grounds for rejection of this rule. I then present evidence in support of the consistency and reliability of the diagnosis of brain death. I show that, when performed carefully and under specific clinical circumstances, the diagnosis of brain death is considered by most neurologists to be reliable. Finally, I argue that, without the dead donor rule, organ transplantation programs would become susceptible to violations of the ethical principle of respect for persons. (shrink)

How are justifications for religious violence developed and dothey differ from secular justifications for violence? Can liberalsocieties tolerate potentially violent religious groups? Can thosewho accept religious justifications for violence be dissuaded fromacting violently? Including six in-depth contemporary case studies,The Justification of Religious Violence is the first book toexamine the logical structure of justifications of religiousviolence. The first book specifically devoted to examining the logicalstructure of justifications of religious violence Seeks to understand how justifications for religious violenceare developed and how or (...) if they differ from ordinary secularjustifications of violence Examines 3 widely employed premises used in religiousjustifications of violence – ‘cosmic war’, theimportance of the afterlife, and ‘sacred values’ Considers to what extent liberal democratic societies shouldtolerate who hold that their religion justifies violent acts Reflects on the possibility of effective policy measures topersuade those who believe that violent action is justified byreligion, to refrain from acting violently Informed by recent work in psychology, cognitive science,neuroscience and evolutionary biology Part of the Blackwell Public Philosophy Series. (shrink)

The ‘critique of intellectuals’ refers to a genre of normative discourse that holds intellectuals accountable for the consequences of their ideas. A curious feature of the contemporary, especially American, variant of this genre is its focus on intellectuals who were aligned with such world-historic losers as Hitler and Stalin. Why are Cold War US intellectuals not held to a similar standard of scrutiny, even though they turn out to have been aligned with the world-historic winners? In addressing this general question, (...) some self-serving tendencies of intellectual history are observed, in particular the asymmetry between the ease with which intellectuals are credited with the good consequences of their ideas and the difficulty with which they are blamed for the bad consequences. This asymmetry is particularly noted in Richard Rorty, whose pragmatism treats past ideas as a legacy intended for the (American) reader’s benefit. As a corrective, I advocate, in Paul Ricoeur’s terms, a ‘hermeneutic of suspicion’ that treats intellectual life as fraught with danger, as our adoption of ideas always amounts to passing judgement over those who have borne them in the past. (shrink)

This is a draft of the introduction to a forthcoming volume that brings together all of J. G. Herder's student notes from Immanuel Kant's lectures. It is intended as a volume in Kant's gesammelte Schriften (de Gruyter). These are the earliest notes (1762-64) we have from Kant's lectures (which span from 1755 to 1796) and the only notes before his professorship began in 1770. Included are improved transcriptions of Herder's notes on metaphysics, moral philosophy, logic, physics, and mathematics, and the (...) first transcription of his notes from Kant’s physical geography lectures. (shrink)

I discuss the realizability and the ethical ramifications of Machine Ethics, from a number of different perspectives: I label these the anthropocentric, infocentric, biocentric and ecocentric perspectives. Each of these approaches takes a characteristic view of the position of humanity relative to other aspects of the designed and the natural worlds—or relative to the possibilities of ‘extra-human’ extensions to the ethical community. In the course of the discussion, a number of key issues emerge concerning the relation between technology and ethics, (...) and the nature of what it is to have moral status. Some radical challenges to certain technological presuppositions and ramifications of the infocentric approach will be discussed. Notwithstanding the obvious tensions between the infocentric perspective on one side and the biocentric and ecocentric perspectives on the other, we will see that there are also striking parallels in the way that each of these three approaches generates challenges to an anthropocentric ethical hegemony, and possible scope for some degree of convergence. (shrink)

In this article I try to give an account of the meaning of phrases of the form ‘A causes B’ as they are most usefully used in everyday life and the applied sciences. This account covers narrower uses of such phrases, but we find that in our usage of the term, ‘A causes B’ neither entails nor is entailed by ‘A is always followed by B’. Logically necessary and sufficient conditions of this general term can be given, however, by reference (...) to particular cases of causation. The analysis of these is shown to be irreducibly counter-factual, i.e. such phrases are not definable in terms of statements describing those observable occurrences which constitute the relevant verificationary processes. Some objections to the analysis are considered, and it is tested against various examples. * Received 6.xii.65 1 This article is an expanded version of a paper read to the British Society for the Philosophy of Science at Bristol in September 1964. I have greatly benefited from criticisms and suggestions by members of the philosophy seminar of the University of Durham, especially Dr Doreen Bretherton, and also by Professor J. L. Mackie and the editor and referees of this Journal. (shrink)

It's no surprise that one shouldn't pray for bad things to happen, for it's always wicked to attempt to bring about evil. But perhaps surprisingly one shouldn't pray for good things either. For if there is an Omnipotent, Omniscient and Omni-Benevolent Deity who intervenes at all in the workings of the world, then He will do whatever is best anyway, and if you pray for what He wouldn't otherwise have done then it must, perhaps unknown to you, be wrong. If (...) there is no God then He will not answer your prayers, although they might be efficacious in other ways. (shrink)

We employ a recently developed methodology -- called "structural refinement" -- to extract nested sequent systems for a sizable class of intuitionistic modal logics from their respective labelled sequent systems. This method can be seen as a means by which labelled sequent systems can be transformed into nested sequent systems through the introduction of propagation rules and the elimination of structural rules, followed by a notational translation. The nested systems we obtain incorporate propagation rules that are parameterized with formal grammars, (...) and which encode certain frame conditions expressible as first-order Horn formulae that correspond to a subclass of the Scott-Lemmon axioms. We show that our nested systems are sound, cut-free complete, and admit hp-admissibility of typical structural rules. (shrink)