We study satisfiability and infinite-state model checking in ICPDL, which extends Propositional Dynamic Logic (PDL) with intersection and converse operators on programs. The two main results of this paper are that (i) satisfiability is in 2EXPTIME, thus 2EXPTIME-complete by an existing lower bound, and (ii) infinite-state model checking of basic process algebras and pushdown systems is also 2EXPTIME-complete. Both upper bounds are obtained by polynomial time computable reductions to ω-regular tree satisfiability in ICPDL, a reasoning problem that we introduce specifically (...) for this purpose. This problem is then reduced to the emptiness problem for alternating two-way automata on infinite trees. Our approach to (i) also provides a shorter and more elegant proof of Danecki's difficult result that satisfiability in IPDL is in 2EXPTIME. We prove the lower bound(s) for infinite-state model checking using an encoding of alternating Turing machines. (shrink)

The logic L (Qu) extends first-order logic by a generalized form of counting quantifiers ("the number of elements satisfying... belongs to the set C"). This logic is investigated for structures with an injectively ω-automatic presentation. If first-order logic is extended by an infinity-quantifier, the resulting theory of any such structure is known to be decidable [6]. It is shown that, as in the case of automatic structures [21], also modulo-counting quantifiers as well as infinite cardinality quantifiers ("there are χ many (...) elements satisfying...") lead to decidable theories. For a structure of bounded degree with injective ω-automatic presentation, the fragment of L(Qu) that contains only effective quantifiers is shown to be decidable and an elementary algorithm for this decision is presented. Both assumptions (ω-automaticity and bounded degree) are necessary for this result to hold. (shrink)

The first-order theory of a string automatic structure is known to be decidable, but there are examples of string automatic structures with nonelementary first-order theories. We prove that the first-order theory of a string automatic structure of bounded degree is decidable in doubly exponential space (for injective automatic presentations, this holds even uniformly). This result is shown to be optimal since we also present a string automatic structure of bounded degree whose first-order theory is hard for 2EXPSPACE. We prove similar (...) results also for tree automatic structures. These findings close the gaps left open in [28] by improving both the lower and the upper bounds. (shrink)

We prove that a finitely generated group is context-free whenever its Cayley-graph has a decidable monadic second-order theory. Hence, by the seminal work of Muller and Schupp, our result gives a logical characterization of context-free groups and also proves a conjecture of Schupp. To derive this result, we investigate general graphs and show that a graph of bounded degree with a high degree of symmetry is context-free whenever its monadic second-order theory is decidable. Further, it is shown that the word (...) problem of a finitely generated group is decidable if and only if the first-order theory of its Cayley-graph is decidable. (shrink)

For automatic and recursive graphs, we investigate the following problems: (A) existence of a Hamiltonian path and existence of an infinite path in a tree (B) existence of an Euler path, bounding the number of ends, and bounding the number of infinite branches in a tree (C) existence of an infinite clique and an infinite version of set cover The complexity of these problems is determined for automatic graphs and, supplementing results from the literature, for recursive graphs. Our results show (...) that these problems (A) are equally complex for automatic and for recursive graphs ( $\Sigma _{1}^{1}\text{-complete}$ ), (B) are moderately less complex for automatic than for recursive graphs (complete for different levels of the arithmetic hierarchy), (C) are much simpler for automatic than for recursive graphs (decidable and $\Sigma _{1}^{1}\text{-complete}$ , resp.). (shrink)

The main result of this paper states that the isomorphism problem for ω-automatic trees of finite height is at least has hard as second-order arithmetic and therefore not analytical. This strengthens a recent result by Hjorth, Khoussainov, Montalbán, and Nies showing that the isomorphism problem for ω-automatic structures is not in . Moreover, assuming the continuum hypothesis CH, we can show that the isomorphism problem for ω-automatic trees of finite height is recursively equivalent with second-order arithmetic. On the way to (...) our main results, we show lower and upper bounds for the isomorphism problem for ω-automatic trees of every finite height: It is decidable , for height 1 , -hard and in for height 3, and - and -hard and in for height . All proofs are elementary and do not rely on theorems from set theory. (shrink)

