Most speakers experience unclarity about the application of predicates like tall and red to liminal cases. We formulate alternative psychological hypotheses about the nature of this unclarity, and report experiments that provide a partial test of them. A psychologized version of the ‘vagueness-as-ignorance’ theory is then advanced and defended.

This paper supersedes an ealier version, entitled "A Non-Standard Semantics for Inexact Knowledge with Introspection", which appeared in the Proceedings of "Rationality and Knowledge". The definition of token semantics, in particular, has been modified, both for the single- and the multi-agent case.

Rights to do wrong are not necessary even within the framework of interest-based rights aimed at preserving autonomy. Agents can make morally significant choices and develop their moral character without a right to do wrong, so long as we allow that there can be moral variation within the set of actions that an agent is permitted to perform. Agents can also engage in non-trivial self-constitution in choosing between morally indifferent options, so long as there is adequate non-moral variation among the (...) alternatives. The stubborn intuition that individuals have a right to do wrong in some cases can be explained as stemming from a cautionary principle motivated by the asymmetry between the risk of wrongly interfering and that of refraining from interfering. (shrink)

ABSTRACT: This paper argues that the so-called paradoxes of higher-order vagueness are the result of a confusion between higher-order vagueness and the distribution of the objects of a Sorites series into extensionally non-overlapping non-empty classes.

This paper shows that the following common assumption is false: that in modal-logical representations of higher-order vagueness, for there to be borderline cases to borderline cases ad infinitum, the number of possible distinct modalities in a modal system must be infinite. (Open access journal).

This paper analyzes communication with a language that is vague in the sense that identical messages do not always result in identical interpretations. It is shown that strategic agents frequently add to this vagueness by being intentionally vague, i.e. they deliberately choose less precise messages than they have to among the ones available to them in equilibrium. Having to communicate with a vague language can be welfare enhancing because it mitigates conflict. In equilibria that satisfy a dynamic stability condition intentional (...) vagueness increases with the degree of conflict between sender and receiver. (shrink)

This essay in the comparative metaphysic of nothingness begins by pondering why Leibniz thought of the converse question as the preeminent one. In Eastern philosophical thought, like the numeral 'zero' (śūnya) that Indian mathematicians first discovered, nothingness as non-being looms large and serves as the first quiver on the imponderables they seem to have encountered (e.g., 'In the beginning was neither non-being nor being: what was there, bottomless deep?' RgVeda X.129). The concept of non-being and its permutations of nothing, negation, (...) nullity, etc., receive more sophisticated treatment in the works of grammarians, ritual hermeneuticians, logicians, and their dialectical adversaries variously across Jaina and Buddhist schools. The present analysis follows the function of negation/the negative copula, nãn, and dialetheia in grammar and logic, then moves onto ontologies of non-existence and extinction and further suggestive tropes that tend to arrest rather than affirm the inexorable being-there of something. After a discussion of interests in being (existence), non-being and nothingness in contemporary metaphysics, the article examines Heidegger’s extensive treatment of nothingness in his 1929 inaugural Freiburg lecture, 'Was ist Metaphysik?', published later as 'What is Metaphysics?' The essay however distances itself from any pretensions toward a doctrine of Metaphysical Nihilism. (shrink)

The aim of this article is to investigate the relevance and implications of synthetic models for the study of the interactive dimension of minimal life and cognition, by taking into consideration how the use of artificial systems may contribute to an understanding of the way in which interactions may affect or even contribute to shape biological identities. To do so, this article analyzes experimental work in synthetic biology on different types of interactions between artificial and natural systems, more specifically: between (...) protocells and between biological living cells and protocells. It discusses how concepts such as control, cognition, communication can be used to characterize these interactions from a theoretical point of view, which criteria of relevance and evaluation of synthetic models can be applied to these cases, and what are their limits. (shrink)

