Opponents to consciousness in fish argue that fish do not feel pain because they do not have a neocortex, which is a necessary condition for feeling pain. A common counter-argument appeals to the multiple realizability of pain: while a neocortex might be necessary for feeling pain in humans, pain might be realized differently in fish. This paper argues, first, that it is impossible to find a criterion allowing us to demarcate between plausible and implausible cases of multiple realization of pain (...) without running into a circular argument. Second, opponents to consciousness in fish cannot be provided with reasons to believe in the multiple realizability of pain. I conclude that the debate on the existence of pain in fish is impossible to settle by relying on the multiple realization argument. (shrink)

Whether the prefrontal cortex is part of the neural substrates of consciousness is currently debated. Against prefrontal theories of consciousness, many have argued that neural activity in the prefrontal cortex does not correlate with consciousness but with subjective reports. We defend prefrontal theories of consciousness against this argument. We surmise that the requirement for reports is not a satisfying explanation of the difference in neural activity between conscious and unconscious trials, and that prefrontal theories of consciousness come out of this (...) debate unscathed. (shrink)

According to William Alston, we lack voluntary control over our propositional attitudes because we cannot believe intentionally, and we cannot believe intentionally because our will is not causally connected to belief formation. Against Alston, I argue that we can believe intentionally because our will is causally connected to belief formation. My defense of this claim is based on examples in which agents have reasons for and against believing p, deliberate on what attitude to take towards p, and subsequently acquire an (...) attitude A towards p because they have decided to take attitude A. From the possibility of intentional belief, two conclusions follow. First, the kind of control we have over our propositional attitudes is direct; it is possible for us to believe at will. Second, the question of whether what we believe is under our control ultimately depends on whether our will itself is under our control. It is, therefore, a question of the metaphysics of free will. (shrink)

As for most measurement procedures in the course of their development, measures of consciousness face the problem of coordination, i.e., the problem of knowing whether a measurement procedure actually measures what it is intended to measure. I focus on the case of the Perceptual Awareness Scale to illustrate how ignoring this problem leads to ambiguous interpretations of subjective reports in consciousness science. In turn, I show that empirical results based on this measurement procedure might be systematically misinterpreted.

Consciousness scientists have not reached consensus on two of the most central questions in their field: first, on whether consciousness overflows reportability; second, on the physical basis of consciousness. I review the scientific literature of the 19th century to provide evidence that disagreement on these questions has been a feature of the scientific study of consciousness for a long time. Based on this historical review, I hypothesize that a unifying explanation of disagreement on these questions, up to this day, is (...) that scientific theories of consciousness are underdetermined by the evidence, namely, that they can be preserved “come what may” in front of (seemingly) disconfirming evidence. Consciousness scientists may have to find a way of solving the persistent underdetermination of theories of consciousness to make further progress. (shrink)

Consciousness is scientifically challenging to study because of its subjective aspect. This leads researchers to rely on report-based experimental paradigms in order to discover neural correlates of consciousness (NCCs). I argue that the reliance on reports has biased the search for NCCs, thus creating what I call 'methodological artefacts'. This paper has three main goals: first, describe the measurement problem in consciousness science and argue that this problem led to the emergence of methodological artefacts. Second, provide a critical assessment of (...) the NCCs put forward by the global neuronal workspace theory. Third, provide the means of dissociating genuine NCCs from methodological artefacts. (shrink)

I argue that scientific realism, insofar as it is only committed to those scientific posits of which we have causal knowledge, is immune to Kyle Stanford’s argument from unconceived alternatives. This causal strategy is shown not to repeat the shortcomings of previous realist responses to Stanford’s argument. Furthermore, I show that the notion of causal knowledge underlying it can be made sufficiently precise by means of conceptual tools recently introduced into the debate on scientific realism. Finally, I apply this strategy (...) to the case of Jean Perrin’s experimental work on the atomic hypothesis, disputing Stanford’s claim that the problem of unconceived alternatives invalidates a realist interpretation of this historical episode. 1 Stanford’s Argument from Unconceived Alternatives2 Previous Attempts to Undermine the Problem of Unconceived Alternatives2.1 The plausibility of unconceived alternatives2.2 The distinctness of unconceived alternatives2.3 The induction from past to present3 Causal Knowledge as a Criterion for the Realist3.1 How Chakravartty’s proposal differs from earlier causal strategies3.2 Causal realism and the detection/auxiliary distinction4 Causal Realism, Unconceived Alternatives, and the Atomic Hypothesis4.1 Perrin and the philosophers: some initial observations4.2 Roush and Stanford on Perrin4.3 From Brownian motion to the reality of atoms4.4 What we know about atoms5 Conclusion. (shrink)

