I here present and defend what I call the Triviality Theory of Truth, to be understood in analogy with Matti Eklund’s Inconsistency Theory of Truth. A specific formulation of is defended and compared with alternatives found in the literature. A number of objections against the proposed notion of meaning-constitutivity are discussed and held inconclusive. The main focus, however, is on the problem, discussed at length by Gupta and Belnap, that speakers do not accept epistemically neutral conclusions of Curry derivations. I (...) first argue that the facts about speakers’ reactions to such Curry derivations do not constitute a problem for the Triviality Theory specifically. Rather, they follow from independent, uncontroversial facts. I then propose a solution which coheres with the theory as I understand it. Finally, I consider a normative reading of their objection and offer a response. (shrink)

Semantic dispositionalism is roughly the view that meaning a certain thing by a word, or possessing a certain concept, consists in being disposed to do something, e.g., infer a certain way. Its main problem is that it seems to have so many and disparate exceptions. People can fail to infer as required due to lack of logical acumen, intoxication, confusion, deviant theories, neural malfunctioning, and so on. I present a theory stating possession conditions of concepts that are counterfactuals, rather than (...) disposition attributions, but which is otherwise similar to inferentialist versions of dispositionalism. I argue that it can handle all the exceptions discussed in the literature without recourse to ceteris paribus clauses. Psychological exceptions are handled by suitably undemanding requirements (unlike that of giving the sum of any two numbers) and by setting the following two preconditions upon someone’s making the inference: that she considers the inference and has no motivating reason against it. The non-psychological exceptions, i.e., cases of neural malfunctioning, are handled by requiring that the counterfactuals be true sufficiently often during the relevant interval. I argue that this accommodates some important intuitions about concept possession, in particular, the intuition that concept possession is vague along a certain dimension. (shrink)

I here defend a theory consisting of four claims about ‘property’ and properties, and argue that they form a coherent whole that can solve various serious problems. The claims are (1): ‘property’ is defined by the principles (PR): ‘F-ness/Being F/etc. is a property of x iff F’ and (PA): ‘F-ness/Being F/etc. is a property’; (2) the function of ‘property’ is to increase the expressive power of English, roughly by mimicking quantification into predicate position; (3) property talk should be understood at (...) face value: apparent commitments are real and our apparently literal use of ‘property’ is really literal; (4) there are no properties. In virtue of (1)–(2), this is a deflationist theory and in virtue of (3)–(4), it is an error theory. (1) is fleshed out as a claim about understanding conditions, and it is argued at length, and by going through a number of examples, that it satisfies a crucial constraint on meaning claims: all facts about ‘property’ can be explained, together with auxiliary facts, on its basis. Once claim (1) has been expanded upon, I argue that the combination of (1)–(3) provides the means for handling several problems: they help giving a happy-face solution to what I call the paradox of abstraction , they form part of a plausible account of the correctness of committive sentences, and, most importantly, they help respond to various indispensability arguments against nominalism. (shrink)

The paper addresses the question of the nature and limits of philosophical thought experiments. On the one hand, experimental philosophers are right to claim that we need much more laboratory work in order to have more reliable thought experiments, but on the other hand a naturalism that is too radical is incapable of clarifying the peculiarity of thought experiments in philosophy. Starting from a historico-critical reconstruction of Kant’s concept of the “experiments of pure reason”, this paper outlines an account of (...) thought experiments in philosophy that tries to reconcile the thesis of a principled difference between scientific and philosophical TEs with the position of a methodological naturalism that does not admit any difference in kind between the methods of science and of philosophy. (shrink)

Which concepts should we use to think and talk about the world and to do all of the other things that mental and linguistic representation facilitates? This is the guiding question of the field that we call ‘conceptual ethics’. Conceptual ethics is not often discussed as its own systematic branch of normative theory. A case can nevertheless be made that the field is already quite active, with contributions coming in from areas as diverse as fundamental metaphysics and social/political philosophy. In (...) this pair of papers, we try to unify the field, reflecting on its basic nature, structure, and methodology. (shrink)

According to modalism, modality is primitive. In this paper, we examine the implications of this view for modal epistemology, and articulate a modalist account of modal knowledge. First, we discuss a theoretical utility argument used by David Lewis in support of his claim that there is a plurality of concrete worlds. We reject this argument, and show how to dispense with possible worlds altogether. We proceed to account for modal knowledge in modalist terms.