We address an argument by Floridi (Synthese 168(1):151–178, 2009; 2011a), to the effect that digital and analogue are not features of reality, only of modes of presentation of reality. One can therefore have an informational ontology, like Floridi’s Informational Structural Realism, without commitment to a supposedly digital or analogue world. After introducing the topic in Sect. 1, in Sect. 2 we explain what the proposition expressed by the title of our paper means. In Sect. 3, we describe Floridi’s argument. In (...) the following three sections, we raise three difficulties for it, (i) an objection from intuitions: Floridi’s view is not supported by the intuitions embedded in the scientific views he exploits (Sect. 4); (ii) an objection from mereology: the view is incompatible with the world’s having parts (Sect. 5); (iii) an objection from counting: the view entails that the question of how many things there are doesn’t make sense (Sect. 6). In Sect. 7, we outline two possible ways out for Floridi’s position. Such ways out involve tampering with the logical properties of identity, and this may be bothersome enough. Thus, Floridi’s modus ponens will be our (and most ontologists’) modus tollens. (shrink)

Is there a notion of contradiction—let us call it, for dramatic effect, “absolute”—making all contradictions, so understood, unacceptable also for dialetheists? It is argued in this paper that there is, and that spelling it out brings some theoretical benefits. First it gives us a foothold on undisputed ground in the methodologically difficult debate on dialetheism. Second, we can use it to express, without begging questions, the disagreement between dialetheists and their rivals on the nature of truth. Third, dialetheism has an (...) operator allowing it, against the opinion of many critics, to rule things out and manifest disagreement: for unlike other proposed exclusion-expressing-devices (for instance, the entailment of triviality), the operator used to formulate the notion of absolute contradiction appears to be immune both from crippling expressive limitations and from revenge paradoxes—pending a rigorous nontriviality proof for a formal dialetheic theory including it. (shrink)

A lot of people believe that distinct objects can occupy precisely the same place for the entire time during which they exist. Such people have to provide an answer to the 'grounding problem' – they have to explain how such things, alike in so many ways, nonetheless manage to fall under different sortals, or have different modal properties. I argue in detail that they cannot say that there is anything in virtue of which spatio-temporally coincident things have those properties. However, (...) I also argue that this may not be as bad as it looks, and that there is a way to make sense of the claim that such properties are primitive. (shrink)

What is it to believe something might be the case? We develop a puzzle that creates difficulties for standard answers to this question. We go on to propose our own solution, which integrates a Bayesian approach to belief with a dynamic semantics for epistemic modals. After showing how our account solves the puzzle, we explore a surprising consequence: virtually all of our beliefs about what might be the case provide counterexamples to the view that rational belief is closed under logical (...) implication. (shrink)

Laboratory-based studies of problem solving suggest that transfer of solution principles from an analogue to a target arises only minimally without the presence of directive hints. Recently, however, real-world studies indicate that experts frequently and spontaneously use analogies in domain-based problem solving. There is also some evidence that in certain circumstances domain novices can draw analogies designed to illustrate arguments. It is less clear, however, whether domain novices can invoke analogies in the sophisticated manner of experts to enable them to (...) progress problem solving. In the current study groups of novices and experts tackled large-scale management problems. Spontaneous analogising was observed in both conditions, with no marked differences between expertise levels in the frequency, structure, or function of analogising. On average four analogies were generated by groups per hour, with significantly more relational mappings between analogue and target being produced than superficial object-and-attribute mappings. Analogising served two different purposes: problem solving (dominated by relational mappings), and illustration (which for novices was dominated by object-and-attribute mappings). Overall, our novices showed a sophistication in domain-based analogical reasoning that is usually only observed with experts, in addition to a sensitivity to the pragmatics of analogy use. (shrink)

Weber, Colyvan, and Priest have advanced glutty approaches to the sorites, on which the truth about the penumbral region of a soritical series is inconsistent. The major benefit of a glut-based approach is maintaining the truth of all sorites premisses while none the less avoiding, in a principled fashion, the absurdity of the sorites conclusion. I agree that this is a major virtue of the target glutty approach; however, I think that it can be had without gluts. If correct, this (...) result weighs heavily against the proposed glutty approach, at least given the default-consistency principle that all target glutty philosophers accept: posit gluts only if there is no consistent theory that enjoys the same virtues as the would-be glutty solution. (shrink)

