This paper presents two cognitive models that simulate the production of referring expressions in the iMAP task—a task-oriented dialog. One general model is based on Dale and Reiter’s (1995)incremental algorithm, and the other is a simple template model that has a higher correlation with the data but is specifically geared toward the properties of the iMAP task. The property of the iMAP task environment that is modeled here is that the color feature is unreliable for identifying referents while other features (...) are reliable. The low computational cost of the incremental algorithm for generating referring expressions makes it an interesting starting point for a cognitive model. However, its explanatory power is limited, because it generates uniquely distinguishing referring expressions and because it considers features for inclusion in the referring expression in a fixed order. The first model extends the original incremental algorithm by an ability to adapt to feedback of whether a referring expression was used successfully, but it seems to overpredict the frequency with which distinguishing expressions are made and underpredict the frequency of overspecified referring expressions. The second model produces features for referring expressions purely based on its current estimate of a feature’s utility. Both models predict the observed human behavior of decreasing use of color terms and increasing use of useful feature terms. (shrink)

Humans face many game problems that are too large for the whole game tree to be used in their deliberations about action, and very little is understood about how they cope in such scenarios. However, when a human player’s chosen strategy is conditioned on her limited perspective of how the game might progress, then it should be possible to manipulate her into changing her planned move by mentioning a possible outcome of an alternative move. This paper demonstrates that human players (...) can be manipulated this way: in the game The Settlers of Catan, where negotiation is only a small part of what one must do to win the game thereby generating uncertainty about which outcomes to the negotiation are good and which are bad, the likelihood that a player accepts a trade offer that deviates from their declared preferred strategy is higher if it is accompanied by a description of what that trade offer can lead to. (shrink)

We describe recent developments in research on mathematical practice and cognition and outline the nine contributions in this special issue of topiCS. We divide these contributions into those that address (a) mathematical reasoning: patterns, levels, and evaluation; (b) mathematical concepts: evolution and meaning; and (c) the number concept: representation and processing.

The target article by Cohen Kadosh & Walsh (CK&W) raises questions as to the precise nature of the notion of abstractness that is intended. We note that there are various uses of the term, and also more generally in mathematics, and suggest that abstractness is not an all-or-nothing property as the authors suggest. An alternative possibility raised by the analysis of numerical representation into automatic and intentional codes is suggested.

The idea of levels of organization plays a central role in the philosophy of the life sciences. In this article, I first examine the explanatory goals that have motivated accounts of levels of organization. I then show that the most state-of-the-art and scientifically plausible account of levels of organization, the account of levels of mechanism proposed by Bechtel and Craver, is fundamentally problematic. Finally, I argue that the explanatory goals can be reached by adopting a deflationary approach, where levels of (...) organization give way to more well-defined and fundamental notions, such as scale and composition. (shrink)

Robustness is often presented as a guideline for distinguishing the true or real from mere appearances or artifacts. Most of recent discussions of robustness have focused on the kind of derivational robustness analysis introduced by Levins, while the related but distinct idea of robustness as multiple accessibility, defended by Wimsatt, has received less attention. In this paper, I argue that the latter kind of robustness, when properly understood, can provide justification for ontological commitments. The idea is that we are justified (...) in believing that things studied by science are real insofar as we have robust evidence for them. I develop and analyze this idea in detail, and based on concrete examples show that it plays an important role in science. Finally, I demonstrate how robustness can be used to clarify the debate on scientific realism and to formulate new arguments. (shrink)

This chapter reviews empirical research on the rules governing assertion and retraction, with a focus on the normative role of truth. It examines whether truth is required for an assertion to be considered permissible, and whether there is an expectation that speakers retract statements that turn out to be false. Contrary to factive norms (such as the influential “knowledge norm”), empirical data suggests that there is no expectation that speakers only make true assertions. Additionally, contrary to truth-relativist accounts, there is (...) no requirement for speakers to retract statements that are false at the context of assessment. We conclude by suggesting that truth still plays a crucial role in the evaluation of assertions: as a standard for evaluating their success, rather than permissibility. (shrink)

