The standard treatment of conditional probability leaves conditional probability undefined when the conditioning proposition has zero probability. Nonetheless, some find the option of extending the scope of conditional probability to include zero-probability conditions attractive or even compelling. This article reviews some of the pitfalls associated with this move, and concludes that, for the most part, probabilities conditional on zero-probability propositions are more trouble than they are worth.

I argue that the conjunction of perdurantism (the view that objects are temporally extended) and universalism (the thesis that any old class of things has a mereological fusion) gives rise to undesired complications when combined with certain plausible assumptions concerning the semantics of tensed statements.

Literature in epistemology tends to suppose that there are three main types of understanding – propositional, atomistic, and objectual. By showing that all apparent instances of propositional understanding can be more plausibly explained as featuring one of several other epistemic states, this paper argues that talk of propositional understanding is unhelpful and misleading. The upshot is that epistemologists can do without the notion of propositional understanding.

Much of the intuitive appeal of evidentialism results from conflating two importantly different conceptions of evidence. This is most clear in the case of perceptual justification, where experience is able to provide evidence in one sense of the term, although not in the sense that the evidentialist requires. I argue this, in part, by relying on a reading of the Sellarsian dilemma that differs from the version standardly encountered in contemporary epistemology, one that is aimed initially at the epistemology of (...) introspection but which generalizes to theories of perceptual justification as well. (shrink)

To what extent are cognitive capacities, especially perceptual capacities, informationally encapsulated and to what extent are they cognitively penetrable? And why does this matter? Two reasons we care about encapsulation/penetrability are: (a) encapsulation is sometimes held to be definitional of modularity, and (b) penetrability has epistemological implications independent of modularity. I argue that modularity does not require encapsulation; that modularity may have epistemological implications independently of encapsulation; and that the epistemological implications of the cognitive penetrability of perception are messier than (...) is sometimes thought. (shrink)

We can see mereology as a theory of parthood and topology as a theory of wholeness. How can these be combined to obtain a unified theory of parts and wholes? This paper examines various non-equivalent ways of pursuing this task, with specific reference to its relevance to spatio-temporal reasoning. In particular, three main strategies are compared: (i) mereology and topology as two independent (though mutually related) chapters; (ii) mereology as a general theory subsuming topology; (iii) topology as a general theory (...) subsuming mereology. Some more speculative strategies and directions for further research are also considered. (shrink)

There are conflicting intuitions concerning the status of a boundary separating two adjacent entities (or two parts of the same entity). The boundary cannot belong to both things, for adjacency excludes overlap; and it cannot belong to neither, for nothing lies between two adjacent things. Yet how can the dilemma be avoided without assigning the boundary to one thing or the other at random? Some philosophers regard this as a reductio of the very notion of a boundary, which should accordingly (...) be treated a mere façon de parler. In this paper I resist this temptation and examine some ways of taking the puzzle at face value within a realist perspective—treating boundaries as ontologically on a par with (albeit parasitic upon) extended parts. (shrink)

Some have argued that the vagueness exhibited by geographic names and descriptions such as ‘Albuquerque’, ‘the Outback’, or ‘Mount Everest’ is ultimately ontological: these terms are vague because they refer to vague objects, objects with fuzzy boundaries. I take the opposite stand and hold the view that geographic vagueness is exclusively semantic, or conceptual at large. There is no such thing as a vague mountain. Rather, there are many things where we conceive a mountain to be, each with its precise (...) boundary, and when we say ‘Everest’ we are just being vague as to which thing we are referring to. This paper defends this view against some plausible objections. (shrink)

Are there any bona fide boundaries, i.e., boundaries that carve at the joints? Or is any boundary —hence any object—the result of a fiat articulation reflecting our cognitive biases and our so-cial practices and conventions? Does the choice between these two options amount to a choice between realism and wholesome relativism?

