Completeness is shown for several versions of Girard's linear logic with respect to Petri nets as the class of models. One logic considered is the -free fragment of intuitionistic linear logic without the exponential !. For this fragment Petri nets form a sound and complete model. The strongest logic considered is intuitionistic linear logic, with ,&, and the exponential ! , and forms of quantification. This logic is shown sound and complete with respect to atomic nets , though only once (...) we add extra axioms specific to the Petri-net model. The logic is remarkably expressive, enabling descriptions of the kinds of properties one might wish to show of nets; in particular, negative properties, asserting the impossibility of an assertion, can also be expressed. Unfortunately, with respect to this logic, whether an assertion is true of a finite net becomes undecidable. (shrink)

The idea of elegance in science is not necessarily a familiar one, but it is an important one. The use of the term is perhaps most clear-cut in mathematics - the elegant proof - and this is where Ian Glynn begins his exploration. Scientists often share a sense of admiration and excitement on hearing of an elegant solution to a problem, an elegant theory, or an elegant experiment. The idea of elegance may seem strange in a field of endeavour (...) that prides itself in its objectivity, but only if science is regarded as a dull, dry activity of counting and measuring. It is, of course, far more than that, and elegance is a fundamental aspect of the beauty and imagination involved in scientific activity. Ian Glynn, a distinguished scientist, selects historical examples from a range of sciences to draw out the principles of science, including Kepler's Laws, the experiments that demonstrated the nature of heat, and the action of nerves, and of course the several extraordinary episodes that led to Watson and Crick's discovery of the structure of DNA. With a highly readable selection of inspiring episodes highlighting the role of beauty and simplicity in the sciences, the book also relates to important philosophical issues of inference, and Glynn ends by warning us not to rely on beauty and simplicity alone - even the most elegant explanation can be wrong. (shrink)

This Element provides an accessible introduction to the contemporary philosophy of causation. It introduces the reader to central concepts and distinctions and to key tools drawn upon in the contemporary debate. The aim is to fuel the reader's interest in causation, and to equip them with the resources to contribute to the debate themselves. The discussion is historically informed and outward-looking. 'Historically informed' in that concise accounts of key historical contributions to the understanding of causation set the stage for an (...) examination of the latest research. 'Outward looking' in that illustrations are provided of how the philosophy of causation relates to issues in the sciences, law, and elsewhere. The aim is to show why the study of causation is of critical importance, besides being fascinating in its own right. (shrink)

Much recent philosophical attention has been devoted to the prospects of the Best System Analysis of chance for yielding high-level chances, including statistical mechanical and special science chances. But a foundational worry about the BSA lurks: there don’t appear to be uniquely correct measures of the degree to which a system exhibits theoretical virtues, such as simplicity, strength, and fit. Nor does there appear to be a uniquely correct exchange rate at which the theoretical virtues trade off against one another (...) in the determination of an overall best system. I argue that there’s no robustly best system for our world – no system that comes out best under every reasonable measure of the theoretical virtues and exchange rate between them – but rather a set of ‘tied-for-best’ systems: a set of very good systems, none of which is robustly best. Among the tied-for-best systems are systems that entail differing high-level probabilities. I argue that the advocate of the BSA should conclude that the high-level chances for our world are imprecise. (shrink)

I argue that there are non-trivial objective chances (that is, objective chances other than 0 and 1) even in deterministic worlds. The argument is straightforward. I observe that there are probabilistic special scientific laws even in deterministic worlds. These laws project non-trivial probabilities for the events that they concern. And these probabilities play the chance role and so should be regarded as chances as opposed, for example, to epistemic probabilities or credences. The supposition of non-trivial deterministic chances might seem to (...) land us in contradiction. The fundamental laws of deterministic worlds project trivial probabilities for the very same events that are assigned non-trivial probabilities by the special scientific laws. I argue that any appearance of tension is dissolved by recognition of the level-relativity of chances. There is therefore no obstacle to accepting non-trivial chance-role-playing deterministic probabilities as genuine chances. (shrink)

ABSTRACT Joseph Halpern and Judea Pearl draw upon structural equation models to develop an attractive analysis of ‘actual cause’. Their analysis is designed for the case of deterministic causation. I show that their account can be naturally extended to provide an elegant treatment of probabilistic causation. 1Introduction 2Preemption 3Structural Equation Models 4The Halpern and Pearl Definition of ‘Actual Cause’ 5Preemption Again 6The Probabilistic Case 7Probabilistic Causal Models 8A Proposed Probabilistic Extension of Halpern and Pearl’s Definition 9Twardy and Korb’s Account 10Probabilistic (...) Fizzling 11Conclusion. (shrink)