I show that the recent account of levels in neuroscience proposed by Craver and Bechtel is unsatisfactory since it fails to provide a plausible criterion for being at the same level and is incompatible with Craver and Bechtel’s account of downward causation. Furthermore, I argue that no distinct notion of levels is needed for analyzing explanations and causal issues in neuroscience: it is better to rely on more well-defined notions such as composition and scale. One outcome of this is that (...) apparent cases of downward causation can be analyzed away. (shrink)

The relationship between psychological states and the brain remains an unresolved issue in philosophy of psychology. One appealing solution that has been influential both in science and in philosophy is Dennett’s concept of the intentional stance, according to which beliefs and desires are real and objective phenomena, but not necessarily states of the brain. A fundamental shortcoming of this approach is that it does not seem to leave any causal role for beliefs and desires in influencing behavior. In this paper, (...) I show that intentional states ascribed from the intentional stance should be seen as real causes, develop this to an independently plausible ontological position, and present a response to the latest interventionist causal exclusion worries. (shrink)

There is a growing consensus among philosophers of science that scientific endeavors of understanding the human mind or the brain exhibit explanatory pluralism. Relatedly, several philosophers have in recent years defended an interventionist approach to causation that leads to a kind of causal pluralism. In this paper, I explore the consequences of these recent developments in philosophy of science for some of the central debates in philosophy of mind. First, I argue that if we adopt explanatory pluralism and the interventionist (...) approach to causation, our understanding of physicalism has to change, and this leads to what I call pluralistic physicalism. Secondly, I show that this pluralistic physicalism is not endangered by the causal exclusion argument. (shrink)

Although scientific realism is the default position in the life sciences, philosophical accounts of realism are geared towards physics and run into trouble when applied to fields such as biology or neuroscience. In this paper, I formulate a new robustness-based version of entity realism, and show that it provides a plausible account of realism for the life sciences that is also continuous with scientific practice. It is based on the idea that if there are several independent ways of measuring, detecting (...) or deriving something, then we are justified in believing that it is real. I also consider several possible objections to robustness-based entity realism, discuss its relationship to ontic structural realism, and show how it has the potential to provide a novel response to the pessimistic induction argument. (shrink)

This article aims to classify those reducts of expansions of (Q, <) by unary predicates which eliminate quantifiers, and in particular to show that, up to interdefinability, there are only finitely many for a given language. Equivalently, we wish to classify the closed subgroups of Sym(Q) containing the group of all automorphisms of (Q, <) fixing setwise certain subsets. This goal is achieved for expansions by convex predicates, yielding expansions by constants as a special case, and for the expansion by (...) a dense, co-dense predicate. Partial results are obtained in the general setting of several dense predicates. (shrink)

The notion of reduction continues to play a key role in philosophy of mind and philosophy of cognitive science. Supporters of reductionism claim that psychological properties or explanations reduce to neural properties or explanations, while antireductionists claim that such reductions are not possible. In this book, I apply recent developments in philosophy of science, particularly the mechanistic explanation paradigm and the interventionist theory of causation, to reassess the traditional approaches to reduction in philosophy of mind. I then elaborate and defend (...) a pluralistic framework for philosophy of mind, and show how reductionist ideas can be incorporated into it. This leads to a novel synthesis of pluralism and reductionism that I call pluralistic physicalism. (shrink)

Recently Kenneth Kendler and Peter Zachar have raised doubts about the correspondence theory of truth and scientific realism in psychopathology. They argue that coherentist or pragmatist approaches to truth are better suited for understanding the reality of psychiatric disorders. In this article, I show that rejecting realism based on the correspondence theory is deeply problematic: It makes psychopathology categorically different from other sciences, and results in an implausible view of scientific discovery and progress. As an alternative, I suggest a robustness-based (...) approach that can accommodate the significance of coherence and pragmatic factors without rejecting scientific realism and the correspondence theory of truth. (shrink)