This paper concerns anti-Humean intuitions about connections in nature. It argues for the existence of a de re link that is not necessity.Some anti-Humeans tacitly assume that metaphysical necessity can be used for all sorts of anti-Humean desires. Metaphysical necessity is thought to stick together whatever would be loose and separate in a Hume world, as if it were a kind of universal superglue.I argue that this is not feasible. Metaphysical necessity might connect synchronically co-existent properties—kinds and their essential features, (...) for example—but it is difficult to see how it could also serve as the binding force for successions of events. That is, metaphysical necessity seems not to be fit for diachronic, causal affairs in which causal laws, causation, or dispositions are involved. A different anti-Humean connection in nature has to do that job.My arguments focus mainly on a debate which has been the battleground for Humean vs. anti-Humean intuitions for many decades—namely, the analysis of dispositional predicates—yet I believe (but do not argue here) that the arguments generalise to causation and causal laws straightforwardly. (shrink)

According to the standard view in philosophy, intentionality is the mark of genuine action. In psychology, human cognition and agency are now widely explained in terms of the workings of two distinct systems (or types of processes), and intentionality is not a central notion in this dual-system theory. Further, it is often claimed, in psychology, that most human actions are automatic, rather than consciously controlled. This raises pressing questions. Does the dual-system theory preserve the philosophical account of intentional action? How (...) much of our behavior is intentional according to this view? And what is the role of consciousness? I will propose here a revised account of intentional action within the dual-system framework, and we will see that most of our behavior can qualify as intentional, even if most of it is automatic. An important lesson will be that philosophical accounts of intentional action need to pay more attention to the role of consciousness in action. (shrink)

This paper combines two ideas: (1) That the Lewisian best system analysis of lawhood (BSA) can cope with laws that have exceptions (cf. Braddon-Mitchell in Noûs 35(2):260–277, 2001; Schrenk in The metaphysics of ceteris paribus laws. Ontos, Frankfurt, 2007). (2) That a BSA can be executed not only on the mosaic of perfectly natural properties but also on any set of special science properties (cf., inter alia, Schrenk 2007, Selected papers contributed to the sections of GAP.6, 6th international congress of (...) the society for analytical philosophy. Mentis, Paderborn/Münster, 2008; Cohen and Callender in Philos Stud 145:1–34, 2009, Erkenntnis 73:427–447, 2010). Bringing together (1) and (2) results in an analysis of special science ceteris paribus laws. (shrink)

This paper explores whether it is possible to reformulate or re-interpret Lewis’s theory of fundamental laws of nature—his “best system analysis”—in such a way that it becomes a useful theory for special science laws. One major step in this enterprise is to make plausible how law candidates within best system competitions can tolerate exceptions—this is crucial because we expect special science laws to be so called “ceteris paribus laws ”. I attempt to show how this is possible and also how (...) we can thereby make the first step towards a solution for the infamous difficulties surrounding the troublesome ceteris paribus clause. The paper outlines the general ideas of the theory but also points out some of its difficulties and background assumptions. (shrink)

Recent research shows – somewhat astonishingly – that people are willing to ascribe moral blame to AI-driven systems when they cause harm [1]–[4]. In this paper, we explore the moral- psychological underpinnings of these findings. Our hypothesis was that the reason why people ascribe moral blame to AI systems is that they consider them capable of entertaining inculpating mental states (what is called mens rea in the law). To explore this hypothesis, we created a scenario in which an AI system (...) runs a risk of poisoning people by using a novel type of fertilizer. Manipulating the computational (or quasi-cognitive) abilities of the AI system in a between-subjects design, we tested whether people’s willingness to ascribe knowledge of a substantial risk of harm (i.e., recklessness) and blame to the AI system. Furthermore, we investigated whether the ascription of recklessness and blame to the AI system would influence the perceived blameworthiness of the system’s user (or owner). In an experiment with 347 participants, we found (i) that people are willing to ascribe blame to AI systems in contexts of recklessness, (ii) that blame ascriptions depend strongly on the willingness to attribute recklessness and (iii) that the latter, in turn, depends on the perceived “cognitive” capacities of the system. Furthermore, our results suggest (iv) that the higher the computational sophistication of the AI system, the more blame is shifted from the human user to the AI system. (shrink)

This chapter sheds light on a response to experimental philosophy that has not yet received enough attention: the reflection defense. According to proponents of this defense, judgments about philosophical cases are relevant only when they are the product of careful, nuanced, and conceptually rigorous reflection. The chapter argues that the reflection defense is misguided: Five studies (N>1800) are presented, showing that people make the same judgments when they are primed to engage in careful reflection as they do in the conditions (...) standardly used by experimental philosophers. (shrink)

