There is a long tradition in philosophy of using a priori methods to draw conclusions about what is possible and what is necessary, and often in turn to draw conclusions about matters of substantive metaphysics. Arguments like this typically have three steps: first an epistemic claim , from there to a modal claim , and from there to a metaphysical claim.

Howell Pacific Philosophical Quarterly, 89, 348–358 and Mizrahi and Morrow Ratio, 28, 1–13 offer a group of reductio arguments to rebut the CP thesis, i.e., the hypothesis that ideal conceivability entails possibility. Each of them has a conceivability premise: it is ideally conceivable that CP is false. According to the same CP, one can infer that CP’s being false is possible, from which it follows that CP is false. In other words, CP is shown to be self-defeating and therefore (...) false if any of these reductio arguments is proved sound. In this paper, I aim to disprove these arguments. I first show that neither Howell nor Mizrahi & Morrow provide adequate justification for their conceivability premises. I go on to argue that these reductio arguments face a dilemma: either their conceivability premises cannot be adequately justified, or they are redundant. Finally, I argue that, although this dilemma resists the reductio arguments against CP, on the other hand, it also reveals that CP lacks epistemic fruitfulness: it is of no practical use in the realm of apriority as well as necessity. (shrink)

A very common twofold view in contemporary philosophy is that classical logic is the correct view of logical consequence and that possibility conforms to classical logic in the sense that ‘possible worlds’ — whatever else they may be — are closed under classical logic. These two views are assumed in this paper. My aim in this paper is to show that a very natural ‘paraconsistent’ consequence relation is involved in the given view of possible worlds and logical consequence.

In this paper, we argue that ‘Weak Modal Rationalism’, which is the view that ideal primary positive conceivability entails primary metaphysical possibility, is self-defeating. To this end, we outline two reductio arguments against ‘Weak Modal Rationalism’. The first reductio shows that, from supposing that ‘Weak Modal Rationalism’ is true, it follows that conceivability both is and is not conclusive evidence for possibility. The second reductio shows that, from supposing that ‘Weak Modal Rationalism’ is true, it follows that it (...) is possible that ‘Weak Modal Rationalism’ is necessarily false, and hence that ‘Weak Modal Rationalism’ is false. We then argue that adopting a weaker position according to which conceivability is merely prima facie evidence for possibility provides limited protection from our criticism of conceivability arguments. (shrink)

An assertion of high conditional probability or, more briefly, an HCP assertion is a statement of the type: The conditional probability of B given A is close to one. The goal of this paper is to construct logics of HCP assertions whose conclusions are highly likely to be correct rather than certain to be correct. Such logics would allow useful conclusions to be drawn when the premises are not strong enough to allow conclusions to be reached with certainty. This goal (...) is achieved by taking Adams' (1966) logic, changing its intended application from conditionals to HCP assertions, and then weakening its criterion for entailment. According to the weakened entailment criterion, called the Criterion of Near Surety and which may be loosely interpreted as a Bayesian criterion, a conclusion is entailed if and only if nearly every model of the premises is a model of the conclusion. The resulting logic, called NSL, is nonmonotonic. Entailment in this logic, although not as strict as entailment in Adams' logic, is more strict than entailment in the propositional logic of material conditionals. Next, NSL was modified by requiring that each HCP assertion be scaled; this means that to each HCP assertion was associated a bound on the deviation from 1 of the conditional probability that is the subject of the assertion. Scaling of HCP assertions is useful for breaking entailment deadlocks. For example, it it is known that the conditional probabilities of C given A and of - C given B are both close to one but the bound on the former's deviation from 1 is much smaller than the latter's, then it may be concluded that in all likelihood the conditional probability of C given A ∧ B is close to one. The resulting logic, called NSL-S, is also nonmonotonic. Despite great differences in their definitions of entailment, entailment in NSL is equivalent to Lehmann and Magidor's rational closure and, disregarding minor differences concerning which premise sets are considered consistent, entailment in NSL-S is equivalent to entailment in Goldszmidt and Pearl's System-Z⁺. Bacchus, Grove, Halpern, and Koller proposed two methods of developing a predicate calculus based on the Criterion of Near Surety. In their randomstructures method, which assumed a prior distribution similar to that of NSL, it appears possible to define an entailment relation equivalent to that of NSL. In their random-worlds method, which assumed a prior distribution dramatically different from that of NSL, it is known that the entailment relation is different from that of NSL. (shrink)

We consider a family of logical systems for representing entailment relations of various kinds. This family has its root in the logic of first-degree entailment formulated as a binary consequence system, i.e. a proof system dealing with the expressions of the form \, where both \ and \ are single formulas. We generalize this approach by constructing consequence systems that allow manipulating with sets of formulas, either to the right or left of the turnstile. In this way, it is possible (...) to capture proof-theoretically not only the entailment relation of the standard four-valued Belnap’s logic, but also its dual version, as well as some of their interesting extensions. The proof systems we propose are, in a sense, of a hybrid Hilbert–Gentzen nature. We examine some important properties of these systems and establish their completeness with respect to the corresponding entailment relations. (shrink)