Many believe that the rational evaluation of actions depends on the rational evaluation of even basic desires. Hume, though, viewed desires as "original existences" which cannot be contrary to either truth or reason. Contemporary critics of Hume, including Norman, Brandt and Parfit, have sought a basis for the rational evaluation of desires that would deny some basic desires reason-giving force. I side with Hume against these modern critics. Hume's concept of rational evaluation is admittedly too narrow; even basic desires are, (...) despite their nonrepresentational nature, subject to rational evaluation. But this evaluation is not relevant to their tendency to generate reasons for action, and does not undermine the spirit of the Humean view of rational action. (shrink)

Many assume that whenever government is entitled to make a law, it is entitled to enforce that law coercively. I argue that the justification of legal authority and the justification of governmental coercion come apart. Both in ideal theory and in actual human societies, governments are sometimes entitled to make laws that they are not entitled to enforce coercively.

Peter Simons has argued that the expression ‘the universe’ is not a genuine singular term: it can name neither a single, completely encompassing individual, nor a collection of individuals. (It is, rather, a semantically plural term standing equally for every existing object.) I offer reasons for resisting Simons’s arguments on both scores.

A lot of work in metaphysics relies on linguistic analysis and intuitions. Do we want to know what sort of things there are or could be? Then let’s see what sort of things there must be in order for what we truthfully say to be true. Do we want to see whether x is distinct from y? Then let’s see whether there is any statement that is true of x but not of y. And so on. In this paper I (...) argue that this way of proceeding is full of traps and is bound to be pretty useless unless we already have a good idea of what sort of things there are, and of how we are going to count them. (shrink)

A critical review of the main themes arising out of recent literature on the semantics of ordinary event talk. The material is organized in four sections: (i) the nature of events, with emphasis on the opposition between events as particulars and events as universals; (ii) identity and indeterminacy, with emphasis on the unifier/multiplier controversy; (iii) events and logical form, with emphasis on Davidson’s treatment of the form of action sentences; (iv) linguistic applications, with emphasis on issues concerning aspectual phenomena, the (...) telicity/atelicity distinction, the treatment of statives, and temporal quantification. (shrink)

Recent work by Peijnenburg, Atkinson, and Herzberg suggests that infinitists who accept a probabilistic construal of justification can overcome significant challenges to their position by attending to mathematical treatments of infinite probabilistic regresses. In this essay, it is argued that care must be taken when assessing the significance of these formal results. Though valuable lessons can be drawn from these mathematical exercises (many of which are not disputed here), the essay argues that it is entirely unclear that the form of (...) infinitism that results meets a basic requirement: namely, providing an account of infinite chains of propositions qua reasons made available to agents. (shrink)

Klein’s account of epistemic justification, infinitism, supplies a novel solution to the regress problem. We argue that concentrating on the normative aspect of justification exposes a number of unpalatable consequences for infinitism, all of which warrant rejecting the position. As an intermediary step, we develop a stronger version of the ‘finite minds’ objection.

A look at the dynamical concept of space and space-generating processes to be found in Kant, J.F. Herbart and the mathematician Bernhard Riemann's philosophical writings.

This is a revised and extended version of the formal theory of holes outlined in the Appendix to the book "Holes and Other Superficialities". The first part summarizes the basic framework (ontology, mereology, topology, morphology). The second part emphasizes its relevance to spatial reasoning and to the semantics of spatial prepositions in natural language. In particular, I discuss the semantics of ‘in’ and provide an account of such fallacious arguments as “There is a hole in the sheet. The sheet is (...) in the drawer. Ergo *there is a hole in the drawer”. (shrink)

The paper investigates the link between the theory of modal occurrents (where individuals are allowed to stretch across possible worlds) and Lewis’s counterpart theory (where all individuals are world-bound but have counterparts in other worlds). First I show how to interpret modal talk extensionally within the theory of modal occurrents. Then I show that the assumption that worlds be pairwise discrete is all that is needed to reconstruct the bulk of counterpart theory (i.e., to define the concept of a counterpart (...) and to derive the standard postulates governing that concept) in terms of the theory of modal occurrents. Finally, I argue that this reconstruction allows us to view the indeterminacy of our modal intuitions as being part and parcel with the indeterminacy of our criteria for individuating modal occurrents, and that this indeterminacy is naturally explained in terms of linguistic (as opposed to ontic) vagueness. (shrink)

