This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

Michael S. Moore defends the ideas of free will and responsibility, especially in relation to criminal law, against several challenges from neuroscience. I agree with Moore that morality and the law presuppose a commonsense understanding of humans as rational agents, who make choices and act for reasons, and that to defend moral and legal responsibility, we must show that this commonsense understanding remains viable. Unlike Moore, however, I do not think that classical compatibilism, which is based on a conditional understanding (...) of the ability to do otherwise, provides a sufficiently robust account of free will, even when it is amended as Moore suggests. I argue that free will and responsibility can be defended more robustly by observing that, at the level of agency, there can be alternative possibilities and mental causation in a stronger sense than recognized by classical compatibilism, even if physical determinism is true. Moore’s arguments could thus be strengthened by embracing this compatibilist libertarian position. At the same time, I note that, although the idea of responsibility is robustly defensible, there are independent reasons for rejecting a retributivist approach to punishment. (shrink)

This article focuses on `therefore' constructions such as ‘The switch is on, and therefore the lights are on’. We submit that the contribution of `therefore’ is to express a dependence as part of the core content of these constructions, rather than being conveyed by conventional implicature (Grice 1975, Potts 2005, Neta 2013) or a triggered presupposition (Pavese 2017, forthcoming, Stokke 2017). We argue that the standard objections to this view can be answered by relying on the general projection hypothesis defended (...) by Roberts et al. (2009) and Simons et al. (2010), leaving our view on solid ground. (shrink)

Many philosophers argue that exclusion arguments cannot exclude non-reductionist physicalist mental properties from being causes without excluding properties that are patently causal as well. List and Stoljar (2017) recently argued that a similar response to exclusion arguments is also available to dualists, thereby challenging the predominant view that exclusion arguments undermine dualist theories of mind. In particular, List and Stoljar maintain that exclusion arguments against dualism require a premise that states that, if a property is metaphysically distinct from the sufficient (...) cause of an effect, this property cannot be a cause of that effect. I argue that this premise is indeed likely to exclude patently causal properties, but that exclusion arguments against dualism do not require this premise. The relation that enables metaphysically distinct properties to cause the same effect in the relevant way turns out to be tighter than the relation typically posited between dualist conscious properties and their underlying physical properties. It is therefore still plausible that the latter causally exclude the former and that compelling exclusion arguments against dualism can be formulated by using a weaker exclusion premise. I conclude by proposing such a formulation. (shrink)

Neo‐Aristotelian ethical naturalism purports to show that moral evaluation of human action and character is an evaluation of natural goodness—a kind of evaluation that applies to living things in virtue of their nature and based on their form of life. The standard neo‐Aristotelian view defines natural goodness by way of generic statements describing the natural history, or the ‘characteristic’ life, of a species. In this paper, I argue that this conception of natural goodness commits the neo‐Aristotelian view to a problematic (...) anti‐individualism that results in the wrong assessment of individuals with uniquely adaptive adjustments. I then offer an alternative account of natural goodness that avoids this problem. Instead of relying on generic statements about a species, my account defines natural goodness based on counterfactual conditionals describing the modal properties of a single individual. I argue that this modal‐explanatory account gives a conception of natural goodness that is more intuitively plausible and better suited to capture the diversity and plasticity distinctive of life. (shrink)

Habilitation thesis in psychology. The book consists of a collection of reasoning studies. The experimental investigations will take us from people’s reasoning about probabilities, entailments, pragmatic factors, argumentation, and causality to morality. An overarching theme of the book is norm pluralism and individual differences in rationality research.