The entailment connective is introduced by Priest (2006b). It aims to capture, in a dialetheically acceptable way, the informal notion of logical consequence. This connective does not “fall foul” of Curry’s Paradox by invalidating an inference rule called “Absorption” (or “Contraction”) and the classical logical theorem called “Assertion”. In this paper we show that the semantics of entailment, given by Priest in terms of possible worlds, is inadequate. In particular, we will argue that Priest’s counterexamples to Absorption and Assertion use (...) in the metalanguage a dialetheically unacceptable principle. Furthermore, we show that the rejection of Assertion undermines Priest’s claim that the entailment connective expresses the notion of logical consequence. (shrink)

I argue that there are Leibnizian-style cosmological arguments for the existence of God which start from very mild premises which affirm the mere possibility of a principle of sufficient reason. The utilization of such premises gives a great deal of plausibility to such types of argumentation. I spend the majority of the paper defending three major objections to such mild premises viz., a reductio argument from Peter van Inwagen and William Rowe, which proffers and defends the idea that a (...) necessary proposition cannot explain a contingent one. I, then, turn to an amelioration of the Rowe/van Inwagen argument which attempts to appeal to an entailment relation between explanans and explanandum that is fettered out in terms of relevance logic. Subsequent to dispelling with that worry, I tackle objections to the utilization of weak principles of sufficient reason that depend essentially upon agglomerative accounts of explanation. (shrink)

Doxasticism is the view that propositional faith entails belief. A common criticism of doxasticism is that faith seems compatible with doubt in a way that belief is not. Thus, it seems possible to have faith without belief, and several non-doxasticist accounts of faith are motivated inter alia by the need to account for this type of doubt. I provide three avenues of response: (1) favored cases of faith without belief beg the question by stipulating faith-that-p-without-belief-that-p, or if the non-doxasticist provides (...) evidence that there is faith without belief, this evidence points to either (2) no-faith-that-p-because-disbelief-that-p or (3) faith-that-p-with-belief-that-p. (shrink)

I explicate how various relational interactions between (M,R)-systems may have realizations in pathophysiology, and how the possible reversals of the effects of these interactions then become therapeutic models. Functional entailment receives a rigorous category-theoretic treatment, and plays a crucial role in this continuing saga of relational biology.

In this paper we present a probabilistic notion of entailment for finite sets of premises, which has classical entailment as a special case, and show that it is well defined; i.e., that the problem of whether a sentence is entailed by a set of premises is computable. Further we present a natural deductive system and prove that it is the strongest deductive system possible without referring to probabilities.

The Humean view that conceivability entails possibility can be criticized via input from cognitive psychology. A mainstream view here has it that there are two candidate codings for mental representations (one of them being, according to some, reducible to the other): the linguistic and the pictorial, the difference between the two consisting in the degree of arbitrariness of the representation relation. If the conceivability of P at issue for Humeans involves the having of a linguistic mental representation, then it (...) is easy to show that we can conceive the impossible, for impossibilities can be represented by meaningful bits of language. If the conceivability of P amounts to the pictorial imaginability of a situation verifying P, then the question is whether the imagination at issue works purely qualitatively, that is, only by phenomenological resemblance with the imagined scenario. If so, the range of situations imaginable in this way is too limited to have a significant role in modal epistemology. If not, imagination will involve some arbitrary labeling component, which turns out to be sufficient for imagining the impossible. And if the relevant imagination is neither linguistic nor pictorial, Humeans will appear to resort to some representational magic, until they come up with a theory of a ‘third code’ for mental representations. (shrink)

In the eighth chapter of the Bodhicaryāvatāra, the Buddhist philosopher Śāntideva has often been interpreted as offering an argument that accepting the ultimate nonexistence of the self (anātman) rationally entails a commitment to altruism, the view that one should care equally for self and others. In this essay, I consider reconstructions of Śāntideva’s argument by contemporary scholars Paul Williams, Mark Siderits and John Pettit. I argue that all of these various reconfigurations of the argument fail to be convincing. This suggests (...) that, for Madhyamaka Buddhists, an understanding of anātman does not entail acceptance of the Bodhisattva path, but rather is instrumental to achieving it. Second, it suggests the possibility that in these verses, Śāntideva was offering meditational techniques, rather than making an argument for altruism from the premise of anātman. (shrink)

The Trek Separation Theorem states necessary and sufficient conditions for a linear directed acyclic graphical model to entail for all possible values of its linear coefficients that the rank of various sub-matrices of the covariance matrix is less than or equal to n, for any given n. In this paper, I extend the Trek Separation Theorem in two ways: I prove that the same necessary and sufficient conditions apply even when the generating model is partially non-linear and contains some (...) cycles. This justifies application of constraint-based causal search algorithms to data generated by a wider class of causal models that may contain non-linear and cyclic relations among the latent variables. (shrink)

