The Aristotelian view of universals, according to which each universal generically depends for its existence on its instantiations, has recently come under attack by a series of ground-theoretic arguments. The last such arguments, presented by Raven, promises to offer several significant improvements over its predecessors, such as avoiding commitment to the transitivity of ground and offering new reasons for the metaphysical priority of universals over their instantiations. In this paper, we argue that Raven's argument does not effectively avoid said commitment (...) and that Raven's new reasons fail. Moreover, we present a novel ground-theoretic interpretation of the Aristotelian view, referred to as strong immanence, and introduce a new argument against the Aristotelian view, intended to sidestep any commitment to the transitivity of ground. (shrink)

A wide variety of concepts are nowadays considered to be hyperintensional, and some of them do not seem to involve our representational attitudes. This led some philosophers to identify and defend a notion of worldly hyperintensionality: the idea that some hyperintensional phenomena derive from features of objective reality, independently of how we represent it. Against this view, Darragh Byrne and Naomi Thompson argue that the correct understanding of such phenomena must be conceptualist in nature, and claim that hyperintensionality always derives (...) from features of representations. In the present work I defend the genuine distinction between worldly and representational hyperintensionality through a new framing of the issue: the comparison with worldly intensionality. I argue that locating the sources of hyperintensionality should not be affected by preferences towards any specific semantic framework, and reject Byrne and Thompson's argument against worldly hyperintensionality. (shrink)

W. V. Quine famously defended two theses that have fallen rather dramatically out of fashion. The first is that intensions are “creatures of darkness” that ultimately have no place in respectable philosophical circles, owing primarily to their lack of rigorous identity conditions. However, although he was thoroughly familiar with Carnap’s foundational studies in what would become known as possible world semantics, it likely wouldn’t yet have been apparent to Quine that he was fighting a losing battle against intensions, due in (...) large measure to developments stemming from Carnap’s studies and culminating in the work of Kripke, Hintikka, and Bayart. These developments undermined Quine’s crusade against intensions on two fronts. First, in the context of possible world semantics, intensions could after all be given rigorous identity conditions by defining them (in the simplest case) as functions from worlds to appropriate extensions, a fact exploited to powerful and influential effect in logic and linguistics by the likes of Kaplan, Montague, Lewis, and Cresswell. Second, the rise of possible world semantics fueled a strong resurgence of metaphysics in contemporary analytic philosophy that saw properties and propositions widely, fruitfully, and unabashedly adopted as ontological primitives in their own right. This resurgence — happily, in my view — continues into the present day. -/- For a time, at any rate, Quine experienced somewhat better success with his second thesis: that higher-order logic is, at worst, confused and, at best, a quirky notational alternative to standard first-order logic. However, Quine notwithstanding, a great deal of recent work in formal metaphysics transpires in a higher-order logical framework in which properties and propositions fall into an infinite hierarchy of types of (at least) every finite order. Initially, the most philosophically compelling reason for embracing such a framework since Russell first proposed his simple theory of types was simply that it provides a relatively natural explanation of the paradoxes. However, since the seminal work of Prior there has been a growing trend to consider higher-order logic to be the most philosophically natural framework for metaphysical inquiry, many of the contributors to this volume being among the most important and influential advocates of this view. Indeed, this is now quite arguably the dominant view among formal metaphysicians. -/- In this paper, and against the current tide, I will argue in §1 that there are still good reasons to think that Quine’s second battle is not yet lost and that the correct framework for logic is first-order and type-free — properties and propositions, logically speaking, are just individuals among others in a single domain of quantification — and that it arises naturally out of our most basic logical and semantical intuitions. The data I will draw upon are not new and are well-known to contemporary higher-order metaphysicians. However, I will try to defend my thesis in what I believe is a novel way by suggesting that these basic intuitions ground a reasonable distinction between “pure” logic and non-logical theory, and that Russell-style semantic paradoxes of truth and exemplification arise only when we move beyond the purely logical and, hence, do not of themselves provide any strong objection to a type-free conception of properties and propositions. -/- Most of my arguments in §1 are largely independent of any specific account of the nature of properties and propositions beyond their type-freedom. However, I will in addition argue that there are good reasons to take propositions, at least, to be very fine-grained. My arguments are thus bolstered significantly if it can be shown that there are in fact well-defined examples of logics that are not only type-free but which comport with such a conception of propositions. It is the purpose of §2 to lay out a logic of this sort in some detail, drawing especially upon work by George Bealer and related work of my own. With the logic in place, it will be possible to generalize the line of argument noted above regarding Russell-style paradoxes and, in §3, apply it to two propositional paradoxes — the Prior-Kaplan paradox and the Russell-Myhill paradox — that are often taken to threaten the sort of account developed here. (shrink)