Experimental philosophers have empirically challenged the connection between intuition and philosophical expertise. This paper reviews these challenges alongside other research findings in cognitive science on expert performance and argues for three claims. First, evidence taken to challenge philosophical expertise may also be explained by the well-researched failures and limitations of genuine expertise. Second, studying the failures and limitations of experts across many fields provides a promising research program upon which to base a new model of philosophical expertise. Third, a model (...) of philosophical expertise based on the limitations of genuine experts may suggest a series of constraints on the reliability of professional philosophical intuition. Even when the experts all agree, they may well be mistaken. — Bertrand Russell, On the Value of Scepticism. (shrink)

Philosophers of mind typically group experiential states together and distinguish these from intentional states on the basis of their purportedly obvious phenomenal character. Sytsma and Machery (Phil Stud 151(2): 299–327, 2010) challenge this dichotomy by presenting evidence that non-philosophers do not classify subjective experiences relative to a state’s phenomenological character, but rather by its valence. However we argue that S&M’s results do not speak to folk beliefs about the nature of experiential states, but rather to folk beliefs about the entity (...) to which those experiential states are attributed. In two experiments, we demonstrate that ordinary attributions of subjective experiences (of smell and felt emotions) to a simple robot are not sensitive to valence, but instead respond to functional assumptions about the entity to which the states are (or are not) attributed. (shrink)

In moral epistemology, the method of reflective equilibrium is often characterized in terms of intuitions or understood as a method for justifying intuitions. An analysis of reflective equilibrium and current theories of moral intuitions reveals that this picture is problematic. Reflective equilibrium cannot be adequately characterized in terms of intuitions. Although the method presupposes that we have initially credible commitments, it does not presuppose that they are intuitions. Nonetheless, intuitions can enter the process of developing a reflective equilibrium and, if (...) the process is successful, be justified. Since the method of reflective equilibrium does not essentially involve intuitions, it does not constitute a form of intuitionism in any substantial sense. It may be classified as intuitionist only in the minimal sense of not reducing justification to a matter of inference relations alone. (shrink)

What is the nature of the evidence provided by thought experiments in philosophy? For instance, what evidence is provided by the Gettier thought experiment against the JTB theory of knowledge? According to one view, it provides as evidence only a certain psychological proposition, e.g. that it seems to one that the subject in the Gettier case lacks knowledge. On an alternative, nonpsychological view, the Gettier thought experiment provides as evidence the nonpsychological proposition that the subject in the Gettier case lacks (...) knowledge (e.g., Williamson 2007). Given the centrality of thought experiments to philosophical enquiry, the correct account of thought experiment evidence is important for understanding the nature of philosophical methodology. Further, Williamson argues that a misguided adherence to the psychological view of thought experiment evidence encourages scepticism about philosophy since it opens a gap between our evidence and the nonpsychological subject matter of philosophy. The main aim of this paper is to defend the psychological view against recent objections. In particular, I argue that even if thought experiment evidence is psychological, it can still provide justification for non-psychological claims which are the subject matter of philosophy. (shrink)

Since the publication of David Lewis’ Counterfactuals, the standard line on subjunctive conditionals with impossible antecedents (or counterpossibles) has been that they are vacuously true. That is, a conditional of the form ‘If p were the case, q would be the case’ is trivially true whenever the antecedent, p, is impossible. The primary justification is that Lewis’ semantics best approximates the English subjunctive conditional, and that a vacuous treatment of counterpossibles is a consequence of that very elegant theory. Another justification (...) derives from the classical lore than if an impossibility were true, then anything goes. In this paper we defend non-vacuism, the view that counterpossibles are sometimes non-vacuously true and sometimes non-vacuously false. We do so while retaining a Lewisian semantics, which is to say, the approach we favor does not require us to abandon classical logic or a similarity semantics. It does however require us to countenance impossible worlds. An impossible worlds treatment of counterpossibles is suggested (but not defended) by Lewis (Counterfactuals. Blackwell, Oxford, 1973), and developed by Nolan (Notre Dame J Formal Logic 38:325–527, 1997), Kment (Mind 115:261–310, 2006a: Philos Perspect 20:237–302, 2006b), and Vander Laan (In: Jackson F, Priest G (eds) Lewisian themes. Oxford University Press, Oxford, 2004). We follow this tradition, and develop an account of comparative similarity for impossible worlds. (shrink)