Corpus-driven Cognitive Semantics Introduction to the field Dylan Glynn Is quantitative empirical research possible for the study of semantics?1 More ...

The starting point in the development of probabilistic analyses of token causation has usually been the naïve intuition that, in some relevant sense, a cause raises the probability of its effect. But there are well-known examples both of non-probability-raising causation and of probability-raising non-causation. Sophisticated extant probabilistic analyses treat many such cases correctly, but only at the cost of excluding the possibilities of direct non-probability-raising causation, failures of causal transitivity, action-at-a-distance, prevention, and causation by absence and omission. I show that (...) an examination of the structure of these problem cases suggests a different treatment, one which avoids the costs of extant probabilistic analyses. (shrink)

Special science generalizations admit of exceptions. Among the class of non-exceptionless special science generalizations, I distinguish minutis rectis generalizations from the more familiar category of ceteris paribus generalizations. I argue that the challenges involved in showing that mr generalizations can play the law role are underappreciated, and quite different from those involved in showing that cp generalizations can do so. I outline a strategy for meeting the challenges posed by mr generalizations.

Defining "terrorism" as the intentional targeting of non-combatant civilians, the paper argues that, other things being equal, it is not possible to effectively distinguish morally between "terrorism" and use of military power against combatant targets which might reasonably be expected to produce some guesstimable quantity of "collateral" or non-combatant civilian casualties; that it is upon the expected likely consequences of actions rather than upon the intentions underlying them, that actors should be morally judged. Furthermore I argue that other attempts to (...) rationalize the use of conventional military force, as retaliatory for prior "terrorist" actions, or as preemptive, also often largely fail either on historical grounds or pragmatic grounds. (shrink)

A History of Anthropology as a Holistic Science discusses the four fields of anthropology as a holistic science and the feasibility of such an approach through an examination of its history and its philosophical foundation. It elucidates the 1960s movement that threatens to discredit the discipline as an effective way of understanding humankind.

I argue that meaning or significanceper se, along with the capacity to be conscious thereof, and the values, motives and aspirations, etc. central to the constitution of our intrinsic personal identities, arise, as indeed do our extrinsic social identities, and our very self-consciousness as such, from socio-cultural structures and relations to others. However, so far from our identities and behavior therefore being determined, I argue that the capacity for critical reflection and evaluation emerge from these same structural relations, the more (...) complex and quintessentially human aspects of our behavior being explained not in terms of responses to stimuli but as choices reflecting our evaluation of meaningful or significant alternatives. Finally I provide theoretical grounds for accepting the existence of other subjects and give a holistic, as opposed to a dialectical, account of the way individuals may challenge and change the very socio-cultural ways of relating to and interacting with others so central to constituting their capacities and identities. (shrink)

At a time when global warming due to greenhouse gas emissions pose a present and clear threat to the environment, the Nuclear Energy Industry is gearing up to provide a solution to this problem, trading upon a number of fallacies to argue that it neither makes, nor will in future make, any significant contribution to these or to other radiation-linked diseases. This paper exposes these fallacies and argues, to the contrary, that even should the industry be able to avoid all (...) accidents, routine radioactive emissions to the environment during power production and fuel reprocessing threaten to destroy all human life on the planet. Dr. Glynn is a Full Professor of Philosophy at Florida Atlantic University, having earned his doctorate at The University of Manchester, England. His many publications include Continental and Postmodern Perspectives in the Philosophy of Science, eds. Babette Babich, Debra Bergoffen and Simon Glynn, (Vermont: Avebury, 1995). This paper was presented at the Comparative Studies Association 2008 Conference: Interdisciplinarity and Environmental Sustainability. (shrink)

The discovery of high-level causal relations seems a central activity of the special sciences. Those same sciences are less successful in formulating strict laws. If causation must be underwritten by strict laws, we are faced with a puzzle, which might be dubbed the 'no strict laws' problem for high-level causation. Attempts have been made to dissolve this problem by showing that leading theories of causation do not in fact require that causation be underwritten by strict laws. But this conclusion has (...) been too hastily drawn. Philosophers have tended to equate non-strict laws with ceteris paribus laws. I argue that there is another category of non-strict law that has often not been properly distinguished: namely, minutiae rectus laws. If, as it appears, many special science laws are minutiae rectus laws, then this poses a problem for their ability to underwrite causal relations in a way that their typically ceteris paribus nature does not. I argue that the best prospect for resolving the resurgent 'no strict laws' problem is to argue that special science laws are in fact typically probabilistic, rather than being minutiae rectus laws. (shrink)

