Ioannis G. Ntagkas

What to do with the missing shade of blue (MSB)? Some have argued that Hume's famous thought experiment undermines his central doctrine – the ‘copy principle’ – such that he should have revised his whole theory in light of it. Others contend that the MSB is not a true or actual counterexample to the copy principle, but merely an apparent or conceivable one, so that he had no such obligation to revise. In this essay, I argue that even if the MSB is a true counterexample, Hume would not have been obligated to revise his theory, given methodological resources he makes available to himself elsewhere in his work and his overarching empiricist aims. And I offer a new suggestion for why he might have included and even highlighted the MSB in his writings despite its being so very vexing and peculiar.

A key source of support for the view that challenging people’s beliefs about free will may undermine moral behavior is two classic studies by Vohs and Schooler (2008). These authors reported that exposure to certain prompts suggesting that free will is an illusion increased cheating behavior. In the present paper, we report several attempts to replicate this influential and widely cited work. Over a series of five studies (sample sizes of N = 162, N = 283, N = 268, N = 804, N = 982) (four preregistered) we tested the relationship between (1) anti-free-will prompts and free will beliefs and (2) free will beliefs and immoral behavior. Our primary task was to closely replicate the findings from Vohs and Schooler (2008) using the same or highly similar manipulations and measurements as the ones used in their original studies. Our efforts were largely unsuccessful. We suggest that manipulating free will beliefs in a robust way is more difficult than has been implied by prior work, and that the proposed link with immoral behavior may not be as consistent as previous work suggests.

If there is a single thread running through this issue of the journal, it may be the complex interplay between the individual and the system of which they are apart, highlighting a need for systems thinking in medical ethics and public health.1 2 Such thinking raises at least three sorts of questions in this context: normative questions about the locus of moral responsibility for change when a system is unjust; practical questions about how to change systems in a way that is morally appropriate without triggering unintended, potentially harmful side-effects; and epistemic questions about how to predict the multidimensional consequences of a proposed change or set of changes to an intricate social system such as healthcare.3 These questions crop up throughout the issue, as I will discuss, but my focus is the target article and linked commentaries on gender bias in the surgical profession. Hutchison conducted in-depth interviews with 46 Australian women surgeons and surgical trainees, taking care to avoid leading questions regarding gender bias or gendered mistreatment. Nevertheless, despite minimal prompting, at least four types of gender-related concerns were described by the surgeons,whether directly or indirectly: 1. structural bias in workplace factors, including insufficient parental leave for women, exclusion from men’s spaces where informal training may occur, and a dearth of senior female role models; 2. epistemic injustices including unfair doubting of women’s surgical competence or knowledge relative to men; 3. stereotyped expectations that women surgeons would or should shoulder the burden of medical carework, for example, by attending to patients’ emotional needs; and 4. objectification, both by colleagues and patients, including sexual innuendo, remarks about clothing, and even outright sexual assault. Each of these concerns is disturbing on its own, and yet they do not operate in isolation. Rather, they interact …

In this article, we analyse the novel case of Phoenix, a non-binary adult requesting ongoing puberty suppression to permanently prevent the development of secondary sex characteristics, as a way of affirming their gender identity. We argue that the aim of OPS is consistent with the proper goals of medicine to promote well-being, and therefore could ethically be offered to non-binary adults in principle; there are additional equity-based reasons to offer OPS to non-binary adults as a group; and the ethical defensibility of facilitating individual requests for OPS from non-binary adults also depends on other relevant considerations, including the balance of potential benefits over harms for that specific patient, and whether the patient’s request is substantially autonomous. Although the broadly principlist ethical approach we take can be used to analyse other cases of non-binary adults requesting OPS apart from the case we evaluate, we highlight that the outcome will necessarily depend on the individual’s context and values. However, such clinical provision of OPS should ideally be within the context of a properly designed research study with long-term follow-up and open publication of results.

We present a framework for epistemic logic, modeling the logical aspects of System 1 and System 2 cognitive processes, as per dual process theories of reasoning. The framework combines non-normal worlds semantics with the techniques of Dynamic Epistemic Logic. It models non-logically-omniscient, but moderately rational agents: their System 1 makes fast sense of incoming information by integrating it on the basis of their background knowledge and beliefs. Their System 2 allows them to slowly, step-wise unpack some of the logical consequences of such knowledge and beliefs, by paying a cognitive cost. The framework is applied to three instances of limited rationality, widely discussed in cognitive psychology: Stereotypical Thinking, the Framing Effect, and the Anchoring Effect.