In der 1970 gegr ndeten Reihe erscheinen Arbeiten, die philosophiehistorische Studien mit einem systematischen Ansatz oder systematische Studien mit philosophiehistorischen Rekonstruktionen verbinden. Neben deutschsprachigen werden auch englischsprachige Monographien ver ffentlicht. Gr ndungsherausgeber sind: Erhard Scheibe (Herausgeber bis 1991), G nther Patzig (bis 1999) und Wolfgang Wieland (bis 2003). Von 1990 bis 2007 wurde die Reihe von J rgen Mittelstra mitherausgegeben.

This paper presents a series of studies (total N=579) which demonstrate that folk judgments concerning the reasonableness of decisions and actions depend strongly on whether they engender positive or negative consequences. A particular decision is deemed more reasonable in retrospect when it produces beneficial consequences than when it produces harmful consequences, even if the situation in which the decision was taken and the epistemic circumstances of the agent are held fixed across conditions. This finding is worrisome for the law, where (...) the reasonable person standard plays a prominent role. The legal concept of reasonableness is outcome-insensitive: whether the defendant acted in a reasonable fashion or not depends exclusively on her context of action, no matter how things play out. Folk judgments of reasonableness are thus inconsistent with the legal concept of reasonableness. Problematically, in common law jurisdictions, the decision whether a defendant’s behavior was reasonable or not is frequently (though not necessarily) delegated to a lay jury. (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 investigate peer influence on managerial honesty under varying levels of transparency. In a laboratory experiment, managers report their costs to a superior to request budget. We manipulate whether the managers learn each other’s report and cost or the report but not the cost. The results show, first, that managers are susceptible to peer influence, as they join peers in reporting honestly and dishonestly both under full and partial transparency. Second, however, the effect of peer influence is asymmetric. While managers’ (...) dishonesty increases much when peers’ reports are higher than they have expected, the opposite is not true. Third, partial transparency reinforces this asymmetry in peer influence. Unlike full transparency, it allows managers to substitute self-serving assumptions for missing information and to thus justify their own dishonesty more easily. The contribution of this study is twofold: It provides evidence for the interaction between transparency and peer influence and it highlights the role of expectations in fueling dishonesty. Our findings warn firms that especially partial transparency may spread dishonesty more than honesty. Transparency may also hurt firms that push honesty norms but fail to enforce compliance, thus raising and disappointing managers’ expectations. (shrink)

It is widely believed that at least two developments in the last third of the 20th century have given dispositionalism—the view that powers, capacities, potencies, etc. are irreducible real properties—new credibility: (i) the many counterexamples launched against reductive analyses of dispositional predicates in terms of counterfactual conditionals and (ii) a new anti-Humean faith in necessary connections in nature which, it is said, owes a lot to Kripke’s arguments surrounding metaphysical necessity. I aim to show in this paper that necessity is, (...) in fact, of little help for the dispositionalists. My argument makes use of one of the above mentioned counterexamples against Humean reduction: antidotes. Turning the tables, I ask how the dispositionalists themselves can deal with antidotes. The result will be to show that if the dispositionalists are to demystify antidote cases, they must make plausible a conceptualisation of dispositions that does not invoke any kind of necessity. I will cautiously suggest that the anti-Humean link dispositions bring to the world has to be thought of in terms of (Newtonian) forces. (shrink)

Religion, Metaphysik und Theologie sind durch das neuzeitliche Denken in besonderer Weise herausgefordert. Die Beiträge des Bandes befassen sich von verschiedenen Standpunkten aus mit der Spannung, die in Moderne und Postmoderne zwischen diesen Disziplinen entsteht.

Following the lead of Hannah Arendt and others, I want to argue that the imperial mystique seen in the British Empire found its way into Germany’s expansionist ambitions. I am concerned with the emotional costs of oppression, or what I call soul death. I focus on three key writers of the 20th century: Doris Lessing, Nadine Gordimer, and J. M. Coetzee, placing their writings in the context of war trauma and the barbarities associated with 20th century totalitarianism. My argument seeks (...) to elucidate the relationship between postcoloniality and the wars that shaped that century. These narratives of distress will be juxtaposed with novels by Imre Kertész and Arnošt Lustig whose writings of the Holocaust and the war atmosphere on the Eastern Front illuminate scenes of trauma and personal anguish. Here my study draws on the work of recent psychologists whose term soul murder is made much of. These writers’ works can be more fully understood to reveal patterns of personal destruction that are part of living under imperialism. They bring to the forefront behaviours that expose the debasement and hardening witnessed in the early decades of the century. (shrink)

From the late seventeenth century on the idea of culture underwent a gradual transformation. Originally this concept referred essentially to the “refined” way of life of the ruling social elite. Popular culture, on the other hand, refers to the usually collective practices of groups of rural and urban workers taking the form of performance. They were not only excluded from refined culture, but it was regarded as completely unsuitable for them, potentially creating dangerous social aspirations. It is with the great (...) social transformation from feudal to bourgeois society that the idea of refined culture was replaced by that of “high culture” encompassing both the arts and the sciences: works claiming universal human significance. This “high culture” for a considerable time coexisted with the remnants of popular culture. It has been only due to the great technical advances that its true opposite, “mass culture” emerged, at the turn to twentieth century, claiming an empirical universality: being understandable and truly interesting to everyone. In economic respect, there is a competitive relation between high and mass culture. However, it is argued that there can be no cultural competition between them. For they posit differing and potentially co-existing receptive attitudes. The characterisation of this difference and the discussion of the seeming exceptions to the so-articulated conceptual scheme occupies the concluding part of this essay. (shrink)

In an important and widely discussed series of studies, Jonathan Phillips and colleagues have suggested that the ordinary concept of happiness has a substantial moral component. For in- stance, two persons who enjoy the same extent of positive emotions and are equally satisfied with their lives are judged as happy to different degrees if one is less moral than the other. Considering that the relation between morality and happiness or self-interest has been one of the central questions of moral philosophy (...) since at least Plato, such a result would be of considerable philosophical interest. On closer examination of the original research and new studies, we suggest that the data point to a different conclusion: in the dominant folk understanding of happiness, morality has no fundamental role. Findings seeming to indicate a moralized concept are better explained, we suggest, by folk theories on which extreme moral turpitude indicates that an individual suffers from psychological dysfunction. (shrink)

This article introduces an “ordonomic” approach to corporate citizenship. We believe that ordonomics offers a conceptual framework for analyzing both the social structure and the semantics of moral commitments. We claim that such an analysis can provide theoretical guidance for the changing role of business in society, especially in regard to the expectation and trend that businesses take a political role and act as corporate citizens. The systematicraison d'êtreof corporate citizenship is that business firms can and—judged by the criterion of (...) prudent self-interest—“should” take on an active role in rule-finding discourses and rule-setting processes with the intent of realizing a win-win outcome of the economic game. We identify—and illustrate—four ways that corporate citizens can employ moral commitments as a factor of production to enhance their processes of economic value creation. (shrink)

In his ambitious Schelling's Late Philosophy in Confrontation with Hegel, Peter Dews sets out to reconstruct the fundamental difference between Schelling and Hegel on the basis of two related claims. The first, historical claim is that both are dealing with ‘our current historical situation’, which Dews identifies with ‘modernity’ (Dews 2023: 10). The second, systematic claim is that their mature systematic thinking is characterized by what he calls throughout the book, with reference to a canonical paper by Dieter Henrich (Henrich (...) 1976), their respective Grundoperationen (‘basic operations’). He then walks the reader through major positions that Schelling developed over the course of his philosophical career in order to demonstrate how Schelling arrives at a specific genealogical account of modernity. On this account, modernity is understood as a formation of consciousness, which is supposedly not subject to the Hegelian type of dialectic which, according to Dews, is driven by a rationalism so comprehensive that the very notion of unwarranted constraints on the agency of human beings or of the oppressive shaping of their consciousness has no place. (Dews 2023: 16). (shrink)

This article applies the tools of experimental philosophy to the ongoing debate about both the theoretical viability and the practical import of partially aggregative moral theories in distributive ethics. We conduct a series of three experiments (N=383): First, we document the widespread occurrence of the intuitions that motivate this position. Our study then moves beyond establishing the existence of partially aggregative intuitions in two dimensions: First, we extend experimental work in such a way as to ascertain which amongst existing versions (...) of partial aggregation (localised vs. global) chimes more fully with moral common sense. Specifically, we document how, in tie-breaking cases, ‘irrelevant goods’ judgments (Kamm) are just as robust as the original aggregative/non-aggregative pair of judgments that constitute partial aggregation. Second, by pairing laypeople’s moral judgments in standard cases with their intuitions about the limits of permissible self-prioritisation, we investigate whether one prominent explanation of why irrelevant claims may not be aggregated (Voorhoeve’s ‘personal prerogative’ argument) can be said to underpin people’s intuitions about the (ir)relevance relation of claims in conflict cases. We close with a discussion of our findings’ practical and theoretical import and highlight avenues for future research. (shrink)

The concept of a good life is usually assumed by philosophers to be equivalent to that of well-being, or perhaps of a morally good life, and hence has received little attention as a potentially distinct subject matter. In a series of experiments participants were presented with vignettes involving socially sanctioned wrongdoing toward outgroup members. Findings indicated that, for a large majority, judgments of bad character strongly reduce ascriptions of the good life, while having no impact at all on ascriptions of (...) happiness or well-being. Taken together with earlier findings these results suggest that the lay concept of a good life is clearly distinct from those of happiness, well-being, or morality , likely encompassing both morality and well-being, and perhaps other values as well: whatever matters in a person’s life. Importantly, morality appears not to play a fundamental role in either happiness or well-being among the folk. (shrink)

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)