I have argued that without an adequate solution to the knower paradox Fitch's Proof is- or at least ought to be-ineffective against verificationism. Of course, in order to follow my suggestion verificationists must maintain that there is currently no adequate solution to the knower paradox, and that the paradox continues to provide prima facie evidence of inconsistent knowledge. By my lights, any glimpse at the literature on paradoxes offers strong support for the first thesis, and any honest, non-dogmatic reflection on (...) the knower paradox provides strong support for the second. Whether verificationists want to go the route I've suggested is not for me todecide. As in the previous section my aim has been that of defending the mere viability of verificationism in the face of what many, many philosophers have taken to be its death-knell, namely Fitch's Proof. But, as the final objection makes clear, showing that verificationism can live in the face of Fitch's Proof is one thing; showing that it should live is another project. If nothing else, I hope that this papershows that verificationists still have a project to pursue; Fitch's Proof, contrary to popular opinion, need not bury verificationism.13. (shrink)

In this paper, we aim to show that a study of Gilbert Ryle’s work has much to contribute to the current debate between intellectualism and anti-intellectualism with respect to skill and know-how. According to Ryle, knowing how and skill are distinctive from and do not reduce to knowing that. What is often overlooked is that for Ryle this point is connected to the idea that the distinction between skill and mere habit is a category distinction, or a distinction in form. (...) Criticizing the reading of Ryle presented by Jason Stanley, we argue that once the formal nature of Ryle’s investigation is recognized it becomes clear that his dispositional account is not an instance of reductionist behaviorism, and that his regress argument has a broader target than Stanley appears to recognize. (shrink)

One feature of vague predicates is that, as far as appearances go, they lack sharp application boundaries. I argue that we would not be able to locate boundaries even if vague predicates had sharp boundaries. I do so by developing an idealized cognitive model of a categorization faculty which has mobile and dynamic sortals (`classes', `concepts' or `categories') and formally prove that the degree of precision with which boundaries of such sortals can be located is inversely constrained by their flexibility. (...) Given the literature, it is plausible that we are appropriately like the model. Hence, an inability to locate sharp boundaries is not necessarily because there are none; boundaries could be sharp and it is plausible that we would nevertheless be unable to locate them. (shrink)

Many of our categorization experiences are non-transitive. For some objects a, b and c, a and b can appear indistinguishable, and likewise b and c, but a and c can appear distinguishable. Many categories also appear to be smooth; transitions between cases are not experienced as sharp, but rather as continuous. These two features of our categorization experiences tend to be addressed separately. Moreover, many views model smoothness by making use of infinite degrees. This paper presents a methodological strategy that (...) shows how solving the transitivity problem first can thereby introduce explanatory resources that feed into an account of smoothness without having to make use of infinite degrees. (shrink)

On the dominant view of vagueness, if it is vague whether Harry is bald, then all the specific facts about the distribution of hair on Harry's head, together with all the facts about Harry's comparison class, together with all the facts about our community-wide use of the word ‘bald’, fail to settle whether Harry is bald. On the dominant view, if it is vague whether Harry is bald, then nothing settles whether Harry is bald—it is unsettled, not merely epistemically, but (...) metaphysically, whether Harry is bald. Call this view vagueness-as-indeterminacy. Vagueness-as-indeterminacy entails the following proposition: that clear vagueness as to whether Harry is bald clearly does not entail that Harry is bald. I argue against this proposition, and thus against vagueness-as-indeterminacy. My argument consists of a defence of the following rival proposition: that it is vague whether clear vagueness as to whether Harry is bald entails that Harry is bald. The argument itself is short. Most of the paper is devoted to responding to various objections to the argument, as well as attempting to explain away the initial appeal of the proposition that clear vagueness as to whether Harry is bald clearly does not entail that Harry is bald. (shrink)

