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)

The paper makes two points. First, any theory of knowledge must explain the difference between cases of knowledge from falsehood and Gettier cases where the subject relies on reasoning from falsehood. Second, the closeness-to-the-truth approach to explaining the difference between knowledge-yielding and knowledge-suppressing falsehoods does not hold up to scrutiny.

The global method safety account of knowledge states that an agent’s true belief that p is safe and qualifies as knowledge if and only if it is formed by method M, such that her beliefs in p and her beliefs in relevantly similar propositions formed by M in all nearby worlds are true. This paper argues that global method safety is too restrictive. First, the agent may not know relevantly similar propositions via M because the belief that p is the (...) only possible outcome of M. Second, there are cases where there is a fine-grained belief that is unsafe and a relevantly similar coarse-grained belief that is safe and where both beliefs are based on the same method M. Third, the reliability of conditional reasoning, a basic belief-forming method, seems to be sensitive to fine-grained contents, as suggested by the wide variation in success rates for thematic versions of the Wason selection task. (shrink)

I develop a solution to the Sorites Paradox, according to which a concatenation of valid arguments need not itself be valid. I specify which chains of valid arguments are those that do not preserve validity: those that pass the vague boundary between cases where the relevant concept applies and cases where that concept does not apply. I also develop various criticisms of this solution and show why they fail; basically, they all involve a petitio at some stage. I criticise the (...) conviction that if every short argument in a long concatenated argument is valid, so is the long argument: it is, I argue, the result of an unjustified generalisation from the case of arguments that do not employ vague concepts (as in mathematics) to arguments that do employ them. My approach is Wittgensteinian in its “leaving everything as it is,” in its claiming that the “beginning” has been searched too far back (see paper's epigraph) and in its claim that the paradox was generated by a misapplication of a partial picture of the behaviour of arguments. I conclude my paper by comparing and contrasting my approach to the few precedents found in the vagueness literature and by answering a few additional objections that were raised there. (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)

Chrysostomos Mantzavinos (2016), Explanatory Pluralism. Cambridge University Press, xiv + 223 pp. £64.99 cloth.

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)

In this paper we aim to disentangle the thesis that the future is open from theses that often get associated or even conflated with it. In particular, we argue that the open future thesis is compatible with both the unrestricted principle of bivalence and determinism with respect to the laws of nature. We also argue that whether or not the future (and indeed the past) is open has no consequences as to the existence of (past and) future ontology.

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)

In this paper I develop a framework for understanding ontic vagueness. The project of the paper is two-fold. I first outline a definitional account of ontic vagueness – one that I think is an improvement on previous attempts because it remains neutral on other, independent metaphysical issues. I then develop one potential manifestation of that basic definitional structure. This is a more robust (and much less neutral) account which gives a fully classical explication of ontic vagueness via modal concepts. The (...) overarching aim is to systematically investigate the puzzling question of what exactly it could be for the world itself to be vague. (shrink)

Sider (Four-dimensionalism 2001; Philos Stud 114:135–146, 2003; Nous 43:557–567, 2009) has developed an influential argument against indeterminacy in existence. In what follows, I argue that the defender of metaphysical forms of indeterminate existence has a unique way of responding to Sider’s argument. The response I’ll offer is interesting not only for its applicability to Sider’s argument, but also for its broader implications; responding to Sider helps to show both how we should think about precisification in the context of metaphysical indeterminacy (...) and how we should understand commitment to metaphysically indeterminate existence. And if I’m right that metaphysical indeterminacy can allow for indeterminate existence in a way that semantic indeterminacy can’t, indeterminate existence might actually give us a reason to accept metaphysical indeterminacy (rather than a reason to reject it, as is commonly assumed). (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)

In this paper I argue that Gareth Evans’ famous proof of the impossibility of de re indeterminate identity fails on a counterpart-theoretic interpretation of the determinacy operators. I attempt to motivate a counterpart-theoretic reading of the determinacy operators and then show that, understood counterpart-theoretically, Evans’ argument is straightforwardly invalid.

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)