Modus ponens is the argument from premises of the form If A, then B and A to the conclusion B. Nearly all participants agree that the modus ponens conclusion logically follows when the argument appears in this Basic form. However, adding a further premise can lower participants’ rate of agreement—an effect called suppression. We propose a theory of suppression that draws on contemporary ideas about conditional sentences in linguistics and philosophy. Semantically, the theory assumes that people interpret an indicative conditional (...) as a context-sensitive strict conditional: true if and only if its consequent is true in each of a contextually determined set of situations in which its antecedent is true. Pragmatically, the theory claims that context changes in response to new assertions, including new conditional premises. Thus, the conclusion of a modus ponens argument may no longer be accepted in the changed context. Psychologically, the theory describes people as capable of reasoning about broad classes of possible situations, ordered by typicality, without having to reason about individual possible worlds. The theory accounts for the main suppression phenomena, and it generates some novel predictions that new experiments confirm. (shrink)

This essay calls attention to a set of linguistic interactions between counterfactual conditionals, on one hand, and possibility modals like could have and might have, on the other. These data present a challenge to the popular variably strict semantics for counterfactual conditionals. Instead, they support a version of the strict conditional semantics in which counterfactuals and possibility modals share a unified quantificational domain. I’ll argue that pragmatic explanations of this evidence are not available to the variable analysis. And putative counterexamples (...) to the unified strict analysis, on careful inspection, in fact support it. Ultimately, the semantics of conditionals and modals must be linked together more closely than has sometimes been recognized, and a unified strict semantics for conditionals and modals is the only way to fully achieve this. (shrink)

An account of distinctively mathematical explanation (DME) should satisfy three desiderata: it should account for the modal import of some DMEs; it should distinguish uses of mathematics in explanation that are distinctively mathematical from those that are not (Baron [2016]); and it should also account for the directionality of DMEs (Craver and Povich [2017]). Baron’s (forthcoming) deductive-mathematical account, because it is modelled on the deductive-nomological account, is unlikely to satisfy these desiderata. I provide a counterfactual account of DME, the Narrow (...) Ontic Counterfactual Account (NOCA), that can satisfy all three desiderata. NOCA appeals to ontic considerations to account for explanatory asymmetry and ground the relevant counterfactuals. NOCA provides a unification of the causal and the non-causal, the ontic and the modal, by identifying a common core that all explanations share and in virtue of which they are explanatory. (shrink)

The aim of Modality and Explanatory Reasoning (MER) is to shed light on metaphysical necessity and the broader class of modal properties to which it belongs. This topic is approached with two goals: to develop a new and reductive analysis of modality, and to understand the purpose and origin of modal thought. I argue that a proper understanding of modality requires us to reconceptualize its relationship to causation and other forms of explanation such as grounding, a relation that connects metaphysically (...) fundamental facts to non-fundamental ones. While many philosophers have tried to give modal analyses of causation and explanation, often in counterfactual terms, I argue that we obtain a more plausible, explanatorily powerful and unified theory if we regard explanation as more fundamental than modality. The function of modal thought is to facilitate a common type of thought experiment – counterfactual reasoning – that allows us to investigate explanatory connections and which is closely related to the controlled experiments of empirical science. Necessity is defined in terms of explanation, and modal facts often reflect underlying facts about explanatory relationships. The study of modal facts is important for philosophy not because these facts are of much metaphysical interest in their own right, but largely because they provide evidence about explanatory connections. (shrink)

Several theists, including Linda Zagzebski, have claimed that theism is somehow committed to nonvacuism about counterpossibles. Even though Zagzebski herself has rejected vacuism, she has offered an argument in favour of it, which Edward Wierenga has defended as providing strong support for vacuism that is independent of the orthodox semantics for counterfactuals, mainly developed by David Lewis and Robert Stalnaker. In this paper I show that argument to be sound only relative to the orthodox semantics, which entails vacuism, and give (...) an example of a semantics for counterfactuals countenancing impossible worlds for which it fails. (shrink)