Tim travels back in time and tries to kill his grandfather before his father was born. Tim fails. But why? Lewis's response was to cite "coincidences": Tim is the unlucky subject of gun jammings, banana peels, sudden changes of heart, and so on. A number of challenges have been raised against Lewis's response. The latest of these focuses on explanation. This paper diagnoses the source of this new disgruntlement and offers an alternative explanation for Tim's failure, one that Lewis would (...) not have liked. The explanation is an obvious one but controversial, so it is defended against all the objections that can be mustered. (shrink)

On some accounts of vagueness, predicates like “is a heap” are tolerant. That is, their correct application tolerates sufficiently small changes in the objects to which they are applied. Of course, such views face the sorites paradox, and various solutions have been proposed. One proposed solution involves banning repeated appeals to tolerance, while affirming tolerance in any individual case. In effect, this solution rejects the reasoning of the sorites argument. This paper discusses a thorny problem afflicting this approach to vagueness. (...) In particular, it is shown that, on the foregoing view, whether an object is a heap will sometimes depend on factors extrinsic to that object, such as whether its components came from other heaps. More generally, the paper raises the issue of how to count heaps in a tolerance-friendly framework. (shrink)

On the dominant view of vagueness, if it is vague whether Harry is bald, then it is unsettled, not merely epistemically, but metaphysically, whether Harry is bald. In other words, vagueness is a type of indeterminacy. On the standard alternative, vagueness is a type of ignorance: if it is vague whether Harry is bald, then, even though it is metaphysically settled whether Harry is bald, we cannot know whether Harry is bald. On my view, vagueness is neither a type of (...) indeterminacy nor a type of ignorance. Rather, it is sui generis. (shrink)

Why ever assert clarity? If It is clear that p is true, then saying so should be at best superfluous. Barker and Taranto (2003) and Taranto (2006) suggest that asserting clarity reveals information about the beliefs of the discourse participants, specifically, that they both believe that p . However, mutual belief is not sufficient to guarantee clarity ( It is clear that God exists ). I propose instead that It is clear that p means instead (roughly) 'the publicly available evidence (...) justifies concluding that p '. Then what asserting clarity reveals is information concerning the prevailing epistemic standard that determines whether a body of evidence is sufficient to justify a claim. If so, the semantics of clarity constitutes a grammatical window into the discourse dynamics of inference and skepticism. (shrink)

In his seminal paper, ‘Can There Be Vague Objects?’ (1978), Gareth Evans advanced an argument purporting to prove that the idea of indeterminate identity is incoherent. Aware that his argument was incomplete as it stands, Evans added a remark at the end of his paper, in which he explained how the original argument needed to be modified to arrive at an explicit contradiction. This paper aims to develop a modified version of Evans’ original argument, which I argue is more promising (...) than the modification that Evans proposed in his remark. Last, a structurally similar argument against the idea of indeterminate existence is presented. (shrink)

ABSTRACT In recent years, debates on same-sex marriage and the recognition of transwomen as women have been raging. These debates often seem to revolve around the meaning of, respectively, the word ‘marriage’ and ‘woman’. That such debates should take place might be puzzling. It seems that if debates on gay and transgender rights revolve around the meaning of these words, then those in favor of same-sex marriage and of the recognition of transwomen as women have no room left to maneuver. (...) However, prima facie, the pro – and anti-, in both cases, have genuine disagreements over the meaning of these words: though the analyses of revisionary theorists are revisionary, they are analyses. Sally Haslanger and other philosophers in her wake have appealed to an anti-descriptivist externalist view of meaning to provide the conceptual foundations of this practice of revisionary theorizing: revisionary analyses bring to light what, unbeknownst to us, these words mean. In this paper, I argue that a descriptivist externalist view should be preferred instead. My argument rests on the thesis that what is contested in these debates is the meaning of the words ‘marriage’ and ‘women’ as used in the law. (shrink)