This essay offers an account and defense of conceptual primitivism about truth: the view that the concept of truth is a fundamental concept that cannot be analyzed or defined in terms of concepts that are more fundamental. It considers three arguments in defense of primitivism, and meets a familiar objection that fundamental concepts are by their nature obscure and mysterious. It concludes by considering the ways in which primitivism is similar to and different from other theories of truth, both substantive and deflationary.

The theory of truthmaking has long aroused skepticism from philosophers who believe it to be tangled up in contentious ontological commitments and unnecessary theoretical baggage. In this book, Jamin Asay shows why that suspicion is unfounded. Challenging the current orthodoxy that truthmaking's fundamental purpose is to be a tool for explaining why truths are true, Asay revives the conception of truthmaking as fundamentally an exercise in ontology: a means for coordinating one's beliefs about what is true and one's ontological commitments. He goes on to show how truthmaking connects to analyticity, truth, and realism, and how it contributes to debates over nominalism, presentism, mathematical objects, and fictional characters. His book is the most comprehensive exploration to date into what truthmaking is and how it contributes to metaphysical debates across philosophy, and will interest a wide range of readers in metaphysics and beyond.

It would be ever so nice if there were a viable analytic/synthetic distinction. Though nobody knows for sure, there would seem to be several major philosophical projects that having one would advance. For example: analytic sentences2 are supposed to have their truth values solely in virtue of the meanings (together with the syntactic arrangement) of their constituents; i.e., their truth values are supposed to supervene on their linguistic properties alone.3 So they are true in every possible world where they mean what they mean here.4 So they are necessarily true. So if there were a viable analytic/synthetic distinction (‘a/s distinction’ often hereafter), we would understand the necessity of at least some necessary truths. If, in particular, it were to turn out that the logical and/or the mathematical truths are analytic, we would understand why they are necessary. It would be ever so nice to understand why the logical and/or mathematical truths are necessary (cf. Gibson 1998; Quine 1998).

This dissertation consists of two parts. The first is on the relation between formalism and ontological commitment in the context of theories of spacetime, and the second is on scientific realism. The first part begins with a look at how the substantivalist/relationist debate over the ontological status of spacetime has been influenced by a particular mathematical formalism, that of tensor analysis on differential manifolds. This formalism has motivated the substantivalist position known as manifold substantivalism. Chapter 1 focuses on the hole argument which maintains that manifold substantivalism is incompatible with determinism. I claim that the realist motivations underlying manifold substantivalism can be upheld, and the hole argument avoided, by adopting structural realism with respect to spacetime. In this context, this is the claim that it is the structure that spacetime points enter into that warrants belief and not the points themselves. ;In Chapter 2, an elimination principle is defined by means of which a distinction can be made between surplus structure and essential structure with respect to formulations of a theory in two distinct mathematical formulations and some prior ontological commitments. This principle is then used to demonstrate that manifold points may be considered surplus structure in the formulation of field theories. This suggests that, if we are disposed to read field theories literally, then, at most, it should be the essential structure common to all alternative formulations of such theories that should be taken literally. I also investigate how the adoption of alternative formalisms informs other issues in the philosophy of spacetime. ;Chapter 3 offers a realist position which takes a semantic moral from the preceding investigation and an epistemic moral from work done on reliability. The semantic moral advises us to read only the essential structure of our theories literally. The epistemic moral shows us that such structure is robust under theory change, given an adequate reliabilist notion of epistemic warrant. I call the realist position that subscribes to these morals structural realism and attempt to demonstrate that it is immune to the semantic and epistemic versions of the underdetermination argument posed by the anti-realist.

This essay is concerned with a number of related proposals that claim there is a link between spacetime topology and quantum entanglement. I indicate the extent to which these proposals can be understood as stating a duality, and then consider two general approaches to articulating such a duality: a “state-based” approach, under which one attempts to identify relevant topological states as dual to quantum entangled states; and an “observable-based” approach, under which one attempts to identify relevant topological observables as dual to quantum entangement observables. Both approaches are faced with issues, essentially due to the ambiguous nature of quantum entanglement, that remain to be addressed.

