This paper is about the nature of God’s pre-creation knowledge of possible creatures. I distinguish three theories: non-qualitative singularism, qualitative singularism, and qualitative generalism, which differ in terms of whether the relevant knowledge is qualitative or non-qualitative, and whether God has singular or merely general knowledge of creatures. My main aim is to argue that qualitative singularism does not depend on a version of the Principle of Identity of Indiscernibles to the effect that, necessarily, qualitatively indiscernible individuals are identical. It (...) follows that qualitative singularism does not depend on the view that possible creatures categorically have qualitative individual essences. (shrink)

Timelines is an inquiry into the nature of time, both as an apparent feature of the external physical world and as a fundamental feature of our experience of ourselves in the world. The principal argument of Timelines is that our coventional ideas about time are largely mistaken and that what we think of as independent physical time is actually our calibration of a certain relation between events. Namely, the relation between time-keeping events and the causal sequential differences of physical processes (...) which are real and independent of us. (shrink)

Pixelism is the combination of three metaphysical thesis, namely a radical form of exdurantism, mereological nihilism and counterpart theory. Pixelism is a theory that evaluates all the metaphysical phenomena of persistence, composition and modality in a homogeneous and consistent manner. In a pixel world, there is no identity over time and over possible worlds and nothing persists over more than an instant or a world. Entities can be univocally identified by a five-coordinates system (the three spatial dimensions, the temporal one (...) and the possible worlds), and their relation is a counterpart relation both in different worlds and at different times or different regions of space. In this paper I will provide two models for pixelism: the first one takes pixels to be hypercubes, i. e. four-dimensional cubes, the acceptance of which is conditional on the acceptance of extended simples. The second one considers pixels as points in a four-dimensional space. (shrink)

La presencia de préstamos léxicos en una lengua es un indicio de la introducción de una palabra foránea y una nueva realidad. Aquí discutiré cómo la presencia de préstamos léxicos en las lenguas es un indicio de la pluralidad del mundo real. Para esto, tomaré la tesis expuesta por Lewis sobre la pluralidad de mundos y presentaré ejemplos del muisca y del español1, como una prueba de que el mundo, como un único lugar donde todo está incluido, conlleva la pluralidad (...) del mundo real, debido a que hay otro que suele ser desconocido y, en consecuencia, no posible dentro de sus mundos posibles. (shrink)

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 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 epistemic two-dimensional hyperintensional semantics. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-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 μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-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 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 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 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters 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 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 Ω-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 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 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 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 13 examines modal responses to the alethic paradoxes. Chapter 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)

While there is considerable disagreement on the precise nature of material objecthood, it is standardly assumed that material objects must be spatial. In this paper, I provide two arguments against this assumption. The first argument is made from largely a priori considerations about modal plenitude. The possibility of non-spatial material objects follows from commitment to certain plausible principles governing material objecthood and plausible principles regarding modal plenitude. The second argument draws from current philosophical discussions regarding theories of quantum gravity and (...) the emergence of spacetime. When it is appreciated what possible worlds these current theories commit us to, the possibility of non-spatial material objects will follow. Thus, either route will lead us to the possibility of non-spatial material objects. The significance of this result is that we need to revise our accounts of material objecthood to both accommodate these possibilities and the theories that lead to them. (shrink)

An introduction to composition, persistence, and identity.

This three-part chapter explores a higher-order logic we call ‘Classicism’, which extends a minimal classical higher-order logic with further axioms which guarantee that provable coextensiveness is sufficient for identity. The first part presents several different ways of axiomatizing this theory and makes the case for its naturalness. The second part discusses two kinds of extensions of Classicism: some which take the view in the direction of coarseness of grain (whose endpoint is the maximally coarse-grained view that coextensiveness is sufficient for (...) identity), and some which take the view in the direction of fineness of grain (whose endpoint is the maximally fine-grained theory containing all distinctness claims compatible with Classicism). The third part introduces some techniques for constructing models of Classicism, and uses them to prove the consistency of many of the extensions of Classicism introduced in the second part. (shrink)