1. Anderson and Belnap's most explicit characterization of the fallacy of modality is as follows: "Modal fallacies arise when it is claimed that entailments follow from, or are entailed by, contingent propositions." The view which Nelson attributes to Anderson and Belnap, on the other hand, is "that necessary propositions are entailed only by necessary ones, never by contingent ones." Anderson and Belnap speak of "entailments," whereas Nelson generalizes to "necessary propostitions." The move is far from innocent, as we shall see. (...) For though Anderson and Belnap hold that every true entailment is a necessary proposition, not every necessary proposition is an entailment. In order to grasp the implications of this distinction more clearly, let us see how Anderson and Belnap's statement of the modal fallacy might legitimately be restated in terms of necessity. To that end we must draw a related distinction between necessary propositions and necessity propositions. A expresses a necessary proposition iff A → A → A holds. A expresses a necessity proposition iff A is of the form B → C. The particular form of these definitions is dependent on the fact that entailment rather than necessity is primitive in Anderson and Belnap's system; the forms in parentheses are the equivalents in terms of necessity. Now it follows from these definitions that every entailment is a necessity proposition and that every necessity proposition is an entailment. The modal fallacy may thus be equivalently characterized as the claim that a necessity proposition is entailed by a contingent proposition. That this is different from Nelson's formulation is clear from the following considerations. First, not every necessary proposition is a necessity proposition; example: "Either it is raining or it is not raining." Second, not every necessity proposition is a necessary proposition; example: any false necessity proposition. Thus the possibility is left open that some necessary proposition might be entailed by a contingent one. This is exactly the case with Nelson's example 2, "That every polychromatic surface is red entails that every polychromatic surface is colored." This might well be a theorem in a suitable extension of E. Such cases do not, however, arise among the theorems of EI. In that limited system, all that a contingent proposition can entail is itself. (shrink)

It is notoriously difficult to find an intuitively satisfactory rule for evaluating populations based on the welfare of the people in them. Standard examples, like total utilitarianism, either entail the Repugnant Conclusion or in some other way contradict common intuitions about the relative value of populations. Several philosophers have presented formal arguments that seem to show that this happens of necessity: our core intuitions stand in contradiction. This paper assesses the state of play, focusing on the most powerful of (...) these ‘impossibility theorems’, as developed by Gustaf Arrhenius. I highlight two ways in which these theorems fall short of their goal: some appeal to a supposedly egalitarian condition which, however, does not properly reflect egalitarian intuitions; the others rely on a background assumption about the structure of welfare which cannot be taken for granted. Nonetheless, the theorems remain important: they give insight into the difficulty, if not perhaps the impossibility, of constructing a satisfactory population axiology. We should aim for reflective equilibrium between intuitions and more theoretical considerations. I conclude by highlighting one possible ingredient in this equilibrium, which, I argue, leaves open a still wider range of acceptable theories: the possibility of vague or otherwise indeterminate value relations. (shrink)

The thesis of political theology holds that all justificatory theories of the state rely on metaphysical assumptions, rather than just empirical facts and accepted political conventions. For this reason, the thesis challenges liberal theories that justify the state on the basis of individual autonomy and popular will. The thesis is controversial because many theorists believe that metaphysical assumptions introduce decisionism – the view that a state depends on the unrestrained personal decision of a ruler – to the theory of the (...) state. But, does political theology entail decisionism? This article argues that decisionism does not follow necessarily from political theology because an omnipotent deciding sovereign is only one of many possible metaphysical assumptions in theology. It illustrates this claim with examples from the philosophy of Nicholas Cusanus and process philosophy. This conclusion challenges two different entrenched views: first, that the modern state is a continuation of theistic beliefs; and second, that metaphysical discussions have no place in contemporary normative political theory. (shrink)

If knowing requires believing on the basis of evidence that entails what’s believed, we have hardly any knowledge at all. Hence the near-universal acceptance of fallibilism in epistemology: if it's true that "we are all fallibilists now" (Siegel 1997: 164), that's because denying that one can know on the basis of non-entailing evidence1is, it seems, not an option if we're to preserve the very strong appearance that we do know many things (Cohen 1988: 91). Hence the significance of concessive knowledge (...) attributions (CKAs) (Rysiew 2001)—i.e., sentences of the form 'S knows that p, but it's possible that q' (where q entails not-p). To many, utterances of such sentences sound very odd indeed. According to David Lewis (1996: 550), however, such sentences are merely "overt, explicit" statements of fallibilism; if so, their seeming incoherence suggests that, contrary to our everyday epistemic pretensions, "knowledge must be by definition infallible" after all (ibid.: 549). -/- Recently Jason Stanley (2005) has defended fallibilism against the Lewisian worry that overtly fallibilistic speech is incoherent. According yo Stanley, CKAs are not just odd-sounding: in most cases, they are simply false. But this doesn't impugn fallibilism. Insofar as the odd-sounding utterances Lewis cites state the fallibilist idea, the latter portion thereof ('S cannot eliminate a certain possibility in which not-p', e.g.) expresses the idea that the subject's evidence doesn't entail what's (allegedly) known (hence, the negation of any contrary propositions). According to Stanley, however, this is not the best reading of the possibility clauses CKAs contain. On the correct account of the latter, while the sentences Lewis cites are almost always self-contradictory, they don't capture the fallibilist idea after all. Here, we argue that the sentences in question do express precisely the fallibilist idea, but argue that Lewis has nonetheless failed to raise a problem for the latter. In addition, we respond to worries that the resulting view of the semantics of epistemic possibility statements has certain unacceptable consequences. (shrink)