The approach to scientific methodology developed in my recent book The Logic of Reliable Inquiry (LRI) shares many general features with that summarized in Larry Laudan’s concurrently published collection of papers Beyond Positivism and Relativism (BPR). Nonetheless, this fact might not be apparent, as my own work emphasizes mathematical theorems, whereas Laudan’s draws primarily upon historiography. It is, therefore, of some interest to discuss the extent of the agreement and the significance of the differences. More generally, the discussion will (I) provide a logical analysis of the instrumental significance of empirical meta-methodology and (II) redefine the role of logic in a post-positivistic, naturalized approach to epistemology and scientific method.

This paper concerns the extent to which uncertain propositional reasoning can track probabilistic reasoning, and addresses kinematic problems that extend the familiar Lottery paradox. An acceptance rule assigns to each Bayesian credal state p a propositional belief revision method B p , which specifies an initial belief state B p (T) that is revised to the new propositional belief state B(E) upon receipt of information E. An acceptance rule tracks Bayesian conditioning when B p (E) = B p|E (T), for every E such that p(E) > 0; namely, when acceptance by propositional belief revision equals Bayesian conditioning followed by acceptance. Standard proposals for uncertain acceptance and belief revision do not track Bayesian conditioning. The "Lockean" rule that accepts propositions above a probability threshold is subject to the familiar lottery paradox (Kyburg 1961), and we show that it is also subject to new and more stubborn paradoxes when the tracking property is taken into account. Moreover, we show that the familiar AGM approach to belief revision (Harper, Synthese 30(1-2):221-262, 1975; Alchourrón et al., J Symb Log 50:510-530, 1985) cannot be realized in a sensible way by any uncertain acceptance rule that tracks Bayesian conditioning. Finally, we present a plausible, alternative approach that tracks Bayesian conditioning and avoids all of the paradoxes. It combines an odds-based acceptance rule proposed originally by Levi (1996) with a non-AGM belief revision method proposed originally by Shoham (1987)

Ockham’s razor is the characteristic scientific penchant for simpler, more testable, and more unified theories. Glymour’s early work on confirmation theory eloquently stressed the rhetorical plausibility of Ockham’s razor in scientific arguments. His subsequent, seminal research on causal discovery still concerns methods with a strong bias toward simpler causal models, and it also comes with a story about reliability—the methods are guaranteed to converge to true causal structure in the limit. However, there is a familiar gap between convergent reliability and scientific rhetoric: convergence in the long run is compatible with any conclusion in the short run. For that reason, Carnap suggested that the proper sense of reliability for scientific inference should lie somewhere between short-run reliability and mere convergence in the limit. One natural such concept is straightest possible convergence to the truth, where straightness is explicated in terms of minimizing reversals of opinion and cycles of opinion prior to convergence. We close the gap between scientific rhetoric and scientific reliability by showing that Ockham’s razor is necessary for cycle-optimal convergence to the truth, and that patiently waiting for information to resolve conflicts among simplest hypotheses is necessary for reversal-optimal convergence to the truth

Synchronic norms of theory choice, a traditional concern in scientific methodology, restrict the theories one can choose in light of given information. Diachronic norms of theory change, as studied in belief revision, restrict how one should change one’s current beliefs in light of new information. Learning norms concern how best to arrive at true beliefs. In this paper, we undertake to forge some rigorous logical relations between the three topics. Concerning, we explicate inductive truth conduciveness in terms of optimally direct convergence to the truth, where optimal directness is explicated in terms of reversals and cycles of opinion prior to convergence. Concerning, we explicate Ockham’s razor and related principles of choice in terms of the information topology of the empirical problem context and show that the principles are necessary for reversal or cycle optimal convergence to the truth. Concerning, we weaken the standard principles of agm belief revision theory in intuitive ways that are also necessary for reversal or cycle optimal convergence. Then we show that some of our weakened principles of change entail corresponding principles of choice, completing the triangle of relations between,, and.