Quine’s desert is generally contrasted with Meinong’s jungle, as a sober ontological alternative to the exuberant luxuriance that comes with the latter. Here I focus instead on the desert as a sober metaphysical alternative to the Aristotelian garden, with its tidily organized varieties of flora and fauna neatly governed by fundamental laws that reflect the essence of things and the way they can be, or the way they must be. In the desert there are no “natural joints”; all the boundaries (...) we find are lines we have drawn, artificial fencings that merely reflect of our own demarcations, our classifications, our desperate need to ward off the flux and meet an excusable but ungrounded demand for order and stability. The desert returns a picture of reality that is radically anti-realist. And yet the picture does not amount to a form of irrealism. The desert is out there and is what it is regardless of how we feel. And it is not completely structureless. It’s just that the structure it has is very thin and does not correspond to the sort of structure that so-called metaphysical realists—and scientific realists alike—tend to attribute to it. (shrink)

Since its first appearance in 1966, the notion of a supervaluation has been regarded by many as a powerful tool for dealing with semantic gaps. Only recently, however, applications to semantic gluts have also been considered. In previous work I proposed a general framework exploiting the intrinsic gap/glut duality. Here I also examine an alternative account where gaps and gluts are treated on a par: although they reflect opposite situations, the semantic upshot is the same in both cases--the value of (...) some expressions is not uniquely defined. Other strategies for generalizing supervaluations are considered and some comparative facts are discussed. (shrink)

A graph-theoretic account of fibring of logics is developed, capitalizing on the interleaving characteristics of fibring at the linguistic, semantic and proof levels. Fibring of two signatures is seen as a multi-graph (m-graph) where the nodes and the m-edges include the sorts and the constructors of the signatures at hand. Fibring of two models is a multi-graph (m-graph) where the nodes and the m-edges are the values and the operations in the models, respectively. Fibring of two deductive systems is an (...) m-graph whose nodes are language expressions and the m-edges represent the inference rules of the two original systems. The sobriety of the approach is confirmed by proving that all the fibring notions are universal constructions. This graph-theoretic view is general enough to accommodate very different fibrings of propositional based logics encompassing logics with non-deterministic semantics, logics with an algebraic semantics, logics with partial semantics and substructural logics, among others. Soundness and weak completeness are proved to be preserved under very general conditions. Strong completeness is also shown to be preserved under tighter conditions. In this setting, the collapsing problem appearing in several combinations of logic systems can be avoided. (shrink)

In "Evil and the Justice of God", N.T. Wright presses the point that attempting to solve the philosophical problem of evil is an immature response to the existence of evil--a response that belittles the real problem of evil, which is just the fact that evil is bad and needs to be dealt with. As you might expect, I am not inclined to endorse this sort of sweeping indictment of the entire field of research on the philosophical problem of evil. (I (...) sort of doubt that Wright really meant to either.) But I do think that there is a kernel of truth in what I take to be Wright's fundamental objection to attempts to solve the philosophical problem of evil. In the first section of what follows, I will try briefly to explain why. I will then go on to argue that, despite this fact, certain efforts at solving the problem of evil avoid Wright's objection. Indeed, drawing on recent work by Elenore Stump, I will argue that one perfectly legitimate way to try to solve the philosophical problem of evil is to follow precisely what seems to be the main piece of advice in "Evil and the Justice of God": namely, to look more seriously than we have at the attitudes taken toward evil by human authors of and characters in the Bible, and to attend more carefully to what the Bible says about how God deals with evil. (shrink)

There are two ways of understanding the notion of a contradiction: as a conjunction of a statement and its negation, or as a pair of statements one of which is the negation of the other. Correspondingly, there are two ways of understanding the Law of Non-Contradiction (LNC), i.e., the law that says that no contradictions can be true. In this paper I offer some arguments to the effect that on the first (collective) reading LNC is non-negotiable, but on the second (...) (distributive) reading it is perfectly plausible to suppose that LNC may, in some rather special and perhaps undesirable circumstances, fail to hold. (shrink)