This is the second part of a two-part series on the logic of hyperlogic, a formal system for regimenting metalogical claims in the object language (even within embedded environments). Part A provided a minimal logic for hyperlogic that is sound and complete over the class of all models. In this part, we extend these completeness results to stronger logics that are sound and complete over restricted classes of models. We also investigate the logic of hyperlogic when the language is enriched (...) with hyperintensional operators such as counterfactual conditionals and belief operators. (shrink)

Hyperlogic is a hyperintensional system designed to regiment metalogical claims (e.g., “Intuitionistic logic is correct” or “The law of excluded middle holds”) into the object language, including within embedded environments such as attitude reports and counterfactuals. This paper is the first of a two-part series exploring the logic of hyperlogic. This part presents a minimal logic of hyperlogic and proves its completeness. It consists of two interdefined axiomatic systems: one for classical consequence (truth preservation under a classical interpretation of the (...) connectives) and one for “universal” consequence (truth preservation under any interpretation). The sequel to this paper explores stronger logics that are sound and complete over various restricted classes of models as well as languages with hyperintensional operators. (shrink)

Recent epistemology has witnessed a substantial opposition between two competing approaches to capturing the notion of non-accidentality in the analysis of knowledge: the explanationist and the modalist. According to the latest advocates of the former, S knows that p if and only if S believes that p because p is true. According to champions of the latter, S knows that p if and only if S's belief that p is true in a relevant set of possible worlds. Because Bogardus and (...) Perrin's explanationism promises to deliver a plausible analysis of knowledge without any need for modal notions, it is an elegant proposal with prima facie appeal. However, such version of explanationism ultimately does not live up to its promises: in this paper, I raise some objections to their explanationist analysis of knowledge while showing that modalism is in much better shape than they think. In particular, I argue that their explanationist condition generates the wrong results in Gettier cases and fake-barn cases. I also offer and defend a novel version of modalism: I introduce a refined safety condition which is shown to successfully handle the same Gettier cases that beset Bogardus and Perrin's version of explanationism. The paper concludes with a reassessment of the explanationist's initial ambition to provide an analysis of knowledge without modal notions. The upshot will be that even if the prospects for such analysis remain dim, our money should be on the modalist, not the explanationist. (shrink)

The modal collapse objection to classical theism has received significant attention among philosophers as of late. My aim in this paper is to advance this blossoming debate. First, I briefly survey the modal collapse literature and argue that classical theists avoid modal collapse if and only if they embrace an indeterministic link between God and his effects. Second, I argue that this indeterminism poses two challenges to classical theism. The first challenge is that it collapses God’s status as an intentional (...) agent who knows and intends what he is bringing about in advance. The second challenge is that it collapses God’s providential control over which creation obtains. (shrink)

I use a distinction between single-minded and indifferent choice attitudes, modeled across maximally determinate plans of action, as a basis for interpreting deontic claims – about what ought, ought not, and may be done – as expressing a mode of relation between mind and world that gives voice to the exercise of practical rationality. At the same time, I use maximally determinate possible worlds to model descriptive claims in order to understand them as involving a mode of relation between mind (...) and world that manifests our theoretical rationality. The result is of interest to both linguists looking for a formal treatment of deontic modality that captures the role prescriptive mental states play in our lives, and philosophers interested in substantive questions about action-guiding and representational mental states as exercises of practical and theoretical rationality. (shrink)