Intellectual humility is an interesting but underexplored disposition. The claim “I am (intellectually) humble” seems paradoxical in that someone who has the disposition in question would not typically volunteer it. There is an explanatory gap between the meaning of the sentence and the meaning the speaker expresses by uttering it. We therefore suggest analyzing intellectual humility semantically, using a psycholexical approach that focuses on both synonyms and antonyms of ‘intellectual humility’. We present a thesaurus-based method to map the semantic space (...) of intellectual humility as a heuristic to support philosophical and psychological analysis of this disposition. We find three semantic clusters that compose intellectual humility: the sensible self, the discreet self, and the inquisitive self; likewise, we find three clusters that compose its contraries: the overrated self, the underrated other, and the underrated self. (shrink)

This essay attempts to demonstrate that it is doubtful if Galileo's famous thought experiment concerning falling bodies in his 'Dialogues Concerning Two New Sciences' (Galileo 1954: 61-64) actually does succeed in proving that Aristotle was wrong in claiming that "bodies of different weight […] move […] with different speeds which stand to one another in the same ratio as their weights," (Galileo 1954: 61). (Part I); and further that it is likewise doubtful that that argument does or even can establish (...) Galileo's own famous 'Law of Falling Bodies,' viz., that regardless of their weight all bodies fall with the same speed. (Part II). (shrink)