The levels of selection debate is generally taken to be a debate about how natural selection can occur at the various levels of biological organization. In this paper, we argue that questions about levels of selection should be analyzed separately from questions about levels of organization. In the deflationary proposal we defend, all that is necessary for multilevel selection is that there are cases in which particles are nested in collectives, and that both the collectives and the particles that compose (...) them each separately undergo natural selection. We argue that adopting this deflationary account helps to disentangle the levels of selection and the levels of organization, and thereby contributes to advancing the levels of selection debate. (shrink)

This article makes the case for a specific variety of what we call Collective Capital Institutions (CCIs), by returning to the idea of Wage-Earner Funds (WEFs) – a 1970s Swedish policy proposal designed gradually to shift ownership and control over parts of the economy to democratically controlled institutions. We identify two attractive rationales in favour of such a scheme and argue that both can fruitfully be transposed to the current worldwide economic situation. The egalitarian rationale is that WEFs could help (...) in the pursuit of equality by giving a wider set of people a stake in collectively owned companies and a right to their profits. The democratic rationale is that WEFs redistribute not only these profits, but also the power over economic decisions made within companies. We then contrast such schemes for collective capital ownership with the similar but much more privatised proposals set out in, for instance, John Rawls's idea of a ‘property-owning democracy’. We argue that CCIs ultimately are more likely to contribute to the development of the ‘sense of justice’ within society that is needed for a stable just society. We conclude that CCIs deserve a great deal more exploration in academic and political discussions of egalitarian economic systems. (shrink)

We associate with every first order structure [Formula: see text] a family of invariant, locally Noetherian topologies. The structure is almost determined by the topologies, and properties of the structure are reflected by topological properties. We study these topologies in particular for stable structures. In nice cases, we get a behaviour similar to the Zariski topology in algebraically closed fields.

We show that equational independence in the sense of Srour equals local non-forking. We then examine so-called almost equational theories where equational independence is a symmetric relation.

This reference work offers a representative and reliable survey of classical, medieval, and modern history in regards to the philosophical term, truth .

This paper is about two topics: 1. systems of explicit mathematics with universes and a non-constructive quantification operator $\mu$; 2. iterated fixed point theories with ordinals. We give a proof-theoretic treatment of both families of theories; in particular, ordinal theories are used to get upper bounds for explicit theories with finitely many universes.

If there is a duty of justice to contribute to society, which asks individuals to produce a specific amount of goods and services that can be redistributed, we need a decision-procedure to know when we have done our part. This paper analyses and critically assesses the commonly suggested decision-procedure of relying on market prices to measure the value of one’s contribution. It is usually assumed that a high salary indicates that one’s talents are put to good use, but this presupposes (...) both that market prices of labour are correct reflections of supply and demand, and that market prices are correct reflections of social value. I criticise both assumptions and argue that the social value of a contribution cannot simply be a function of its market value, but is also influenced by the principles of justice that support the duty to contribute. Further, the market solution is incapable of valuing contributions that lack market prices, like non-marketised care labour. The market solution thus fails as a decision-procedure under other than special circumstances. This does not mean, however, that we need to give up the idea of a duty to contribute. (shrink)

Schelling entwirft in seiner Spätphilosophie einen neuen Philosophietypus, der in Konkurrenz zu Hegels Metaphysik tritt. Dabei greift er Hegel nicht nur auf dem Gebiet fundamentaler theoretischen Annahmen an, sondern sucht ihn insbesondere durch einen neuen Begriff von Religion zu überbieten. Die Arbeit untersucht dies im Ausgang von Schellings "Philosophie der Mythologie".

