The concept of virtual machine allows us to combine the dynamical and computational hypotheses in an investigation of cognition. Van Gelder explicitly rejects this approach, but not only does it allow us to use the modelling technique most appropriate to the task, it also opens up a new range of phenomena where these techniques interact.

Theorems in automated theorem proving are usually proved by formal logical proofs. However, there is a subset of problems which humans can prove by the use of geometric operations on diagrams, so called diagrammatic proofs. Insight is often more clearly perceived in these proofs than in the corresponding algebraic proofs; they capture an intuitive notion of truthfulness that humans find easy to see and understand. We are investigating and automating such diagrammatic reasoning about mathematical theorems. Concrete, rather than general diagrams (...) are used to prove particular concrete instances of the universally quantified theorem. The diagrammatic proof is captured by the use of geometric operations on the diagram. These operations are the inference steps of the proof. An abstracted schematic proof of the universally quantified theorem is induced from these proof instances. The constructive -rule provides the mathematical basis for this step from schematic proofs to theoremhood. In this way we avoid the difficulty of treating a general case in a diagram. One method of confirming that the abstraction of the schematic proof from the proof instances is sound is proving the correctness of schematic proofs in the meta-theory of diagrams. These ideas have been implemented in the system, called Diamond, which is presented here. (shrink)

This article describes a quantitative examination of corporate volunteering research in the form of a bibliometric analysis. Using author, journal, geography, epistemological, and industry data from 115 refereed and 445 non-refereed publications published during 1990–2015, we identify corporate volunteering as a rather young research field. Although the field has progressively developed, it is still limited in magnitude, with recent signs of stagnation. The current state is characterized by moderate publication and author activity rates, with a shift toward more peer-reviewed publications (...) conducted in coauthorship, mostly in the disciplines of business, management, and ethics; a focus on financial services as well as the professional service sector; few high-impact studies; and a narrow geographic spread, with North America as the market leader and a rising interest in Western European countries. Findings on the field's prevalent research orientation further indicate a strong employee-centered focus emphasizing the underlying business case. However, in contrast to the overarching concept of corporate social responsibility research, a relatively large share of the corporate volunteering literature also addresses society-related issues, namely, corporates' relationship with non-profits. (shrink)

Reflecting Alan Robinson's fundamental contribution to computational logic, this book brings together seminal papers in inference, equality theories, and logic programming. It is an exceptional collection that ranges from surveys of major areas to new results in more specialized topics. Alan Robinson is currently the University Professor at Syracuse University. Jean-Louis Lassez is a Research Scientist at the IBM Thomas J. Watson Research Center. Gordon Plotkin is Professor of Computer Science at the University of Edinburgh. Contents: Inference. Subsumption, (...) A Sometimes Undervalued Procedure, Larry Wos, Ross Overbeek, and Ewing Lusk. The Markgraf Karl Refutation Procedure, Hans Jurgen Ohlbach and Jorg H. Siekmann. Modal Logic Should Say More than it Does, Melvin Fitting. Interactive Proof Presentation, W. W. Bledsoe. Intelligent Backtracking Revisited, Maurice Bruynooghe. A Science of Reasoning, Alan Bundy. Inductive Inference of Theories from Facts, Ehud Y. Shapiro. Equality. Solving Equations in Abstract Algebras: A Rule-based Survey of Unification, Jean-Pierre Jouannaud and Claude Kirchner. Disunification: A Survey, Hubert Comon. A Case Study of the Completion Procedure: Proving Ring Commutativity Problems, Deepak Kapur and Hantao Zhang. Computations in Regular Rewriting Systems I and II, Girard Huet and JeanJacques Levy. Unification and ML Type Reconstruction, Paris Kanellakis, Harry Mairson, and John Mitchell. Automatic Dimensional Analysis, Mitchell Wand. Logic Programming. Logic Programming Schemes and Their Implementations, Keith Clark. A Near-Horn Prolog for Compilation, Donald Loveland and David Reed. Unfold/Fold Transformations of Logic Programs, P. A. Gardner and J. C. Shepherdson. An Algebraic Representation of Logic Program Computations, Andrea Corradini and Ugo Montanari. Theory of Disjunctive Logic Programs, Jack Minker, Arcot Rajasekar, and Jorge Lobo. Bottom-Up Evaluation of Logic Programs, Jeffrey Naughton and Raghu Ramakrishnan. Absys, the First Logic Programming Language: A View of the Inevitability of Logic Programming, E. W. Elcock. (shrink)