Stanley and Williamson have defended the intellectualist thesis that knowing-how is a subspecies of knowing-that by appeal to the syntax and semantics of ascriptions of knowing-how. Critics have objected that this way of defending intellectualism places undue weight on linguistic considerations and fails to give sufficient attention to empirical considerations from the scientific study of the mind. In this paper, I examine and reject Stanley's recent attempt to answer the critics.

We consider a range of cases—both hypothetical and actual—in which agents apparently know how to \ but fail to believe that the way in which they in fact \ is a way for them to \. These “no-belief” cases present a prima facie problem for Intellectualism about knowledge-how. The problem is this: if knowledge-that entails belief, and if knowing how to \ just is knowing that some w is a way for one to \, then an agent cannot both know (...) how to \ and fail to believe that w, the way that she \s, is a way for her to \. We discuss a variety of ways in which Intellectualists might respond to this challenge and argue that, ultimately, this debate converges with another, seemingly distinct debate in contemporary epistemology: how to attribute belief in cases of conflict between an agent’s avowals and her behavior. No-belief cases, we argue, reveal how Intellectualism depends on the plausibility of positing something like “implicit beliefs”—which conflict with an agent’s avowed beliefs—in many cases of apparent knowledge-how. While there may be good reason to posit implicit beliefs elsewhere, we suggest that there are at least some grounds for thinking that these reasons fail to carry over to no-belief cases, thus applying new pressure to Intellectualism. (shrink)

When is a cause of a cause of an effect also a cause of that effect? The right answer is either Sometimes or Always . In favour of Always , transitivity is considered by some to be necessary for distinguishing causes from redundant non-causal events. Moreover transitivity may be motivated by an interest in an unselective notion of causation, untroubled by principles of invidious discrimination. And causal relations appear to add up like transitive relations, so that the obtaining of the (...) overarching relation is not independent of the obtaining of the intermediaries. On the other hand, in favour of Sometimes , often we seem not to treat events that are very spatiotemporally remote from an effect as its causes, even when connected to the effect in question by a chain of counterfactual or chance-raising dependence. Moreover cases of double prevention provide counterexamples to causal transitivity even over short chains. According to the argument of this paper, causation is non-transitive. Transitizing causation provides no viable account of causal redundancy. An unselective approach to causation may motivate resisting the distance counterexamples to transitivity, but it does not help with double prevention, and even makes it more intractable. The strongest point in favour of transitivity is the adding up of causal relations, and this is the point that extant non-transitizing analyses have not adequately addressed. I propose a necessary condition on causation that explains the adding up phenomenon. In doing so it also provides a unifying explanation of distance and double prevention counterexamples to transitivity. (shrink)

We show that five important elements of the ‘nomological package’— laws, counterfactuals, chances, dispositions, and counterfactuals—needn’t be a problem for the Growing-Block view. We begin with the framework given in Briggs and Forbes (in The real truth about the unreal future. Oxford studies in metaphysics. Oxford University Press, Oxford, 2012 ), and, taking laws as primitive, we show that the Growing-Block view has the resources to provide an account of possibility, and a natural semantics for non-backtracking causal counterfactuals. We show (...) how objective chances might ground a more fine-grained concept of feasibility, and furnished a places in the structure where causation and dispositions might fit. The Growing-Block view, thus understood, provides the resources to explain the close link between modality and tense, so that it predicts modal change as time passes. This account lets us capture not only what the future might hold for us, and also what might have been. (shrink)

Mereological nihilism is the thesis that composition never occurs. Some philosophers have thought that science gives us compelling evidence against nihilism. In this article I respond to this concern. An initial challenge for nihilism stems from the fact that composition is such a ubiquitous feature of scientific theories. In response I motivate a restricted form of scientific anti-realism with respect to those components of scientific theories which make reference to composition. A second scientifically based worry for nihilism is that certain (...) specific scientific phenomena might require ineliminable quantification over composite objects. I address these concerns, and argue that there seem to be nihilist-friendly construals of the scientific phenomena in question. (shrink)