In this paper the logic of broad necessity is explored. Definitions of what it means for one modality to be broader than another are formulated, and it is proven, in the context of higher-order logic, that there is a broadest necessity, settling one of the central questions of this investigation. It is shown, moreover, that it is possible to give a reductive analysis of this necessity in extensional language. This relates more generally to a conjecture that it is not possible (...) to define intensional connectives from extensional notions. This conjecture is formulated precisely in higher-order logic, and concrete cases in which it fails are examined. The paper ends with a discussion of the logic of broad necessity. It is shown that the logic of broad necessity is a normal modal logic between S4 and Triv, and that it is consistent with a natural axiomatic system of higher-order logic that it is exactly S4. Some philosophical reasons to think that the logic of broad necessity does not include the S5 principle are given. (shrink)

A number of authors have objected to the application of non-classical logic to problems in philosophy on the basis that these non-classical logics are usually characterised by a classical metatheory. In many cases the problem amounts to more than just a discrepancy; the very phenomena responsible for non-classicality occur in the field of semantics as much as they do elsewhere. The phenomena of higher order vagueness and the revenge liar are just two such examples. The aim of this paper is (...) to show that a large class of non-classical logics are strong enough to formulate their own model theory in a corresponding non-classical set theory. Specifically I show that adequate definitions of validity can be given for the propositional calculus in such a way that the metatheory proves, in the specified logic, that every theorem of the propositional fragment of that logic is validated. It is shown that in some cases it may fail to be a classical matter whether a given sentence is valid or not. One surprising conclusion for non-classical accounts of vagueness is drawn: there can be no axiomatic, and therefore precise, system which is determinately sound and complete. (shrink)

One thousand fair causally isolated coins will be independently flipped tomorrow morning and you know this fact. I argue that the probability, conditional on your knowledge, that any coin will land tails is almost 1 if that coin in fact lands tails, and almost 0 if it in fact lands heads. I also show that the coin flips are not probabilistically independent given your knowledge. These results are uncomfortable for those, like Timothy Williamson, who take these probabilities to play a (...) central role in their theorizing. (shrink)

The principle of universal instantiation plays a pivotal role both in the derivation of intensional paradoxes such as Prior’s paradox and Kaplan’s paradox and the debate between necessitism and contingentism. We outline a distinctively free logical approach to the intensional paradoxes and note how the free logical outlook allows one to distinguish two different, though allied themes in higher-order necessitism. We examine the costs of this solution and compare it with the more familiar ramificationist approaches to higher-order logic. Our assessment (...) of both approaches is largely pessimistic, and we remain reluctantly inclined to take Prior’s and Kaplan’s derivations at face value. (shrink)

We develop a theory of necessity operators within a version of higher-order logic that is neutral about how fine-grained reality is. The theory is axiomatized in terms of the primitive of *being a necessity*, and we show how the central notions in the philosophy of modality can be recovered from it. Various questions are formulated and settled within the framework, including questions about the ordering of necessities under strength, the existence of broadest necessities satisfying various logical conditions, and questions about (...) their logical behaviour. We also wield the framework to probe the conditions under which a logicist account of necessities is possible, in which the theory is completely reducible to logic. (shrink)

Theories of truth and vagueness are closely connected; in this article, I draw another connection between these areas of research. Gupta and Belnap’s Revision Theory of Truth is converted into an approach to vagueness. I show how revision sequences from a general theory of definitions can be used to understand the nature of vague predicates. The revision sequences show how the meaning of vague predicates are interconnected with each other. The approach is contrasted with the similar supervaluationist approach.

A priori theories of justification of logic based on meaning often lead to trouble, in particular to issues concerning circularity. First, I present Boghossian’s a prioriview. Boghossian maintains the rule-circular justifications from a conceptual role semantics. However, rule-circular justifications are problematic. Recently, Boghossian (Boghossian, 2015) has claimed that rules should be thought of as contents and contents as abstract objects. In this paper, I discuss Boghossian’s view. My argumentation consists of three main parts. First, I analyse several arguments to show (...) that in fact, Boghossian’s inferentialist solution is not fully satisfying. Second, I discuss the matter further, if one accepts that basic logical rules are constitutive of meaning, that is, they constitute the logical concepts and the content of a rule is an abstract object, then abstract objects — like, for example, rules — could be constitutive of meaning. The question is whether conceptual priority is in the judgment or in the object and what theory of content is pursued. Grasping content as a matter of knowing how a word or concept behaves in inferences is not completely explicative. Finally, I contend that rules come to exist as a result of certain kinds of mental action. These actions function as constitutive norms. Logical rules are not abstract objects but ideal. What one construes as norms or rules of content may involve idealization, but this is because we share a language. (shrink)

