Program explanations and causal relevance

Frank Jackson and Philip Pettit have defended a non-reductive account of causal relevance known as the ‘program explanation account’. Allegedly, irreducible mental properties can be causally relevant in virtue of figuring in non-redundant program explanations which convey information not conveyed by explanations in terms of the physical properties that actually do the ‘causal work’. I argue that none of the possible ways to spell out the intuitively plausible idea of a program explanation serves its purpose, viz., defends non-reductive physicalism against Jaegwon Kim’s Causal Exclusion Argument according to which non-reductive physicalism is committed to epiphenomenalism because irreducible mental properties are ‘screened off’ from causal relevance by their physical realizers. Jackson and Pettit’s most promising explication of a program explanation appeals to the idea of invariance of effect under variation of realization, but I show that invariance of effect under variation of realization is neither necessary nor sufficient for causal relevance.     

Self-regulation through social institutions: A framework for the design of open agent-based electronic marketplaces

In this paper, we argue that allowing self-interested agents to activate social institutions during runtime can improve the robustness (i.e., stability, reliability, or scalability) of open multiagent systems (MAS). Referring to sociological theory, we consider institutions to be rules that need to be activated and adopted by the agent population during runtime and propose a framework for self-regulation of MAS for the domain of electronic marketplaces. The framework consists of three different institutional types that are defined by the mechanisms and instances that generate, change or safeguard them. We suggest that allowing autonomous agents both the reasoning about their compliance with a rule and the selection of an adequate institutional types helps to balance the trade-off between the autonomy of self-interested agents and the maintenance of social order (cf. Castelfranchi, 2000) in MAS, and to ensure almost the same qualities as in closed environments. A preliminary report of the evaluation of the prototype by empirical simulations is given. Christian S. Hahn studied computer science and economics at Saarland University and received his diploma in 2004. Currently, he works in a project of the priority program ‘Socionics’ funded by the German Research Foundation at the German Research Center for Artificial Intelligence (DFKI). Bettina Fley studied sociology, economics, law, and social and economic history at the University of Hamburg and received her diploma in 2002. She currently works in a project in the priority program ‘Socionics’, which is funded by the German Research Foundation (DFG), at the Department of Technology Assessment at the Hamburg University of Technology. Michael Florian, received his master in sociology at the University of Münster, where he also finished his doctoral degree in 1993. Since 1995, he holds a position as a senior researcher (‘Oberingenieur’) at the Department of Technology Assessment at the Hamburg University of Technology and heads the sociological part of a project in the priority program ‘Socionics’ funded by the German Research Foundation (DFG).     

Moral coherence,moral worth and explanations of moral motivation

Moral internalism and moral externalism compete over the best explanation of the link between judgment and relevant motivation but, it is argued, they differ at best only verbally. The internalist rational-conceptual nature of the link’ as accounted by M. Smith in The Moral Problem is contrasted to the externalist, also rational, link that requires in addition support from the agent’s psychological-dispositional profile; the internalist link, however, is found to depend crucially on a, similarly to the externalist, psychologically ‘loaded’ profile. It is also argued that the differentiation of the two competing explanations is insufficient partly because they both fail to consider crucial quantitative parameters of the judgment-motivation link. Such parameters become very important particularly in the light of Smith’s claim that this link is grounded on the observable “striking fact” where changes in the set of one’s moral beliefs systematically bring about changes in one’s moral behavior. Examples of algorithms measuring moral coherence and moral worth are provided to serve as evidence for what it comes down to, vis-à-vis the alleged fact, only a verbal dispute between the two camps. Finally, the ‘misfiring’ of these explanations is understood in connection to the irreducibility of concepts such as ‘moral worth’, and/or, ‘moral sensitivity’.     

Artistic Expression Goes Green