To study consciousness, scientists need to determine when participants are conscious and when they are not. They do so with consciousness detection procedures. A recurring skeptical argument against those procedures is that they cannot be calibrated: there is no way to make sure that detection outcomes are accurate. In this article, I address two main skeptical arguments purporting to show that consciousness scientists cannot calibrate detection procedures. I conclude that there is nothing wrong with calibration in consciousness science.

Does particle physics really describe the basic constituents of the material world or is it just a useful tool for deriving empirical predictions? This book proposes a novel answer to that question, emphasizing the importance of causal reasoning for the justification of scientific claims. It thereby responds to general worries about scientific realism as well as to more specific challenges stemming from the interpretation of quantum physics.

The current global COVID-19 pandemic has led to a deep and multidimensional crisis across all sectors of society. As countries contemplate their mobility and social-distancing policy restrictions, we have a unique opportunity to re-imagine the deliberative frameworks and value priorities in our food systems. Pre-pandemic food systems at global, national, regional and local scales already needed revision to chart a common vision for sustainable and ethical food futures. Re-orientation is also needed by the relevant sciences, traditionally siloed in their disciplines (...) and without adequate attention paid to how the food system problem is variously framed by diverse stakeholders according to their values. From the transdisciplinary perspective of food ethics, we argue that a post-pandemic scheme focused on bottom-up, regional, cross-sectoral and non-partisan deliberation may provide the re-orientation and benchmarks needed for not only more sustainable, but also more ethical food futures. (shrink)

The scientific study of consciousness emerged as an organized field of research only a few decades ago. As empirical results have begun to enhance our understanding of consciousness, it is important to find out whether other factors, such as funding for consciousness research and status of consciousness scientists, provide a suitable environment for the field to grow and develop sustainably. We conducted an online survey on people’s views regarding various aspects of the scientific study of consciousness as a field of (...) research. 249 participants completed the survey, among which 80% were in academia, and around 40% were experts in consciousness research. Topics covered include the progress made by the field, funding for consciousness research, job opportunities for consciousness researchers, and the scientific rigor of the work done by researchers in the field. The majority of respondents (78%) indicated that scientific research on consciousness has been making progress. However, most participants perceived obtaining funding and getting a job in the field of consciousness research as more difficult than in other subfields of neuroscience. Overall, work done in consciousness research was perceived to be less rigorous than other neuroscience subfields, but this perceived lack of rigor was not related to the perceived difficulty in finding jobs and obtaining funding. Lastly, we found that, overall, the global workspace theory was perceived to be the most promising (around 28%), while most non-expert researchers (around 22% of non-experts) found the integrated information theory (IIT) most promising. We believe the survey results provide an interesting picture of current opinions from scientists and researchers about the progresses made and the challenges faced by consciousness research as an independent field. They will inspire collective reflection on the future directions regarding funding and job opportunities for the field. (shrink)

A uniform construction for sequent calculi for finite-valued first-order logics with distribution quantifiers is exhibited. Completeness, cut-elimination and midsequent theorems are established. As an application, an analog of Herbrand’s theorem for the four-valued knowledge-representation logic of Belnap and Ginsberg is presented. It is indicated how this theorem can be used for reasoning about knowledge bases with incomplete and inconsistent information.