In defense of the minimalist conception of truth, Paul Horwich(2001) has recently argued that our acceptance of the instances of the schema,`the proposition that p is true if and only if p', suffices to explain our acceptanceof truth generalizations, that is, of general claims formulated using the truth predicate.In this paper, I consider the strategy Horwich develops for explaining our acceptance of truth generalizations. As I show, while perhaps workable on its own, the strategy is in conflictwith his response to (...) the liar paradox. Something must give. I consider and reject variousalternatives and emendations to the strategy. In order to resolve the conflict,I propose an alternative approach to the liar, one that supports Horwich's strategywhile leaving minimalism maximally uncompromised. (shrink)

Intuitively it has seemed to many that our concepts conscious state and conscious creature are sharp rather than vague, that they can have no borderline cases. On the other hand, many who take conscious states to be identical to, or realized by, complex physical states are committed to the vagueness of those concepts. In the paper I argue that conscious state and conscious creature are sharp by presenting four necessary conditions for conceiving borderline cases in general, and showing that some (...) of those conditions cannot be met with conscious state. I conclude that conscious state is sharp, and the conclusion is then extended to conscious creature. The paper ends with a brief discussion of some implications. (shrink)

Modal logic has been applied in many different areas, as reasoning about time, knowledge and belief, necessity and possibility, to mention only some examples. In the present paper, an attempt is made to use modal logic to account for the semantics of theoretical sentences in scientific language. Theoretical sentences have been studied extensively since the work of Ramsey and Carnap. The present attempt at a modal analysis is motivated by there being several intended interpretations of the theoretical terms once these (...) terms are introduced through the axioms of a theory. (shrink)

In this field guide, I distinguish five separate senses with which the term ‘mechanism’ is used in contemporary philosophy of science. Many of these senses have overlapping areas of application but involve distinct philosophical claims and characterize the target mechanisms in relevantly different ways. This field guide will clarify the key features of each sense and introduce some main debates, distinguishing those that transpire within a given sense from those that are best understood as concerning distinct senses. The ‘new mechanisms’ (...) sense is at the center of most of these contemporary debates and will be treated at greater length; subsequent senses of mechanism will be primarily distinguished from this one. In part I of this paper, I distinguish two senses of the term ‘mechanism’, both of which are explicitly hierarchical and nested in character, such that any given mechanism is comprised of smaller sub-mechanisms, in turn comprised of yet smaller sub-sub-mechanisms and so on. While both of the senses discussed here are anti-reductive, they differ in their focus on scientific practice versus metaphysics, in the degree of regularity they attribute to mechanisms, and in terms of their relationships to the discussions of mechanisms in the history of philosophy and science. (shrink)

In this field guide, I distinguish five separate senses with which the term ‘mechanism’ is used in contemporary philosophy of science. Many of these senses have overlapping areas of application but involve distinct philosophical claims and characterize the target mechanisms in relevantly different ways. This field guide will clarify the key features of each sense and introduce some main debates, distinguishing those that transpire within a given sense from those that are best understood as concerning two distinct senses. The ‘new (...) mechanisms’ sense is the primary sense from which other senses will be distinguished. In part II of this field guide, I consider three further senses of the term that are ontologically ‘flat’ or at least not explicitly hierarchical in character: equations in structural equation models of causation, causal-physical processes, and information-theoretic constraints on states available to systems. After characterizing each sense, I clarify its ontological commitments, its methodological implications, how it figures in explanations, its implications for reduction, and the key manners in which it differs from other senses of mechanism. I conclude that there is no substantive core meaning shared by all senses, and that debates in contemporary philosophy of science can benefit from clarification regarding precisely which sense of mechanism is at stake. (shrink)

In a recent paper, Berger and Nanay consider, and reject, three ways of addressing the phenomenon of unconscious perception within a naïve realist framework. Since these three approaches seem to exhaust the options open to naïve realists, and since there is said to be excellent evidence that perception of the same fundamental kind can occur, both consciously and unconsciously, this is seen to present a problem for the view. We take this opportunity to show that all three approaches considered remain (...) perfectly plausible ways of addressing unconscious perception within a naïve realist framework. So far from undermining the credibility of naïve realism, Berger and Nanay simply draw our attention to an important question to be considered by naïve realists in future work. Namely, which of the approaches considered is most likely to provide an accurate account of unconscious perception in each of its purported incarnations? (shrink)

A central topic in discussions about qualia concerns their purported transparency. According to transparency theorists, an experience is transparent in the sense that the subject having the experience is aware of nothing but the intended object of the experience. In this paper this notion is criticized for failing to account for the dynamical aspects of perception. A key assumption in the paper is that perceptual content has a certain temporal depth, in the sense that each act of perception can present (...) an object as extended in time and that objects can be perceived as persisting through time. An object that is seen as persisting through time is often seen as constant and unchanging, even though the presentation of it is changing. In this paper it is argued that in order to account for these cases of perceptual constancy, we must distinguish between the awareness of having perceived that an object has a property at a certain point in time, and perceptually intending that it has that property at that point in time. Consequently, we must in at least some instances be aware of something more than the object of the experience. But precisely this distinction is rejected by the transparency theory. (shrink)

Good’s theorem is the apparent platitude that it is always rational to ‘look before you leap’: to gather information before making a decision when doing so is free. We argue that Good’s theorem is not platitudinous and may be false. And we argue that the correct advice is rather to ‘make your act depend on the answer to a question’. Looking before you leap is rational when, but only when, it is a way to do this.

This chapter focuses on alternative logics. It discusses a hierarchy of logical reform. It presents case studies that illustrate particular aspects of the logical revisionism discussed in the chapter. The first case study is of intuitionistic logic. The second case study turns to quantum logic, a system proposed on empirical grounds as a resolution of the antinomies of quantum mechanics. The third case study is concerned with systems of relevance logic, which have been the subject of an especially detailed reform (...) program. Finally, the fourth case study is paraconsistent logic, perhaps the most controversial of serious proposals. (shrink)

Miriam Schoenfield argues that moral realism and moral vagueness imply ontic vagueness. In particular, she argues that neither shifty nor rigid semantic accounts of vagueness can provide a satisfactory explanation of moral vagueness for moral realists. This paper constitutes a response. I argue that Schoenfield's argument against the shifty semantic account presupposes that moral indeterminacies can, in fact, be resolved determinately by crunching through linguistic data. I provide different reasons for rejecting this assumption. Furthermore, I argue that Schoenfield's rejection of (...) the rigid semantic account is based on a presupposition that ultimately implies the very same claim that is under dispute: the vagueness of moral predicates in imperfect languages persists in the perfect language, as well. (shrink)

In a series of papers, Elizabeth Barnes and Robert Williams have developed a theory of metaphysical vagueness in which they argue for legitimacy of vague object and indeterminate identity. In his recent paper, Ken Akiba raises two objections against Barnes-Williams theory, concluding that it is ill-conceived and wrong-headed. In one objection, he argues that the theory implies indeterminate identity between referentially determinate objects to which λ-abstraction is applicable, and hence Evans’ argument ultimately goes through. In the other, he objects that (...) Barnes-Williams theory also fails to block Salmon’s argument. This paper discusses the two objections. It argues that there are legitimate reasons for rejecting both, and hence to revive Barnes-Williams theory. Furthermore, it is shown that the objections, while unsuccessful, are helpful in revealing the limitations of Barnes-Williams theory. (shrink)