We discuss recent work in experimental philosophy on free will and moral responsibility and then present a new study. Our results suggest an error theory for incompatibilist intuitions. Most laypersons who take determinism to preclude free will and moral responsibility apparently do so because they mistakenly interpret determinism to involve fatalism or “bypassing” of agents’ relevant mental states. People who do not misunderstand determinism in this way tend to see it as compatible with free will and responsibility. We discuss why (...) these results pose a challenge to incompatibilists. (shrink)

In the current debate there are two epistemological approaches to the definition of ignorance: the Standard View and the New View. The former defines ignorance simply as not knowing, while the latter defines it as the absence of true belief. One of the main differences between these two positions lies in rejecting (Standard View) or in accepting (New View) the factivity of ignorance, i.e., if an agent is ignorant of φ, then φ is true. In the present article, we first (...) provide a criticism of the Standard View in favour of the New View. Secondly, we propose a formal setting to represent the notion of factive ignorance. (shrink)

This book discusses the problem of mathematical knowledge, and its broader philosophical ramifications. It argues that the problem of explaining the (defeasible) justification of our mathematical beliefs (‘the justificatory challenge’), arises insofar as disagreement over axioms bottoms out in disagreement over intuitions. And it argues that the problem of explaining their reliability (‘the reliability challenge’), arises to the extent that we could have easily had different beliefs. The book shows that mathematical facts are not, in general, empirically accessible, contra Quine, (...) and that they cannot be dispensed with, contra Field. However, it argues that they might be so plentiful that our knowledge of them is intelligible. The book concludes with a complementary ‘pluralism’ about modality, logic and normative theory, highlighting its revisionary implications. Metaphysically, pluralism engenders a kind of perspectivalism and indeterminacy. Methodologically, it vindicates Carnap’s pragmatism, transposed to the key of realism. (shrink)

This paper aims to contribute to the analysis of the nature of mathematical modality and hyperintensionality, and to the applications of the latter to absolute decidability. Rather than countenancing the interpretational type of mathematical modality as a primitive, I argue that the interpretational type of mathematical modality is a species of epistemic modality. I argue, then, that the framework of two-dimensional semantics ought to be applied to the mathematical setting. The framework permits of a formally precise account of the priority (...) and relation between epistemic mathematical modality and metaphysical mathematical modality. The discrepancy between the modal systems governing the parameters in the two-dimensional intensional setting provides an explanation of the difference between the metaphysical possibility of absolute decidability and our knowledge thereof. I also advance a topic-sensitive epistemic two-dimensional truthmaker semantics, if hyperintensional approaches are to be preferred to possible worlds semantics. I examine the relation between two-dimensional hyperintensional states and epistemic set theory, providing two-dimensional hyperintensional formalizations of the modal logic of ZFC, large cardinal axioms, $\Omega$-logic, and the Epistemic Church-Turing Thesis. (shrink)

A lot of philosophers engage in debates about what claims are “metaphysically necessary”, and a lot more assume with little argument that some classes of claims have the status of “metaphysical necessity”. I think we can usefully replace questions about metaphysical necessity with five other questions which each capture some of what people may have had in mind when talking about metaphysical necessity. This paper explains these five other questions, and then discusses the question “how much of metaphysics is metaphysically (...) necessary?”, and each of its five replacements. (shrink)

Recently much has been made of the grounding relation, and of the idea that it is intimately tied to fundamentality. If A grounds B, then A is more fundamental than B (though not vice versa ), and A is ungrounded if and only if it is fundamental full stop—absolutely fundamental. But here is a puzzle: is grounding itself absolutely fundamental?