That inferences of the form "If M then S and possibly M, therefore possibly S" are invalid in possible worlds modal logics can be viewed as another fallacy of material implication. However, this paper argues that properly analyzing this and related inferences requires treating the possibility involved as a practical modality. Specifically, ordinary language propositions of the form "It is possible that M" must be understood to mean that there is a non-negligible probability of M being the case. But (...) this entails reexamining the very idea of logical validity. (shrink)

The editor suggested my writing an article on the question whether it was possible to provide an ethics based upon principles which would be agreed to by all enlightened men, and he further suggested that I should begin the article by stating clearly what morality is. That is a somewhat difficult task, because while “morality” might be defined as “living as one ought,” it is a very disputable question whether and how this “ought” is itself to be defined, and I (...) could not undertake to deal with this question by the way as an introduction to an article on something else. It is, however, clear that there is another sense of “ought” besides the strictly moral sense. We do use the term in cases where it does not entail that a man is neglecting his moral duty if he does not do what he “ought.” For instance we say: “You ought to have seen that film,” “You ought not to have made that move,” “You ought to have seen through that argument,” even “Hitler ought to have invaded England after Dunkirk” where we should have regarded it as the reverse of a good thing if he had done what we say he ought. In none of these cases are we asserting a moral obligation. For we do not ordinarily regard people as under a moral obligation to seek their own pleasure, nor to make certain moves in a game, and while we should say that in matters of serious concern a person is morally obliged to do his best to form a true view as to the merits of a relevant argument, we should not say that he was morally obliged actually to form a true view, for this does not depend solely on his will. And in the fourth instance the action is one which we should think morally wrong rather than morally obligatory. What is there in common between “ought” as used in these cases and the moral “ought”? It is that in each case the action fits the situation, either wholly, or with certain limitations, as in the last instance where we presumably mean that to invade England would have fitted in better with Hitler's ends in the given environment than did the policy Hitler actually adopted. (shrink)

This short paper offers a series of responses to Jochem Zwier and Timothy Barker’s comments on my extended paper ‘Taking Exception: Philosophy of Technology as a Multidimensional Problem Space.’ Part one responds to questions concerning the modality of the renewed understanding of the theme of the transcendental that was argued for in my initial paper: I argue for the deep _contingency_ of such a move, against any sense that it is _necessary._ Part two takes this consideration of modality further, considering (...) the _possibilities_ that a renewal of the theme of the transcendental stands to offer philosophy of technology today. I argue that the contingency of our contemporary sense of the transcendental can be precisely what makes it valuable. Whereas parts one and two turn on incisive questions posed by Zwier, part three closes by reconsidering the claims for a ‘multidimensional problem space’ offered in my initial paper. In response to an acute insight from Barker, I close by arguing that philosophy of technology’s problem space should be explored in terms of a notion of ‘shared agonism’. (shrink)

The thesis of political theology holds that all justificatory theories of the state rely on metaphysical assumptions, rather than just empirical facts and accepted political conventions. For this reason, the thesis challenges liberal theories that justify the state on the basis of individual autonomy and popular will. The thesis is controversial because many theorists believe that metaphysical assumptions introduce decisionism – the view that a state depends on the unrestrained personal decision of a ruler – to the theory of the (...) state. But, does political theology entail decisionism? This article argues that decisionism does not follow necessarily from political theology because an omnipotent deciding sovereign is only one of many possible metaphysical assumptions in theology. It illustrates this claim with examples from the philosophy of Nicholas Cusanus and process philosophy. This conclusion challenges two different entrenched views: first, that the modern state is a continuation of theistic beliefs; and second, that metaphysical discussions have no place in contemporary normative political theory. (shrink)

This paper was chosen by The Philosopher’s Annual as one of the ten best articles appearing in print in 2000. Reprinted in Volume XXIII of The Philosopher’s Annual. In his very influential book David Chalmers argues that if physicalism is true then every positive truth is a priori entailed by the full physical description – this is called “the a priori entailment thesis – but ascriptions of phenomenal consciousness are not so entailed and he concludes that Physicalism is false. As (...) he puts it, “zombies” are metaphysically possible. I attempt to show that this argument is refuted by considering an analogous argument in the mouth of a zombie. The conclusion of this argument is false so one of the premises is false. I argue at length that this shows that the original conceivability argument also has a false premise and so is invalid. (shrink)

I argue below for the view that non-moral truths entail moral ones. I first argue that moral claims do have truth values which are objectively true or false. I then argue that this objectivism does not entail non-relativism. I produce a simple possible worlds argument for the entailment view. I then give some examples where p entails q but many intelligent people have thought it does not, and where it does not, but many intelligent people have thought that (...) it does. I also try to evaluate a somewhat neglected argument by Hume. In the final section, I further consider some moral and meta-moral opinions. (shrink)