Much recent philosophical attention has been devoted to variants on the Best System Analysis of laws and chance. In particular, philosophers have been interested in the prospects of such Best System Analyses for yielding *high-level* laws and chances. Nevertheless, a foundational worry about BSAs lurks: there do not appear to be uniquely appropriate measures of the degree to which a system exhibits theoretical virtues, such as simplicity and strength. Nor does there appear to be a uniquely correct exchange rate at (...) which the theoretical virtues of simplicity, strength, and likelihood trade off against one another in the determination of a best system. Moreover, it may be that there is no *robustly* best system: no system that comes out best under *any* reasonable measures of the theoretical virtues and exchange rate between them. This worry has been noted by several philosophers, with some arguing that there is indeed plausibly a set of tied-for-best systems for our world. Some have even argued that this entails that there are no Best System laws or chances in our world. I argue that, while it *is* plausible that there is a set of tied-for-best systems for our world, it doesn't follow from this that there are no Best System chances. Rather, it follows that the Best System chances for our world are *unsharp*. (shrink)

Of the many ideological blind spots that have afflicted US and, to a lesser extent, European, perceptions and analysis of the economic, political and social milieu, none have been more debilitating than the equation of democracy with political liberalism. Thus those who attempt to derive propaganda value from such an equation are vulnerable, as the US government has found, to the rhetorical counter attack that in opposing democratically elected governments, such as that of Hamas or Hugo Chavez, they are not (...) merely being anti-democratic, but are in illiberally opposition to human rights and civil liberties also; an argument quiteindependent of the same charges, emanating more legitimately, from their support of, for example, the Masharraf regime and the Saud dictatorship.Furthermore no less an august body than the Council of Europe has drawn attention to the US government’s inhumane, humiliating, degrading and cruel treatment, including torture, of prisoners, at Guantanamo, and, seemingly even more extreme treatment of prisoners in the supposedly secret or “black” prisons operated both by the CIA, and other countries, where the torture of prisoners, often illegally or extra judicially rendered to them, has been outsourced. In light of this the paper takes up a discussion of the nature of the relationship between Liberalism, Democracy and Torture as it is germane to the current legitimation crisisfacing liberal democracies. (shrink)

In Making Things Happen, James Woodward influentially combines a causal modeling analysis of actual causation with an interventionist semantics for the counterfactuals encoded in causal models. This leads to circularities, since interventions are defined in terms of both actual causation and interventionist counterfactuals. Circularity can be avoided by instead combining a causal modeling analysis with a semantics along the lines of that given by David Lewis, on which counterfactuals are to be evaluated with respect to worlds in which their antecedents (...) are realized by miracles. I argue, pace Woodward, that causal modeling analyses perform just as well when combined with the Lewisian semantics as when combined with the interventionist semantics. Reductivity therefore remains a reasonable hope. (shrink)

We investigate whether standard counterfactual analyses of causation imply that the outcomes of space-like separated measurements on entangled particles are causally related. Although it has sometimes been claimed that standard CACs imply such a causal relation, we argue that a careful examination of David Lewis’s influential counterfactual semantics casts doubt on this. We discuss ways in which Lewis’s semantics and standard CACs might be extended to the case of space-like correlations.

This paper argues that even the most extensively refined comparative cost/benefit analysis must be supplemented by other factors, irreducible to it, if we are to develop an adequate framework to guide policy decisions affecting technological design and innovation.

Certainly many in “Western” philosophy and psychology have conceived of the human subject in the Cartesian or neo-Cartesian tradition, as a self subsisting, self identical, monadic consciousness or Ego, which is to say as an essentially unchanging, substantial subject, initially isolated or separate from the world and others. On the other hand Buddhist, Taoist, Hindu and other “non-Western” traditions, adopting a more holistic approach, have argued that such a reified,atomistic and hypostatized conception of the self is illusory. However, suggesting that (...) from at least since the time of Hume, and later, in Hegel, there has been an alternative “Western” view of consciousness, self-consciousness and identity, the development of which can be traced through the Phenomenology, Existentialism and Poststructuralism of Husserl, Heidegger, Sartre, Derrida and others, the paper attempts to show how this evolving view may now contribute to a sophisticated and nuanced understanding and confirmation of the wisdom of “non-Western” conceptions. (shrink)