Autonomous robots are increasingly interacting with users who have limited knowledge of robotics and are likely to have an erroneous mental model of the robot’s workings, capabilities, and internal structure. The robot’s real capabilities may diverge from this mental model to the extent that one might accuse the robot’s manufacturer of deceiving the user, especially in cases where the user naturally tends to ascribe exaggerated capabilities to the machine (e.g. conversational systems in elder-care contexts, or toy robots in child care). (...) This poses the question, whether misleading or even actively deceiving the user of an autonomous artifact about the capabilities of the machine is morally bad and why. By analyzing trust, autonomy, and the erosion of trust in communicative acts as consequences of deceptive robot behavior, we formulate four criteria that must be fulfilled in order for robot deception to be morally permissible, and in some cases even morally indicated. (shrink)

According to the global neuronal workspace model of consciousness, consciousness results from the global broadcast of information throughout the brain. The global neuronal workspace is mainly constituted by a fronto-parietal network. The anterior insular cortex is part of this global neuronal workspace, but the function of this region has not yet been defined within the global neuronal workspace model of consciousness. In this review, I hypothesize that the anterior insular cortex implements a cross-modal priority map, the function of which is (...) to determine priorities for the processing of information and subsequent entrance in the global neuronal workspace. (shrink)

This paper critically assesses the proposal that scientific realists do not need to search for a solution of the measurement problem in quantum mechanics, but should instead dismiss the problem as ill-posed. James Ladyman and Don Ross have sought to support this proposal with arguments drawn from their naturalized metaphysics and from a Bohr-inspired approach to quantum mechanics. I show that the first class of arguments is unsuccessful, because formulating the measurement problem does not depend on the metaphysical commitments which (...) are undermined by ontic structural realism, rainforest realism, or naturalism in general. The second class of arguments is problematic due to its refusal to provide an analysis of the term "measurement". It turns out that the proposed dissolution of the measurement problem is in conflict not only with traditional forms of scientific realism but even with the rather minimal realism that Ladyman and Ross themselves defend. (shrink)

In this paper, I defend the claim that addressing dominating ontologies is crucial for achieving Indigenous self-determination. Consequently, the struggle for Indigenous self-determination comprises not only an engagement with political practices, structures, and institutions, but also with political ontology. I first argue that implementing Indigenous self-determination requires an engagement with political ontology. I then introduce Iris Young’s conception of self-determination as non-domination as a way to engage with diverging ontologies within the political framework of federalism. In the final section of (...) the paper, I present two constructive proposals concerning how Indigenous peoples and settler states can establish an ontology at the federal level that facilitates Indigenous self-determination. (shrink)

Neo-Aristotelian ethical naturalism suggests that the sense of normative terms like “ought” and “good” as they appear in ethical discourse is to be elucidated in terms of the relation in which a living individual stands to the life-form or “species” of which it is an exemplar—in our case: the human life-form. A theory of this form has to provide a story about questions such as: What enables us to distinguish the different kinds of life within the theory? What makes them, (...) despite those differences, all sorts of natural goodness? And where, in relation to those continuities and discontinuities, is the account of practical reason to be situated? In this paper, I investigate how a developed ethical naturalism has to conceive of the relation between the genus concept life and the concept of the specific kind of life characteristic of us: rational or practically self-conscious life. I argue that there is a deep ambiguity with respect to this question in the account Philippa Foot presents in Natural Goodness. An ambiguity that covers a dilemma. A properly developed ethical naturalism would have to develop the concept of reason out of the reflection on life. (shrink)

Anosognosia for visual deficits—cases where significant visual deficits go unnoticed—challenges the view that our own conscious experiences are what we know best. We review these widespread and striking failures of awareness. Anosognosia can occur with total blindness, visual abnormalities induced by brain lesions, and eye diseases. We show that anosognosia for visual deficits is surprisingly widespread. Building on previous accounts, we introduce a framework showing how apparently disparate forms of anosognosia fit together. The central idea is that, to notice a (...) deficit, individuals need to form expectations about normal vision, compare expectations and visual input, and judge any mismatch at the metacognitive level. A failure in any of these three steps may lead to unawareness of visual deficits. (shrink)

Some European countries legally recognise a “right to roam”—a right to freely traverse across land, even if privately owned. Political philosophers have paid little attention to the right, and have often conceptualised property rights to include strong claim-rights to exclude others. I offer an account of the right to roam, and consider whether it can be philosophically justified on a left-liberal account of property. After finding a defence in terms of the interests served by the right lacking, I suggest that (...) the most promising defence of the right to roam is that it serves as a symbolic reminder of a fundamental type of social equality. (shrink)