I develop a theory of counterfactuals about relative computability, i.e. counterfactuals such as 'If the validity problem were algorithmically decidable, then the halting problem would also be algorithmically decidable,' which is true, and 'If the validity problem were algorithmically decidable, then arithmetical truth would also be algorithmically decidable,' which is false. These counterfactuals are counterpossibles, i.e. they have metaphysically impossible antecedents. They thus pose a challenge to the orthodoxy about counterfactuals, which would treat them as uniformly true. What’s more, I (...) argue that these counterpossibles don’t just appear in the periphery of relative computability theory but instead they play an ineliminable role in the development of the theory. Finally, I present and discuss a model theory for these counterfactuals that is a straightforward extension of the familiar comparative similarity models. (shrink)

In this critical notice of Kment's _Modality and Explanatory Reasoning_, we focus on Kment’s arguments for impossible worlds and on a key part of his discussion of the interactions between modality and explanation – the analogy that he draws between scientific and metaphysical explanation.

I. Non-Trivial Counterpossibles On Lewis’ account, a subjunctive of the form ‘if it were the case that p, it would be the case that q’ (represented as ‘p → q’) is to be given the following rough meta-linguistic truth-conditions1.

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.

Supererogatory acts are those that lie “beyond the call of duty.” There are two standard ways to define this idea more precisely. Although the definitions are often seen as equivalent, I argue that they can diverge when options are infinite, or when there are cycles of better options; moreover, each definition is acceptable in only one case. I consider two ways out of this dilemma.

Some have argued for a division of epistemic labor in which mathematicians supply truths and philosophers supply their necessity. We argue that this is wrong: mathematics is committed to its own necessity. Counterfactuals play a starring role.

In this paper, I argue for the following claims. Contextualist strategies to tame or localize epistemic skepticism are hopeless if contextualist factors are construed internalistically. However, because efforts to contextualize externalism via subjunctive conditional analysis court circularity, it is only on an internalistic interpretation that contextualist strategies can even be motivated. While these claims do not give us an argument for skepticism, they do give us an argument that contextualism, as such, is not likely to provide us with an argument (...) against skepticism. (shrink)

This article surveys recent developments in the epistemology of modality.

This paper explores whether it is possible to reformulate or re-interpret Lewis’s theory of fundamental laws of nature—his “best system analysis”—in such a way that it becomes a useful theory for special science laws. One major step in this enterprise is to make plausible how law candidates within best system competitions can tolerate exceptions—this is crucial because we expect special science laws to be so called “ceteris paribus laws ”. I attempt to show how this is possible and also how (...) we can thereby make the first step towards a solution for the infamous difficulties surrounding the troublesome ceteris paribus clause. The paper outlines the general ideas of the theory but also points out some of its difficulties and background assumptions. (shrink)

'Post this letter!' does not entail 'Post this letter or drink up my wine!' (the Ross Paradox) because one can be in a state with the content of the former without being in a state with the content of the latter; in turn, because the latter can rationalize drinking up my wine but the former cannot; in turn, because practical rationalization flows toward one's present situation, in contrast with the flow of theoretical rationalization from one's present situation. Formally, this is (...) implemented with a semantics for imperatives involving a partition to set up an issue of significance and a proposition to establish how to settle it. I characterize a series of languages and language-games to implement all this, and appeal to an 'endorsement-theoretic' conception of modals as quantifiers over mental states to explain why 'You must post this letter' does not entail 'You must either post this letter or drink up my wine'. (shrink)

It is widely believed that at least two developments in the last third of the 20th century have given dispositionalism—the view that powers, capacities, potencies, etc. are irreducible real properties—new credibility: (i) the many counterexamples launched against reductive analyses of dispositional predicates in terms of counterfactual conditionals and (ii) a new anti-Humean faith in necessary connections in nature which, it is said, owes a lot to Kripke’s arguments surrounding metaphysical necessity. I aim to show in this paper that necessity is, (...) in fact, of little help for the dispositionalists. My argument makes use of one of the above mentioned counterexamples against Humean reduction: antidotes. Turning the tables, I ask how the dispositionalists themselves can deal with antidotes. The result will be to show that if the dispositionalists are to demystify antidote cases, they must make plausible a conceptualisation of dispositions that does not invoke any kind of necessity. I will cautiously suggest that the anti-Humean link dispositions bring to the world has to be thought of in terms of (Newtonian) forces. (shrink)