The purpose of this paper is to explore the connection between change and the B-theory of time, sometimes also called the Scientific view of time, according to which reality is a four-dimensional spacetime manifold, where past, present and future things equally exist, and the present time and non-present times are metaphysically the same. I argue in favour of a novel response to the much-vexed question of whether there is change on the B-theory or not. In fact, B-theorists are often said (...) to hold a ‘static’ view of time. But this far from being innocent label: if the B-theory of time presents a model of temporal reality that is static, then there is no change on the B-theory. From this, one can reasonably think as follows: of course, there is change, so the B-theory must be false. What I plan to do in this paper is to argue that in some sense there is change on the B-theory, but in some other sense, there is no change on the B-theory. To do so, I present three instances of change: Existential Change, namely the view that things change with respect to their existence over time; Qualitative Change, the view that things change with respect to how they are over time; Propositional Change, namely the view that things (i.e. propositions) change with respect to truth value over time. I argue that while there is a reading of these three instances of change that is true on the B-theory, and so there is change on the B-theory in this sense, there is a B-theoretical reading of each of them that is not true on the B-theory, and therefore there is no change on the B-theory in this other sense. (shrink)

This book offers an historically-informed critical assessment of Dummett's account of abstract objects, examining in detail some of the Fregean presuppositions whilst also engaging with recent work on the problem of abstract entities.

Jonathan Dancy thinks that there are irreducibly normative properties. Frank Jackson has given a well-known argument against this view, and I have elsewhere defended this argument against many objections, including one made by Dancy. But Dancy remains unconvinced. In this chapter, I hope to convince him.

Are there any things that are such that any things whatsoever are among them. I argue that there are not. My thesis follows from these three premises: (1) There are two or more things; (2) for any things, there is a unique thing that corresponds to those things; (3) for any two or more things, there are fewer of them than there are pluralities of them.

Reductionists about dispositions must either say the natural properties are all dispositional or individuate properties hyperintensionally. Lewis stands in as an example of the sort of combination I think is incoherent: properties individuated by modal profile + categoricalism.

Fictionalists propose that some apparently fact-stating discourses do not aim to convey factual information about the world, but rather allow us to engage in a fiction or pretense without incurring ontological commitments. Some philosophers have suggested that using mathematical, modal, or moral discourse, for example, need not commit us to the existence of mathematical objects, possible worlds, or moral facts. The mental fictionalist applies this reasoning to our mental discourse, suggesting that we can use ‘belief’ and ‘desire’ talk without committing (...) to the existence of beliefs and desires as mental entities. Most arguments for mental fictionalism are based on two key suppositions: first, that there are ontological concerns about mental entities; and second, that these ontological concerns justify a fictionalist interpretation of mental discourse. This paper challenges both suppositions and argues that the standard arguments for mental fictionalism are substantially weaker than arguments for other forms of fictionalism in the philosophical literature. (shrink)

I outline and defend a limited realism in socio-political conceptual amelioration (RSCA). RSCA claims that, in some cases, socio-political concepts are ameliorated to represent parts of a concept-independent reality more accurately. My main aim is to dissolve a seeming dilemma for RSCA: Whereas social kinds are mind-dependent (i.e. depending on human thought and action), realism implies that the kinds represented are ontologically independent of the concepts representing them. To dissolve this dilemma, I suggest considering two different roles concepts play concerning (...) social kinds. Concepts can both generate social kinds and represent social kinds. Once a concept has generated a social kind, this social kind is part of a concept-independent reality that can be represented by different concepts. Thereby, RSCA allows amelio-rated concepts to represent social kinds (e.g., rape, marriage) more accurately while acknowledging that human actions or concepts have generated these social kinds. (shrink)

This volume seeks to further the use of formal methods in clarifying one of the central problems of philosophy: that of our free human agency and its place in our indeterministic world. It celebrates the important contributions made in this area by Nuel Belnap, American logician and philosopher. Philosophically, indeterminism and free action can seem far apart, but in Belnap’s work, they are intimately linked. This book explores their philosophical interconnectedness through a selection of original research papers that build forth (...) on Belnap’s logical and philosophical work. Some contributions take the form of critical discussions of Belnap's published work, some develop points made in his publications in new directions, and others provide additional insights on the topics of indeterminism and free action. In Nuel Belnap’s work on indeterminism and free action, three formal frameworks figure prominently: the simple branching histories framework known as "branching time;" its relativistic spatio-temporal extension, branching space-times; and the “seeing to it that” logic of agency. As those frameworks provide the formal background for the contributed papers, the volume introduction gives an overview of the current state of their development. It also introduces case-intensional first order logic, a general intensional logic offering resources for a first-order extension of the mentioned frameworks and a recent research focus of Belnap’s. The volume also contains an extended biographical interview with Nuel Belnap. (shrink)