Thoroughgoing relativists typically dismiss the realist conviction that competing theories describe just one definite and mind-independent world-structure on the grounds that such theories fail to be relatively translatable even though they are equally correct. This line of argument allegedly brings relativism into direct conflict with the metaphysics of realism. I argue that this relativist line of reasoning is shaky by deriving a theorem about relativistic inquiry in formal epistemology—more specifically, in the approach Kevin Kelly has dubbed “logic of reliable inquiry”. According to the theorem, two scientists, who share some background knowledge but follow different appropriately reliable methods, will converge to relatively formally translatable competing theories, even if meaning, truth, logic and evidence are allowed to vary in time depending on each scientist’s conjectures, actions, or conceptual choices. Some final remarks on the relevance of the theorem to the incommensurability thesis that has vexed twentieth century philosophy of science are adduced.

Es wird eine Unterscheidung zwischen für eine einzelne Wissenschaft eigentümlichen Problemen und technologischen Problemen vorgeschlagen. Dieser Unterscheidung liegt eine Auffassung zugrunde, nach welcher jede Wissenschaft einen speziellen Ausblick auf die Welt erarbeitet, einen Ausblick, der nur diejenigen Aspekte eines wirklichen Vorgangs heraussucht und sich aneignet, welche für diese Wissenschaft eigentümlich sind. Im Gegensatz dazu erfaßt die Technologie Vorgänge in der Gesamtheit ihrer Aspekte. Auf der Grundlage dieser Unterscheidung werden die Grundzüge des Verfahrens, welches zur Lösung von technologischen Problemen führt, diskutiert.

Recently, Clifton and Halvorson have tried to salvage a particle phenomenology in the absence of particle ontology within algebraic relativistic quantum field theory. Their idea is that the detection of a particle is the measurement of a local observable which simulates the measurement of an almost local observable that annihilates the vacuum. In this note, we argue that the measurements local particle detections are supposed to simulate probe radically holistic aspects of relativistic quantum fields. We prove that in an axiomatic (Haag-Araki) quantum field theory on Minkowski spacetime, formulated in a Hilbert space $\mathcal{H}$, there is no positive observable C, with norm less than or equal to 1, satisfying the conditions: (1) the expectation value of C in the vacuum state Ω is zero, (2) there is at least one vector state Ψ in $\mathcal{H}$ in which the expectation value of C is different from zero, and (3) there exists at least one spacetime region $\mathcal{O}$ such that the non-selective measurement of C leaves the expectation values of all observables in the local algebra of that region unaltered regardless of the state the system is in. The result reveals a tension between intuitions regarding localization and intuitions regarding causality: to save “particle phenomena” in the absence of particle ontology, one has to feign “particle” detectors with “good” properties as to locality but “bad” behavior as to causality.

This paper explores the issues of holism and nonseparability in relativistic quantum field theory (QFT) by focusing on an analog of the typical model featuring in many discussions of holism and nonseparability in nonrelativistic quantum mechanics. It is argued that the quantum field theoretic model does exhibit holism in a metaphysical sense and that there are plausible grounds to view QFT holistic in an epistemological sense. However, the complexities arising from the fact that quantum fields have infinite degrees of freedom prohibit the exploitation of the elaborated analogy toward demonstrating that the QFT model exhibits the kind of state nonseparability familiar from ordinary quantum mechanics. Still, it is argued that the QFT model does satisfy a rather weak epistemological criterion for state nonseparability.

The physical, mathematical, and philosophical foundations of the quantum theory of free Bose fields in fixed general relativistic spacetimes are examined. It is argued that the theory is logically and mathematically consistent whereas semiclassical prescriptions for incorporating the back-reaction of the quantum field on the geometry lead to inconsistencies. Still, the relations and heuristic value of the semiclassical approach to canonical and covariant schemes of quantum gravity-plus-matter are assessed. Both conventional and rigorous formulations of the theory and of its principal predictions, cosmological particle creation and horizon radiation, are expounded and compared. Special attention is devoted to spacetime properties needed for the existence or uniqueness of the relevant theoretical elements, renormalization of the stress tensor). The emergence of unitarily inequivalent representations in a single dynamical context is used as motivation for the introduction of the abstract $\rm C\sp{\*}$-algebraic axiomatic formalism. The operationalist and conventionalist claims of the original abstract algebraic program are criticized in favor of its tempered outgrowth, local quantum physics. The interpretation of the theory as a wave mechanics of classical field configurations, deriving from the Schrodinger representations of the abstract algebra, is discussed and is found superior, at least on the level of analogy, to particle or harmonic oscillator interpretations. Further, it is argued that the various detector results and the Fulling nonuniqueness problem do not undermine the particle concept in the ways commonly claimed. In particular, arguments are offered against the attribution of particle status to the Rindler quanta, against the physical realizability of the Rindler vacuum, and against the more general notion of observer-dependence as to the definition of 'particle' or 'vacuum'. However, the question of the ontological status of particles is raised in terms of the consistency of quantum field theory with non-reductive realism about particles, the latter being conceived as entities exhibiting attributes of discreteness and localizability. Two arguments against non-reductive realism about particles, one from axiomatic algebraic local quantum theory in Minkowski spacetime and one from quantum field theory in curved spacetime, are developed.