Work has always been a significant source of ethical questions, philosophical reflection, and political struggle. Although the future of work in a sense is always at stake, the issue is particularly relevant right now, in light of the advent of advanced AI systems and the collective experience of the COVID-19 pandemic. This has reinvigorated philosophical discussion and interest in the study of the future of work. The purpose of this survey article is to provide an overview of the emerging philosophical (...) field that engages with the future of work, with a special focus on equality and justice, and to outline a research agenda that can help the field to develop further. Section 2 provides some historical context for the current surge in interest in the topic. Then, we discuss what work is and whether there is a philosophy of work (Section 3). The four main sub-debates we then turn to concern the value of work (Section 4), distributive justice and work (Section 5), productive justice (Section 6), and institutional reforms prompted by changes in how work is organized (Section 7). The final section discusses the importance of the distinction between ideal and non-ideal theory in philosophical investigations into the future of work. (shrink)

The model-checking problem for a logic L on a class C of structures asks whether a given L-sentence holds in a given structure in C. In this paper, we give super-exponential lower bounds for fixed-parameter tractable model-checking problems for first-order and monadic second-order logic. We show that unless PTIME=NP, the model-checking problem for monadic second-order logic on finite words is not solvable in time f·p, for any elementary function f and any polynomial p. Here k denotes the size of the (...) input sentence and n the size of the input word. We establish a number of similar lower bounds for the model-checking problem for first-order logic, for example, on the class of all trees. (shrink)

We prove, assuming the existence of large cardinals, the relative consistency of the existence of strongly saturated ideals on small cardinals. We also give some information about the problem, how many σ-additive, 0-1-valued measures over a small cardinal are necessary, such that every subset of the cardinal is measurable in at least one of them.

Die liberale Theologie in Jena im ausgehenden 19. Jahrhundert ist als eigenständige Form liberaler Theologie im Sinne einer theologischen Richtung zu verstehen. Der Verfasser erhebt die fundamentaltheologischen und exegetischen Grundlagen der liberalen Jenaer Theologie in der Zuordnung von Glaube und Vernunft, Teleologie und Kausalität und entsprechend Theologie und Philosophie. Die Protagonisten (Richard A. Lipsius, O. Pfleiderer, A. Hilgenfeld u.a.) verknüpfen die kategorialen Grundannahmen Kants, Schleiermachers und Hegels, um die empirischen Materialien der Religionsgeschichte in ihrer Eigenständigkeit zu würdigen, ohne sich einer (...) begrifflichen Ordnung zu entziehen. Im Anschluss an Semler und Schleiermacher wird der Religionsbegriff zum Leitbegriff, da Religion als Lebensvorgang dem Reflexionsgeschehen Theologie vorausgeht und zur Grundanlage der menschlichen Natur gehört. Religiosität ist im subjektiven Geistesleben zu verorten, hat aber in der Beziehung des göttlichen auf den menschlichen Geist einen vorgängigen, externen Bezugspunkt. Die religionsphilosophische Verankerung der Theologie bekommt in der Exegese ihr markantes Profil durch die Verschränkung von historischer Einzelforschung und spekulativer Geschichtskonstruktion, womit eine Eigenständigkeit und Bezogenheit von historischer und systematischer Theologie gegeben ist. (shrink)

We examine fields in which model theoretic algebraic closure coincides with relative field theoretic algebraic closure. These are perfect fields with nice model theoretic behaviour. For example, they are exactly the fields in which algebraic independence is an abstract independence relation in the sense of Kim and Pillay. Classes of examples are perfect PAC fields, model complete large fields and henselian valued fields of characteristic 0.

Psychological measurement has received strong criticism throughout the history of psychological science. Nevertheless, measurements of attributes such as emotions or intelligence continue to be widely used in research and society. I address this puzzle by presenting a new causal perspective to psychological measurement. I start with assumptions that both critics and proponents of psychological measurement are likely to accept: a minimal causal condition and the observation that most psychological concepts are ill-defined or ambiguous. Based on this, I argue that psychological (...) measurement is fundamentally different from measurement in the physical sciences but can nevertheless be useful. (shrink)

Journal Name: SATS Issue: Ahead of print.