We classify the asymptotic densities of the sets according to their level in the Ershov hierarchy. In particular, it is shown that for, a real is the density of an n‐c.e. set if and only if it is a difference of left‐ reals. Further, we show that the densities of the ω‐c.e. sets coincide with the densities of the sets, and there are ω‐c.e. sets whose density is not the density of an n‐c.e. set for any.

Computability theory is used to evaluate the complexity of classifying various kinds of Lebesgue spaces and associated isometric isomorphism problems.

Suppose \ is a computable real. We extend previous work of Clanin, Stull, and McNicholl by determining the degrees of categoricity of the separable \ spaces whose underlying measure spaces are atomic but not purely atomic. In addition, we ascertain the complexity of associated projection maps.

We prove uniformly computable versions of the Implicit Function Theorem in its differentiable and non-differentiable forms. We show that the resulting operators are not computable if information about some of the partial derivatives of the implicitly defining function is omitted. Finally, as a corollary, we obtain a uniformly computable Inverse Function Theorem, first proven by M. Ziegler.

Sufficient conditions are given for the computation of an arc that accesses a point on the boundary of an open subset of the plane from a point within the set. The existence of a not-computably-accessible but computable point on a computably compact arc is also demonstrated.

We use the compactness theorem of continuous logic to give a new proof that $$L^r([0,1]; {\mathbb {R}})$$ isometrically embeds into $$L^p([0,1]; {\mathbb {R}})$$ whenever $$1 \le p \le r \le 2$$. We will also give a proof for the complex case. This will involve a new characterization of complex $$L^p$$ spaces based on Banach lattices.

We show that any partial order with a Σ3 enumeration can be effectively embedded into any partial order obtained by imposing a strong reducibility such as ≤tt on the c. e. sets. As a consequence, we obtain that the partial orders that result from imposing a strong reducibility on the sets in a level of the Ershov hiearchy below ω + 1 are co-embeddable.

Let equation image. We show that for many reducibilities, the requirement that a relation be intrinsically reducible to the α-th jump of a countable mode A has a syntactic equivalent. Furthermore, we show that many reducibilities coincide in such a situation.

We study the following classes: Q* (r 1 A 1 ,..., r kA k ) which is defined to be the collection of all sets that can be computed by a Turing machine that on any input makes a total of r i queries to A i for all i ∈ {1,..., k}. Q(r 1A 1 ,...,r kA k ) which is defined like Q* (r 1A 1 ,..., r kA k ) except that queries to A i must be (...) made before queries to A i+1 for all i ∈ {1,..., k - 1}. QC(r 1A 1 ,..., r kA k ) which is defined like Q(r 1A 1 ,..., r kA k ) except that the Turing machine must halt even if given incorrect answers to some of its queries. We show that if A 1 ,..., A k are jumps that are not too close together, then all three of these classes are identical and are not changed if we permute (r 1A 1 ,..., r kA k ). This extends a result of Beigel's [1]. Since the second class is not affected by permutations, we say that these sets commute with each other. We also show that jumps that are too close together may not commute. We also characterize the commutative sequences of sets obtained by iterating the jump operation through an ordinal notation. (shrink)

Call a set A n-correctable if every set Turing reducible to A via a Turing machine that on any input makes at most n queries is Turing reducible to A via a Turing machine that on any input makes at most n-queries and on any input halts no matter what answers are given to its queries. We show that if a c.e. set A is n-correctable for some n ≥ 2, then it is n-correctable for all n. We show that (...) this is the optimal such result by constructing a c.e. set that is 1-correctable but not 2-correctable. The former result is obtained by examining the logical closure properties of c.e. sets that are 2-correctable. (shrink)

The theory of inner functions plays an important role in the study of bounded analytic functions. Inner functions are also useful in applied mathematics. Two foundational results in this theory are Frostman's Theorem and the Factorization Theorem. We prove a uniformly computable version of Frostman's Theorem. We then show that the Factorization Theorem is not uniformly computably true. We then show that for an inner function u with infinitely many zeros, the Blaschke sum of u provides the exact amount of (...) information necessary to compute the factorization of u. Along the way, we prove some uniform computability results for Blaschke products; these results play a key role in the analysis of factorization. We also give some computability results concerning zeros and singularities of analytic functions. We use Type-Two Effectivity as our foundation. (shrink)