Ethical vagueness has garnered little attention. This is rather surprising since many philosophers have remarked that the science of ethics lacks the precision that other fields of inquiry have. Of the few philosophers who have discussed ethical vagueness the majority have focused on the implications of vagueness for moral realism. Because the relevance of ethical vagueness for other metaethical positions has been underexplored, my aim in this paper is to investigate the ramifications of ethical vagueness for expressivism. Ultimately, I shall (...) argue that expressivism does not have the resources to adequately account for ethical vagueness, while cognitivism does. This demonstrates an advantage that cognitivism holds over expressivism. (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)

Most work on the semantic paradoxes within classical logic has centered around what this essay calls “linguistic” accounts of the paradoxes: they attribute to sentences or utterances of sentences some property that is supposed to explain their paradoxical or nonparadoxical status. “No proposition” views are paradigm examples of linguistic theories, although practically all accounts of the paradoxes subscribe to some kind of linguistic theory. This essay shows that linguistic accounts of the paradoxes endorsing classical logic are subject to a particularly (...) acute form of the revenge paradox: that there is no exhaustive classification of sentences into “good” and “bad” such that the T-schema holds when restricted to the “good” sentences unless it is also possible to prove some “bad” sentences. The foundations for an alternative classical nonlinguistic approach is outlined that is not subject to the same kinds of problems. Although revenge paradoxes of different strengths can be formulated, they are found to be indeterminate at higher orders and not inconsistent. (shrink)

A version of the permutation argument in the philosophy of mathematics leads to the thesis that mathematical terms, contrary to appearances, are not genuine singular terms referring to individual objects; they are purely schematic or variables. By postulating ‘ante-rem structures’, the ante-rem structuralist aims to defuse the permutation argument and retain the referentiality of mathematical terms. This paper presents two semantic problems for the ante- rem view: (1) ante-rem structures are themselves subject to the permutation argument; (2) the ante-rem structuralist (...) fails to explain reference in a way that makes her account different to, and privileged over, that of her eliminativist rivals. Both problems undercut the motivation behind ante-rem structuralism. (shrink)