Trust is one of the big buzzwords in debates about the shaping of society, democracy, and emerging technologies. For example, one prominent idea put forward by the High‐Level Expert Group on Artificial Intelligence appointed by the European Commission is that artificial intelligence should be trustworthy. In this essay, we explore the notion of trust and argue that both proponents and critics of trustworthy AI have flawed pictures of the nature of trust. We develop an approach to understanding trust in AI (...) that does not conceive of trust merely as an accelerator for societal acceptance of AI technologies. Instead, we argue, trust is granted through leaps of faith. For this reason, trust remains precarious, fragile, and resistant to promotion through formulaic approaches. We also highlight the significance of distrust in societal deliberation, as it is relevant to trust in various and intricate ways. Among the fruitful aspects of distrust is that it enables individuals to forgo technology if desired, to constrain its power, and to exercise meaningful human control. (shrink)

This study endorses the use of data envelopment analysis, which uses benefit-of-the-doubt weighting to evaluate the social, economic and overall performance of social enterprises. This methodology is especially useful for creating composite indicators based on multiple outputs expressed in different measurement units, and allows for enterprise-specific weighting of the different objectives. Applying this methodology on a unique longitudinal dataset of Flemish sheltered workshops suggests that social enterprises may face different types of mission drift. Further, our results show that top-performing social (...) enterprises are more economically and socially efficient than low performers. These top performers also have a stronger economic orientation, which sheds new light on the balance between social and economic orientations in social enterprises. (shrink)

The aim of this paper is to show that the French philosopher and historian of science Abel Rey played a more influential role in the formative phase of the Vienna Circle than hitherto supposed. On the whole, it will be argued that Rey's contribution had political impact. His interpretation of "modern physics" in 1907 in the face of the alleged "bankruptcy of science" should be appreciated as a masterpiece of applied enlightenment thought. As such, it was especially paradigmatic for Philipp (...) Frank's "positivist" defense of the theory of relativity and quantum mechanics against the irrationalist tendencies of the 1920s and 1930s. (shrink)

The aim of this paper is to emphasize the fact that for all finitely-many-valued logics there is a completely systematic relation between sequent calculi and tableau systems. More importantly, we show that for both of these systems there are al- ways two dual proof sytems (not just only two ways to interpret the calculi). This phenomenon may easily escape one’s attention since in the classical (two-valued) case the two systems coincide. (In two-valued logic the assignment of a truth value and (...) the exclusion of the opposite truth value describe the same situation.). (shrink)

Analytic philosophy in the United States emerged parallel to the demise of idealism. During the second half of the nineteenth century, Josiah Royce had contributed importantly to the predominance of idealist systems and corresponding academic groups. With the rise of pragmatism and new realism, the situation changed dramatically: the idealist movement lost momentum and realism began to dominate the discourse. The present paper argues that the critiques of idealism put forward by the realists during the first two decades of the (...) twentieth century were instrumental to the emergence of analytic philosophy in the United States. As I will explain, Ralph Barton Perry (1876–1957) was the key figure in the underinvestigated genesis of this movement. (shrink)

Between 1819 and 1832 Friedrich Schleiermacher was giving lectures on the life of Jesus at the University of Berlin. The following article includes two partial editions, which document the introductory parts of the lectures from 1819/20 and 1829/30. Both are based on manuscripts written by Schleiermacher’s listeners. Especially to explore the development of Schleiermacher’s conceptual considerations this two partial editions should be a useful addition to the new critical edition of Schleiermacher’s Vorlesungen über das Leben Jesu published in 2018 by (...) Walter Jaeschke (KGA II/15). (shrink)

Entailment in propositional Gödel logics can be defined in a natural way. While all infinite sets of truth values yield the same sets of tautologies, the entailment relations differ. It is shown that there is a rich structure of infinite-valued Gödel logics, only one of which is compact. It is also shown that the compact infinite-valued Gödel logic is the only one which interpolates, and the only one with an r.e. entailment relation.