This is a supplement to our book "Le tribolazioni del filosofare. Comedia metaphysica ne la quale si tratta de li errori & de le pene de l’Infero". It features an entirely new canto of the poem (originally thought to be lost) along with an extensive commentary. The canto covers the first ring of the circle of the Sullen, which hosts the Adverse to the Possible, and deals with several philosophical questions concerning the metaphysics of modality.

Mereotopology is today regarded as a major tool for ontological analysis, and for many good reasons. There are, however, a number of open questions that call for an answer. Some are philosophical, others have direct applicative import, but all are crucial for a proper assessment of the strengths and limits of mereotopology. This paper is an attempt to put sum order in this area.

Abstract: According to certain dispositional accounts of meaning, an agent's meaning is determined by the dispositions that an idealized version of this agent has in optimal conditions. We argue that such attempts cannot properly fix meaning. For even if there is a way to determine which features of an agent should be idealized without appealing to what the agent means, there is no non-circular way to determine how those features should be idealized. We sketch an alternative dispositional account that avoids (...) this problem, according to which an agent's meaning is determined by the dispositions that an abstract version of this agent has in optimal conditions. (shrink)

This article aims to serve as an accessible introduction to the idea of "ontotheology" and to the so-called "ontotheological critique of Western metaphysics" for which the twentieth-century German philosopher Martin Heidegger is especially well known. I begin by distinguishing two uses of "ontotheology" employed respectively by Kant and Heidegger, and go on to develop the Heideggerian interpretation and critique of ontotheology under three main headings: The Onto-theo-logical Constitution of Western Metaphysics; Ontotheology's Problematic Legacy: Anxiety, Calculation, Oblivion; and Ontotheology and God. (...) The article concludes with an annotated bibliography of helpful resources for learning more about ontotheology, the critique of ontotheology, and directions the critique has taken after Heidegger. (shrink)

Though most children can easily answer the question, "Who's your daddy?", the concept of paternity is complex and multifaceted. Courts have stumbled in answering it. In order to ground paternal rights and obligations in a satisfactory way, we need to disaggregate the various elements of stereotypical paternity. It is not sufficient merely to separate social from biological paternity. The latter concept, itself, is complex. We need to separate the procreative element of paternity from the genetic relationship.

Leibniz said that the universe, if God-created, would exist at a unique, conjoint, physical maximum: Of all possible worlds, it would be richest in phenomena, but its richness would arise from the simplest physical laws and initial conditions. Using concepts of ‘‘variety’’ and algorithmic informational complexity, Leibniz’ claim can be reframed as a testable theory. This theory predicts that the laws and conditions of the actual universe should be simpler, and the universe richer in phenomena, than the presence of observers (...) would require. Tegmark has shown that inhabitants of an infinite multiverse would likely observe simple laws and conditions, but also phenomenal richness just great enough to explain their existence. Empirical observations fit the claim of divine choice better than the claim of an infinite multiverse. The future of the universe, including its future information-processing capacity, is predicted to be endless. -/- . (shrink)

We cannot disregard that the neuroscientific research on religious phenomena such as religious experiences and rituals for example, has increased significantly the last years. Neuroscientists claim that neuroscience contributes considerably in the process of understanding religious experiences, because neuroscience is able to measure brain activity during religious experiences by way of brain‐imaging technologies. No doubt, those results of neuroscientific research on religious experiences are an important supplement to the understanding of some types of religious experiences. However, some conclusions drawn from (...) neuroscientific research on religious experiences are arguable. For example, one such conclusion is that religious experiences are actually nothing but neural activity, i.e. there is nothing ‘religious’ to the experiences at all. Another such conclusion is that a person’s religious experiences actually derive from some ultimate reality, meaning that religious experiences are real. It is the latter assertion that will be analyzed in the present paper. The question is asked whether neuroscience alone is able to affirm that religious experiences are real or whether there are, besides neuroscientific issues, also cultural‐religious assumptions that underlie this conclusion. (shrink)

When the reader turns to a text, he conceives of the narrated events as ordered in time. When the natural philosopher turns to the world, he also conceives of its events as ordered in time—or lately, in space-time. But each has the task of constituting this order on the basis of clues present in what is to be ordered. Interrogating the parallels to be found in their problems and methods, I shall argue that in both cases the definiteness of the (...) relation between the order and what is ordered resides mainly in how the matter is to be conceived, and is underdetermined by the facts. (shrink)