This paper investigates when and how children figure out the force of modals: that possibility modals (e.g., _can_/_might_) express possibility, and necessity modals (e.g., _must_/_have to_) express necessity. Modals raise a classic subset problem: given that necessity entails possibility, what prevents learners from hypothesizing possibility meanings for necessity modals? Three solutions to such subset problems can be found in the literature: the first is for learners to rely on downward-entailing (DE) environments (Gualmini and Schwarz in J. (...) Semant. 26(2):185–215, 2009 ); the second is a bias for strong (here, necessity) meanings; the third is for learners to rely on pragmatic cues stemming from the conversational context (Dieuleveut et al. in Proceedings of the 2019 Amsterdam colloqnium, pp. 111–122, 2019a ; Rasin and Aravind in Nat. Lang. Semant. 29:339–375, 2020 ). This paper assesses the viability of each of these solutions by examining the modals used in speech to and by 2-year-old children, through a combination of corpus studies and experiments testing the guessability of modal force based on their context of use. Our results suggest that, given the way modals are used in speech to children, the first solution is not viable and the second is unnecessary. Instead, we argue that the conversational context in which modals occur is highly informative as to their force and sufficient, in principle, to sidestep the subset problem. Our child results further suggest an early mastery of possibility—but not necessity—modals and show no evidence for a necessity bias. (shrink)

Chalmers argues that ideal conceivability (conceivability on ideal rational reflection) entails possibility and on this basis assumes that zombies are possible and, therefore, that materialism is false. I argue that the paradigm cases of conceivability intuitions that Chalmers takes to be reliable guides to possibility are not only conceptually coherent, even on ideal rational reflection, but in addition have some rational explanation. The conceivability of zombies, however, has no rational explanation. So it is not ad hoc to deny (...) that the conceivability of zombies entails possibility. (shrink)

Knowing that some state of affairs—expressed by a proposition, p—is possible, and the possibility that one knows that p have, quite obviously, different meanings. This paper focuses only on their logical relationship—whether they entail one another. I will argue for the following three claims: the basic verificationist principles of anti-realism, at least in their simplest forms, and in conjunction with some other, intuitively reasonable principles, do entail that these two concepts are substitutionally equivalent. Our pre-theoretical expectations question (...) this outcome, as counterexamples can be manufactured. I will also argue that this substitutional equivalence has further, highly counter-intuitive implications. Finally, I will argue that some of the standard strategies to avoid the well-known paradoxes of anti-realism fail to solve this new paradox, while others may be able to do that, but only at a considerable price. However, the introduction of a moderate anti-realist truth operator, the actual objective of this paper, does dissolve the paradox, and arguably at an affordable price. (shrink)

A necessary part of David Armstrong's account of truthmakers for modal truths is his Possibility principle: any truthmaker for a contingent truth is also a truthmaker for the possibility of the complement of that contingent truth (if T makes _p_ true and _p_ is contingent, then T makes ⋄∼_p_ true). I criticize Armstrong's Possibility principle for two reasons. First, his argument for the Possibility principle both relies on an unwarranted generalization and vitiates his desire for relevant (...) truthmakers. His argument undercuts relevant truthmakers by entailing that each contingent being is a truthmaker for all modal truths. Second, even if the argument seems successful, the Possibility principle is subject to counterexamples. Armstrong's being composed of more than fifty atoms makes it true _that something composed of more than fifty atoms exists_ and that truth is contingent, but his being composed of more than fifty atoms does not make it true _that it is possible that it is not the case that something composed of more than fifty atoms exists_. (shrink)

"Jim would still be alive if he hadn't jumped" means that Jim's death was a consequence of his jumping. "x wouldn't be a triangle if it didn't have three sides" means that x's having a three sides is a consequence its being a triangle. Lewis takes the first sentence to mean that Jim is still alive in some alternative universe where he didn't jump, and he takes the second to mean that x is a non-triangle in every alternative universe where (...) it doesn't have three sides. Why did Lewis have such obviously wrong views? Because, like so many of his contemporaries, he failed to grasp the truth that it is the purpose of the present paper to demonstrate, to wit: No coherent doctrine assumes that statements about possible worlds are anything other than statements about the dependence-relations governing our world. The negation of this proposition has a number of obviously false consequences, for example: all true propositions are necessarily true (there is no modal difference between "2+2=4" and "Socrates was bald"); all modal terms (e.g. "possible," "necessary") are infinitely ambiguous; there is no difference between laws of nature (e.g. "metal expands when heated") and accidental generalizations (e.g. "all of the coins in my pocket are quarters"); and there is no difference between the belief that 1+1=2 and the belief that arithmetic is incomplete. Given that possible worlds are identical with mathematical models, it follows that the concept of model-theoretic entailment is useless in the way of understanding how inferences are drawn or how they should be drawn. Given that the concept of formal-entailment is equally useless in these respects, it follows that philosophers and mathematicians have simply failed to shed any light on the nature of the consequence-relation. Q's being either a formal or a model-theoretic consequence of P is parasitic on its bearing some third, still unidentified relation to P; and until this relation has been identified, the discipline of philosophical logic has yet to begin. (shrink)

The well-known argument of Frederick Fitch, purporting to show that verificationism (= Truth implies knowability) entails the absurd conclusion that all the truths are known, has been disarmed by Dorothy Edgington''s suggestion that the proper formulation of verificationism presupposes that we make use of anactuality operator along with the standardly invoked epistemic and modal operators. According to her interpretation of verificationism, the actual truth of a proposition implies that it could be known in some possible situation that the proposition holds (...) in theactual situation. Thus, suppose that our object language contains the operatorA — it is actually the case that ... — with the following truth condition: vA iff w0, wherew 0 stands for the designated world of the model — the actual world. Then we can formalize the verificationist claim as follows. (shrink)

