Ioannis G. Ntagkas

Debunking arguments against both moral and mathematical realism have been pressed, based on the claim that our moral and mathematical beliefs are insensitive to the moral/mathematical facts. In the mathematical case, I argue that the role of Hume’s Principle as a conceptual truth speaks against the debunkers’ claim that it is intelligible to imagine the facts about numbers being otherwise while our evolved responses remain the same. Analogously, I argue, the conceptual supervenience of the moral on the natural speaks presents a difficulty for the debunker’s claim that, had the moral facts been otherwise, our evolved moral beliefs would have remained the same.

Stewart Shapiro’s ante rem structuralism recognizes the structural or ‘algebraic’ aspects of mathematical practice while still offering a face-value semantics. Fictionalism, as a purely ‘algebraic’ approach, is held to be at a disadvantage, as compared with Shapiro’s structuralism, in not interpreting mathematics at face value. However, the face-value reading of mathematical singular terms has difficulty explaining how we can use such terms to pick out a unique referent in cases where the relevant mathematical structures admit non-trivial automorphisms. Shapiro offers a solution to this difficulty, but his solution, I argue, evens the score between Shapiro’s structuralism and fictionalism.

This paper addresses Harman’s approach to enumerative induction as a case of inference to the best explanation. Αfter taking under brief consideration Hume’s critique to induction, the paper argues that Harman’s proposal does not improve the situation since the same characteristics of induction and the kind of skepticism associated with it reappear in case of inference to the best explanation. Then the paper questions Armstrong’s attempt to upgrade Harman’s suggestion by regarding a necessitation relation among two universals (a natural law) as the best explanans of the n observed cases of an enumerative induction procedure. It holds that Armstrong’s modification of Harman’s approach faces some difficulties which arise in the context of his views about instantiated universals. Instead, the paper investigates the possibility to assign the role of the explanans to a metaphysically stronger condition. It suggests that accounts of natural laws as metaphysically necessary facts concerning natural kinds can contribute in an attempt for a more fertile application of Harman’s approach.

The multiverse view in set theory, introduced and argued for in this article, is the view that there are many distinct concepts of set, each instantiated in a corresponding set-theoretic universe. The universe view, in contrast, asserts that there is an absolute background set concept, with a corresponding absolute set-theoretic universe in which every set-theoretic question has a definite answer. The multiverse position, I argue, explains our experience with the enormous range of set-theoretic possibilities, a phenomenon that challenges the universe view. In particular, I argue that the continuum hypothesis is settled on the multiverse view by our extensive knowledge about how it behaves in the multiverse, and as a result it can no longer be settled in the manner formerly hoped for

We consider a seemingly popular justification (we call it the Re-flexivity Defense) for the third derivability condition of the Hilbert-Bernays-Löb generalization of Godel's Second Incompleteness Theorem (G2). We argue that (i) in certain settings (rouglily, those where the representing theory of an arithmetization is allowed to be a proper subtheory of the represented theory), use of the Reflexivity Defense to justify the tliird condition induces a fourth condition, and that (ii) the justification of this fourth condition faces serious obstacles. We conclude that, in the types of settings mentioned, the Reflexivity Defense does not justify the usual ‘reading’ of G2—namely, that the consistency of the represented theory is not provable in the representing theory.

Using an axiomatization of second-order arithmetic (essentially second-order Peano Arithmetic without the Successor Axiom), arithmetic's basic operations are defined and its fundamental laws, up to unique prime factorization, are proven. Two manners of expressing a system's consistency are presented - the "Godel" consistency, where a wff is represented by a natural number, and the "real" consistency, where a wff is represented as a second-order sequence, which is a stronger notion. It is shown that the system can prove at least its Godel consistency and that closely allied systems can prove their real consistency.