The paper is a critical discussion of the rich and insightful final chapter of Mitchell Green’s Self-Expression. There, Green seeks to elucidate the compelling, but inchoate intuition that when we’re fully and most expertly expressing ourselves, we can ‘push out’ from within not just our inner representations, but also the ways that we feel. I question, first, whether this type of ‘qualitative expression’ is really distinct from the other expressive forms that Green explores, and also whether it’s genuinely ‘expressive’. I then scrutinize the nature of the ‘qualitative congruences’ that lie at the heart of Green’s theory; and I wonder whether they can play the role Green claims they can in providing a novel account of artistic expression.     

‘Seeing is believing’ and ‘believing is seeing’

The principal concern of my paper is a distinction between two ways of appreciating works of art, characterised here in terms of the phrases ‘seeing is believing’ and ‘believing is seeing’. I examine this distinction in the light of an epistemological requirement at times at least grounded in what David Davies, in his Art as Performance, refers to as the ‘common sense theory of art appreciation’ in order to assess exactly what aspect of the philosophical approach generally known as aesthetic empiricism his account commits him to reject. I argue that the ‘experiential requirement’, if only conceived in a slightly broader way than is usual, might very well have an important role to play not only in the appropriate appreciation of works that do not demonstrate the need for such a requirement (primarily works of late modern and conceptual art), but also in the ontological account Davies himself favours.     

Nonlinear second-order multivalued boundary value problems

In this paper we study nonlinear second-order differential inclusions involving the ordinary vectorp-Laplacian, a multivalued maximal monotone operator and nonlinear multivalued boundary conditions. Our framework is general and unifying and incorporates gradient systems, evolutionary variational inequalities and the classical boundary value problems, namely the Dirichlet, the Neumann and the periodic problems. Using notions and techniques from the nonlinear operator theory and from multivalued analysis, we obtain solutions for both the ‘convex’ and ‘nonconvex’ problems. Finally, we present the cases of special interest, which fit into our framework, illustrating the generality of our results.     

An algorithmic approach for maintenance management based on advanced state space systems and harmonic regressions

Point mechanisms are special track elements which failures results in delays and increased operating costs. In some cases such failures cause fatalities. A new robust algorithm for fault detection of point mechanisms is developed. It detects faults by comparing what can be considered the ‘normal’ or ‘expected’ shape of some signal with respect to the actual shape observed as new data become available. The expected shape is computed as a forecast of a combination of models. The proposed system deals with complicated features of the data in the case study, the main ones being the irregular sampling interval of the data and the time varying nature of the periodic behaviour. The system models are set up in a continuous-time framework and the system has been tested on a large dataset taken from a point mechanism operating on a commercial line.     

A probabilistic framework for the design of instance-based supervised ranking algorithms in an ordinal setting

In this article, we present a probabilistic framework which serves as the base from which instance-based algorithms for solving the supervised ranking problem may be derived. This framework constitutes a simple and novel approach to the supervised ranking problem, and we give a number of typical examples of how this derivation can be achieved. In this general framework, we pursue a cumulative and stochastic approach, relying heavily upon the concept of stochastic dominance. We show how the median can be used to extract, in a consistent way, a single (classification) label from a returned cumulative probability distribution function. We emphasize that all operations used are mathematically sound, i.e. they only make use of ordinal properties. Mostly, when confronted with the problem of learning a ranking, the training data is not monotone in itself, and some cleansing operation is performed on it to remove these ‘inconsistent’ examples. Our framework, however, deals with these occurrences of ‘reversed preference’ in a non-invasive way. On the contrary, it even allows to incorporate information gained from the occurrence of these reversed preferences. This is exactly what happens in the second realization of the main theorem.     

Particularism, perception and judgement

According to the most detailed articulation and defence of moral particularism, it is a metaphysical doctrine about the nature of reasons. This paper addresses aspects of particularist epistemology. In rejecting the existence and efficacy of principles in moral thinking and reasoning particularists typically appeal to a theory of moral knowledge which operates with a ‘perceptual’ metaphor. This is problematic. Holism about valence can give rise to a moral epistemology that is a metaethical variety of atomistic empiricism. To avoid what could be called the Myth of the Moral Given, particularism has made use of a judgement-centred account of moral epistemology. This paper critically examines that account with reference to a proposed analogy between our moral knowledge and our knowledge of similarities.     