We consider the complexity (in terms of the arithmetical hierarchy) of the various quantifier levels of the diagram of a computably presented metric structure. As the truth value of a sentence of continuous logic may be any real in [0, 1], we introduce two kinds of diagrams at each level: the closed diagram, which encapsulates weak inequalities of the form $$\phi ^\mathcal {M}\le r$$, and the open diagram, which encapsulates strict inequalities of the form $$\phi ^\mathcal {M}< r$$. We show (...) that the closed and open $$\Sigma _N$$ diagrams are $$\Pi ^0_{N+1}$$ and $$\Sigma ^0_N$$ respectively, and that the closed and open $$\Pi _N$$ diagrams are $$\Pi ^0_N$$ and $$\Sigma ^0_{N + 1}$$ respectively. We then introduce effective infinitary formulas of continuous logic and extend our results to the hyperarithmetical hierarchy. Finally, we demonstrate that our results are optimal. (shrink)

We examine the reverse mathematics and computability theory of a form of Ramsey's theorem in which the linear n-tuples of a binary tree are colored.

For a fixed set A, the number of queries to A needed in order to decide a set S is a measure of S's complexity. We consider the complexity of certain sets defined in terms of A: $ODD^A_n = \{(x_1, \dots ,x_n): {\tt\#}^A_n(x_1, \dots, x_n) \text{is odd}\}$ and, for m ≥ 2, $\text{MOD}m^A_n = \{(x_1, \dots ,x_n):{\tt\#}^A_n(x_1, \dots ,x_n) \not\equiv 0 (\text{mod} m)\},$ where ${\tt\#}^A_n(x_1, \dots ,x_n) = A(x_1)+\cdots+A(x_n)$ . (We identify A(x) with χ A (x), where χ A is (...) the characteristic function of A.) If A is a nonrecursive semirecursive set or if A is a jump, we give tight bounds on the number of queries needed in order to decide ODD A n and $\text{MOD}m^A_n: \bullet\text{ODD}^A_n$ can be decided with n parallel queries to A, but not with n - 1. $\bullet \text{ODD}^A_n$ can be decided with $\lceil log(n + 1)\rceil$ sequential queries to A but not with $\lceil log(n + 1)\rceil - 1. \bullet\text{MOD}m^A_n$ can be decided with $\lceil n/m\rceil + \lfloor n/m\rfloor$ parallel queries to A but not with $\lceil n/m\rceil + \lfloor n/m\rfloor - 1. \bullet\text{MOD}m^A_n$ can be decided with $\lceil log(\lceil n/m\rceil + \lfloor n/m\rfloor + 1)\rceil$ sequential queries to A but not with $\lceil log(\lceil n/m\rceil + \lfloor n/m\rfloor + 1)\rceil - 1$ . The lower bounds above hold for nonrecursive recursively enumerable sets A as well. (Interestingly, the lower bounds for recursively enumerable sets follow by a general result from the lower bounds for semirecursive sets.) In particular, every nonzero truth-table degree contains a set A such that ODD A n cannot be decided with n - 1 parallel queries to A. Since every truth-table degree also contains a set B such that ODD B n can be decided with one query to B, a set's query complexity depends more on its structure than on its degree. For a fixed set A, $Q(n,A) = \{S: S \text{can be decided with n sequential queries to} A\},\\Q_\parallel(n, A) = \{S: S \text{can be decided with n parallel queries to} A\}.$ We show that if A is semirecursive or recursively enumerable, but is not recursive, then these classes form non-collapsing hierarchies: $\bullet Q(0,A) \subset Q(1,A) \subset Q(2,A) \subset\cdots\\ \bullet Q_\parallel(0, A) \subset Q_\parallel(1, A) \subset Q_\parallel(2,A) \subset\cdots$ The same is true if A is a jump. (shrink)

We study the weak truth-table and truth-table degrees of the images of subsets of computable structures under isomorphisms between computable structures. In particular, we show that there is a low c.e. set that is not weak truth-table reducible to any initial segment of any scattered computable linear ordering. Countable $\Pi _{1}^{0}$ subsets of 2ω and Kolmogorov complexity play a major role in the proof.