It has recently been argued that the principle that "ought" implies "can" entails the principle that moral responsibility requires alternate possibilities, and hence that the acceptance of the former principle requires acceptance of the latter. This paper disputes the alleged entailment and gives reasons for accepting the former principle while rejecting the latter.

A recalcitrant emotion is an emotion that we experience despite a judgment that seems to conflict with it. Having been bitten by a dog in her childhood, Jane cannot shake her fear of dogs, including Fido, the cute little puppy that she knows to be in no way dangerous. There is something puzzling about recalcitrant emotions, which appear to defy the putatively robust connection between emotions and judgments. If Jane really believes that Fido cannot harm her, what is she afraid (...) of? This article seeks to show how recalcitrant emotion is possible. I argue that reductive theories that identify emotions with judgments, desires, or some combination thereof, cannot explain the possibility of emotional irrationality without contradiction. I then show that the appeal to sui generis attitudes also fails to solve the puzzle of recalcitrant emotions, and diagnose this failure as stemming from a misleading analogy between emotions and perceptions, and in particular, between recalcitrant emotions and perceptual illusions. The solution can be found in a different analogy: between emotions and actions; more specifically, between recalcitrant emotions and weakness of the will, akrasia. Like akratic actions, recalcitrant emotions entail responding to reasons, but to inferior reasons. Irrational but non-contradictory emotions are possible just as weakness of will is possible. (shrink)

Many philosophers hold that all dispositions must have independent causal bases. I challenge this view, hence defending the possibility of bare dispositions. In part 1, I explain more fully what I mean by "disposition," "causal basis," and "bare disposition." In part 2, I consider the claim that the concept of a disposition entails that dispositions are not bare. In part 3, I consider arguments, due to Prior, Pargetter, and Jackson, that dispositions necessarily have distinct causal bases. In part 4, (...) I consider arguments by Smith and Stoljar that there can't be bare dispositions because they would make for unwelcome "barely true" counterfactuals. In the end, I find no reason to deny the possibility of bare dispositions. (shrink)

A standard view in philosophy is that knowledge entails justification. Yet recent research suggests otherwise. We argue that this admirable and striking research suffers from an important limitation: participants were asked about knowledge but not justification. Thus it is possible that people attributed knowledge partly because they thought the belief was justified. Perhaps though, if given the opportunity, people would deny justification while still attributing knowledge. It is also possible that earlier findings were due to perspective taking. This paper reports (...) further research that directly addresses these questions. Our findings support the hypothesis that knowledge entails justification on the ordinary view. (shrink)

Process philosophy has traditionally focused predominantly on ontology and cosmology. However, in the closing decades of the twentieth century, the scope of its application broadened significantly to include areas such as theology, physics, biology, psychology, and even education. But, one area that was not so fortunate is ethics. Process philosophy, nonetheless, has the potential to make a unique contribution to the state of ethical theory, which, having the support of a process ontology, could avoid many of the pitfalls which plague (...) modern ethical theories. Nowhere are these pitfalls more apparent than in the philosophy of Immanuel Kant, to whom I am alluding in the title of this paper. For, in keeping with his metaphysics, Kant made the absolute value of the autonomous rational individual the supreme principle of morality and, in so doing, made the human in particular, and ethics in general, discontinuous with the goings-on of the rest of the universe.1 In stark contrast to this longstanding tradition, it is my intention to demonstrate that it is possible to construct an axiological ethical system which makes humans an exemplification of the aim of the universe rather than an exception to it. My argument proceeds in roughly four parts. I begin by outlining the basic contours of Whitehead’s metaphysics and aesthetics and the relation between them. With this as a backdrop, I then proceed to discuss the moral dimension of Whitehead’s thought and the standard objections to it. In the third section, I respond to these objections, first, by contrasting two different interpretations of Whitehead’s metaphysics and, then, by examining the forms of morality that each entails. Finally, I conclude with my own speculations on how one might proceed to develop a systematic moral philosophy based on a Whiteheadian aesthetics of process. (shrink)

When knowledge is being doubted one way to express this doubt is by a counterfactual. Typically this counterfactual quotes some elements of the actual case or a case considered as actual and dodges the connection between proposition believed and what makes that proposition true. For example, when Descartes states his dreaming skepticism case, he gives us instances where he has previously been lying in his bed fast asleep while dreaming that he is awake. What triggers the loss of knowledge in (...) Descartes’ case is that if he were asleep, he would still believe that he is sitting by the fire, holding a paper in his hand etc. The fact that he cannot distinguish between his dream-state and awake-state entails that he doesn’t know in the awake-state, considered as actual, either. So, a description of counterfactual possibilities that can be used to doubt knowledge in a possibility considered as actual has to make the truth of p indistinguishable from the falsity of p. Any possibility that falls under this description will be called transparent. Here is a definition: For any possibility W and any proposition believed p, W is transparent iff, in W the truth of p is indistinguishable from the falsity of p. (shrink)