The Gettier Problem is the problem of revising the view that knowledge is justified true belief in a way that is immune to Gettier counter-examples. The “Gettier Problem problem”, according to Lycan, is the problem of saying what is misguided about trying to solve the Gettier Problem. In this paper I take up the Gettier Problem problem. I distinguish giving conditions that are necessary and sufficient for knowledge from giving conditions that explain why one knows when one does know. I (...) argue that the problem with the Gettier Problem is that it requires us to articulate conditions that suffice for knowledge even if those conditions are non-explanatory. After defending this view, I take up two related methodological issues, one about the evidence that can be given in favor of an account of knowledge, and one about the role that investigating justification might play in investigating knowledge. (shrink)

Imprecise probabilities are often modelled with representors, or sets of probability functions. In the recent literature, two ways of interpreting representors have emerged as especially prominent: vagueness interpretations, according to which each probability function in the set represents how the agent's beliefs would be if any vagueness were precisified away; and comparativist interpretations, according to which the set represents those comparative confidence relations that are common to all probability functions therein. I argue that these interpretations have some important limitations. I (...) also propose an alternative—the functional interpretation—according to which representors are best interpreted by reference to the roles they play in the theories that make use of them. (shrink)

This article defends the principle of sufficient reason (PSR) from a simple and direct valid argument according to which PSR implies that there is a truth that explains every truth, namely an omni-explainer. Many proponents of PSR may be willing to bite the bullet and maintain that, if PSR is true, then there is an omni-explainer. I object to this strategy by defending the principle that explanation is irreflexive. Then I argue that proponents of PSR can resist the conclusion that (...) there is an omni-explainer by denying that explanation distributes over conjunction. In the final section, I consider a plausible revision of this assumption. I argue there that, given the revised assumption, PSR seems to yield a striking picture of the explanatory structure of the universe. I explain why the resulting model does not appear utterly implausible to me. (shrink)

I provide a theory of the metaphysical foundations of identity: an account what grounds facts of the form a=b. In particular, I defend the claim that indiscernibility grounds identity. This is typically rejected because it is viciously circular; plausible assumptions about the logic of ground entail that the fact that a=b partially grounds itself. The theory I defend is immune to this circularity.

In this paper, I develop a theory on which each of a thing’s abundant properties is immanent in that thing. On the version of the theory I will propose, universals are abundant, each instantiated universal is immanent, and each uninstantiated universal is such that it could have been instantiated, in which case it would have been immanent. After setting out the theory, I will defend it from David Lewis’s argument that such a combination of immanence and abundance is absurd. I (...) will then advocate the theory on the grounds that it accomplishes all of Lewis’s “new work” while providing a gain in parsimony and a new account of fine-grained content. I will close with a discussion of how the theory also affords a new reply to two objections to uninstantiated universals: Armstrong’s charge that they are inconsistent with naturalism, and a Benacerraf-Field-style objection about epistemic access. (shrink)