In today’s world, Artificial Intelligence plays a central role in many decision-making processes. However, its use can lead to structural and epistemic injustices—especially in the context of healt...

Business Ethics, the Environment & Responsibility, EarlyView.

The paper explains in what sense the GRW matter density theory is a primitive ontology theory of quantum mechanics and why, thus conceived, the standard objections against the GRW formalism do not apply to GRWm. We consider the different options for conceiving the quantum state in GRWm and argue that dispositionalism is the most attractive one.

This book considers Robert Brandom's philosophy and presents an original and exciting analysis of the semantic argument in legal argumentation.

Takeuti and Titani have introduced and investigated a logic they called intuitionistic fuzzy logic. This logic is characterized as the first-order Gödel logic based on the truth value set [0,1]. The logic is known to be axiomatizable, but no deduction system amenable to proof-theoretic, and hence, computational treatment, has been known. Such a system is presented here, based on previous work on hypersequent calculi for propositional Gödel logics by Avron. It is shown that the system is sound and complete, and (...) allows cut-elimination. A question by Takano regarding the eliminability of the Takeuti-Titani density rule is answered affirmatively. (shrink)

We consider the following problem: Given a proof of the Skolemization of a formula F, what is the length of the shortest proof of F? For the restriction of this question to cut-free proofs we prove corresponding exponential upper and lower bounds.

Having a confirmation bias sometimes leads us to hold inaccurate beliefs. So, the puzzle goes: why do we have it? According to the influential argumentative theory of reasoning, confirmation bias emerges because the primary function of reason is not to form accurate beliefs, but to convince others that we’re right. A crucial prediction of the theory, then, is that confirmation bias should be found only in the reasoning domain. In this article, we argue that there is evidence that confirmation bias (...) does exist outside the reasoning domain. This undermines the main evidential basis for the argumentative theory of reasoning. In presenting the relevant evidence, we explore why having such confirmation bias may not be maladaptive. (shrink)

Statman and Orevkov independently proved that cut-elimination is of nonelementary complexity. Although their worst-case sequences are mathematically different the syntax of the corresponding cut formulas is of striking similarity. This leads to the main question of this paper: to what extent is it possible to restrict the syntax of formulas and — at the same time—keep their power as cut formulas in a proof? We give a detailed analysis of this problem for negation normal form , prenex normal form and (...) monotone formulas. We show that proof reduction to NNF is quadratic, while PNF behaves differently: although there exists a quadratic transformation into a proof in PNF too, additional cuts are needed; the elimination of these cuts requires nonelementary expense in general. By restricting the logical operators to {,,,}, we obtain the type of monotone formulas. We prove that the elimination of monotone cuts can be of nonelementary complexity . On the other hand, we define a large class of problems where cut-elimination of monotone cuts is only exponential and show that this bound is tight. This implies that the elimination of monotone cuts in equational theories is at most exponential. Particularly, there are no short proofs of Statman's sequence with monotone cuts. (shrink)

Quantum computing technologies have become a hot topic in academia and industry receiving much attention and financial support from all sides. Building a quantum computer that can be used practically is in itself an outstanding challenge that has become the ‘new race to the moon’. Next to researchers and vendors of future computing technologies, national authorities are showing strong interest in maturing this technology due to its known potential to break many of today’s encryption techniques, which would have significant and (...) potentially disruptive impact on our society. It is, however, quite likely that quantum computing has beneficial impact on many computational disciplines. In this article we describe our vision of future developments in scientific computing that would be enabled by the advent of software-programmable quantum computers. We thereby assume that quantum computers will form part of a hybrid accelerated computing platform like GPUs and co-processor cards do today. In particular, we address the potential of quantum algorithms to bring major breakthroughs in applied mathematics and its applications. Finally, we give several examples that demonstrate the possible impact of quantum-accelerated scientific computing on society. (shrink)

In this paper an alternative Skolemization method is introduced that, for a large class of formulas, is sound and complete with respect to intuitionistic logic. This class extends the class of formulas for which standard Skolemization is sound and complete and includes all formulas in which all strong quantifiers are existential. The method makes use of an existence predicate first introduced by Dana Scott.