Pragmatism emerges from the loss of tradition as a source of life-guidance, and awareness of the insufficiency of modernity to provide a viable alternative. It arises from an existential crisis and decision through which one is able to move beyond nihilism to life-affirmation. It entails the developed understanding that articulation of one’s affirmation is inherently limited and subject to revision as one grows in the depth and breadth of the root decision. Orientation to the intellect, at that point, is quite (...) different from that which most Western people inherit, such that one’s philosophy can no longer be understood as a system which is fixed in correspondence with Reality itself, but rather as provisional statement of ideals, commitments, and hypotheses. This statement is then subject to refinement in an ongoing developmental process, especially based on one’s democratic or dialogical encounter with others, and a spirituality of openness to the radically ineffable source of life. In this way pragmatism both reflects and contributes to a global movement toward a more mature form of humanity. (shrink)

In his article Potentialism and the experience of the new, Jasinski argues for the use of a potentialist approach in education by relating it to a line of thought that starts with Dewey and is fulfilled by Agamben and Lewis. Although the reading that Jasinski offers on potentialism is interesting, his understanding of Dewey is problematic. In this paper, I argue that much of what Jasinski claims as worthy of pursuit in education is already contained in the Deweyan questions of (...) newness, openness, and radical possibility. Even the Agambenian notion of ‘coming community’ falls under a Deweyan understanding of society and democracy, which, in Deweyan thought, always exist in suspension and connectedness. Given such premises, the idea of education that emerges from Deweyan thought is that of a leap. The question regarding what education is and entails is left radically open by Dewey, for education belongs to the not-yet. (shrink)

Using Jacques Derrida’s deconstruction of Levinas’s other, the paper argues that philosophy’s involvement with nonphenomenality necessarily leads to a discussion of the im/possibility of God. Because the nonphenomenal is proper to God, then the theological trap becomes explicit in the study of philosophy. The paper operates within an exposition of Derrida’s “Violence and Metaphysics,” while arguing in three sections. The first section discusses the theological trap implicit in Levinas and the language that he engages. The limitations of this theological (...) language and the negativity involved in the discussion of the other leads us to consider difference as nonphenomenal. The second section investigates the violence that language entails in Derrida’s understanding of Levinas’s Husserl and Heidegger. This is to demonstrate the point made in section one and to bridge the idea to section three, which investigates the limitations of this language and its implications to any understanding of God as the effect of the trace. If anything, the paper utilizes Derrida’s reading of Levinas to argue for the theological trap and the understanding of God as the effect of the trace. (shrink)

My aim in this paper is to discuss the imaginability of subjectless consciousness, and in particular the question of whether one can imagine de se being subjectlessly conscious. I will not engage here with the further issue as to whether imaginability entails possibility, and so with the possibility simpliciter of consciousness being subjectless. The question I am interested in is, in another formulation, whether I can imagine being no one. I shall begin by reviewing the literature on a (...) related, if distinct, question, namely that as to whether I can imagine being someone other than the one that I am. (shrink)

In their influential paper “The extended mind”, Andy Clark and David Chalmers argue for the possibility of the extended mind. Based on Clark and Chalmers’s views, Stephen Hetherington argues in his paper “The extended knower” that there are extended knowers, provided epistemic externalism holds. He also uses the argument and its conclusion to criticize Baron Reed’s scepticism in the paper “The long road to skepticism” : 236–262, 2007). In this chapter, I argue that both Hetherington’s notion of the extended (...) knower and his argument are problematic. This is because the conceptual intelligibility of his notion of the extended knower entails the highly counterintuitive consequence that, in some cases, some negative entities would have to be constitutive of the extended knower. I also show that Hetherington’s criticism of Reed’s scepticism is not successful, and that there is no reason to believe that Clark and Chalmers would hold that there is the extended knower in Hetherington’s sense. (shrink)

Cultural historical research has deliberately challenged “historical realism,” the view that history is comprised entirely of observable actions that actually occurred, and instead has emphasized the historical significance of thoughts, emotions, and representations; it has also focused on the invisible, the momentary, and the perishable. These latter elements introduce the notion of the possible in history. This article examines the ways in which cultural history has approached the notion of the possible, as well as the methodological and theoretical implications of (...) this approach. Its chief claim is that the idea of possibility is fundamental for the concept of culture and ineliminable from its historical study.The question of possibility is present in multiple ways in the study of history; it is important to distinguish among different levels of possibility. The possible may mean, for instance, what it is possible for historians to know about the past, or the possibilities open to historical agents themselves, or, indeed, the possibilities they perceived themselves as having even if these seem impossible from the point of view of the historian. The article starts with the first aspect and moves on toward the possibilities that existed in the past world either in fact or in the minds of those in the past.The article argues that the study of past cultures always entails the mapping of past possibilities. The first strand of the essay builds on the metaphor of the black hole and intends to solve one of the central problems faced by cultural historians, namely, how to access the horizon of the people of the past, their experience of their own time, especially when the sources remain silent. The second, more speculative strand builds on the notion of plenitude and is designed to open up avenues for further discussion about the concept of culture in particular. (shrink)

The thesis of existentialism holds that if a proposition p exists and predicates something of an object a, then in any world where a does not exist, p does not exist either. If “possibly, p” entails “in some possible world, the proposition that p exists and is true,” then existentialism is prima facie incompatible with the truth of claims like “possibly, the Eiffel Tower does not exist.” In order to avoid this claim, a distinction between two kinds of world-indexed truth (...) –and two associated kinds of modality –is needed. This paper embodies an attempt to develop a full account of just such a distinction. (shrink)