This paper combines two ideas: (1) That the Lewisian best system analysis of lawhood (BSA) can cope with laws that have exceptions (cf. Braddon-Mitchell in Noûs 35(2):260–277, 2001; Schrenk in The metaphysics of ceteris paribus laws. Ontos, Frankfurt, 2007). (2) That a BSA can be executed not only on the mosaic of perfectly natural properties but also on any set of special science properties (cf., inter alia, Schrenk 2007, Selected papers contributed to the sections of GAP.6, 6th international congress of (...) the society for analytical philosophy. Mentis, Paderborn/Münster, 2008; Cohen and Callender in Philos Stud 145:1–34, 2009, Erkenntnis 73:427–447, 2010). Bringing together (1) and (2) results in an analysis of special science ceteris paribus laws. (shrink)

We set out a fundamental ontology of atomism in terms of matter points. While being most parsimonious, this ontology is able to match both classical and quantum mechanics, and it remains a viable option for any future theory of cosmology that goes beyond current quantum physics. The matter points are structurally individuated: all there is to them are the spatial relations in which they stand; neither a commitment to intrinsic properties nor to an absolute space is required. The spatial relations (...) change. All that is needed to capture change is a dynamical structure, namely dynamical relations as expressed in terms of the dynamical parameters of a physical theory. (shrink)

1 Logic in philosophy The century that was Logic has played an important role in modern philosophy, especially, in alliances with philosophical schools such as the Vienna Circle, neopositivism, or formal language variants of analytical philosophy. The original impact was via the work of Frege, Russell, and other pioneers, backed up by the prestige of research into the foundations of mathematics, which was fast bringing to light those amazing insights that still impress us to-day. The Golden Age of the 1930s (...) deeply affected philosophy, and heartened the minority of philosophers with a formalanalytical bent. As Brand Blanshard writes in Reason and Analysis (1964) – I quote from memory here, to avoid the usual disappointment when re-reading an original text. (shrink)

Letting denote ‘would’ counterfactual conditionals like If I had looked in my pocket, I would have found a penny and letting denote ‘might’ counterfactual conditionals like If I had looked in my pocket, I might have found a penny,David Lewis’s thesis regarding the connection between these two types of conditionals is that.

Against Barnett (2012), I argue that the theory I advance in DeRose 2010 is best construed as one on which ‘"were"ed-up’ future-directed conditionals like ‘If the house were not to be painted, it would soon look quite shabby’ are, in ways important to how they function in deliberation, different in literal content from their ‘straightforward’ counterparts like ‘If the house is not painted, it will soon look quite shabby’. I also defend my way of classifying future-directed conditionals against an attack (...) by Barnett by defending a standard (among philosophers) approach to the basic structure of some conditionals. Finally, I counter Barnett’s charge that by using the concept of deliberation in my account of the meaning of future-directed conditionals, I put an implausibly demanding constraint on what it takes to understand such sentences. (shrink)

David Lewis sells modal realism as a package that includes an eternalist view of time. There is, of course, nothing that ties together the thesis that modality should be analyzed in terms of "concrete" possibilia with the view that non-present things exist. In this paper I develop a theory I call \emph{modal realist presentism} that is a combination of modal realism and presentism, and argue that is has compelling answers to some of the main objections to presentism, including the arguments (...) from (i) singular propositions, (ii) cross-temporal relations, and (iii) truthmaking. Toward the end, I compare modal realist presentism favorably to some similar theories, including Bigelow's modal theory of time, Williamson's theory of the ex-concrete, and Dainton's theory of many-worlds presentism. (shrink)