This volume contains six new and fifteen previously published essays -- plus a new introduction -- by Storrs McCall. Some of the essays were written in collaboration with E. J. Lowe of Durham University. The essays discuss controversial topics in logic, action theory, determinism and indeterminism, and the nature of human choice and decision. Some construct a modern up-to-date version of Aristotle's bouleusis, practical deliberation. This process of practical deliberation is shown to be indeterministic but highly controlled and the antithesis of chance. Others deal with the concept of branching four-dimensional space-time, explain non-local influences in quantum mechanics, or reconcile God's omniscience with human free will. The eponymous first essay contains the proof of a fact that in 1931 Kurt Gödel had claimed to be unprovable, namely that the set of arithmetic truths forms a consistent system.

Whether or not quantum physics can account for molecular structure is a matter of considerable controversy. Three of the problems raised in this regard are the problems of molecular structure. We argue that these problems are just special cases of the measurement problem of quantum mechanics: insofar as the measurement problem is solved, the problems of molecular structure are resolved as well. In addition, we explore one consequence of our argument: that claims about the reduction or emergence of molecular structure cannot be settled independently of the choice of a particular resolution to the measurement problem. Specifically, we consider how three standard putative solutions to the measurement problem inform our under- standing of a molecule in isolation, as well as of chemistry’s relation to quantum physics.

Conceptual problems for consciousness are analogous to a Humean’s problem with scientific laws. Just as consciousness is often seen to involve further facts beyond the physical, laws would seem to involve reality beyond the Humean’s occurrent facts1. I will attempt to show that a Lewis-style best-system solution to the problem for laws should be applied to the related problem for consciousness. The leading idea of a best-system account is that law and chance claims are true in virtue of their place in ideal systematic treatment of the totality of occurrent fact. Nomic facts about law and chance, then, are not “further facts” beyond the occurrent; rather they are a matter of idealized scientific theory.

In this paper, we focus on two related reductive theses in metaphysics—Humean Supervenience and Composition as Identity—and on their status in light of the indications coming from science, in particular quantum mechanics. While defenders of these reductive theses claim that they can be updated so as to resist the quantum evidence, we provide arguments against this contention. We claim that physics gives us reason for thinking that both Humean Supervenience and Composition as Identity are at least contingently false, as the very process of composition determines, at least in some cases, the nature of composed systems. The argument has essentially to do with the fact that denying the reductive theses in question allows one to provide better explanations for the quantum evidence.

In 1687 Isaac Newton ushered in a new scientific era in which laws of nature could be used to predict the movements of matter with almost perfect precision. Newton's physics also posed a profound challenge to our self-understanding, however, for the very same laws that keep airplanes in the air and rivers flowing downhill tell us that it is in principle possible to predict what each of us will do every second of our entire lives, given the early conditions of the universe. Can it really be that even while you toss and turn late at night in the throes of an important decision and it seems like the scales of fate hang in the balance, that your decision is a foregone conclusion? Can it really be that everything you have done and everything you ever will do is determined by facts that were in place long before you were born? This problem is one of the staples of philosophical discussion. It is discussed by everyone from freshman in their first philosophy class, to theoretical physicists in bars after conferences. And yet there is no topic that remains more unsettling, and less well understood. If you want to get behind the façade, past the bare statement of determinism, and really try to understand what physics is telling us in its own terms, read this book. The problem of free will raises all kinds of questions. What does it mean to make a decision, and what does it mean to say that our actions are determined? What are laws of nature? What are causes? What sorts of things are we, when viewed through the lenses of physics, and how do we fit into the natural order? Ismael provides a deeply informed account of what physics tells us about ourselves. The result is a vision that is abstract, alien, illuminating, and-Ismael argues-affirmative of most of what we all believe about our own freedom. Written in a jargon-free style, How Physics Makes Us Free provides an accessible and innovative take on a central question of human existence.

We propose a definition of physical objects that aims to clarify some interpretational issues in quantum mechanics. We claim that the transformations generated by the objective properties of a physical system must be strictly interpreted as gauge transformations. We will argue that the uncertainty principle is a consequence of the mutual intertwining between objective properties and gauge-dependant properties. The proposed definition implies that in classical mechanics gauge-dependant properties are wrongly considered objective. We will conclude that, unlike classical mechanics, quantum mechanics provides a complete objective description of physical systems.