Recent interest in early German Romantic philosophy can be linked to other approaches, such as that of John Dewey, which are critical of the dominant direction of modern philosophy. The Romantics rethink the relationship between philosophy and art as a way of questioning modern philosophy’s focus on epistemology and scepticism that leads to a lack of attention to the diverse other ways in which human beings make sense of things.

The central recommendation of this article is that philosophers trained in the analytic tradition ought to add the sensibilities and skills of the historian to their methodological toolkit. The value of an historical approach to strictly philosophical matters is illustrated by a case study focussing on the medieval origin of conceivability arguments and contemporary views of modality. It is shown that common metaphilosophical views about the nature of the philosophical enterprise as well as certain inference patterns found in thinkers from (...) Descartes to Chalmers have their origin in the theological concerns of the Scholastics. Since these assumptions and inference patterns are difficult to motivate when shorn of their original theological context, the upshot is that much post-Cartesian philosophy is cast in an altogether unfamiliar, and probably unwelcome, light. The methodological point, however, is that this philosophical gain is born of acquaintance with the history of ideas. (shrink)

This paper argues that a necessary condition on inferential knowledge is that one knows all the propositions that knowledge depends on. That is, I will argue in support of a principle I call the Knowledge from Knowledge principle: (KFK) S knows that p via inference or reasoning only if S knows all the propositions on which p depends. KFK meshes well with the natural idea that (at least with respect to deductively valid or induc- tively strong arguments) the epistemic status (...) of one’s belief in the conclusion of an argument is a function of the epistemic status of the attitudes one has to the premises of that argument. One gets what one puts in: S’s belief in the conclusion C of an argument A has epistemic status E for S only if S’s belief in each of the premises C depends on also has epistemic status E.1 This is compatible, of course, with the epistemic status of S’s conclusion being greater than the epistemic status of the premises on which the conclusion of her reasoning depends. Furthermore, even though KFK applies more straightforwardly to non-suppositional inferences, we can also plausibly apply the principle to sup- positional reasoning if we treat S’s assuming for the sake of argument that p,2 as S assuming for the sake of argument that she knows that p.3 Although extremely plausible, philosophers have failed to present a concerted case in support of KFK. Most of their energy goes to articulating and/or defending some form of closure principle for knowledge.4 What is more, recently versions of this principle have been dismissed as problematic but I think without the reasons in its support been fully appreciated. This paper is an e fort to change the current state of affairs. Its focus is positive, however: my goal is to make the best case I can in support of KFK.5 To that end, the paper presents the reasons we have to accept KFK (§1), consid- ers an objection to the principle (§2), and situates the principle in the broader normative context of knowledge norms (§3). (shrink)

I aim to show that a semantic minimalist need not also be a semantic internalist. §I introduces minimalism and internalism and argues that there is a prima facie case for a minimalist being an internalist. §II sketches some positive arguments for internalism which, if successful, show that a minimalist must be an internalist. §III goes on to reject these arguments and contends that the prima facie case for uniting minimalism and internalism is also not compelling. §IV returns to an objection (...) from §I and argues for a way to meet it which does not depend on giving up semantic externalism. (shrink)

After a brief review of the notions of necessity and a priority, this paper scrutinizes Kripke's arguments for supposedly contingent a priori propositions and necessary a posteriori propositions involving proper names, and reaches a negative conclusion, i.e. there are no such propositions, or at least the propositions Kripke gives as examples are not such propositions. All of us, including Kripke himself, still have to face the old question raised by Hume, i.e. how can we justify the necessity and universality of (...) general statements on the basis of sensory or empirical evidence? (shrink)

Herman Cappelen (2012) has written a book that's devoted to arguing against the following claim: Centrality (of Intuitions in Contemporary Philosophy): Contemporary analytic philosophers rely on intuitions as evidence (or as a source of evidence) for philosophical theories. In arguing against Centrality, Cappelen is not making a normative claim: that although philosophers rely on intuitions, they ought not to. He's not making a metaphysical claim to the effect that there are no intuitions, hence none that philosophers can rely on to (...) justify their claims.... (shrink)