An intuitive objection to modal realism is that merely possible worlds and their inhabitants seem to be irrelevant to an analysis of modality. Kripke originally phrased the objection in terms of being concerned about one’s modal properties without being concerned about the properties one’s other-worldly counterparts have. The author assesses this objection in a variety of forms, and then provides his own formulation that does not beg the question against the modal realist. Finally, the author considers two potential answers to (...) the objection so understood and concludes that only one of them has a chance of succeeding. (shrink)

The communication process is analysed on the basis of the notions of trust and agency. The aim of the paper is to clarify the role played by causality on the one hand and the role played by logical consequences of assumptions about trust in information sources on the other hand. The first part is informal and the second part refers to the logical framework of modal logic though it requires a quite limited background in this area.

Modal Meinongianism provides the semantics of sentences involving intentional verbs Priest. To that end, Modal Meinongianism employs a pointed non-normal quantified modal logic model. Like earlier Meinongian views Modal Meinongianism has a characterisation principle, that claims that any condition whatsoever is satisfied by some object in some world. Recently, Everett has proposed an argument against QCP that, if successful, gives rise to problems identical to those Russell raised for Naïve Meinongianism, namely that it allows for true contradictions, and allows us (...) to define anything into existence. Everett claims that the ordinary meanings of “actual” license an inference pattern, such that if an object satisfies Actual A at some world, then that object satisfies A in the actual world. Given that actual world is the designated point of evaluation for truth simpliciter, QCP would fall prey to Russell’s criticisms. As opposed to Everett, I argue that, even if we grant Everett the assumption that “actual” is a modal indexical that rigidly refers to the actual world, it does not conform to the inference pattern above. This is because when an object satisfies Actual A at some world, this alters the assertoric force of “actual”, because “actual” is interpreted in the scope of some modal or intentional operator. I also explain that Everett’s proposed example carries existential commitment because the problematic noun-phrase occurs outside the scope of a modal or intentional operator. (shrink)

In addressing the problem of the compatibility of divine foreknowledge and human freedom, philosophers of religion encounter problems regarding the metaphysics and structure of time. Some models of temporal logic developed for completely independent reasons have proved especially appropriate for representing the temporal structure of the world as Molinism conceives it. In particular, some models of the Thin Red Line ) seem to imply that conditionals of freedom are true or false, as Molinists maintain. Noting the resemblance between Molinism and (...) \ models, Restall Molinism: the contemporary debate, pp 227–239, 2011) has advanced some criticisms of Molinism that have also been leveled against \ models. In particular, Restall believes that the implication \ is not true in \ models. Because Molinists must also accept that this implication is not true, this is a problem for them. We will show that Restall’s criticism is wide of the mark. Firstly, it will be demonstrated that in many open future models ) the implication \ is invalid. Secondly, while it is possible to account for this implication, some modifications are required in respect of the branching time semantics. In proposing one such modification, we show that this new semantics can be adopted by advocates of the \ and, as a consequence, by Molinists as well. We conclude that the principle stated by Restall is either a problem for many open future models or can be accounted for by these models and so is not a problem for Molinists either. (shrink)

Scientific properties come in degrees: elephants are more massive than mice. Are facts like these fundamental or can they be explained in other terms? This article argues that the structure of physical quantities like mass reduces to facts about the role that mass plays in the laws of nature. On this view elephants are more massive than mice partly in virtue of the fact that elephants are harder to throw around.

In this paper we present a new framework of idealization in biology. We characterize idealizations as a network of counterfactual and hypothetical conditionals that can exhibit different “degrees of contingency”. We use this idea to say that, in departing more or less from the actual world, idealizations can serve numerous epistemic, methodological or heuristic purposes within scientific research. We defend that, in part, this structure explains why idealizations, despite being deformations of reality, are so successful in scientific practice. For illustrative (...) purposes, we provide an example from population genetics, the Wright-Fisher Model. (shrink)