From the dictum "ought implies can", it has been argued that no account of belief's normativity can avoid the unpalatable result that, for unbelievable propositions such as "It is raining and nobody believes that it is raining", one ought not to believe them even if true. In this article, I argue that this move only succeeds on a faulty assumption about the conjunction of doxastic "oughts.".

It is shown that a complete axiomatization of classical non-tautologies can be obtained by taking F (falsehood) as the sole axiom along with the two inference rules: (i) if A is a substitution instance of B, then A |– B; and (ii) if A is obtained from B by replacement of equivalent sentences, then A |– B (counting as equivalent the pairs {T, ~F}, {F, F&F}, {F, F&T}, {F, T&F}, {T, T&T}). Since the set of tautologies is also specifiable by (...) purely syntactic means, the resulting picture gives an improved syntactic account of classical sentential logic. The picture can then be completed by considering related systems that prove adequate to specify the set of contradictions, the set of non-contradictions, and the set of contingencies respectively. (shrink)

I defend the thesis that psychological states can be literally ascribed only to living creatures and not to nonliving machines, such as sophisticated robots. Defenders of machine consciousness do not sufficiently appreciate the importance of the biological nature of a subject for the psychological significance of its behavior. Simulations of a computer-controlled, nonliving autonomous robot cannot carry the same psychological meaning as animate behavior. Being a living creature is an essential link between genuinely expressive behavior and justified psychological ascriptions.

Judith Butler’s influential work in feminist theory is significant for its insight that sexist discourse in popular culture affects the agency and consciousness of individuals, but offers an inadequate account of how such discourse might be said to touch, shape, or affect selves. Supplementing Butler’s account of signification with a Deweyan pragmatic account of meaning-making and selective emphasis enables a consistent account of the relationship between discourse and subjectivity with a robust conception of the bodily organism. An analysis of the (...) popular discourse surrounding Hillary Clinton in the 2008 Presidential campaign demonstrates why this hybrid pragmatic/poststructuralist account is necessary. (shrink)

This research note is penned in honour of Johan Vander Hoeven on his retirement as Editor-in-Chief of Philosophia Reformata. It is to acknowledge his helpful contribution to the critical exposition of phenomenology. I first read his work almost 30 years ago and it challenged me to develop a sympathetic Christian critique of this philosophical movement. This note is to offer some reflection upon the Christian interpretation of phenomeology. In particular, it raises questions about how some famous phrases, one by Dilthey, (...) the other by Husserl, have been construed. (shrink)

This paper continues a thread in Analysis begun by Adam Rieger and Nicholas Denyer. Rieger argued that Frege’s theory of thoughts violates Cantor’s theorem by postulating as many thoughts as concepts. Denyer countered that Rieger’s construction could not show that the thoughts generated are always distinct for distinct concepts. By focusing on universally quantified thoughts, rather than thoughts that attribute a concept to an individual, I give a different construction that avoids Denyer’s problem. I also note that this problem for (...) Frege’s philosophy was discovered by Bertrand Russell as early as 1902 and has been discussed intermittently since. (shrink)

I articulate and the defend the following two claims: (i) it is a mistake to think that the structure of the world should mirror the structure of the theories by which we represent it, and through which we try to decipher it, simply because those theories appear to work; (ii) among the most deplorable consequences of this mistake is the widespread tendency to think that there must be a plurality of realities, or several different and irreducible levels of a stratified (...) reality, merely because our credo includes a plurality of theories each of which appears to be as important and trustworthy as it is irreducible to (if not overtly in conflict with) the others. (shrink)