A counterpossible is a counterfactual with an impossible antecedent. Counterpossibles present a puzzle for standard theories of counterfactuals, which predict that all counterpossibles are semantically vacuous. Moreover, counterpossibles play an important role in many debates within metaphysics and epistemology, including debates over grounding, causation, modality, mathematics, science, and even God. In this article, we will explore various positions on counterpossibles as well as their potential philosophical consequences.

Sentences about logic are often used to show that certain embedding expressions are hyperintensional. Yet it is not clear how to regiment “logic talk” in the object language so that it can be compositionally embedded under such expressions. In this paper, I develop a formal system called hyperlogic that is designed to do just that. I provide a hyperintensional semantics for hyperlogic that doesn’t appeal to logically impossible worlds, as traditionally understood, but instead uses a shiftable parameter that determines the (...) interpretation of the logical connectives. I argue this semantics compares favorably to the more common impossible worlds semantics, which faces difficulties interpreting propositionally quantified logic talk. (shrink)

This dissertation is an investigation into the relation between mind and language from different perspectives, split up into three interrelated but still, for the most part, self-standing parts. Parts I and II are concerned with the question how thought is affected by language while Part III investigates the scope covered by mind and language respectively. Part I provides a reconstruction of Ludwig Wittgenstein’s famous Private Language Argument in order to apply the rationale behind this line of argument to the relation (...) between mind and language. This argumentative strategy yields the conclusion that reasoning – an important type of thought – is constitutively dependent on language possession and is therefore not available to non-linguistic creatures. This result is achieved by considering the preconditions for reasoning – given that it is a rule-governed activity – and eliminating competitors to language for providing reasoners with what it takes to reason. Part II provides a critical outlook on the wide and highly heterogeneous field of linguistic relativity theories. It is argued that no kind of linguistic relativity whatsoever follows from the conclusion of Part I – i.e., the claim that reasoning is constitutively dependent on having a language. While Part II does not provide a conclusive argument against the linguistic relativity hypothesis, it is argued that endorsement of linguistic relativity theories often rests on a mistaken assumption to the effect that language and culture are interwoven in a way which makes it impossible to separate culture and language, as well as their respective studies. This assumption is undermined by providing examples of languages which clearly predate their culture or do not even have a culture at all. So, the assumption that language and culture are inextricably intertwined is refuted by way of counterexample. Part III provides an in-depth examination of the Principle of Expressibility – prominently endorsed and formulated by John Searle – which claims that whatever can be thought can also be said. The domains of what can be thought and of what can be said are considered in set theoretic terms in order to determine whether one is contained in the other, so that everything we can think can also be adequately communicated. After thorough study of interpretative issues regarding the Principle of Expressibility and consideration of the most pressing potential counterexamples to the principle, we can conclude that we have good reason to believe in the truth of the Principle of Expressibility. In conclusion, the achieved results are related back to prominent positions in the discussion about thought and language which already make their appearance in the very beginning of this investigation. The final chapter of this dissertation reminds us that eminent figures in philosophy have often taken a wrongheaded perspective on the relation between language and thought, so that language has frequently appeared to be an impediment to thought. We can, however, confidently conclude that language, on the contrary, is by far our most apt means for thought and that reasoning would not even be possible without the resources language provides. (shrink)

Paying attention to the inner workings of mathematicians has led to a proliferation of new themes in the philosophy of mathematics. Several of these have to do with epistemology. Philosophers of mathematical practice, however, have not (yet) systematically engaged with general (analytic) epistemology. To be sure, there are some exceptions, but they are few and far between. In this chapter, I offer an explanation of why this might be the case and show how the situation could be remedied. I contend (...) that it is only by conceiving the knowing subject(s) as embodied, fallible, and embedded in a specific context (along the lines of what has been done within social and feminist epistemology) that we can pursue an epistemology of mathematics sensitive to actual mathematical practice. I further suggest that this reconception of the knowing subject(s) does not force us to abandon the traditional framework of epistemology in which knowledge requires justified true belief. It does, however, lead to a fallible conception of mathematical justification that, among other things, makes Gettier cases possible. This shows that topics considered to be far removed from the interests of philosophers of mathematical practice might reveal to be relevant to them. (shrink)