This essay attempts to clarify the project of explaining the possibility of ‘blind reasoning’—namely, of basic logical inferences to which we are entitled without our having an explicit justification for them. The role played by inferentialism in this project is examined and objections made to inferentialism by Paolo Casalegno and Timothy Williamson are answered. Casalegno proposes a recipe for formulating a counterexample to any proposed constitutive inferential role by imaging a subject who understands the logical constant in question but fails (...) to have the capacity to make the inference in question; Williamson’s recipe turns on imagining an expert who continues to understand the constant in question while having developed sophisticated considerations for refusing to make it. It’s argued that neither recipe succeeds. (shrink)

The traditional Lewis–Stalnaker semantics treats all counterfactuals with an impossible antecedent as trivially or vacuously true. Many have regarded this as a serious defect of the semantics. For intuitively, it seems, counterfactuals with impossible antecedents—counterpossibles—can be non-trivially true and non-trivially false. Whereas the counterpossible "If Hobbes had squared the circle, then the mathematical community at the time would have been surprised" seems true, "If Hobbes had squared the circle, then sick children in the mountains of Afghanistan at the time would (...) have been thrilled" seems false. Many have proposed to extend the Lewis–Stalnaker semantics with impossible worlds to make room for a non-trivial or non-vacuous treatment of counterpossibles. Roughly, on the extended Lewis–Stalnaker semantics, we evaluate a counterfactual of the form "If A had been true, then C would have been true" by going to closest world—whether possible or impossible—in which A is true and check whether C is also true in that world. If the answer is "yes", the counterfactual is true; otherwise it is false. Since there are impossible worlds in which the mathematically impossible happens, there are impossible worlds in which Hobbes manages to square the circle. And intuitively, in the closest such impossible worlds, sick children in the mountains of Afghanistan are not thrilled—they remain sick and unmoved by the mathematical developments in Europe. If so, the counterpossible "If Hobbes had squared the circle, then sick children in the mountains of Afghanistan at the time would have been thrilled" comes out false, as desired. In this paper, I will critically investigate the extended Lewis–Stalnaker semantics for counterpossibles. I will argue that the standard version of the extended semantics, in which impossible worlds correspond to maximal, logically inconsistent entities, fails to give the correct semantic verdicts for many counterpossibles. In light of the negative arguments, I will then outline a new version of the extended Lewis–Stalnaker semantics that can avoid these problems. (shrink)

Here we challenge the orthodoxy according to which abduction is an a posteriori mode of inference. We start by providing a case study illustrating how abduction can justify a philosophical claim not justifiable by empirical evidence alone. While many grant abduction's epistemic value, nearly all assume that abductive justification is a posteriori, on grounds that our belief in abduction's epistemic value depends on empirical evidence about how the world contingently is. Contra this assumption, we argue, first, that our belief in (...) abduction’s epistemic value is not and could not be justified a posteriori, and second, that attention to the roles experience plays in abductive justification supports taking abduction to be an a priori mode of inference. We close by highlighting how our strategy for establishing the a priority of abduction positively contrasts with strategies in Bonjour (1998), Swinburne (2001), and Peacocke (2004) aiming to establish the a priority of certain ampliative modes of inference or abductive principles. (shrink)

This paper introduces a modal epistemology that centers on inference to the best explanation (i.e. abduction). In introducing this abduction-centered modal epistemology, the paper has two main goals. First, it seeks to provide reasons for pursuing an abduction-centered modal epistemology by showing that this epistemology aids a popular stance on the mind-body problem and allows an appealing approach to modality. Second, the paper seeks to show that an abduction-centered modal epistemology can work by showing that abduction can establish claims about (...) necessity/possibility (i.e. modal claims)—where ‘necessity’ and ‘possibility’ denote metaphysical necessity and possibility, ways things may or may not have been given how they actually are. (shrink)

In this paper, I try to outline what I take to be Naming and Necessity’s fundamental legacy to my generation and those that follow, and the new perspectives it has opened up for twenty-first century philosophy. The discussion is subdivided into three sections, concerning respectively philosophy of language, metaphysics, and metaphilosophy. The general unifying theme is that Naming and Necessity is helping philosophy to recover a Golden Age, by freeing it from the strictures coming from the empiricist and Kantian traditions (...) and reconnecting it to the world and the objects that populate it. Because of this, in the concluding paragraph I tentatively suggest that Kripke’s philosophy may be seen as a sui generis form of naturalism. (shrink)