Wall, G. Locke's attack on innate knowledge.--Harris, J. Leibniz and Locke on innate ideas.--Greenlee, D. Locke's idea of idea.--Aspelin, G. Idea and perception in Locke's essay.--Greenlee, D. Idea and object in the essay.--Mathews, H. E. Locke, Malebranche and the representative theory.--Alexander, P. Boyle and Locke on primary and secondary qualities.--Ayers, M. R. The ideas of power and substance in Locke's philosophy.--Allison, H. E. Locke's theory of personal identity.--Kretzmann, N. The main thesis of Locke's semantic theory.--Woozley, A. D. Some remarks on (...) Locke's account of knowledge.--Laudan, L. The nature and sources of Locke's views on hypotheses. (shrink)

Certain consequentialists have responded to deontological worries regarding personal projects or options and agent-centered restrictions or constraints by pointing out that it is consistent with consequentialist principles that people develop within themselves, dispositions to act with such things in mind, even if doing so does not lead to the best consequences on every occasion. This paper argues that making this response requires shifting the focus of moral evaluation off of evaluation of individual actions and towards evaluation of whole character traits (...) and patterns of behavior. However, this weds consequentialism to a sort of psychological determinism, with which it is incompatible, because it makes any sort of assessment in terms of right or wrong incoherent. The paper concludes by sketching an ethical theory that abandons right and wrong as its organizing concepts, but nevertheless preserves much of the spirit of consequentialism. Relationships between whole patterns of behavior and the production of good and bad consequences can be studied and analyzed, and this information can be used to improve society and ourselves, without it being required that any individual persons acts or dispositions to behave be evaluated as right or wrong. (shrink)

There is a natural philosophical impulse (and, correspondingly, a great deal of pressure) to always ask for explanations, for example, explanations of why we act as we do. Kevin Mulligan has gone a very long way in disentangling the many different because’s, and the many senses of ‘because’, that tend to clutter our efforts to manage that impulse. This short dialogue is meant as a humble tribute to his work in this area.

WILLIAM DAVIS HAS MAINTAINED THAT A SUPER PLEASURE HELMET COULD IN PRINCIPLE SATISFY ALL HUMAN NEEDS, BUT THAT SUCH A MACHINE IS PROBABLY A PRACTICAL IMPOSSIBILITY. I ARGUE THAT THE SUPER PLEASURE HELMET IS CONCEPTUALLY IMPOSSIBLE BY ARGUING THAT A PERSON'S NEEDS CANNOT BE SATISFIED JUST BY BRINGING ABOUT CERTAIN PSYCHOLOGICAL STATES IN THAT PERSON.

This paper argues that the Theaetetus establishes conditions on objects of knowledge which entail that only of Forms can there be knowledge. Plato's arguments for this are valid. The principles needed to make Plato's premises true will turn out to have deep connection with important parts of Plato's over-all theory, and to have consequences which Plato, in the middle dialogues, seems to welcome on other grounds as well.

A discussion of some philosophical themes in the Terminator film series, including: the possibility of time travel, backward causation, the difference between changing the past/future and affecting it, the difference between determinism and fatalism, and how such issues depend on the underlying philosophy of time (eternism vs. presentism vs. the growing-block theory).

In ‘Towards a Solution to the Sorites Paradox’, Graham Priest gives us a new account of the sorites based on fuzzy logic. The novelty lies in the suggestion that truth-value assignments should themselves be treated as fuzzy objects, i.e., objects about which we can make fuzzy identity statements. I argue that Priest’s solution does not have the explanatory force that Priest advocates. That is, it does not explain why we find the existence of a cut-off point counter-intuitive. I also argue (...) that this sort of explanation calls for a general theory that goes beyond the special case of linguistic vagueness, for the phenomenon is at bottom not linguistic. (shrink)

An outline of the wealth of philosophical material that hides behind the flat world of geographic maps, with special reference to (i) the centrality of the boundary concept, (ii) the problem of vagueness, and (iii) the metaphysical question (if such there be) of the identity and persistence conditions of geographic entities.

This work gives an extended presentation of the treatment of variable-binding operators adumbrated in [3:1993d]. Illustrative examples include elementary languages with quantifiers and lambda-equipped categorial languages. Some remarks are also offered to illustrate the philosophical import of the resulting picture. Particularly, a certain conception of logic emerges from the account: the view that logics are true theories in the model-theoretic sense, i.e. the result of selecting a certain class of models as the only “admissible” interpretation structures (for a given language).