In this paper, I examine Nelson Goodman’s pluriworldism, understood as the claim that there exists a plurality of actual worlds. This proposal has generally been quickly dismissed in the philosophical literature. I argue that we ought to take it more seriously. As I show, many of the prima facie objections to pluriworldism may receive straightforward answers. I also examine in detail Goodman’s argument for the conclusion that there are many worlds and attempt to show how it might be supported. Eventually, (...) I discuss some underexplored challenges to pluriworldism. (shrink)

Evidence from aphasia is considered that leads to a distinction between abstract and concrete thought processes and hence for a distinction between rules and similarity. It is argued that perceptual classification is inherently a rule-following procedure and these rules are unable to be followed when a patient has difficulty with name comprehension and retrieval.

According to act theories, propositions are structured cognitive act‐types. Act theories appear to make propositions inherently representational and truth‐evaluable, and to provide solutions to familiar problems with alternative theories, including Frege’s and Russell’s problems, and the third‐realm and unity problems. Act theories have critical problems of their own, though: acts as opposed to their objects are not truth evaluable, not structured in the right way, not expressed by sentences, and not the objects of propositional attitudes. I show how identifying propositions (...) with other cognitive event‐types, namely thoughts, has the perceived virtues of act theories without the defects. (shrink)

The different occurrences of a word in a sentence cannot be identified with the one word type, nor with its many tokens. What then are occurrences of a word? How can one type occur more than once in another type? Is the conception of ‘structural universals’ that leads to these questions incoherent, as Lewis maintained? I argue against the answer Wetzel suggested, which identifies sentences with functions from numbers to expressions, and propose instead that occurrences of one type in another (...) are subtypes with different relative positions in the whole. Types have subtypes as well as tokens. Occurrences in non-symmetrical types like sequences are individuated by their relative positions in the type. Occurrences in a symmetrical whole have different positions but stand in the same relations to the other components. They are numerically different subtypes that do not differ from each other qualitatively. (shrink)

ABSTRACT In recent work, Scott Soames has declared that we need a new conception of propositions to overcome critical objections to traditional theories of semantics and propositional attitudes. Propositions must be cognitive to account for their inherent intentionality, structure, and epistemic accessibility, and to overcome Frege’s and Russell’s problems. I have previously worked out a foundational semantics in which cognitive propositions are what sentences express. My objective in this paper is to identify some of the limitations of Soames’s theory, and (...) show how they can be overcome within the cognitive framework. Soames’s conception of propositions is needlessly encumbered by identifying them with acts rather than objects. Soames has not fully exploited the possibilities opened up by embracing cognitive propositions, and is still too attached to Russellian propositions and Millian semantics. As a result, his conception of the constituents of propositions is untenable, and his semantics still faces Frege’s and Russell’s problem, which are easily avoidable with the resources of cognitive propositions. Soames was led astray by a mistaken assumption about transparent attitude reports. (shrink)

It is almost universally believed that some infinite regresses are vicious, and also almost universally believed that some are benign. In this paper I argue that regresses can be vicious for several different sorts of reasons. Furthermore, I claim that some intuitively vicious regresses do not suffer from any of the particular aetiologies that guarantee viciousness to regresses, but are nevertheless so on the basis of considerations of parsimony. The difference between some apparently benign and some apparently vicious regresses, then, (...) turns out to be a matter of a more general assessment of costs and benefits, making viciousness of regresses in some cases less of a local matter than is usually thought. (shrink)