Love, fear, hope, calculus, and game shows-how do all these spring from a few delicate pounds of meat? Neurophysiologist Ian Glynn lays the foundation for answering this question in his expansive An Anatomy of Thought, but stops short of committing to one particular theory. The book is a pleasant challenge, presenting the reader with the latest research and thinking about neuroscience and how it relates to various models of consciousness. Combining the aim of a textbook with the style of (...) a popularization, it provides all the lay reader needs to know to participate in the philosophical debate that is redefining our attitudes about our minds. Drawing on the rich history of neurological case studies, Glynn picks through the building blocks of our nervous system, examines our visual and linguistic systems, and probes deeply into our higher thought processes. The stories of great scientists, like Ramon y Cajal, and famous patients, like Sperry's split-brained epileptics, illuminate the scientific issues Glynn selects as essential for understanding consciousness. Some might argue that his lengthy explorations of natural selection overemphasize evolutionary explanations of psychological phenomena, but they must also agree that evolutionary psychology has distanced itself mightily from social Darwinism in recent years and merits a reappraisal. The great consciousness debate may form the core of the 21st-century Zeitgeist; get ready for it with An Anatomy of Thought. -Rob Lightner From Publishers Weekly How do we know? What do we think? How could a philosophical problem-'the mind-body problem,' say-induce a headache? What can evolutionary theory, molecular biology, the history of medicine and experimental psychology tell us about the features of human consciousness, and (once again) how do we know? Glynn, a physician and Cambridge University professor, meticulously attempts to answer these questions and more, setting forth the results of all sorts of research relevant to our brains-from 19th-century dissections to Oliver Sacks-like case studies, work with monkeys and supercomputers, and the enduring puzzles of philosophy, which he rightly saves for near the end. After explaining evolution by natural selection and 'clearing away much dross,' Glynn lays out the experiments and theories that have shown 'how nerve cells can carry information about the body, how they can interact' and how sense organs work; demonstrates the 'mixture of parallel and hierarchical organization' in our brains and 'the striking localization of function within it'; considers where neuroscience is likely to go; and admits that, among the many fields of exciting research just ahead, 'we can be least confident of progress toward a complete, scientific explanation of our sensations and thoughts and feelings.' Other recent explaining-the-brain books have sometimes advanced simplistic, or implausibly grand, claims about the nature and features of consciousness in general. Instead, Glynn offers a patient, informative, well-laid-out researcher's-eye view of what we have learned, how we figured it out and what we still don't know about neurons, senses, feelings, brains and minds. (Apr.) Copyright 2000 Reed Business Information, Inc. From Library Journal The nature of consciousness, which perennially troubles the minds of scientists and philosophers, is the subject of an ever-growing body of literature. Two of the latest entries approach the topic from different perspectives. Glynn, a professor of physiology and head of the Physiological Laboratory at Cambridge, offers a comprehensive summary of what we know about the brain-both its evolution and its mechanisms. Among the topics he covers are natural selection, molecular evolution, nerves and the nervous system, sensory perception, and the specific structures responsible for our intellect. Using the mechanisms involved in vision and speech as models, Glynn skillfully describes various neurological deficiencies that can lead to 'disordered seeing' and problems with the use of language. He carefully distinguishes what we know through experimental evidence from what we know through the observation of patients with neurological damage. He also describes some of the major theories that attempt to explain why these structures arose. While his book concentrates on the structures that make up the mind, Glynn is well aware that some physical events appear explicable only in terms of conscious mental events-a situation that conflicts with the laws of modern physics. Only briefly, however, does he consider the various approaches that have been taken to deal with the issues of mind/body and free will. In contrast, this is the primary focus of The Physics of Consciousness. After reviewing the fundamentals of classic physics, Walker (who has a Ph.D. in physics) summarizes elements of the new physics in which our knowledge of space, time, matter, and energy are all dependent on the moment of observation. Walker explores the meaning of consciousness as a characteristic of the observer. In this context both the observer and the act of measurement are critical. In essence, Walker leads his reader on a journey through his concept of a 'quantum mind,' which can both affect matter (including other minds) and can be affected by other distant matter/minds. To break up what would otherwise be an extremely dense text, Walker also relates the very touching story of the loss of his high-school sweetheart to leukemia. Indeed, it is his memory of their relationship that drives Walker to seek an understanding of ultimate reality. At times, he has a tendency to be dogmatic-as when he concludes, 'our consciousness, our mind, and the will of God are the same mind.' While An Anatomy of Thought is appropriate for most academic libraries, the Physics of Consciousness will be most accessible to readers with some knowledge of advanced physics. -Laurie Bartolini, Illinois State Lib., Springfield Copyright 2000 Reed Business Information, Inc. From Booklist The codiscoverers of natural selection-Charles Darwin and Alfred Wallace-disagreed over the possibility of finding an evolutionary explanation for the human mind. Glynn here argues Darwin's side of the debate, tracing an eons-long path of development starting from simple amino acids floating in primal seas and extending through the erect hominids in which the powers of a massive brain first manifest themselves. Patiently adducing evidence of an evolutionary origin for the underlying molecular machinery, Glynn dissects the nerve centers that make possible speech and hearing, sight, and reading. Pressing deeper, he lays bare the cortical foundations of personality. But those who deal with the mind must attend also to the arguments advanced by philosophers. And it is when he turns from dendrites to syllogisms (especially the vexing mind-body paradox) that Glynn's empirical reasoning fails him. In the end, he concedes his perplexity in trying to conceive of an evolutionary origin for human consciousness. This concession may set the shade of Alfred Wallace to chortling, but it will draw readers into an honest confrontation with a profound enigma. Bryce Christensen. (shrink)