How might social theory, public understanding of science and science policy best inform one another? What have been the key features of science-society relations in the modern world? How are we to re-think science-society relations in the context of globalization, hybridity and changing patterns of governance? This topical and unique book draws together the three key perspectives on science-society relations: public understanding of science, scientific and public governance, and social theory. The book presents a series of case studies (including the (...) debates on genetically modified foods and the AIDS movement in the USA) to discuss critically the ways in which social theorists, social scientists, and science policy makers deal with science-society relations. ‘Science' and 'society' combine in many complex ways. Concepts such as citizenship, expertise, governance, democracy and the public need to be re-thought in the context of contemporary concerns with globalization and hybridity. A radical new approach is developed and the notion of ethno-epistemic assemblage is used to articulate a new series of questions for the theorization, empirical study and politics of science-society relations. (shrink)

Pre-Socratic philosophy. - Plato. - Aristotle. - Post-Aristotelian philosophy. - The Theory of art: Quintilian, Longinus, and Philostratus. - Plotinus. - The lesser Neoplatonists. - Neoplatonic views of three early Christians. - Mediaeval descriptive psychology. - The psychology of the mystics. - Dante's theory of vision. - Conclusion.

Confucian scholars express skepticism about rights. This skepticism is relevant to managers who face issues about the recognition of workplace rights in a Confucian culture. My essay examines the foundations of this skepticism, and the cogency of potential leading Western liberal responses to it. I conclude that Confucian skepticism is more formidable than liberals have recognized. I attempt to craft an argument that defuses Confucian skepticism about workplace rights while at the same time respecting the moral depth of Confucianism.

'Working Memory, Thought, and Action' is the magnum opus of one of the most influential cognitive psychologists of the past 50 years. This new volume on the model he created discusses the developments that have occurred within the model in the past twenty years, and places it within a broader context.

Many explanations in science make use of mathematics. But are there cases where the mathematical component of a scientific explanation is explanatory in its own right? This issue of mathematical explanations in science has been for the most part neglected. I argue that there are genuine mathematical explanations in science, and present in some detail an example of such an explanation, taken from evolutionary biology, involving periodical cicadas. I also indicate how the answer to my title question impacts on broader (...) issues in the philosophy of mathematics; in particular it may help platonists respond to a recent challenge by Joseph Melia concerning the force of the Indispensability Argument. (shrink)

In spite of a powerful tradition, more than two thousand years old, that in a valid argument the premises must be relevant to the conclusion, twentieth-century logicians neglected the concept of relevance until the publication of Volume I of this monumental work. Since that time relevance logic has achieved an important place in the field of philosophy: Volume II of Entailment brings to a conclusion a powerful and authoritative presentation of the subject by most of the top people working in (...) the area. Originally the aim of Volume II was simply to cover certain topics not treated in the first volume--quantification, for example--or to extend the coverage of certain topics, such as semantics. However, because of the technical progress that has occurred since the publication of the first volume, Volume II now includes other material. The book contains the work of Alasdair Urquhart, who has shown that the principal sentential systems of relevance logic are undecidable, and of Kit Fine, who has demonstrated that, although the first-order systems are incomplete with respect to the conjectured constant domain semantics, they are still complete with respect to a semantics based on "arbitrary objects." Also presented is important work by the other contributing authors, who are Daniel Cohen, Steven Giambrone, Dorothy L. Grover, Anil Gupta, Glen Helman, Errol P. Martin, Michael A. McRobbie, and Stuart Shapiro. Robert G. Wolf's bibliography of 3000 items is a valuable addition to the volume. (shrink)