Humean Supervenience is a metaphysical model of the world according to which all truths hold in virtue of nothing but the total spatiotemporal distribution of perfectly natural, intrinsic properties. David Lewis and others have worked out many aspects of HS in great detail. A larger motivational question, however, remains unanswered: As Lewis admits, there is strong evidence from fundamental physics that HS is false. What then is the purpose of defending HS? In this paper, we argue that the philosophical merit of HS is largely independent of whether it correctly represents the world’s fundamental structure. In particular, we show that insofar as HS is an apt model of the world’s higher-level structure, it thereby provides a powerful argument for reductive physicalism and explains otherwise opaque inferential relations. Recent criticism of HS on the grounds that it misrepresents fundamental physical reality is, therefore, beside the point.

A long-standing charge of circularity against regularity accounts of laws has recently seen a surge of renewed interest. The difficulty is that we appeal to laws to explain their worldly instances, but if these laws are descriptions of regularities in the instances then they are explained by those very instances. By the transitivity of explanation, we reach an absurd conclusion: instances of the laws explain themselves. While drawing a distinction between metaphysical and scientific explanations merely modifies the challenge rather than resolving it, I argue that it does point us towards an attractive solution. According to Humeanism, the most prominent form of the regularity view, laws capture information about important patterns in the phenomena. By invoking laws in scientific explanations, Humeans are showing how a given explanandum is subsumed into a more general pattern. Doing so both undermines a principle of transitivity that plays a crucial role in the circularity argument and draws out a central feature of the Humean approach to scientific explanation.

The prospects for a complete stochastic theory of microscopic phenomena are considered. The two traditional schools of stochastic physics, the diffusion process school and the zero-point electromagnetic field school, are reviewed. A completely relativistic theory, stochastic field theory, is proposed as an extension of the ideas of these two schools. Within the context of stochastic field theory we present the following new results: an elementary stochastization scheme which produces the zero-point electromagnetic field; a physical interpretation of the mathematical methods developed by Lukosz for calculating zero-point energies; a calculation of the first-order Lamb shift which generalizes that of Welton; a new setting for a finite-temperature theory; and comments on the bag model for quark confinement

Ever since the early days of quantum mechanics it has been suggested that consciousness could be linked to the collapse of the wave function. However, no detailed account of such an interplay is usually provided. In this paper we present an objective collapse model where the collapse operator depends on integrated information, which has been argued to measure consciousness. By doing so, we construct an empirically adequate scheme in which superpositions of conscious states are dynamically suppressed. Unlike other proposals in which “consciousness causes the collapse of the wave function,” our model is fully consistent with a materialistic view of the world and does not require the postulation of entities suspicious of laying outside of the quantum realm.

In its classical form, epiphenomenalism is the view that conscious mental events have no physical effects: while physical events cause mental events, the opposite is never true. Unlike classical epiphenomenalism, contemporary forms do not hold that conscious men­ tal states always lack causal efficacy, only that they are epiphenomenal relative to certain kinds of action, ones we pre-theoretically would have thought consciousness to causally contribute to. Two of these contemporary, empirically based challenges to the efficacy of the mental are the focus of this chapter. The first, originating in research by Libet, has been interpreted as showing that the neural events initiating voluntary actions precede our conscious willing of them, meaning the conscious will cannot be what causes them. The second challenge, originating in studies by Milner and Goodale, consist of instances in which the content of visual consciousness and motor action dissociate, casting doubt on the intuitive view that visual consciousness guides visually based motor action.

This paper provides an account of what it is to have faith in a proposition p, in both religious and mundane contexts. It is argued that faith in p doesn’t require adopting a degree of belief that isn’t supported by one’s evidence but rather it requires terminating one’s search for further evidence and acting on the supposition that p. It is then shown, by responding to a formal result due to I.J. Good, that doing so can be rational in a number of circumstances. If expected utility theory is the correct account of practical rationality, then having faith can be both epistemically and practically rational if the costs associated with gathering further evidence or postponing the decision are high. If a more permissive framework is adopted, then having faith can be rational even when there are no costs associated with gathering further evidence.