Timothy Williamson gives an original and provocative treatment of deep metaphysical questions about existence, contingency, and change, using the latest resources of quantified modal logic. Contrary to the widespread assumption that logic and metaphysics are disjoint, he argues that modal logic provides a structural core for metaphysics.

Vagueness provides the first comprehensive examination of a topic of increasing importance in metaphysics and the philosophy of logic and language. Timothy Williamson traces the history of this philosophical problem from discussions of the heap paradox in classical Greece to modern formal approaches such as fuzzy logic. He illustrates the problems with views which have taken the position that standard logic and formal semantics do not apply to vague language, and defends the controversial realistic view that vagueness is a (...) kind of ignorance--that there really is a grain of sand whose removal turns a heap into a non-heap, but we cannot know which one it is. (shrink)

The second volume in the _Blackwell Brown Lectures in Philosophy_, this volume offers an original and provocative take on the nature and methodology of philosophy. Based on public lectures at Brown University, given by the pre-eminent philosopher, Timothy Williamson Rejects the ideology of the 'linguistic turn', the most distinctive trend of 20th century philosophy Explains the method of philosophy as a development from non-philosophical ways of thinking Suggests new ways of understanding what contemporary and past philosophers are doing.

Epistemic Value Monism is the view that there is only one kind of thing of basic, final epistemic value. Perhaps the most plausible version of Epistemic Value Monism is Truth Value Monism, the view that only true beliefs are of basic, final epistemic value. Several authors—notably Jonathan Kvanvig and Michael DePaul—have criticized Truth Value Monism by appealing to the epistemic value of things other than knowledge. Such arguments, if successful, would establish Epistemic Value Pluralism is true and Epistemic Value Monism (...) is false. This paper critically examines those arguments, finding them wanting. However, I develop an argument for Epistemic Value Pluralism that succeeds which turns on general reflection on the nature of value. (shrink)