The increasing use of transnational standard-setting bodies to address quality uncertainties and coordination issues across the global economy raises questions about how these bodies establish and maintain their legitimacy and accountability outside the sovereignty of democratic states. Based on a discussion of the legitimacy challenge posed by global governance, we provide an overview of mechanisms by which such bodies can defend their legitimacy claims and examine the actual mechanisms used by the International Accounting Standards Board (IASB). While the IASB staked (...) its initial credibility on technical competence and independence, it has increasingly emphasized due process norms in its claim for support. Our analysis evaluates the IASB due process against the cultural benchmarks established by domestic standard-setters in the USA and UK and against a normative model of procedural legitimacy. These comparisons help us to understand the modifications that were made in the hope of due process adding legitimacy to accounting standard-setting beyond the state. They also reveal the broader political context of competing legitimacy criteria that confronts transnational standard-setters. (shrink)

Does mathematics ever play an explanatory role in science? If so then this opens the way for scientific realists to argue for the existence of mathematical entities using inference to the best explanation. Elsewhere I have argued, using a case study involving the prime-numbered life cycles of periodical cicadas, that there are examples of indispensable mathematical explanations of purely physical phenomena. In this paper I respond to objections to this claim that have been made by various philosophers, and I discuss (...) potential future directions of research for each side in the debate over the existence of abstract mathematical objects. (shrink)

In "Epistemic Permissiveness", Roger White presents several arguments against Extreme Permissivism, the view that there are possible cases where, given one's total evidence, it would be rational to either believe P, or to believe ~P. In this paper, we carefully reconstruct White's arguments and then argue that they do not succeed.

We discuss a recent attempt by Chris Daly and Simon Langford to do away with mathematical explanations of physical phenomena. Daly and Langford suggest that mathematics merely indexes parts of the physical world, and on this understanding of the role of mathematics in science, there is no need to countenance mathematical explanation of physical facts. We argue that their strategy is at best a sketch and only looks plausible in simple cases. We also draw attention to how frequently Daly and (...) Langford find themselves in conflict with mathematical and scientific practice. (shrink)

Defining the Enlightenment as the "long eighteenth century," the Encyclopedia focuses on the entire range of philosophic and social changes engendered by the Enlightenment. It extends the conventional geographical boundaries of the Enlightenment, covering not only France, England, Scotland, the Low Countries, Italy, English-speaking North America, the German states, and Hapsburg Austria but also Iberian, Ibero-American, Jewish, Russian, and Eastern European cultures. Nor does the Encyclopedia of the Enlightenment limit itself to major centers like Paris in France and Edinburgh in (...) Scotland, but shares the rich lode of recent scholarship on "secondary" and "provincial" centers such as Berlin and Geneva; Philadelphia and Milan. The Encyclopedia of the Enlightenment brings a similar spirit of inclusion to the new theoretical and methodological approaches that have flowered in the humanities during the past two decades. Including feminist and various post-modernist reassessments alongside more traditional perspectives, the four volumes offer the broadest possible range of current knowledge. Accessibility combined with scholarly rigor make the encyclopedia the first choice for researching any aspect of the Enlightenment. Designed and organized for ease of use, its special features include more than 700 signed articles; annotated bibliographies following each article to guide further study; an extensive system of cross-references; a synoptic outline of contents; a comprehensive topical index providing easy access to networks of related articles; and high quality illustrations, including photographs, line drawings, and maps. (shrink)

Philosophers of mathematics have become increasingly interested in the explanatory role of mathematics in empirical science, in the context of new versions of the Quinean ‘Indispensability Argument’ which employ inference to the best explanation for the existence of abstract mathematical objects. However, little attention has been paid to analysing the nature of the explanatory relation involved in these mathematical explanations in science (MES). In this paper, I attack the only articulated account of MES in the literature (an account sketched by (...) Mark Steiner), according to which a genuine MES incorporates an explanatory proof of the mathematical result being used. The central case study involves an explanation for why bees build the cells of their honeycombs in the shape of hexagons. I make a distinction between two kinds of MES, mathematics-driven explanation in science and science-driven mathematical explanation, and argue that it is the second category which is both scientifically and philosophical more central. I conclude that the explanatory relation involved in MES is genuinely scientific and hence that the phenomenon of MES poses a challenge to general accounts of scientific explanation. (shrink)