Constructing greedy linear extensions by interchanging chains

A natural way to prove that a particular linear extension of an ordered set is ‘optimal’ with respect to the ‘jump number’ is to transform this linear extension ‘canonically’ into one that is ‘optimal’. We treat a ‘greedy chain interchange’ transformation which has applications to ordered sets for which each ‘greedy’ linear extension is ‘optimal’.     

Bar-On on Self-Knowledge and Expression

I critically discuss the account of self-knowledge presented in Dorit Bar-On’s Speaking My Mind (OUP 2004), focusing on Bar-On’s understanding of what makes our capacity for self-knowledge puzzling and on her ‘neo-expressivist’ solution to the puzzle. I argue that there is an important aspect of the problem of self-knowledge that Bar-On’s account does not sufficiently address. A satisfying account of self-knowledge must explain not merely how we are able to make accurate avowals about our own present mental states, but how we can reasonably regard ourselves as entitled to claim self-knowledge. Addressing this aspect of the problem of self-knowledge requires confronting questions about the metaphysical nature of mental states, questions that Bar-On’s approach seeks to avoid.     

Modelling start-up costs of multiple technologies in electricity markets

This paper deals with the dispatch problem in providing electric power with minimal costs using different technologies. Initially, we describe this problem in terms of a linear program. This enables us to take generally neglected start-up costs into account. The main result is the explicit solution of a simplified linear program which provides us with a better understanding of the ‘start-up cost’ effects. Furthermore, we show that dominated technologies should be used in the case of limited availability of efficient technologies.      

Experiments with an interactive paired comparison simplex method for molp problems

In this paper, an interactive paired comparison simplex based method formultiple objective linear programming (MOLP) problems is developed and compared to other interactive MOLP methods. The decision maker (DM)’s utility function is assumed to be unknown, but is an additive function of his known linearized objective functions. A test for ‘utility efficiency’ for MOLP problems is developed to reduce the number of efficient extreme points generated and the number of questions posed to the DM. The notion of ‘strength of preference ’ is developed for the assessment of the DM’s unknown utility function where he can express his preference for a pair of extreme points as ‘strong ’, ‘weak ’, or ‘almost indifferent ’. The problem of ‘inconsistency of the DM’ is formalized and its resolution is discussed. An example of the method and detailed computational results comparing it with other interactive MOLP methods are presented. Several performance measures for comparative evaluations of interactive multiple objective programming methods are also discussed. All rights reserved. This study, or parts thereof, may not be reproduced in any form without written permission of the authors.     

A duality theorem for semi-infinite convex programs and their finite subprograms

In this paper, we first establish a general recession condition under which a semi-infinite convex program and its formal lagrangian dual have the same value. We go on to show that, under this condition, the following hold. First, every finite subprogram, with ‘enough’ of the given constraints, has the same value as its Lagrangian dual. Second, the weak value of the primal program is equal to the optimal value of the primal. The first draft of this work, entitled ‘Asymptotic Convex Programming’ was completed while the author was a member of the Department of Mathematical Sciences at the University of Delaware, Newark, DE 19711.     

Cohomological stratification of diagram algebras

The class of cellularly stratified algebras is defined and shown to include large classes of diagram algebras. While the definition is in combinatorial terms, by adding extra structure to Graham and Lehrer’s definition of cellular algebras, various structural properties are established in terms of exact functors and stratifications of derived categories. The stratifications relate ‘large’ algebras such as Brauer algebras to ‘smaller’ ones such as group algebras of symmetric groups. Among the applications are relative equivalences of categories extending those found by Hemmer and Nakano and by Hartmann and Paget, as well as identities between decomposition numbers and cohomology groups of ‘large’ and ‘small’ algebras.     

Randomly generated polytopes for testing mathematical programming algorithms