In this paper, I investigate whether we can use a world-involving framework to model the epistemic states of non-ideal agents. The standard possible-world framework falters in this respect because of a commitment to logical omniscience. A familiar attempt to overcome this problem centers around the use of impossible worlds where the truths of logic can be false. As we shall see, if we admit impossible worlds where “anything goes” in modal space, it is easy to model extremely non-ideal agents that (...) are incapable of performing even the most elementary logical deductions. A much harder, and considerably less investigated challenge is to ensure that the resulting modal space can also be used to model moderately ideal agents that are not logically omniscient but nevertheless logically competent. Intuitively, while such agents may fail to rule out subtly impossible worlds that verify complex logical falsehoods, they are nevertheless able to rule out blatantly impossible worlds that verify obvious logical falsehoods. To model moderately ideal agents, I argue, the job is to construct a modal space that contains only possible and non-trivially impossible worlds where it is not the case that “anything goes”. But I prove that it is impossible to develop an impossible-world framework that can do this job and that satisfies certain standard conditions. Effectively, I show that attempts to model moderately ideal agents in a world-involving framework collapse to modeling either logical omniscient agents, or extremely non-ideal agents. (shrink)

A new puzzle about material constitution is presented and its implications are discussed. The moral of the story is that familiar intuitions supporting a neo-Aristotelian view of the material world are contradictory. To accommodate these intuitions is to embrace inconsistency. Therefore, neo-Aristotelianism is worse off for its intuitive appeal. Furthermore, the puzzle is used to argue for an account of ordinary modal thought and language that’s reconstructive, or ameliorative.

This paper investigates the metaphysics in higher-order counterfactual logic. I establish the necessity of identity and distinctness and show that the logic is committed to vacuism, which entails that all counteridenticals are true. I prove the Barcan, Converse Barcan, Being Constraint and Necessitism. I then show how to derive the Identity of Indiscernibles in counterfactual logic. I study a form of maximalist ontology which has been claimed to be so expansive as to be inconsistent. I show that it is equivalent (...) to the collapse of the counterfactual into the material conditional---which is itself equivalent to the modal logic TRIV. TRIV is consistent, from which it follows that maximalism is, surprisingly, consistent. I close by arguing that stating the limit assumption requires a higher-order logic. (shrink)

At several points in his later writings Wittgenstein discusses imaginary forms of life and ways of thinking that appear queer or alien from our point of view; concepts so different from ours that those who think from within them seem to be alternatives to us. In this paper I argue that reflection on the notions of difference and possibility in play here shows that imaginary cases of alien conceptual schemes or forms of life such as those considered by Wittgenstein are (...) not all cases of concepts that are entirely unintelligible for us; rather they may represent possible, albeit distant, ways of thinking for us. Such cases serve to aid imaginative reflection on our own case(s). By making us appreciate the possibility of the strange, they help us better to appreciate the arbitrariness of the familiar. I end the paper by considering what the implications of this reading of Wittgenstein’s position might be for Donald Davidson’s rejection of conceptual relativism. (shrink)

Higher-order logic, with its type-theoretic apparatus known as the simple theory of types (STT), has increasingly come to be employed in theorizing about properties, relations, and states of affairs—or ‘intensional entities’ for short. This paper argues against this employment of STT and offers an alternative: ordinal type theory (OTT). Very roughly, STT and OTT can be regarded as complementary simplifications of the ‘ramified theory of types’ outlined in the Introduction to Principia Mathematica (on a realist reading). While STT, understood as (...) a theory of intensional entities, retains the Fregean division of properties and relations into a multiplicity of categories according to their adicities and ‘input types’ and discards the division of intensional entities into different ‘orders’, OTT takes the opposite approach: it retains the hierarchy of orders (though with some modifications) and discards the categorisation of properties and relations according to their adicities and input types. In contrast to STT, this latter approach avoids intensional counterparts of the Epimenides and related paradoxes. Fundamental intensional entities lie at the base of the proposed hierarchy and are also given a prominent part to play in the individuation of non-fundamental intensional entities. (shrink)

This chapter is concerned with the coextension difficulty for nominalist theories of properties that reject tropes alongside universals. After carefully explaining the coextension difficulty and describing the theories it targets, the chapter describes different solutions to the difficulty. These solutions differ with respect to how much involved they are into a dualist approach to coextension. A dualist approach to a case of coextension consists in agreeing with the realist that the relevant ascriptions of properties are numerically distinct. A monist approach (...) to a case of coextension consists in contending that the relevant ascriptions of properties are identical. In this chapter, I defend a monist approach to cases of coextension that appeals to a counterpart theory for propositions. (shrink)