Features of consciousness difficult to understand in terms of conventional neuroscience have evoked application of quantum theory, which describes the fundamental behavior of matter and energy. In this paper we propose that aspects of quantum theory (e.g. quantum coherence) and of a newly proposed physical phenomenon of quantum wave function "self-collapse"(objective reduction: OR -Penrose, 1994) are essential for consciousness, and occur in cytoskeletal microtubules and other structures within each of the brain's neurons. The particular characteristics of microtubules suitable for quantum effects include their crystal-like lattice structure, hollow inner core, organization of cell function and capacity for information processing. We envisage that conformational states of microtubule subunits (tubulins) are coupled to internal quantum events, and cooperatively interact (compute) with other tubulins. We further assume that macroscopic coherent superposition of quantum-coupled tubulin conformational states occurs throughout significant brain volumes and provides the global binding essential to consciousness. We equate the emergence of the microtubule quantum coherence with pre-conscious processing which grows (for up to 500 milliseconds) until the mass-energy difference among the separated states of tubulins reaches a threshold related to quantum gravity. According to the arguments for OR put forth in Penrose (1994), superpositioned states each have their own space-time geometries. When the degree of coherent mass-energy difference leads to sufficient separation of space-time geometry, the system must choose and decay (reduce, collapse) to a single universe state. In this way, a transient superposition of slightly differing space-time geometries persists until an abrupt quantum classical reduction occurs. Unlike the random, "subjective reduction"( SR, or R) of standard quantum theory caused by observation or environmental entanglement, the OR we propose in microtubules is a self-collapse and it results in particular patterns of microtubule-tubulin conformational states that regulate neuronal activities including synaptic functions.

Gödel appears to have believed strongly that the human mind cannot be explained in terms of any kind of computational physics, but he remained cautious in formulating this belief as a rigorous consequence of his incompleteness theorems. In this chapter, I discuss a modification of standard Gödel-type logical arguments, these appearing to strengthen Gödel’s conclusions, and attempt to provide a persuasive case in support of his standpoint that the actions of the mind must transcend computation. It appears that Gödel did not consider the possibility that the laws of physics might themselves involve noncomputational procedures; accordingly, he found himself driven to the conclusion that mentality must lie beyond the actions of the physical brain. My own arguments, on the other hand, are from the scientific standpoint that the mind is a product of the brain’s physical activity. Accordingly, there must be something in the physical actions of the world that itself transcends computation. We do not appear to find such noncomputational action in the known laws of physics, however, so we must seek it in currently undiscovered laws going beyond presently accepted physical theory. I argue that the only plausibly relevant gap in current understanding lies in a fundamental incompleteness in quantum theory, which reveals itself only with significant mass displacements between quantum states (“Schrödinger’s cats”). I contend that the need for new physics enters when gravitational effects just begin to play a role. In a scheme developed jointly with Stuart Hameroff, this has direct relevance within neuronal microtubules, and I describe this (still speculative) scheme in the following.

Epiphenomenalism is the view that mental events are caused by physical events in the brain, but have no effects upon any physical events. Behavior is caused by muscles that contract upon receiving neural impulses, and neural impulses are generated by input from other neurons or from sense organs. On the epiphenomenalist view, mental events play no causal role in this process. Huxley (1874), who held the view, compared mental events to a steam whistle that contributes nothing to the work of a locomotive. James (1879), who rejected the view, characterized epiphenomenalists' mental events as not affecting the brain activity that produces them "any more than a shadow reacts upon the steps of the traveller whom it accompanies"