Randomly generated polytopes are used frequently to test and compare algorithms for a variety of mathematical programming problems. These polytopes are constructed by generating linear inequality constraints with coefficients drawn independently from a distribution such as the uniform or the normal. It is noted that this class of ‘random’ polytopes has a special property: the angles between the hyperplanes, though dependent on the specific distribution used, tend to be equal when the dimension of the space increases. Obviously this structure of ‘random’ polytopes may bias test results.     

Van Gulick’s solution of the exclusion problem revisited

The anti-reductionist who wants to preserve the causal efficacy of mental phenomena faces several problems in regard to mental causation, i.e. mental events which cause other events, arising from her desire to accept the ontological primacy of the physical and at the same time save the special character of the mental. Psychology tries to persuade us of the former, appealing thereby to the results of experiments carried out in neurology; the latter is, however, deeply rooted in our everyday actions and beliefs and despite the constant opposition of science still very much alive. Difficulties, however, arise from a combination of two claims that are widely accepted in philosophy of mind, namely, physical monism and mental realism, the acceptance of which leads us to the greatest problem of mental causation: the problem of causal exclusion. Since physical causes alone are always sufficient for physical effects mental properties are excluded from causal explanations of our behaviour, which makes them “epiphenomenal”. The article introduces Van Gulick’s solution to the exclusion problem which tries to prove that physical properties, in contrast to mental properties, do not have as much of a privileged status with respect to event causation as usually ascribed. Therefore, it makes no sense to say that physical properties are causally relevant whereas mental properties are not. This is followed by my objection to his argument for levelling mental and physical properties with respect to causation of events. I try to show that Van Gulick’s argument rests on a premise that no serious physicalist can accept. Also called The Problem of Causal Exclusion.     

A changing trajectory of proof learning in the geometry inquiry classroom

The purpose of this study is to explore how students changes through learning to construct mathematical proofs in an inquiry-based middle school geometry class in Korea. Although proof has long been considered as one of the most important aspects of mathematics education, it is well-known that it is one of the most difficult areas of school mathematics for students. The geometry inquiry classroom (GIC) is an experimental class designed to teach geometry, especially focusing on teaching proof, based on students’ own inquiry. Based on a 2-year participant observation in the GIC, this study was conducted to address the following research question: how has students’ practice of mathematical proof been changed through their participation in the GIC? The in-depth analysis of the classroom discourse identified three stages through which the students’ practice of mathematical proof was transformed in the GIC: ‘emergent understanding of proof’, ‘proof learning as a goal-oriented activity’, ‘experiencing proof as the practice of mathematics’. The study found that as learning evolved through these stages, so the mathematics teacher’s role shifted from being an instructor to a mediator of communication. Most importantly, this research showed that the GIC has created a learning environment where students develop their competence in constructing meaningful mathematical proof and grow to be ‘a human who proves’, ultimately ‘a person who playfully engages with mathematics’.     

Potential,value, and coalition formation

In this paper, a simple probabilistic model of coalition formation provides a unified interpretation for several extensions of the Shapley value. Weighted Shapley values, semivalues, weak (weighted or not) semivalues, and the Shapley value itself appear as variations of this model. Moreover, some notions that have been introduced in the search of alternatives to Shapley’s seminal characterization, as ‘balanced contributions’ and the ‘potential’ are reinterpreted from this point of view. Natural relationships of these conditions with some mentioned families of ‘values’ are shown. These reinterpretations strongly suggest that these conditions are more naturally interpreted in terms of coalition formation than in terms of the classical notion of ‘value.’      

On some properties of a class of spearman rank statistics with applications

Summary The object of the present investigation is to study some properties of a class of Spearman rank statistics and to apply these results in studying the properties of a sequential procedure proposed in Section 3. The problem is one of bounded length confidence intervals for simple regression coefficients in linear models where both variables are subject to error. It is shown that the proposed procedure is asymptotically ‘consistent’ and ‘efficient’ in the sense of Chow and Robbins [3].