This work develops a Leibnizian approach to possibility by explicating the notions of possibility in general, in chapter 1; possible individuals in chapter 2; possible worlds in chapter 3; and actualization in chapter 4. ;A Leibnizian notion of possibility is characterized against the traditional view of an intelligible realm of thoughts in God's mind. It is understood in terms of self-consistent thoughts and is developed by explicating the notions of thought and of possibility in terms of (...) the combinatorial structure common to both, that is, the construction of complex structures by progressive combinations of simple elements. According to this view, God mentally combines his simple forms, and complex concepts arise in his mind. Such complex and self-consistent concepts are deemed possible. ;Against this general view of possibility, a possible individual is identified with the combinatorial rule that produces a unique and maximally consistent structure of predicates. Such a rule is termed the "production rule" of the individual. The "production rule" unifies a series of predicates and constitutes the individual's logical subject and its principle of individuation. ;Given this view of a possible individual, the notion of a possible world is defined as a set of compossible individuals. It is argued that the compossiblity relation result from the consideration of two individuals in the same logical space. It is suggested that the inner structure of each individual entails its possible connections with other individuals, and that God's consideration of the individuals splits them into compossible sets or possible worlds. ;Finally, it is suggested that actualization involves endowing the "production rule" in God's mind with power of action. The union of a divine prescription of action with power of action yields an active and self-sufficient agent. Upon creation, the agent's activity generates the sequence of predicates prescribed to it by its production rule. ;The explication of the above notions accounts for the conceptual dependence of possible individuals and for the causal independence of created individuals--both of which are indispensable for Leibniz's notion of preestablished harmony. (shrink)

This article presents an empirical examination of the consequences of the virtual entailment principle proposed by Jean Buridan to resolve the Liar paradox. This principle states that every sentence in natural language implicitly asserts its own truth. Adopting this principle means that the Liar sentence is not paradoxical but false, because its content is contradictory to what is virtually implied. As a result, humans should perceive the Liar sentence the same way as any other false sentence. This solution to the (...) Liar paradox received criticism for making ad hoc claims about the natural language. However, thanks to modern advancements in psychophysiology, it became possible to empirically investigate if the human brain really perceives the Liar sentence like a false sentence. We designed and conducted an experiment to examine brain activity in response to true sentences, false sentences and self-referential sentences. Our results provide support for the Buridan’s hypothesis and show that the Liar sentence is processed by the human brain identically to false sentences, while the Truthteller sentence is perceived identically to true sentences. This agrees with predictions derived from the virtual entailment principle and supports the idea that humans think with the logic of truth—a logic for which the truth is a designated value of its adequate semantics. (shrink)

Suppose that we want to frame a conception of reasons that isn't relativized to the inclinations of particular agents. That is, we want to identify particular things that count as reasons for acting simpliciter and not merely as reasons for some agents rather than others, depending on their inclinations. One way to frame such a conception is to name some features that an action can have and to say that they count as reasons for someone whether or not he is (...) inclined to care about them. The problem with the resulting conception, as we have seen, is that it entails the normative judgment that one ought to be inclined to care about the specified features, on pain of irrationality, and this normative judgment requires justification. The advantage of internalism is that it avoids these normative commitments. It says that things count as reasons for someone only if he is inclined to care about them, and so it leaves the normative question of whether to care about them entirely open. Yet if we try to leave this question open, by defining things as reasons only for those inclined to care about them, we'll end up with a definition that's relativized to the inclinations of particular agents—won't we? Not necessarily. For suppose that all reasons for acting are features of a single kind, whose influence depends on a single inclination. And suppose that the inclination on which the influence of reasons depends is, not an inclination that distinguishes some agents from others, but rather an inclination that distinguishes agents from nonagents. In that case, to say that these features count as reasons only for those who are inclined to care about them will be to say that they count as reasons only for agents—which will be to say no less than that they are reasons for acting, period, since applying only to agents is already part of the concept of reasons for acting. The restriction on the application of reasons will drop away from our definition, since it restricts their application, not to some proper subset of agents, but rather to the set of all agents, which is simply the universe of application for reasons to act. (shrink)

Various proposals have suggested that an adequate explanatory theory should reduce the number or the cardinality of the set of logically independent claims that need be accepted in order to entail a body of data. A (and perhaps the only) well-formed proposal of this kind is William Kneale’s: an explanatory theory should be finitely axiomatizable but it’s set of logical consequences in the data language should not be finitely axiomatizable. Craig and Vaught showed that Kneale theories (almost) always exist (...) for any recursively enumerable but not finitely axiomatizable set of data sentences in a first order language with identity. Kneale’s criterion underdetermines explanation even given all possible data in the data language; gratuitous axioms may be “tacked on.” Define a Kneale theory, T, to be logically minimal if it is deducible from every Kneale theory (in the vocabulary of T) that entails the same statements in the data language as does T. If they exist, minimal Kneale theories are candidates for best explanations: they are “bold” in a sense close to Popper’s; some minimal Kneale theory is true if any Kneale theory is true; the minimal Kneale theory that is data equivalent to any given Kneale theory is unique; and no Kneale theory is more probable than some minimal Kneale theory. I show that under the Craig-Vaught conditions, no minimal Kneale theories exist. (shrink)