A counterpossible conditional is a counterfactual with an impossible antecedent. Common sense delivers the view that some such conditionals are true, and some are false. In recent publications, Timothy Williamson has defended the view that all are true. In this paper we defend the common sense view against Williamson’s objections.

Suppose that A explains B. Do A and B need to be true? Provided that we have metaphysical explanation in mind, orthodoxy answers “yes:” metaphysical explanation is factive. This article introduces and defends a non-factive notion of metaphysical explanation. I argue that we need a non-factive notion of explanation in order to make sense of explanationist arguments where we motivate a view by claiming that it offers better explanations than its competitors. After presenting and rejecting some initially plausible rivals, I (...) account for non-factive metaphysical explanation by drawing on existing applications of structural equation models to metaphysical grounding. (shrink)

Husserl claims that his phenomenological–epistemological system amounts to a “universal” form of empiricism. The present paper shows that this universal moment of Husserl’s empiricism is why his empiricism qualifies as a rationalism. What is empiricist about Husserl’s phenomenological–epistemological system is that he takes experiences to be an autonomous source of immediate justification. On top of that, Husserl takes experiences to be the ultimate source of justification. For Husserl, every justified belief ultimately depends epistemically on the subject’s experiences. These are paradigms (...) of empiricist claims and thus Husserl seems to subscribe to empiricism. However, what is universal about Husserl’s “empiricism” is that he does not limit the concept of experiences to sensory experiences or sensory experiences plus introspective intuitions but broadens the concept of experience such that also a priori intuitions are included. Husserl insists that logical, mathematical, and phenomenological intuitions such as ~, 2 + 2 = 4, and “Experiences necessarily bear the mark of intentionality” provide non-inferential justification analogous to how sensory experiences can non-inferentially justify beliefs such as “There is a table in front of me.” Importantly, Husserl makes clear that such a priori intuitions are not about our concepts but about reality. This is why Husserl’s universal empiricism is a rationalism. Husserl differs from traditional rationalism as he allows that a priori intuitions can be fallible and empirically underminable. This distinguishes Husserl’s rationalism from Descartes’ and makes him a proponent of moderate rationalism as currently championed by Laurence BonJour. (shrink)

This research is published within the project ‘The Logic of Conceivability’, funded by the European Research Council, Grant Number 681404.

In his influential paper “Grasping the Third Realm,” John Bengson raises the question of how we can non-accidentally grasp abstract facts. What distinguishes successful intuition from hallucinatory intuition? Bengson answers his “non-accidental relation question” by arguing for a constitutive relationship: The intuited object is a literal constituent of the respective intuition. Now, the problem my contribution centers around is that Bengson’s answer cannot be the end of the story. This is because, as Bar Luzon and Preston Werner have recently pointed (...) out, this answer leads to the follow-up question of why certain intuitional experiences are constituted by the facts, but others are not. My objective is to answer this question by specifying precisely what is epistemically defective about intellectual hallucinations. My result is that, in stark contrast to perception, intellectual hallucinations are epistemically defective in the sense that something is overlooked. In successful intuition, by contrast, all relevant possibilities/scenarios are considered/imagined. This has crucial epistemological implications. In particular, I argue that intuitions exhibiting a certain phenomenology cannot fail to successfully grasp abstract facts. I call this the non-accidental correctness thesis, which constitutes the main thesis of this paper. (shrink)

I present an approach to our conceiving absolute impossibilities—things which obtain at no possible world—in terms of ceteris paribus intentional operators: variably restricted quantifiers on possible and impossible worlds based on world similarity. The explicit content of a representation plays a role similar in some respects to the one of a ceteris paribus conditional antecedent. I discuss how such operators invalidate logical closure for conceivability, and how similarity works when impossible worlds are around. Unlike what happens with ceteris paribus counterfactual (...) conditionals, the closest worlds are relevantly closest belief-worlds: closest to how things are believed to be, rather than to how they are. Also, closeness takes into account apriority and the opacity of intentional contexts. (shrink)