Like all causal theories in philosophy, the causal theory of action is plagued by the problem of deviant causal chains. I have proposed a solution on the basis of the assumption that mental states and events are causally efficacious in virtue of their contents. This solution has been questioned by Torbjörn Tännsjö (2009). First, I will reply to the objection, and then I will discuss Tännsjö’s alternative.

Are our beliefs justified only relatively to a specific culture or society? Is it possible to give reasons for the superiority of our scientific, epistemic methods? Markus Seidel sets out to answer these questions in his critique of epistemic relativism. Focusing on the work of the most prominent, explicitly relativist position in the sociology of scientific knowledge – so-called 'Edinburgh relativism' or the 'Strong Programme' –, he scrutinizes the key arguments for epistemic relativism from a philosophical perspective: underdetermination and (...) norm-circularity. His main negative result is that these arguments fall short of establishing epistemic relativism. -/- Despite arguing for epistemic absolutism, Seidel aims to provide an account of non-relative justification that nevertheless integrates the basic, correct intuition of the epistemic relativist. His main positive result is that the epistemic absolutist can very well accept the idea that people using different standards of justification can be equally justified in holding their beliefs: Rational disagreement, he maintains, is perfectly possible. -/- The book provides a detailed critique of relativism in the sociology of scientific knowledge and beyond. With its constructive part it aims at making conciliatory steps in a highly embittered discussion between sociology and philosophy of science. (shrink)