The causal and simulation theories are often presented as very distinct views about declarative memory, their major difference lying on the causal condition. The causal theory states that remembering involves an accurate representation causally connected to an earlier experience. In the simulation theory, remembering involves an accurate representation generated by a reliable memory process. I investigate how to construe detailed versions of these theories that correctly classify memory errors as misremembering or confabulation. Neither causalists nor simulationists have paid attention to (...) memory-conjunction errors, which is unfortunate because both theories have problems with these cases. The source of the difficulty is the background assumption that an act of remembering has one target. I fix these theories for those cases. The resulting versions are closely related when implemented using tools of information theory, differing only on how memory transmits information about the past. The implementation provides us with insights about the distinction between confabulatory and non-confabulatory memory, where memory-conjunction errors have a privileged position. (shrink)

Many psychologists studying lay belief attribution and behavior explanation cite Donald Davidson in support of their assumption that people construe beliefs as inner causes. But Davidson’s influential argument is unsound; there are no objective grounds for the intuition that the folk construe beliefs as inner causes that produce behavior. Indeed, recent experimental work by Ian Apperly, Bertram Malle, Henry Wellman, and Tania Lombrozo provides an empirical framework that accords well with Gilbert Ryle’s alternative thesis that the folk construe beliefs as (...) patterns of living that contextualize behavior. (shrink)

This work responds to a criticism of effective complexity made by James McAllister, according to which such a notion is not an appropriate measure for information content. Roughly, effective complexity is focused on the regularities of the data rather than on the whole data, as opposed to algorithmic complexity. McAllister’s argument shows that, because the set of relevant regularities for a given object is not unique, one cannot assign unique values of effective complexity to considered expressions and, therefore, that algorithmic (...) complexity better serves as a measure of information than effective complexity. We accept that problem regarding uniqueness as McAllister presents it, but would not deny that if contexts could be defined appropriately, one could in principle find unique values of effective complexity. Considering this, effective complexity is informative not only regarding the entity being investigated but also regarding the context of investigation itself. Furthermore, we argue that effective complexity is an interesting epistemological concept that may be applied to better understand crucial issues related to context dependence such as theory choice and emergence. These applications are not available merely on the basis of algorithmic complexity. (shrink)

In "Backward causation and the Stalnaker-Lewis approach to counterfactuals," Analysis 62 (2002): 191–97, Michael Tooley argues that if a certain kind of backward causation is possible, then a Stalnaker-Lewis style comparative world similarity account of the truth conditions of counterfactuals cannot be sound. Tooley’s target is one particular type of semantics, but, as I show, the significance of Tooley’s example goes well beyond its consequences for any one semantics for the conditional.

Philosophers often talk about and engage with ideas. Scientists, artists, and historians do, too. But what is an idea? In this paper, we first motivate the desire for an ontology of ideas before discussing what conditions a candidate ontology would have to satisfy to be minimally adequate. We then offer our own account of the ontology of ideas, and consider various strategies for specifying the underlying metaphysics of the account. We conclude with a discussion of potential future work to be (...) done on the ontology of ideas. (shrink)

Our ordinary judgments and our metaphysical theories share a common commitment to facts about resemblance. The nature of resemblance is, however, a matter of no small controversy. This essay examines some of the pressing questions that arise regarding the status and structure of resemblance. Among those to be discussed in what follows: what kinds of resemblance relations are there? Can resemblance be analyzed in terms of the sharing of properties? Is resemblance an objective or subjective matter? What, if any, resemblance (...) facts are fundamental? How does resemblance relate to naturalness? (shrink)

Trope theory and Spinoza's metaphysics apparently present two incompatible ontological landscapes. Spinoza assigns a strong metaphysical priority to a grounding substance and describes common objects as adjectival upon such substance. By contrast, several contemporary trope theories attempt to reduce all substances (both universal and particular) to bundles of individual properties. In this article, I motivate, defend, and develop a compatible reading of Spinozism and trope theories. This interpretation provides new reasons to take seriously some of the most controversial of Spinoza's (...) claims, such as its monism and its commitment to universal necessity. Moreover, my interpretation undermines some classical objections against trope theories, such as their unwarranted multiplication of metaphysical objects, and their commitment to a description of objects based on necessary sets of their properties. (shrink)