I explore physics implications of the External Reality Hypothesis (ERH) that there exists an external physical reality completely independent of us humans. I argue that with a sufficiently broad definition of mathematics, it implies the Mathematical Universe Hypothesis (MUH) that our physical world is an abstract mathematical structure. I discuss various implications of the ERH and MUH, ranging from standard physics topics like symmetries, irreducible representations, units, free parameters, randomness and initial conditions to broader issues like consciousness, parallel universes and (...) Gödel incompleteness. I hypothesize that only computable and decidable (in Gödel’s sense) structures exist, which alleviates the cosmological measure problem and may help explain why our physical laws appear so simple. I also comment on the intimate relation between mathematical structures, computations, simulations and physical systems. (shrink)

Roughly, the problem of the Trinity is the problem of how God can be one and yet be the Father, the Son, and the Holy Spirit, which are three, not one. That one thing is identical with three distinct things seems to violate traditional laws of identity. I propose a solution to this problem according to which it is just an ordinary claim of one-many identity. For example, one pair of shoes is identical with two shoes; and my one body (...) is identical with its six limbs of arms, legs, head, and torso. The pair of shoes is not identical with each one of the two shoes, nor is my body identical with each one of its six limbs, but rather identical with all of them taken together, or collectively. I argue that the problem of the Trinity should be understood accordingly: God is identical with the Father, the Son, and the Holy Spirit collectively, but not with each one of them distributively. According to the way I develop this proposal, no traditional laws of identity are violated, but merely generalized in an intuitive way. I argue that this is compatible with Christian Orthodoxy as given by the Athanasian Creed. I end by responding to some anticipated objections. (shrink)

In this paper, I first introduce one of the most prominent objections against the Growing Block Theory of time (GBT), the so-called ‘epistemic objection’, according to which GBT provides no way of knowing that our time is the objective present and, therefore, leads at best to absolute skepticism about our temporal location, at worst to the quasi-certainty that we are located in the objective past. Secondly, I express my dissatisfaction regarding the various traditional attempts to address this objection, especially Merricks (...) (2006), Forrest (2004) and Correia and Rosenkranz (2018). Thirdly, I show that the passage of time leads to an anti-essentialist picture of natural kinds. Finally, I develop my own solution to the epistemic objection, based on the continued existence of bare particulars. (shrink)

Property dualism is enjoying a slight resurgence in popularity, these days; substance dualism, not so much. But it is not as easy as one might think to be a property dualist and a substance materialist. The reasons for being a property dualist support the idea that some phenomenal properties (or qualia) are as fundamental as the most basic physical properties; but what material objects could be the bearers of the qualia? If even some qualia require an adverbial construal (if they (...) are modifications of the thing that is conscious because of them, not properties of something else to which the subject of consciousness is related), then the property dualist can be driven to speculative forms of materialism none of which, at this point, looks more likely to be true than the more modest versions of emergent dualism defended by contemporary substance dualists. (shrink)

The Newman problem is a fundamental problem that threatens to undermine structural assumptions and structural theories throughout philosophy and science. Here, we consider the problem in the context of consciousness science. We introduce and discuss the problem, and explain why it is detrimental not only to structuralist assumptions, but also to theories of consciousness, if left unconsidered. However, we show that if phenomenal spaces, and mathematical structures of conscious experience more generally, are understood in the right way, the Newman problem (...) does not arise. The upshot of our paper is that consciousness science needs to be careful in which definition of structure to consider, but if it is, the Newman problem disappears. (shrink)

Self-locating attitudes and assertions provide a challenge to the received view of mental and linguistic intentionality. In this paper I try to show that the best way to meet this challenge is to adopt relativistic, centred possible worlds accounts for both belief and communication. First, I argue that self-locating beliefs support a centred account of belief. Second, I argue that self-locating utterances support a complementary centred account of communication. Together, these two claims motivate a unified centred conception of belief and (...) communication. (shrink)