This paper presents an analysis of face emoji (disc-shaped pictograms with stylized facial expressions) that accompany written text. We propose that there is a use of face emoji in which they comment on a target proposition expressed by the accompanying text, as opposed to making an independent contribution to discourse. Focusing on positively valenced and negatively valenced emoji (which we gloss as _happy_ and _unhappy_, respectively), we argue that the emoji comment on how the target proposition bears on a contextually (...) provided discourse value endorsed by the author. Discourse values embody what an author desires, aspires to, wishes for, or hopes for. Our analysis derives a range of non-trivial generalizations, including (i) ordering restrictions with regards to the placement of emoji and text, (ii) cases of apparent mixed emotions, and (iii) cases where the lexical content of the accompanying text influences the acceptability of a face emoji. (shrink)

This thesis investigates the nature of the relation between mental representations in successful verbal communication, thought attribution, agreement, and disagreement — a relation which I call “samethinking”. The nature of samethinking raises several foundational questions about the nature of (non-natural) meaning, and the cognitive underpinnings of the emergence of culture. It bears on long-lasting puzzles in the philosophy of mind and language (such as Frege’s puzzle and Kripke’s puzzle about belief). Samethinking does not amount to sharing a reference (with “sharing" (...) I refer to two or more thinkers having something in common): it is more demanding. How can we explain and characterize this relation, more stringent than coreference, that is instantiated by a pair of thoughts when samethinking takes place? It is often assumed that this relation involves sharing a thought content more fine-grained than reference. In this thesis, I argue that the issue is more complex than what has been commonly assumed, and I suggest an alternative model in which sharing thought content is not necessary. (shrink)

The paper proposes a strategy for understanding metaphysical grounding in deflationary terms and, more generally, proposes a form of methodological deflationism with respect to the notions of ground. The idea is to define a deflationary is grounded in-predicate by appeal to the two-place non-causal connective ‘because’ and a deflationary truth predicate. To this end, we discuss the explanatory role of the truth-predicate in non-causal explanations and develop a theory of truth for the language of the ‘because’-connective. We argue that at (...) least from a logical perspective our deflationary notion of ground is up to the task. (shrink)

This is the second part of a two-part series on the logic of hyperlogic, a formal system for regimenting metalogical claims in the object language (even within embedded environments). Part A provided a minimal logic for hyperlogic that is sound and complete over the class of all models. In this part, we extend these completeness results to stronger logics that are sound and complete over restricted classes of models. We also investigate the logic of hyperlogic when the language is enriched (...) with hyperintensional operators such as counterfactual conditionals and belief operators. (shrink)

We prove how to validly quantify into hyperpropositional contexts de dicto in Transparent Intensional Logic. Hyperpropositions are sentential meanings and attitude complements individuated more finely than up to logical equivalence. A hyperpropositional context de dicto is a context in which only co-hyperintensional propositions can be validly substituted. A de dicto attitude ascription is one that preserves the attributee’s perspective when one complement is substituted for another. Being an extensional logic of hyperintensions, Transparent Intensional Logic validates all the rules of extensional (...) logic, including existential quantification. Yet the rules become more exacting when applied to hyperintensional contexts. The rules apply to only some types of entities, because the existence of only some types of entities is entailed by a hyperpropositional attitude de dicto. The insight that the paper offers is how a particular logic of hyperintensions is capable of validating quantifying-in in a principled and rigorous manner. This result advances the community-wide understanding of how to logically manipulate hyperintensions. (shrink)

This paper argues that accepting an ordinary approach to truthmakers and rejecting something I call “the metaphysical knowledge assumption” allows us to account for inquiry in terms of truthmaking. §1 introduces inquiry and the potential place of truthmakers in inquiry. §2 presents the relevant ordinary notion of truthmakers. §3 presents and motivates MKA. This assumption, I argue, makes a truthmaker-focused account of inquiry whose objects are not the fundamental nature of things impossible and thus should be rejected. The ordinary picture, (...) which understands truthmakers not exclusively in terms of the objects of fundamental reality or of semantics, but in terms of the relevant, intentional objects of inquiry, gives us an attractive, general, truthmaker-based view of inquiry. (shrink)