In this paper we discuss how Causal Decision Theory should be modified to handle a class of problematic cases involving deterministic laws. Causal Decision Theory, as it stands, is problematically biased against your endorsing deterministic propositions (for example it tells you to deny Newtonian physics, regardless of how confident you are of its truth). Our response is that this is not a problem for Causal Decision Theory per se, but arises because of the standard method for assessing the truth of (...) certain counterfactuals. The truth of deterministic laws is `modally fragile' on the standard semantics for counterfactuals: if determinism is true and you were to do otherwise, the laws would be different. We provide two ways of avoiding this problem: 1) supplement the standard semantics for counterfactuals with impossible worlds, or 2) introduce rigid designators into the description of problematic decision situations. We argue that both of these approaches are well-motivated and can be readily incorporated into Lewisian Causal Decision Theory. (shrink)

The paper clarifies and defends the orthodox view that counterfactual conditionals with impossible antecedents are vacuously true against recent criticisms. It argues that apparent counterexamples to orthodoxy result from uncritical reliance on a fallible heuristic used in the processing of conditionals. A comparison is developed between such counterpossibles and vacuously true universal generalizations.

Truthmaker theorists hold that there is a metaphysically explanatory relation that holds between true claims and what exists. While some critics try to provide counterexamples to truthmaker theory, that response quickly leads to a dialectical standoff. The aim of this paper is to move beyond that standoff by attempting to undermine some standard arguments for truthmaker theory. Using realism about truth and a more pragmatic account of explanation, I show how some of those arguments can be undermined.

When I take off my glasses, the world looks blurred. When I put them back on, it looks sharpedged. I do not think that the world really was blurred; I know that what changed was my relation to the distant physical objects ahead, not those objects themselves. I am more inclined to believe that the world really is and was sharp-edged. Is that belief any more reasonable than the belief that the world really is and was blurred? I see more (...) accurately with my glasses on than off, so visual appearances when they are on have some cognitive priority over visual appearances when they are off. If I must choose which kind of visual appearance to take at face value, I will choose the sharp-edged look. But what should I think when I see a mist, which looks very blurred however well I am seeing? Indeed, why choose to take any of the looks at face value? Why not regard all the choices as illegitimate projections of ways of seeing the world onto the world itself? (shrink)

In recent years scholars have begun to question the usefulness of the category of ''religion'' to describe a distinctive form of human experience and behavior. In his last book, The Ideology of Religious Studies (OUP 2000), Timothy Fitzgerald argued that ''religion'' was not a private area of human existence that could be separated from the public realm and that the study of religion as such was thus impossibility. In this new book he examines a wide range of English-language texts (...) to show how religion became transformed from a very specific category indigenous to Christian culture into a universalist claim about human nature and society. These claims, he shows, are implied by and frequently explicit in theories and methods of comparative religion. But they are also tacitly reproduced throughout the humanities in the relatively indiscriminate use of ''religion'' as an a priori valid cross-cultural analytical concept, for example in historiography, sociology, and social anthropology. Fitzgerald seeks to link the argument about religion to the parallel formation of the ''non-religious'' and such dichotomies as church-state, sacred-profane, ecclesiastical-civil, spiritual-temporal, supernatural-natural, and irrational-rational. Part of his argument is that the category ''religion'' has a different logic compared to the category ''sacred,'' but the two have been consistently confused by major writers, including Durkheim and Eliade. Fitzgerald contends that ''religion'' imagined as a private belief in the supernatural was a necessary conceptual space for the simultaneous imagining of ''secular'' practices and institutions such as politics, economics, and the Nation State. The invention of ''religion'' as a universal type of experience, practice, and institution was partly the result of sacralizing new concepts of exchange, ownership, and labor practices, applying ''scientific'' rationality to human behavior, administering the colonies and classifying native institutions. In contrast, shows Fitzgerald, the sacred-profane dichotomy has a different logic of use. (shrink)

Previous research has suggested that bodily signals from internal organs are associated with diverse cortical and subcortical processes involved in sensory-motor functions, beyond homeostatic reflexes. For instance, a recent study demonstrated that the preparation and execution of voluntary actions, as well as its underlying neural activity, are coupled with the breathing cycle. In the current study, we investigated whether such breathing-action coupling is limited to voluntary motor action or whether it is also present for mental actions not involving any overt (...) bodily movement. To answer this question, we recorded electroencephalography (EEG), electromyography (EMG), and respiratory signals while participants were conducting a voluntary action paradigm including self-initiated motor execution (ME), motor imagery (MI), and visual imagery (VI) tasks. We observed that the voluntary initiation of ME, MI, and VI are similarly coupled with the respiration phase. In addition, EEG analysis revealed the existence of readiness potential (RP) waveforms in all three tasks (i.e., ME, MI, VI), as well as a coupling between the RP amplitude and the respiratory phase. Our findings show that the voluntary initiation of both imagined and overt action is coupled with respiration, and further suggest that the breathing system is involved in preparatory processes of voluntary action by contributing to the temporal decision of when to initiate the action plan, regardless of whether this culminates in overt movements. -/- . (shrink)

This paper challenges the soundness of the two-dimensional conceivability argument against the derivation of phenomenal truths from physical truths in light of a hyperintensional, ground-theoretic regimentation of the ontology of consciousness. The regimentation demonstrates how ontological dependencies between truths about consciousness and about physics cannot be witnessed by epistemic constraints, when the latter are recorded by the conceivability—i.e., the epistemic possibility—thereof. Generalizations and other aspects of the philosophical significance of the hyperintensional regimentation are further examined.

Yet recent thinkers have expressed deep reservations about the concept and the term has become marginalized in the humanities and social sciences.Eschewing this ...

Subjectivity theories of consciousness take self-reference, somehow construed, as essential to having conscious experience. These theories differ with respect to how many levels they posit and to whether self-reference is conscious or not. But all treat self-referencing as a process that transpires at the personal level, rather than at the subpersonal level, the level of mechanism. -/- Working with conceptual resources afforded by pre-existing theories of consciousness that take self-reference to be essential, several attempts have been made to explain seemingly (...) anomalous cases, especially instances of alien experience. These experiences are distinctive precisely because self-referencing is explicitly denied by the only person able to report them: those who experience them deny that certain actions, mental states, or body parts belong to self. The relevant actions, mental states, or body parts are sometimes attributed to someone or something other than self, and sometimes they are just described as not belonging to self. But all are referred away from self. -/- The cases under discussion here include somatoparaphrenia, schizophrenia, depersonalization, anarchic hand syndrome, and utilization behavior; the theories employed, Higher-Order Thought, Wide Intrinsicality, and Self-Representational. Below I argue that each of these attempts at explaining or explaining away the anomalies fails. Along the way, since each of these theories seeks at least compatibility with science, I sketch experimental approaches that could be used to adduce support for my position, or indeed for the positions of theorists with whom I disagree. -/- In a concluding section I first identify two presuppositions shared by all of the theorists considered here, and argue that both are either erroneous or misleading. Second, I call attention to divergent paths adopted when attempting to explain alienation experiences: some theorists choose to add a mental ingredient, while others prefer to subtract one. I argue that alienation from experience, action, or body parts could result from either addition or subtraction, and that the two can be incorporated within a comprehensive explanatory framework. Finally, I suggest that this comprehensive framework would require self-referencing of a sort, but self-referencing that occurs solely on the level of mechanism, or the subpersonal level. In adumbrating some features of this “subpersonal self,” I suggest that there might be one respect in which it is prior to conscious experience. (shrink)

Skeptical theism is a family of responses to arguments from evil. One important member of that family is Stephen Wykstra’s CORNEA-based criticism of William Rowe’s arguments from evil. A cornerstone of Wykstra’s approach is his CORNEA principle. However, a number of authors have criticized CORNEA on various grounds, including that it has odd results, it cannot do the work it was meant to, and it problematically conflicts with the so-called common sense epistemology. In this paper, I explicate and defend a (...) CORNEA principle. After sketching a brief argument for it, I show how it can be acquitted of these recent charges. (shrink)

The author argues that all forms of life are interconnected and that no being, construct, or object can exist independently from the ecological entanglement, nor does "nature" exist as an entity separate from the uglier or more synthetic elements of life. Realizing this interconnectedness is what the author calls the ecological thought. He investigates the philosophical, political, and aesthetic implications of this interconnectedness.

At any given time, a subject has a multiplicity of conscious experiences. A subject might simultaneously have visual experiences of a red book and a green tree, auditory experiences of birds singing, bodily sensations of a faint hunger and a sharp pain in the shoulder, the emotional experience of a certain melancholy, while having a stream of conscious thoughts about the nature of reality. These experiences are distinct from each other: a subject could experience the red book without the singing (...) birds, and could experience the singing birds without the red book. But at the same time, the experiences seem to be tied together in a deep way. They seem to be unified, by being aspects of a single encompassing state of consciousness. (shrink)

Two opposing tendencies in the philosophy of language go by the names of ‘referentialism’ and ‘inferentialism’ respectively. In the crudest version of the contrast, the referentialist account of meaning gives centre stage to the referential semantics for a language, which is then used to explain the inference rules for the language, perhaps as those which preserve truth on that semantics (since a referential semantics for a language determines the truth-conditions of its sentences). By contrast, the inferentialist account of meaning gives (...) centre stage to the inference rules for the language, which are then used to explain its referential semantics, perhaps as the semantics on which the rules preserve truth. On pain of circularity, we cannot combine both directions of explanation. (shrink)

This book presents in translation writings by six medieval philosophers which bear on the subject of conscience. Conscience, which can be considered both as a topic in the philosophy of mind and a topic in ethics, has been unduly neglected in modern philosophy, where a prevailing belief in the autonomy of ethics leaves it no natural place. It was, however, a standard subject for a treatise in medieval philosophy. Three introductory translations here, from Jerome, Augustine and Peter Lombard, present the (...) loci classici on which subsequent discussions drew; there follows the first complete treatise on conscience, by Philip the Chancellor, while the two remaining translations, from Bonaventure and Aquinas, have been chosen as outstanding examples of the two main approaches which crystallised during the thirteenth century. (shrink)

The fundamental freedoms of speech, conscience, privacy, and religion are now an essential part of the fabric of contemporary society, set down in our most basic laws and regularly invoked in our political and cultural debates. These freedoms play a vital role in securing the spaces and opportunities within which people are able to pursue their own lives in their own ways. Independence of Mind takes this accepted thought a step further, by exploring the ways in which the fundamental freedoms (...) help us to achieve something even more profound, by enabling us to arrive at beliefs, convictions and voices of our own, so that we truly come to think, believe and speak for ourselves in the rich and various ways that the freedoms then protect. Privacy grants us the distance and refuge from others necessary to develop views of our own; freedom of speech calls on us to imagine ways of expressing ourselves that are both true to the views we have developed and innovative in their own right; freedom of conscience enables each of us to create a distinctive rational personality in which to embed the convictions that we wish to treat as non-negotiable; freedom of religion allows groups of us to endorse certain beliefs as articles of faith, free from the full demands of rational scrutiny. Much has been written about the political and legal implications of the fundamental freedoms and their entrenchment in bills of rights. This is the first book to undertake a comprehensive philosophical examination of their moral bases. It offers a penetrating analysis of what makes these particular freedoms matter to us in the ways that they do, and of the true significance of their entrenchment in law. (shrink)

This paper discusses the nature and the status of inference to the best explanation. We outline the foundational role given IBE by its defenders and the arguments of critics who deny it any place at all ; argue that, on the two main conceptions of explanation, IBE cannot be a foundational inference rule ; sketch an account of IBE that makes it contextual and dependent on substantive empirical assumptions, much as simplicity seems to be ; show how that account avoids (...) the critics ' complaints and leaves IBE an important role ; and sketch how our account can clarify debates over IBE in arguments for scientific realism. (shrink)

Can moral judgements be true or false? Can rational methods be applied to ethics? In this landmark study, Sprigge gives an account of how philosophers have tackled these questions and puts forward his own theory on the matter.

This article endeavors to identify the strongest versions of the two primary arguments against epistemic scientific realism: the historical argument—generally dubbed “the pessimistic meta-induction”—and the argument from underdetermination. It is shown that, contrary to the literature, both can be understood as historically informed but logically validmodus tollensarguments. After specifying the question relevant to underdetermination and showing why empirical equivalence is unnecessary, two types of competitors to contemporary scientific theories are identified, both of which are informed by science itself. With the (...) content and structure of the two nonrealist arguments clarified, novel relations between them are uncovered, revealing the severity of their collective threat against epistemic realism and its “no-miracles” argument. The final section proposes, however, that the realist’s axiological tenet “science seeks truth” is not blocked. An attempt is made to indicate the promise for a nonepistemic, purely axiological scientific realism—here dubbed “Socratic scientific realism.”. (shrink)

In his book, _Interpretation without Truth_, Pierluigi Chiassoni articulates the sceptical view that the province of legal interpretation is ‘a province without truth’. A misinterpretation is a false interpretation, and I argue that the widespread phenomenon of legal misinterpretation gives us reason to resist the sceptical conclusion. The potential for a legal interpretation to be a false interpretation –a misinterpretation– implies that a legal interpretation can be true. And legal misinterpretations can be understood as interpretations (and not as the product (...) of some activity other than interpretation) because of the grain of truth in the arguments for them. (shrink)

The most promising contemporary form of epistemic scientific realism is based on the following intuition: Belief should be directed, not toward theories as wholes, but toward particular theoretical constituents that are responsible for, or deployed in, key successes. While the debate on deployment realism is quite fresh, a significant degree of confusion has already entered into it. Here I identify five criteria that have sidetracked that debate. Setting these distractions aside, I endeavor to redirect the attention of both realists and (...) non-realists to the fundamental intuition above. In more detail: I show that Stathis Psillos (1999) has offered an explicit criterion for picking out particular constituents, which, contrary to Kyle Stanford’s (2006a) criticisms, neither assumes the truth of theories nor requires hindsight. I contend, however, that, in Psillos’s case studies, Psillos has not successfully applied his explicit criterion. After clarifying the various alternative criteria at work (in those case studies and in a second line of criticism offered by Stanford), I argue that, irrespective of Stanford’s criticisms, the explicit criterion Psillos does offer is not an acceptable one. Nonetheless, the deployment realist’s fundamental intuition withstands all of these challenges. In closing, I point in a direction toward which I’ve elsewhere focused, suggesting that, despite the legitimacy and applicability of the deployment realist’s intuition, the historical threat that prompted it remains. (shrink)

This essay defends an epistemicist response to the phenomenon of vagueness concerning moral terms. I outline a traditional model of - and then two novel approaches to - epistemicism about moral predicates, and I demonstrate how the foregoing are able to provide robust explanations of the source of moral, as epistemic, indeterminacy. The first approach to moral epistemicism concerns the extensions of moral predicates, as witnessed by the non-transitivity of a value-theoretic sorites paradox. The second approach to moral epistemicism is (...) induced by the status of moral dilemmas in the epistemic interpretation of two-dimensional semantics. I examine the philosophical significance of the foregoing, and compare the proposal to those of ethical expressivism, constructivism, and scalar act-consequentialism. Finally, I examine the status of moral relativism in light of the epistemicist models of moral vagueness developed in the paper. (shrink)

Imagine a philosophy conference in Presocratic Greece. The hot question is: what are things made of? Followers of Thales say that everything is made of water, followers of Anaximenes that everything is made of air, and followers of Heraclitus that everything is made of fire. Nobody is quite clear what these claims mean, and some question whether the founders of the respective schools ever made them. But amongst the groupies there is a buzz about all the recent exciting progress. The (...) mockers and doubters make plenty of noise too. They point out that no resolution of the dispute between the schools is in sight. They diagnose Thales, Anaximenes and Heraclitus as suffering from a tendency to overgeneralize. We can intelligibly ask what bread is made of, or what houses are made of, but to ask what things in general are made of is senseless, some suggest, because the question is posed without any conception of how to verify an answer; language has gone on holiday. Paleo-pragmatists invite everyone to relax, forget their futile pseudo-inquiries and do something useful instead. (shrink)

This paper argues that the types of intention can be modeled both as modal operators and via a multi-hyperintensional semantics. I delineate the semantic profiles of the types of intention, and provide a precise account of how the types of intention are unified in virtue of both their operations in a single, encompassing, epistemic space, and their role in practical reasoning. I endeavor to provide reasons adducing against the proposal that the types of intention are reducible to the mental states (...) of belief and desire, where the former state is codified by subjective probability measures and the latter is codified by a utility function. I argue, instead, that each of the types of intention -- i.e., intention-in-action, intention-as-explanation, and intention-for-the-future -- has as its aim the value of an outcome of the agent's action, as derived by her partial beliefs and assignments of utility, and as codified by the value of expected utility in evidential decision theory. (shrink)

There’s a growing sense among philosophers of religion that Humean arguments from evil are some of the most formidable arguments against theism, and skeptical theism fails to undermine those arguments because they fail to make the inferences skeptical theists criticize. In line with this trend, Wes Morriston has recently formulated a Humean argument from evil, and his chief defense of it is that skeptical theism is irrelevant to it. Here I argue that skeptical theism is relevant to Humean arguments. To (...) do this, I reveal the common structure of skeptical theism’s critiques. Seeing the common structure reveals why some versions of skeptical theism are irrelevant to Humean arguments from evil. It also points the way forward to formulating a relevant version. By combining skeptical theism with a plausible principle concerning reasonable belief, I formulate a version of skeptical theism that undermines Morriston’s argument that is also immune from his objections. (shrink)

Disorders of volition are often accompanied by, and may even be caused by, disruptions in the phenomenology of agency. Yet the phenomenology of agency is at present little explored. In this paper we attempt to describe the experience of normal agency, in order to uncover its representational content.

This article focuses on Barth's explication of Anselm's Proslogion 2-4 in his book on Anselm and attempts to show how Anselm helped clarify for Barth the ontological nature of his own early theology, in particular what he meant by the “is” in his affirmation “God is God.” My contention is that Barth's continual pointing to Anselm's Fides Quaerens Intellectum as a vital key to his own theology should not be overlooked. In fact, I argue that only by returning Barth to (...) Anselm in this way is it possible to understand more thoroughly Barth's relevance to contemporary onto-theological debates. (shrink)