This is the most comprehensive book ever published on philosophical methodology. A team of thirty-eight of the world's leading philosophers present original essays on various aspects of how philosophy should be and is done. The first part is devoted to broad traditions and approaches to philosophical methodology. The entries in the second part address topics in philosophical methodology, such as intuitions, conceptual analysis, and transcendental arguments. The third part of the book is devoted to essays about the interconnections between philosophy (...) and neighbouring fields, including those of mathematics, psychology, literature and film, and neuroscience. (shrink)

Unentwegt werden neue technische Produkte gestaltet. Doch was macht die technische Gestaltung aus? Wie lässt sich ihr Gegenstand - (noch) nicht existierende Artefakte - adäquat auf den Begriff bringen? Michael Kuhn begreift technische Ideen vor ihrer Realisierung als Fiktionen. Er bietet eine fiktionstheoretische Rekonstruktion der Gestaltungstätigkeit und entwickelt hieraus eine Ethik der Gestaltung. Der stark interdisziplinäre Zugang zwischen Technikphilosophie und Ingenieurwissenschaften liefert neue Erkenntnisse für beide Fachrichtungen und stellt wertvolle Grundlagen bereit.

Contemporary philosophy often chants the mantra, ‘Philosophy is continuous with science.’ Now Shepanski gives it a clear sense, by extracting from W. V. Quine’s writings an explicit normative epistemology – i.e. an explicit set of norms for theorizing – that applies to philosophy and science alike. It is recognizably a version of empiricism, yet it permits the kind of philosophical theorizing that Quine practised all his life. Indeed, it is that practice, more than any overt avowals, that justifies attributing this (...) set of norms to Quine. -/- The Quinean epistemology is supported by a metaphilosophy that judges epistemologies by the tenability of their consequences. Shepanski explores the Quinean epistemology’s consequences for inductive and abductive inference, for mathematical entities, for science and for common sense. Moreover, he finds that it continues to be fruitful, as illustrated by a case study in which Quinean methods lead to a new formal treatment of the propositional attitudes. Finally, there is critical discussion of popular alternative views, including foundationalism, the centrality of knowledge, and Quine’s own epistemological naturalism. -/- By focusing on Quine’s normative epistemology, Shepanski illuminates a part of Quine’s thought that has hitherto been insufficiently discussed, and provides a tractable starting point for readers who are new to Quine. Most importantly, he isolates the part of Quine’s thought that has the greatest potential impact outside epistemology, outside philosophy of language, and even outside philosophy. (shrink)

A crucial question for a process view of life is how to identify a process and how to follow it through time. The genidentity view can contribute decisively to this project. It says that the identity through time of an entity X is given by a well-identified series of continuous states of affairs. Genidentity helps address the problem of diachronic identity in the living world. This chapter describes the centrality of the concept of genidentity for David Hull and proposes an (...) extension of Hull’s view to the ubiquitous phenomenon of symbiosis. Finally, using immunology as a key example, it shows that the genidentity view suggests that the main interest of a process approach is epistemological rather than ontological and that its principal claim is one of priority, namely that processes precede and define things, and not vice versa. (shrink)

How Moore’s open question argument works, insofar as it does, remains a matter of controversy. My purpose here is to construct an open question argument based on a novel interpretation of how Moore’s argument might work. In order to sidestep exegetical questions, I do not claim here to be offering Moore’s own argument. Rather, I offer a reconstruction making use of important elements of Moore’s methodology and assumptions that could be reasonable within a Moorean viewpoint. The crucial role within the (...) argument is played by what I call the real thought move. I show that the reconstructed argument is more defensible from some standard objections than the common construction. I finish by drawing attention to a neglected objective that would make sense within Moore’s viewpoint, showing that it fits with a major commitment of Bonjour’s moderate rationalism, and show how the package might be important for the non-naturalist today. (shrink)