I want to model a finite, fallible cognitive agent who imagines that p in the sense of mentally representing a scenario—a configuration of objects and properties—correctly described by p. I propose to capture imagination, so understood, via variably strict world quantifiers, in a modal framework including both possible and so-called impossible worlds. The latter secure lack of classical logical closure for the relevant mental states, while the variability of strictness captures how the agent imports information from actuality in the imagined (...) non-actual scenarios. Imagination turns out to be highly hyperintensional, but not logically anarchic. Section 1 sets the stage and impossible worlds are quickly introduced in Sect. 2. Section 3 proposes to model imagination via variably strict world quantifiers. Section 4 introduces the formal semantics. Section 5 argues that imagination has a minimal mereological structure validating some logical inferences. Section 6 deals with how imagination under-determines the represented contents. Section 7 proposes additional constraints on the semantics, validating further inferences. Section 8 describes some welcome invalidities. Section 9 examines the effects of importing false beliefs into the imagined scenarios. Finally, Sect. 10 hints at possible developments of the theory in the direction of two-dimensional semantics. (shrink)

The aim of this paper is to establish a phenomenological mathematical intuitionism that is based on fundamental phenomenological-epistemological principles. According to this intuitionism, mathematical intuitions are sui generis mental states, namely experiences that exhibit a distinctive phenomenal character. The focus is on two questions: what does it mean to undergo a mathematical intuition and what role do mathematical intuitions play in mathematical reasoning? While I crucially draw on Husserlian principles and adopt ideas we find in phenomenologically minded mathematicians such as (...) Hermann Weyl and Kurt Gödel, the overall objective is systematic in nature: to offer a plausible approach towards mathematics. (shrink)

We propose a new account of indicative conditionals, giving acceptability and logical closure conditions for them. We start from Adams’ Thesis: the claim that the acceptability of a simple indicative equals the corresponding conditional probability. The Thesis is widely endorsed, but arguably false and refuted by empirical research. To fix it, we submit, we need a relevance constraint: we accept a simple conditional 'If φ, then ψ' to the extent that (i) the conditional probability p(ψ|φ) is high, provided that (ii) (...) φ is relevant for ψ. How (i) should work is well-understood. It is (ii) that holds the key to improve our understanding of conditionals. Our account has (i) a probabilistic component, using Popper functions; (ii) a relevance component, given via an algebraic structure of topics or subject matters. We present a probabilistic logic for simple indicatives, and argue that its (in)validities are both theoretically desirable and in line with empirical results on how people reason with conditionals. (shrink)

I would like to attack a certain view: The view that the concept of identity can fail to apply to some things although, for some positive integer n, we have n of them. The idea of entities without self-identity is seriously entertained in the philosophy of quantum mechanics. It is so pervasive that it has been labelled the Received View. I introduce the Received View in Section 1. In Section 2 I explain what I mean by entity, and I argue (...) that supporters of the Received View should agree with my characterization of the corresponding notion of entity. I also explain what I mean by identity, and I show that supporters of the Received View agree with my characterization of that notion. In Section 3 I argue that the concept of identity, so characterized, is one with the concept of oneness. Thus, it cannot but apply to what belongs to a collection with n elements, n being a positive integer. In Section 4 I add some considerations on the primitiveness of identity or unity and the status of the Identity of Indiscernibles. In Section 5 I address the problem of how reference to indiscernible objects with identity can be achieved. (shrink)

I present a formal theory of the logic and aboutness of imagination. Aboutness is understood as the relation between meaningful items and what they concern, as per Yablo and Fine’s works on the notion. Imagination is understood as per Chalmers’ positive conceivability: the intentional state of a subject who conceives that p by imagining a situation—a configuration of objects and properties—verifying p. So far aboutness theory has been developed mainly for linguistic representation, but it is natural to extend it to (...) intentional states. The proposed framework combines a modal semantics with a mereology of contents: imagination operators are understood as variably strict quantifiers over worlds with a content-preservation constraint. (shrink)

It can often seem like the attitude we hold towards a conditional should be our attitude in the consequent on the supposition of the antecedent. Following by Williamson (Suppose and Tell: The Semantics and Heuristics of Conditionals. Oxford University Press, 2020), we call this The suppositional rule (SR). The Adams-style non-propositional theories of indicatives upholds some key implications of SR, allowing, for instance, our credence in a conditional to be the probability of the consequent given the antecedent. Williamson (Suppose and (...) Tell: The Semantics and Heuristics of Conditionals. Oxford University Press, 2020) has recently provided a series of inconsistency arguments against SR. He thereby intends to undermine non-propositional views as well as other rivals to his favoured material conditional account. I outline a strategy which theorists of all stripes can employ to avoid Williamson’s arguments. I then show how non-propositionalists can implement this strategy. I show how they can uphold SR when it is intuitively compelling, whilst allowing it to fail when it is not. (shrink)