At Varro LL VI.56 and SE M 8.275-276, we find reports of the Stoic view that children and articulate non-rational animals such as parrots cannot genuinely speak. Absent from these testimonia is the peculiar case of the superficiality of the actor’s speech, which appears in one edition of the unstable text of PHerc 307.9 containing fragments of Chrysippus’ Logical Investigations. Commentators who include this edition of the text in their discussions of the Stoic theory of speech do not offer a (...) univocal account of the superficiality of the parrot’s, the child’s, and the actor’s speech. In this paper, I offer a reconstruction of the Stoic account of genuine and superficial speech and show that not only is there an account of superficial speech that univocally explains the superficiality of the speech of parrots, children, and actors, but that this account challenges traditional assumptions about the entities at the heart of the Stoic theory of language—lekta. It will turn out that genuine speech is the expression of a lekton by way of performing a speech act, and that this account of superficial speech can be used to explain other linguistic phenomena that are of interest to the Stoics, such as sentences in insoluble sophisms and sentences containing demonstratives that do not refer to anything in the subject term. Importantly, my reconstruction shows, against the near consensus view of lekta, that lekta do not primarily explain what makes an utterance meaningful. Rather, they primarily explain what makes an utterance an instance of genuine speech. (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.

One well known approach to the soritical paradoxes is epistemicism, the view that propositions involving vague notions have definite truth values, though it is impossible in principle to know what they are. Recently, Paul Horwich has extended this approach to the liar paradox, arguing that the liar proposition has a truth value, though it is impossible to know which one it is. The main virtue of the epistemicist approach is that it need not reject classical logic, and in particular the (...) unrestricted acceptance of the principle of bivalence and law of excluded middle. Regardless of its success in solving the soritical paradoxes, the epistemicist approach faces a number of independent objections when it is applied to the liar paradox. I argue that the approach does not offer a satisfying, stable response to the paradoxes—not in general, and not for a minimalist about truth like Horwich. (shrink)

It is sometimes said that there are two, competing versions of W. V. O. Quine’s unrelenting empiricism, perhaps divided according to temporal periods of his career. According to one, logic is exempt from, or lies outside the scope of, the attack on the analytic-synthetic distinction. This logic-friendly Quine holds that logical truths and, presumably, logical inferences are analytic in the traditional sense. Logical truths are knowable a priori, and, importantly, they are incorrigible, and so immune from revision. The other, radical (...) reading of Quine does not exempt logic from the attack on analyticity and a priority. Logical truths and inferences are themselves part of the web of belief, and the same global methodology applies to logic as to any other part of the web, such as theoretical chemistry or ordinary beliefs about ordinary objects. Everything, including logic, is up for grabs in our struggle for holistic confirmation. The purpose of this paper is to examine the law of non-contradiction, and the concomitant principle of ex falso quodlibet, from the perspective of the principles advocated by the radical Quine. I show that he has no compelling reason to accept either of these. To put it bluntly, neither the law of non-contradiction nor the rule of ex falso quodlibet is empirically confirmed, and these principles fare poorly on the various criteria for theory acceptance on the methodology of the radical Quine. So the radical Quine is led rather quickly and rather directly into something in the neighborhood of Graham Priest’s dialetheism. (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)

Inferentialism has brought important insights into the nature of meanings. It breaks with the representationalist tradition that sees meanings as constituted primarily by representing some extra-linguistic reality. Yet the break with tradition should be pursued further. Inferentialists still regard meanings as static, and they still do not entirely abandon the idea of fully determined meaning. Following Davidon’s ideas about meanings as constituted only in the course of a specific conversation, I propose a dynamic account of what meanings are. They are (...) described as entities belonging to the dynamic realm of Henri Bergson’s duration. The inhabitants of this realm live in constant movement and development which is more essential to them than the stages that this development goes through. My account brings about a rejection of the notion of the strict literal meaning and therewith also of the contrasting notions such as ambiguity. Meaning is understood as a dynamic entity that is characterized rather by its history than by its nature. (shrink)

An argument is offered for this conditional: If our current concept conscious state is sharp rather than vague, and also correct , then common versions of familiar metaphysical theories of consciousness are false--?namely versions of the identity theory, functionalism, and dualism that appeal to complex physical or functional properties in identification, realization, or correlation. Reasons are also given for taking seriously the claim that our current concept conscious state is sharp. The paper ends by surveying the theoretical options left open (...) by the concept's sharpness and the truth of the conditional argued for in the paper. (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)

It is a commonly raised argument against the family resemblance account of concepts that there is no limit to a concept's extension. An account of family resemblance which attempts to provide a solution to this problem by including both similarity among instances and dissimilarity to non-instances has been developed by the philosopher of science Thomas Kuhn. Similar solutions have been hinted at in the literature on family resemblance concepts, but the solution has never received a detailed investigation. I shall provide (...) a reconstruction of Kuhn's theory and argue that his solution necessitates a developmental perspective wchich builds on both the transmission of taxonomies between generations and a progressive development through history. (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 an interesting experimental study, Bonini et al. (1999) present partial support for truth-gap theories of vagueness. We say this despite their claim to find theoretical and empirical reasons to dismiss gap theories and despite the fact that they favor an alternative, epistemic account, which they call ‘vagueness as ignorance’. We present yet more experimental evidence that supports gap theories, and argue for a semantic/pragmatic alternative that unifies the gappy supervaluationary approach together with its glutty relative, the subvaluationary approach.

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)

This paper offers the Boolean many-valued solution to the Sorites Paradox. According to the precisification-based Boolean many-valued theory, from which this solution arises, sentences have not only two truth values, truth (or 1) and falsity (or 0), but many Boolean values between 0 and 1. The Boolean value of a sentence is identified with the set of precisifications in which the sentence is true. Unlike degrees fuzzy logic assigns to sentences, Boolean many values are not linearly but only partially ordered; (...) so there are values that are incomparable. Despite this fact, the sentences in a sorites series can be taken as having values in a linear order, and losing (or gaining) value as we move from sentence to sentence in the series. So there is no sharp borderline between 0 and 1. Assigning Boolean many values instead of the two truth values to sentences for their vagueness values is analogous to assigning propositions instead of the truth values to sentences for their semantic values, as propositions are, from our viewpoint, also Boolean many values. (shrink)

Elizabeth Barnes and J. Robert G. Williams claim to offer a new ontic theory of vagueness, the kind of theory which considers vagueness to exist not in language but in reality. This paper refutes their claim. The possible worlds they employ are ersatz possible worlds, i.e., sets of sentences. Unlike reality, they don’t contain concrete and often material objects. As a result, there is nothing in Barnes and Williams’s description of the theory that the semanticist cannot or does not accept. (...) Thus, they have failed to establish their theory as a genuine intelligible ontic alternative to semantic theories. (shrink)

We argue that the future-like-ours argument against abortion rests on an important assumption. Namely, in the first trimester of an aborted pregnancy, there exists something that would have gone on to enjoy conscious mental states, had the abortion not occurred. To accommodate this assumption, we argue, a proponent of the future-like-ours argument must presuppose that there is ontic vagueness. We anticipate the objection that our argument achieves “too much” because it also applies mutatis mutandis to conscious humans. We respond by (...) showing that an explanation can be given for why it is wrong to kill conscious humans that is independent of the underlying metaphysics. Our response brings into focus a reason why—at least in the context of an ethical argument like the future-like-ours argument—appeal to a highly controversial metaphysics is ad hoc. Such metaphysics is not necessary to explain the wrongness of killing conscious humans, only nonconscious fetuses. (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)

This paper argues that several leading theories of subjunctive conditionals are incompatible with ordinary intuitions about what credences we ought to have in subjunctive conditionals. In short, our theory of subjunctives should intuitively display semantic humility, i.e. our semantic theory should deliver the truth conditions of sentences without pronouncing on whether those conditions actually obtain. In addition to describing intuitions about subjunctive conditionals, I argue that we can derive these ordinary intuitions from justified premises, and I answer a possible worry (...) for my derivation by refuting a subjunctive triviality result modeled on (Lewis 1976). I conclude that the debate over the correct theory of subjunctive conditionals requires settling meta-philosophical questions about the relative value of various virtues of first-order theories of subjunctive conditionals. (shrink)

It is often said that an argument is valid if and only if it is impossible for its premises to be jointly true and its conclusion false. Usually there is little harm in saying this but it places the concept of truth at the very heart of logic and, given how complex and obscure that concept is, one might wonder if trouble arises from this.It does — in at least two contexts. One of these was explored in the first half (...) of the fourteenth century by Jean Buridan and by the mysterious figure known as the Pseudo-Scotus of the Questions on the Prior Analytics printed in the edition of Scotus's works edited by Luke Wadding. Buridan thought that the bearers of truth were particular sentence-tokens; he thought of truth as a .. (shrink)

"A Survey of Ranking Theory": The paper gives an up-to-date survey of ranking theory. It carefully explains the basics. It elaborates on the ranking theoretic explication of reasons and their balance. It explains the dynamics of belief statable in ranking terms and indicates how the ranks can thereby be measured. It suggests how the theory of Bayesian nets can be carried over to ranking theory. It indicates what it might mean to objectify ranks. It discusses the formal and the philosophical (...) aspects of the tight relation and the complementarity of ranks and probabilities. It closes with comparative remarks on predecessors and other philosophical proposals as well as formal models developed in AI. (shrink)

Gaining information can be modelled as a narrowing of epistemic space . Intuitively, becoming informed that such-and-such is the case rules out certain scenarios or would-be possibilities. Chalmers’s account of epistemic space treats it as a space of a priori possibility and so has trouble in dealing with the information which we intuitively feel can be gained from logical inference. I propose a more inclusive notion of epistemic space, based on Priest’s notion of open worlds yet which contains only those (...) epistemic scenarios which are not obviously impossible. Whether something is obvious is not always a determinate matter and so the resulting picture is of an epistemic space with fuzzy boundaries. (shrink)

Lewis's notion of a "natural" property has proved divisive: some have taken to the notion with enthusiasm, while others have been sceptical. However, it is far from obvious what the enthusiasts and the sceptics are disagreeing about. This paper attempts to articulate what is at stake in this debate.