Previous research in Explainable Artificial Intelligence (XAI) suggests that a main aim of explainability approaches is to satisfy specific interests, goals, expectations, needs, and demands regarding artificial systems (we call these “stakeholders' desiderata”) in a variety of contexts. However, the literature on XAI is vast, spreads out across multiple largely disconnected disciplines, and it often remains unclear how explainability approaches are supposed to achieve the goal of satisfying stakeholders' desiderata. This paper discusses the main classes of stakeholders calling for explainability (...) of artificial systems and reviews their desiderata. We provide a model that explicitly spells out the main concepts and relations necessary to consider and investigate when evaluating, adjusting, choosing, and developing explainability approaches that aim to satisfy stakeholders' desiderata. This model can serve researchers from the variety of different disciplines involved in XAI as a common ground. It emphasizes where there is interdisciplinary potential in the evaluation and the development of explainability approaches. (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)

A provoking new approach to how we understand metaphors thoroughly comparing and contrasting the claims made by relevance theorists and cognitive linguists. The resulting hybrid theory shows the complementarity of many positions as well as the need and possibility of achieving a broader and more realistic theory of our understanding.

In Western thinking, the tradition of the argument for the existence of God beganwith Plato and Aristotle. It was carried forward in medieval scholasticism,eminently in Aquinas‟s so-called quinque viae, and reached its peak in modernphilosophy. To date approximately 1850 different proofs for the existence of Godare known. The most frequently represented and well-known types of proofs arethe ontological, cosmological, teleological and the moral or deontological type,referring respectively to the arguments of Anselm, Aquinas , and Kant. In this paper I will (...) discuss the development of modernphilosophical proofs, from Descartes‟s and Spinoza‟s ontological arguments,through, Leibniz‟s cosmological argument to Swinburne‟s revision of Leibniz. (shrink)

Arithmetic is one of the foundations of our educational systems, but what exactly is it? Numbers are everywhere in our modern societies, but what is our knowledge of numbers really about? This book provides a philosophical account of arithmetical knowledge that is based on the state-of-the-art empirical studies of numerical cognition. It explains how humans have developed arithmetic from humble origins to its modern status as an almost universally possessed knowledge and skill. Central to the account is the realisation that, (...) while arithmetic is a human creation, the development of arithmetic is constrained by our evolutionarily developed cognitive architecture. Arithmetic is a sophisticated cultural development, but it is ultimately based on abilities with numerosities that we already possess as infants and share with many non-human animals. Therefore, arithmetic is not purely conventional, an arbitrary game akin to chess. Instead, arithmetic is deeply connected to our basic cognitive capacities. (shrink)

The argument from inductive risk is considered to be one of the strongest challenges for value-free science. A great part of its appeal lies in the idea that even an ideal epistemic agent—the “perfect scientist” or “scientist qua scientist”—cannot escape inductive risk. In this paper, I scrutinize this ambition by stipulating an idealized Bayesian decision setting. I argue that inductive risk does not show that the “perfect scientist” must, descriptively speaking, make non-epistemic value-judgements, at least not in a way that (...) undermines the value-free ideal. However, the argument is more successful in showing that there are cases where the “perfect scientist” should, normatively speaking, use non-epistemic values. I also show that this is possible without creating problems of illegitimate prescription and wishful thinking. Thus, while inductive risk does not refute value-freedom completely, it still represents a powerful critique of value-free science. (shrink)

In this highly original book, Markus Gabriel presents 'Neo-Existentialism', an anti-naturalist view that holds that human mindedness consists in an open-ended proliferation of mentalistic vocabularies. Challenged by Charles Taylor, Andrea Kern and Jocelyn Benoist, Gabriel deftly refutes naturalism's metaphysical claim to epistemic exclusiveness.

Text-generative AI-systems have become important semantic agents with ChatGPT. We conducted a series of experiments to learn what teachers’ conceptions of text-generative AI are in relation to philosophical texts. In our main experiment, using mixed methods, we had twenty-four high school students write philosophical essays, which we then randomized to essays with the same command from ChatGPT. We had ten prospective teachers assess these essays. They were able to tell whether it was an AI or student essay with 78.7 percent (...) accuracy, which is better than the Open AI Classifier. Interestingly, however, they used criteria like argumentative and logical flawlessness and neutrality. We concluded from this that they are using an inverted Turing test and are no longer looking for rationality in machines but for irrationality in humans. (shrink)

Dieses Buch fragt danach, wie Grenzen wahrgenommen und erlebt werden, zu welchen Theorien und auch ästhetischen Reaktionen sie Anlaß geben, wie sie gestaltet und angezeigt werden und welches Verhalten bis hin zu Ritualen sie fordern. Dabei reicht der Gegenstandsbereich auf der Ebene realisierter Grenzen von der Grenze des Hauses über die Stadtgrenze bis zur politischen Grenze, auf der Ebene mentaler Abgrenzungen von epistemologischen über kulturelle bis zu metaphysischen Grenzziehungen.