Non-descriptivists in metaethics should say more about intuitions. For one popular theory has it that case-based intuitions are in the business of correctly categorizing or classifying merely by bringing to bear a semantic or conceptual competence. If so, then the fact that all normative predicates have case-based intuitions involving them shows that they too are in the business of categorizing or classifying things. This favors a descriptivist position in metaethics—normative predicates have descriptive content—and disfavors a purely non-descriptivist position, like pure (...) expressivism. However, we can say more. We can distinguish two different sorts of intuitional state, A-grade intuitions and B-grade intuitions, based on a cluster of properties that are distinctive of each. While a hypothesis about categorization best explains the cluster of properties enjoyed by A-grade intuitions, it does not best explain the cluster of properties enjoyed by B-grade intuitions. Indeed, a non-categorizational, attitude-expressive hypothesis about the relevant meanings best explains B-grade intuitions. And intuitions involving thin normative predicates are B-grade. So intuition theory supports non-descriptivism, not descriptivism, about thin normative predicates. (shrink)

The fundamental problem of Christology is the apparent contradiction of Christ as recorded at Chalcedon. Christ is human and Christ is divine. Being divine entails being immutable. Being human entails being mutable. Were Christ two different persons there’d be no apparent contradiction. But Chalcedon rules as much out. Were Christ only partly human or only partly divine there’d be no apparent contradiction. But Chalcedon rules as much out. Were the very meaning of ‘mutable’ and/or ‘immutable’ other than what they are, (...) there’d be no apparent contradiction. But the meaning is what it is, and changing the meaning of our terms to avoid the apparent contradiction of Christ is an apparent flight from reality. What, in the end, is the explanation of the apparent contradiction of Christ? Theologians and philosophers have long advanced many consistency-seeking answers, all of which increase the metaphysical or semantical complexity of the otherwise strikingly simple but radical core of Christianity’s GodMan. In this paper, I put the simplest explanation on the theological table: namely, Christ appears to be contradictory because Christ is contradictory. This explanation may sound complicated to the many who are steeped in the mainstream account of logic according to which logic precludes the possibility of true contradictions. But the mainstream account of logic can and should be rejected. Ridding theology of the dogma of mainstream logic illuminates the simple though striking explanation of the apparent contradiction of Christ — namely, that Christ is a contradictory being. Just as the simplest explanation to the apparent roundness of the earth has earned due acceptance, so too should the simplest explanation of the apparent contradiction of Christ. (shrink)

A characteristic move of what is known as ‘ordinary language philosophy’, as exemplified by J.L. Austin's discussion of knowledge in ‘Other Minds,’ is to appeal to the ordinary and normal use of some philosophically troublesome word, with the professed aim of alleviating this or that philosophical difficulty or dispelling this or that philosophical confusion. This characteristic move has been criticized widely on the grounds that it rests on a conflation of ‘meaning’ and ‘use’; and that criticism has been quite successful (...) in its effect: OLP is widely held nowadays within the mainstream of analytic philosophy to have somehow been refuted or otherwise seriously discredited. However, that the words in question do indeed have something referable to as ‘their meaning,’ which is not only conceptually distinguishable from their ordinary and normal uses, but also theoretically separable from these uses, in a way that renders misguided the ordinary language philosopher's characteristic appeal and validates the traditional concerns OLP set itself out to dispel, has for the most part merely been presupposed and insisted on, as opposed to argued for, by detractors of OLP. (shrink)

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

There exist two equally prominent, though seemingly divergent metaphilosophical viewpoints. One takes philosophy to be an essentially revolutionary process. The other sees philosophy as a constructive, collaborative enterprise that seeks increased rigor and consensus. Recent debate in the philosophy of language regarding the relationship of particular languages to the general capacity for language reveals an illuminating structural analogy with these divergent metaphilosophical trends. While neither debate is settled herein, regardless of their eventual determinations, it is concluded that there is little (...) reason to suppose that philosophy will some day become a science, at least not in any metaphilosophically meaningful sense of the phrase. (shrink)