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)

We are all concerned by the environmental threats facing us today. Environmental issues are a major area of concern for policy makers, industrialists and public groups of many different kinds. While science seems central to our understanding of such threats, the statements of scientists are increasingly open to challenge in this area. Meanwhile, citizens may find themselves labelled as "ignorant" in environmental matters. In Citizen Science Alan Irwin provides a much needed route through the fraught relationship between science, the (...) public and the environmental threat. (shrink)

Co-published with the University of Queensland Press. HPC holds rights in North America and U. S. Dependencies. Since its first publication in 1976, Alan Chalmers's highly regarded and widely read work--translated into eighteen languages--has become a classic introduction to the scientific method, known for its accessibility to beginners and its value as a resource for advanced students and scholars. In addition to overall improvements and updates inspired by Chalmers's experience as a teacher, comments from his readers, and recent developments (...) in the field, this fourth edition features an extensive chapter-long postscript that draws on his research into the history of atomism to illustrate important themes in the philosophy of science. Identifying the qualitative difference between knowledge of atoms as it figures in contemporary science and metaphysical speculations about atoms common in philosophy since the time of Democritus offers a revealing and instructive way to address the question at the heart of this groundbreaking work: What is this thing called science? (shrink)

ABSTRACT: So far in this book, we have examined algorithmic decision systems from three autonomy-based perspectives: in terms of what we owe autonomous agents (chapters 3 and 4), in terms of the conditions required for people to act autonomously (chapters 5 and 6), and in terms of the responsibilities of agents (chapter 7). -/- In this chapter we turn to the ways in which autonomy underwrites democratic governance. Political authority, which is to say the ability of a government to exercise (...) power, may be justifiable or not. Whether it is justified and how it can come to be justified is a question of political legitimacy. Political legitimacy is another way in which autonomy and responsibility are linked. This relationship is the basis of the current chapter, and it is important in understanding the moral salience of algorithmic systems. We will draw the connection as follows. We begin, in section 8.1, by describing two uses of technology: crime predicting technology used to drive policing practices and social media technology used to influence elections (including by Cambridge Analytica and by the Internet Research Agency). In section 8.2 we consider several views of legitimacy and argue for a hybrid version of normative legitimacy based on one recently offered by Fabienne Peter. In section 8.3 we will explain that the connection between political legitimacy and autonomy is that legitimacy is grounded in legitimating processes, which are in turn based on autonomy. Algorithmic systems—among them PredPol and the Cambridge Analytica-Facebook-Internet Research Agency amalgam—can hinder that legitimation process and conflict with democratic legitimacy, as we argue in section 8.4. We will conclude by returning to several cases that serve as through-lines to the book: Loomis, Wagner, and Houston Schools. -/- The link below is to an open-access copy of the chapter. (shrink)

A conception of recognitional abilities and perceptual-discriminative abilities is deployed to make sense of how perceptual experiences enable us to make cognitive contact with objects and facts. It is argued that accepting the emerging view does not commit us to thinking that perceptual experiences are essentially relational, as they are conceived to be in disjunctivist theories. The discussion explores some implications for the theory of knowledge in general and, in particular, for the issue of how we can shed light on (...) the nature of knowledge is if we do not aim to provide conceptual analyses of knowledge in terms of true belief plus something else. Consideration is also given how we can best make sense of the practical value that knowledge has for us. (shrink)

Since its first publication in 1976, Alan Chalmers's highly regarded and widely read work--translated into eighteen languages--has become a classic introduction to the scientific method, known for its accessibility to beginners and its value as a resource for advanced students and scholars. -- Amazon.com.

Algorithmic systems and predictive analytics play an increasingly important role in various aspects of modern life. Scholarship on the moral ramifications of such systems is in its early stages, and much of it focuses on bias and harm. This paper argues that in understanding the moral salience of algorithmic systems it is essential to understand the relation between algorithms, autonomy, and agency. We draw on several recent cases in criminal sentencing and K–12 teacher evaluation to outline four key ways in (...) which issues of agency, autonomy, and respect for persons can conflict with algorithmic decision-making. Three of these involve failures to treat individual agents with the respect they deserve. The fourth involves distancing oneself from a morally suspect action by attributing one’s decision to take that action to an algorithm, thereby laundering one’s agency. (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.

The first work to introduce Foucault's ideas on law to both graduates and undergraduates.

'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.

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)

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)

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.