An influential tradition in the philosophy of causation has it that all token causal facts are, or are reducible to, facts about difference-making. Challenges to this tradition have typically focused on pre-emption cases, in which a cause apparently fails to make a difference to its effect. However, a novel challenge to the difference-making approach has recently been issued by Alyssa Ney. Ney defends causal foundationalism, which she characterizes as the thesis that facts about difference-making depend upon facts about physical causation. (...) She takes this to imply that causation is not fundamentally a matter of difference-making. In this paper, I defend the difference-making approach against Ney’s argument. I also offer some positive reasons for thinking, pace Ney, that causation is fundamentally a matter of difference-making. (shrink)

In an illuminating article, Claus Beisbart argues that the recently-popular thesis that the probabilities of statistical mechanics (SM) are Best System chances runs into a serious obstacle: there is no one axiomatization of SM that is robustly best, as judged by the theoretical virtues of simplicity, strength, and fit. Beisbart takes this 'no clear winner' result to imply that the probabilities yielded by the competing axiomatizations simply fail to count as Best System chances. In this reply, we express sympathy for (...) the 'no clear winner' thesis. However, we argue that an importantly different moral should be drawn from this. We contend that the implication for Humean chances is not that there are no SM chances, but rather that SM chances fail to be sharp. (shrink)

ABSTRACT This paper draws upon the already extensive epistemology of science, both to provide a yardstick of comparison for the emergent epistemology of design, and to establish some starting points from which we might begin to construct the epistemology of design. In approaching the problem of how designers design, the paper employs Heidegger's distinction between ‘know‐how’and ‘knowledge‐that’, popularised by Ryle, and shows it to be central to the distinction between the implicit processes of design employed by craft technologies, and the (...) explicit processes employed by modern scientific technology. Borrowing from recent work by post‐structuralists, it explores the nature of the phases of analysis or ‘deconstruction’, synthesis or construction, and evaluation, by which scientifically informed design is supposed to proceed, paying particular attention to the relationship between deconstructive analysis and constructive synthesis, in order to re‐construct the creative moment/movement by which designers ‘leap’ from problem to solution. (shrink)

We introduce a family of rules for adjusting one's credences in response to learning the credences of others. These rules have a number of desirable features. 1. They yield the posterior credences that would result from updating by standard Bayesian conditionalization on one's peers' reported credences if one's likelihood function takes a particular simple form. 2. In the simplest form, they are symmetric among the agents in the group. 3. They map neatly onto the familiar Condorcet voting results. 4. They (...) preserve shared agreement about independence in a wide range of cases. 5. They commute with conditionalization and with multiple peer updates. Importantly, these rules have a surprising property that we call synergy - peer testimony of credences can provide mutually supporting evidence raising an individual's credence higher than any peer's initial prior report. At first, this may seem to be a strike against them. We argue, however, that synergy is actually a desirable feature and the failure of other updating rules to yield synergy is a strike against them. (shrink)