According to microessentialism, it is necessary to resort to microstructure in order to adequately characterise chemical substances such as water. But the thesis has never been properly supported by argument. Kripke and Putnam, who originally proposed the thesis, suggest that a so-called stereotypical characterisation is not possible, whereas one in terms of microstructure is. However, the sketchy outlines given of stereotypical descriptions hardly support the impossibility claim. On the other hand, what naturally stands in contrast to microscopic description is description in macroscopic terms, and macroscopic characterisations of water are certainly possible. This suffices to counter the claim that microdescriptions are necessary. Whether it counters the impossibility claim depends on whether all macroscopic descriptions are stereotypical (stereotypical descriptions presumably being macroscopic). In so far as systematic import of “stereotypical” can be determined, it would seem not. But some macroscopic characterisations have definite affinity with everyday knowledge, which presumably stands in conflict with the spirit of the impossibility claim. Since what is characterised are properties expressed by predicates like “is water”, the necessity of identity has no bearing here, and matters of interpretation pose problems for claims to the effect that science fixes the extension of “water” as ordinarily understood

My thesis examines the mass/count distinction; that is, to illustrate, the distinction between the role of "hair" in "There is hair in my soup" and "There is a hair in my soup". In "hair" has a mass-occurrence; in a count-occurrence. These two kinds of noun-occurrences, I argue, can be marked off from each other largely on syntactic grounds. Along the semantic dimension, I suggest that, in order to account for the intuitive distinction between nouns in their mass-occurrences and their singular count-occurrences, there must be a difference between the semantic role each of them plays. From among the available options, the most attractive one is to analyze nouns in their mass-occurrences as predicates. But, traditionally, nouns in their singular count-occurrences are also analyzed as predicates. I propose, therefore, that there are two different kinds of predicates: mass-predicates, such as "is-hair", and singular count-predicates, such as "is-a-hair". Neither kind is reducible to the other. ;Mass-predicates and singular count-predicates have something in common: they are both predicates. That is, they are related to their extension in the same way, viz. They are both true of whatever falls in their extension and the relation "is-true-of" at play here is, I conjecture, the same in both cases. The two kinds of predicates are also related to each other in a certain way, namely through a one-way entailment relation going from count to mass: everything that is a hair is also hair, but not conversely. And, finally, there are certain truth-conditional differences between them: the singular count-predicate "is-a-hair" is true only of whole individual hairs; the mass-predicate "is-hair" is true of individual hairs as well as hair-sums and hair-parts. ;These truth-conditional differences turn out to have interesting implications, in particular having to do with the part/whole relation and the act of counting. It is often held that mass-predicates are, as part of their meaning, homogeneous, while singular count-predicates are said to lack this property, as part of their meaning. I suggest, instead, that at least distributivity has to be rejected as a semantic property of mass-predicates, on the grounds that, to pick a representative example, water is not infinitely divisible into parts that are themselves water. The second kind of implication, having to do with the act of counting, is as follows. When we wish to associate, say, the world's hair with cardinal number , we need to speak of it in terms of individual hairs, the things of which the singular count-predicate "is-a-hair" is true. If, on the other hand, we are interested in amounts of hair , we need to speak of the world's hair in terms of those things of which the mass-predicate "is-hair" is true.

The objects we encounter in ordinary life and scientific practice - cars, trees, people, houses, molecules, galaxies, and the like - have long been a fruitful source of perplexity for metaphysicians. The Structure of Objects gives an original analysis of those material objects to which we take ourselves to be committed in our ordinary, scientifically informed discourse. Koslicki focuses on material objects in particular, or, as metaphysicians like to call them "concrete particulars", i.e., objects which occupy a single region of space-time at each time at which they exist and which have a certain range of properties that go along with space-occupancy, such as weight, shape, color, texture, and temperature. The Structure of Objects focuses in particular on the question of how the parts of such objects, assuming that they have parts, are related to the wholes which they compose.