A supplemental document for "The Logic of Hyperlogic. Part A: Foundations".

A supplemental document for "Metalinguistic Gradability".

Conventional wisdom has it that truth is always evaluated using our actual linguistic conventions, even when considering counterfactual scenarios in which different conventions are adopted. This principle has been invoked in a number of philosophical arguments, including Kripke’s defense of the necessity of identity and Lewy’s objection to modal conventionalism. But it is false. It fails in the presence of what Einheuser (2006) calls c-monsters, or convention-shifting expressions (on analogy with Kaplan’s monsters, or context-shifting expressions). We show that c-monsters naturally (...) arise in contexts, such as metalinguistic negotiations, where speakers entertain alternative conventions. We develop an expressivist theory—inspired by Barker (2002) and MacFarlane (2016) on vague predications and Einheuser (2006) on counterconventionals—to model these shifts in convention. Using this framework, we reassess the philosophical arguments that invoked the conventional wisdom. (shrink)

We develop and defend a new approach to counterlogicals. Non-vacuous counterlogicals, we argue, fall within a broader class of counterfactuals known as counterconventionals. Existing semantics for counterconventionals, 459–482 ) and, 1–27 ) allow counterfactuals to shift the interpretation of predicates and relations. We extend these theories to counterlogicals by allowing counterfactuals to shift the interpretation of logical vocabulary. This yields an elegant semantics for counterlogicals that avoids problems with the usual impossible worlds semantics. We conclude by showing how this approach (...) can be extended to counterpossibles more generally. (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.

A counteridentical is a counterfactual with an identity statement in the antecedent. While counteridenticals generally seem non-trivial, most semantic theories for counterfactuals, when combined with the necessity of identity and distinctness, attribute vacuous truth conditions to such counterfactuals. In light of this, one could try to save the orthodox theories either by appealing to pragmatics or by denying that the antecedents of alleged counteridenticals really contain identity claims. Or one could reject the orthodox theory of counterfactuals in favor of a (...) hyperintensional semantics that accommodates non-trivial counterpossibles. In this paper, I argue that none of these approaches can account for all the peculiar features of counteridenticals. Instead, I propose a modified version of Lewis’s counterpart theory, which rejects the necessity of identity, and show that it can explain all the peculiar features of counteridenticals in a satisfactory way. I conclude by defending the plausibility of contingent identity from objections. (shrink)

I develop an expressivist account of verbal disagreements as practical disagreements over how to use words rather than factual disagreements over what words actually mean. This account enjoys several advantages over others in the literature: it can be implemented in a neo-Stalnakerian possible worlds framework; it accounts for cases where speakers are undecided on how exactly to interpret an expression; it avoids appeals to fraught notions like subject matter, charitable interpretation, and joint-carving; and it naturally extends to an analysis of (...) metalinguistic negotiations. (shrink)

A common objection to the very idea of conceptual engineering is the topic continuity problem: whenever one tries to “reengineer” a concept, one only shifts attention away from one concept to another. Put differently, there is no such thing as conceptual revision: there’s only conceptual replacement. Here, I show that topic continuity is compatible with conceptual replacement. Whether the topic is preserved in an act of conceptual replacement simply depends on what is being replaced (a conceptual tool or a conceptual (...) role) and what the topic under discussion is. Thus, the topic continuity problem only arises from a failure to specify these two things. (shrink)

It is widely held that counterfactuals, unlike attitude ascriptions, preserve the referential transparency of their constituents, i.e., that counterfactuals validate the substitution of identicals when their constituents do. The only putative counterexamples in the literature come from counterpossibles, i.e., counterfactuals with impossible antecedents. Advocates of counterpossibilism, i.e., the view that counterpossibles are not all vacuous, argue that counterpossibles can generate referential opacity. But in order to explain why most substitution inferences into counterfactuals seem valid, counterpossibilists also often maintain that counterfactuals (...) with possible antecedents are transparency‐preserving. I argue that if counterpossibles can generate opacity, then so can ordinary counterfactuals with possible antecedents. Utilizing an analogy between counterfactuals and attitude ascriptions, I provide a counterpossibilist‐friendly explanation for the apparent validity of substitution inferences into counterfactuals. I conclude by suggesting that the debate over counterpossibles is closely tied to questions concerning the extent to which counterfactuals are more like attitude ascriptions and epistemic operators than previously recognized. (shrink)

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)

Counterfactual scepticism holds that most ordinary counterfactuals are false. The main argument for this view appeals to a ‘chance undermines would’ principle: if ψ would have some chance of not obtaining had ϕ obtained, then ϕ □→ ψ is false. This principle seems to follow from two fairly weak principles, namely, that ‘chance ensures could’ and that ϕ □→ ψ and ϕ ⋄→ ¬ ψ clash. Despite their initial plausibility, I show that these principles are independently problematic: given some modest (...) closure principles, they entail absurdities. Moreover, on the most promising strategy for saving these principles, they do not, in the relevant sense, entail the chance-undermines-would principle. Instead, they entail a principle that only supports counterfactual indeterminism, the view that most ordinary counterfactuals are chancy, that is, not settled true. I demonstrate this by developing an indeterminist semantics that vindicates the clash and chance-ensures-could principles but not the chance-undermines-would principle. This view, I argue, offers a better account of our credal and linguistic judgements than counterfactual scepticism. (shrink)

Arguments have always played a central role within logic and philosophy. But little attention has been paid to arguments as a distinctive kind of discourse, with its own semantics and pragmatics. The goal of this essay is to study the mechanisms by means of which we make arguments in discourse, starting from the semantics of argument connectives such as `therefore'. While some proposals have been made in the literature, they fail to account for the distinctive anaphoric behavior of `therefore', as (...) well as uses of argument connectives in complex arguments, suppositional arguments, arguments with non-declarative conclusions, as well as arguments with parenthetical remarks. A comprehensive account of arguments requires imposing a distinctive tree-like structure on contexts. We show how to extend our account to accommodate modal subordination and and di fferent flavors of `therefore'. (shrink)

While standard first-order modal logic is quite powerful, it cannot express even very simple sentences like “I could have been taller than I actually am” or “Everyone could have been smarter than they actually are”. These are examples of cross-world predication, whereby objects in one world are related to objects in another world. Extending first-order modal logic to allow for cross-world predication in a motivated way has proven to be notoriously difficult. In this paper, I argue that the standard accounts (...) of cross-world predication all leave something to be desired. I then propose an account of cross-world predication based on quantified hybrid logic and show how it overcomes the limitations of these previous accounts. I will conclude by discussing various philosophical consequences and applications of such an account. (shrink)

In the study of modal and nonclassical logics, translations have frequently been employed as a way of measuring the inferential capabilities of a logic. It is sometimes claimed that two logics are “notational variants” if they are translationally equivalent. However, we will show that this cannot be quite right, since first-order logic and propositional logic are translationally equivalent. Others have claimed that for two logics to be notational variants, they must at least be compositionally intertranslatable. The definition of compositionality these (...) accounts use, however, is too strong, as the standard translation from modal logic to first-order logic is not compositional in this sense. In light of this, we will explore a weaker version of this notion that we will call schematicity and show that there is no schematic translation either from first-order logic to propositional logic or from intuitionistic logic to classical logic. (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)

Many authors have noted that there are types of English modal sentences cannot be formalized in the language of basic first-order modal logic. Some widely discussed examples include “There could have been things other than there actually are” and “Everyone who is actually rich could have been poor.” In response to this lack of expressive power, many authors have discussed extensions of first-order modal logic with two-dimensional operators. But claims about the relative expressive power of these extensions are often justified (...) only by example rather than by rigorous proof. In this paper, we provide proofs of many of these claims and present a more complete picture of the expressive landscape for such languages. (shrink)

There are many different ways to talk about the world. Some ways of talking are more expressive than others—that is, they enable us to say more things about the world. But what exactly does this mean? When is one language able to express more about the world than another? In my dissertation, I systematically investigate different ways of answering this question and develop a formal theory of expressive power, translation, and notational variance. In doing so, I show how these investigations (...) help to clarify the role that expressive power plays within debates in metaphysics, logic, and the philosophy of language. (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)

In light of the problem of logical omniscience, some scholars have argued that belief is question-sensitive: agents don't simply believe propositions but rather believe answers to questions. Hoek (2022) has recently developed a version of this approach on which a belief state is a "web" of questions and answers. Here, we present several challenges to Hoek's question-sensitive account of belief. First, Hoek's account is prone to very similar logical omniscience problems as those he claims to address. Second, the link between (...) belief and action he proposes is too rigid. We close by sketching a generalization of the account that can meet these challenges. (shrink)

Sentences about logic are often used to show that certain embedding expressions, including attitude verbs, conditionals, and epistemic modals, are hyperintensional. Yet it not clear how to regiment “logic talk” in the object language so that it can be compositionally embedded under such expressions. This paper does two things. First, it argues against a standard account of logic talk, viz., the impossible worlds semantics. It is shown that this semantics does not easily extend to a language with propositional quantifiers, which (...) are necessary for regimenting some logic talk. Second, it develops an alternative framework based on logical expressivism, which explains logic talk using shifting conventions. When combined with the standard S5π+ semantics for propositional quantifiers, this framework results in a well-behaved system that does not face the problems of the impossible worlds semantics. It can also be naturally extended with hybrid operators to regiment a broader range of logic talk, e.g., claims about what laws hold according to other logics. The resulting system, called hyperlogic, is therefore a better framework for modeling logic talk than previous accounts. (shrink)

We offer a novel account of metalinguistic comparatives, such as 'Al is more wise than clever'. On our view, metalinguistic comparatives express comparative commitments to conventions. Thus, 'Al is more wise than clever' expresses that the speaker has a stronger commitment to a convention on which Al is wise than to a convention on which she is clever. This view avoids problems facing previous approaches to metalinguistic comparatives. It also fits within a broader framework—independently motivated by metalinguistic negotiations and convention-shiftingexpressions— (...) that gives linguistic conventions a role in the semantics. (shrink)

A recent approach to the problem of logical omniscience holds that belief is question-sensitive: what an agent believes depends on what question they try to answer (Pérez Carballo, 2016; Yalcin, 2018; Hoek, 2022). While the question-sensitive approach can avoid some logical omniscience problems, we argue that it suffers from nearby problems. First, these accounts all validate closure principles that are just as implausible as the ones it was designed to avoid. Second, question-sensitivity by itself isn’t suitable for explaining many kinds (...) of failures of logical omniscience. Recognizing the flaws of this approach, however, naturally leads to a more promising solution. Our account generalizes the question-sensitive approach by appealing to (1) the defeasible nature of dispositions toward action associated with belief and (2) the algorithms an agent uses to make decisions. On our view, then, believing that φ means being disposed to employ an algorithm which outputs acting on the information that φ in normal circumstances associated with φ. We argue that this account naturally generalizes the question-sensitive accounts while avoiding their faults. (shrink)

Much has been written on whether practical knowledge (knowledge-how) reduces to propositional knowledge (knowledge-that). Less attention has been paid to what we call deliberative knowledge (knowledge-to), i.e., knowledge ascriptions embedding other infinitival questions, like _where to meet_, _when to leave_, and _what to bring_. We offer an analysis of knowledge-to and argue on its basis that, regardless of whether knowledge-how reduces to knowledge-that, no such reduction of knowledge-to is forthcoming. Knowledge-to, unlike knowledge-that and knowledge-how, requires the agent to have formed (...) certain conditional intentions. We discuss the philosophical implications for knowledge-how, deliberative questions, and virtue. (shrink)

We present a novel semantic and conversational framework for a class of gradable-like constructions. These include metalinguistic comparatives, like "Ann is more a linguist than a philosopher", as well as metalinguistic equatives, degree modifications, and conditionals. To the extent previous literature discusses such metalinguistic gradability, the focus has been on comparatives. We extend our account of metalinguistic comparatives (Rudolph & Kocurek 2020) to cover a broader range of metalinguistic gradable constructions. On our semantic expressivist view, these all serve in (...) various ways to express speakers' relative commitments to different linguistic interpretations. (shrink)

In this paper, we axiomatize the deontic logic in Fusco (2015), which uses a Stalnaker-inspired account of diagonal acceptance and a two-dimensional account of disjunction to treat Ross’s Paradox and the Puzzle of Free Choice Permission. On this account, disjunction-involving validities are a priori rather than necessary. We show how to axiomatize two-dimensional disjunction so that the introduction/elimination rules for boolean disjunction can be viewed as one-dimensional projections of more general two-dimensional rules. These completeness results help make explicit the restrictions (...) Fusco’s account must place on free-choice inferences. They are also of independent interest, as they raise difficult questions about how to “lift” a Kripke frame for a one-dimensional modal logic into two dimensions. (shrink)

Do the sciences aim to uncover the structure of nature, or are they ultimately a practical means of controlling our environment? In Instrumental Biology, or the Disunity of Science, Alexander Rosenberg argues that while physics and chemistry can develop laws that reveal the structure of natural phenomena, biology is fated to be a practical, instrumental discipline. Because of the complexity produced by natural selection, and because of the limits on human cognition, scientists are prevented from uncovering the basic structure (...) of biological phenomena. Consequently, biology and all of the disciplines that rest upon it--psychology and the other human sciences--must aim at most to provide practical tools for coping with the natural world rather than a complete theoretical understanding of it. (shrink)

Toy models are highly idealized and extremely simple models. Although they are omnipresent across scientific disciplines, toy models are a surprisingly under-appreciated subject in the philosophy of science. The main philosophical puzzle regarding toy models concerns what the epistemic goal of toy modelling is. One promising proposal for answering this question is the claim that the epistemic goal of toy models is to provide individual scientists with understanding. The aim of this article is to precisely articulate and to defend this (...) claim. In particular, we will distinguish between autonomous and embedded toy models, and then argue that important examples of autonomous toy models are sometimes best interpreted to provide how-possibly understanding, while embedded toy models yield how-actually understanding, if certain conditions are satisfied. _1_ Introduction _2_ Embedded and Autonomous Toy Models _2.1_ Embedded toy models _2.2_ Autonomous toy models _2.3_ Qualification _3_ A Theory of Understanding for Toy Models _3.1_ Preliminaries and requirements _3.2_ The refined simple view _4_ Two Kinds of Understanding with Toy Models _4.1_ Embedded toy models and how-actually understanding _4.2_ Against a how-actually interpretation of all autonomous toy models _4.3_ The how-possibly interpretation of some autonomous toy models _5_ Conclusion. (shrink)

For a novice this book is a mathematically-oriented introduction to modal logic, the discipline within mathematical logic studying mathematical models of reasoning which involve various kinds of modal operators. It starts with very fundamental concepts and gradually proceeds to the front line of current research, introducing in full details the modern semantic and algebraic apparatus and covering practically all classical results in the field. It contains both numerous exercises and open problems, and presupposes only minimal knowledge in mathematics. A specialist (...) can use the book as a source of references. Results and methods of many directions in propositional modal logic, from completeness and duality to algorithmic problems, are collected and systematically presented in one volume. (shrink)

We explore the prospects of a monist account of explanation for both non-causal explanations in science and pure mathematics. Our starting point is the counterfactual theory of explanation for explanations in science, as advocated in the recent literature on explanation. We argue that, despite the obvious differences between mathematical and scientific explanation, the CTE can be extended to cover both non-causal explanations in science and mathematical explanations. In particular, a successful application of the CTE to mathematical explanations requires us to (...) rely on counterpossibles. We conclude that the CTE is a promising candidate for a monist account of explanation in both science and mathematics. (shrink)

Analyzes the poem "On Nature" by Parmenides, arguing that is actually a philosophical argument disguised as Homer-like mythological journey. Original.

Philosophical discussions often involve appeals to verdicts about particular cases, sometimes actual, more often hypothetical, and usually with little or no substantive argument in their defense. Philosophers — on both sides of debates over the standing of this practice — have often called the basis for such appeals ‘intuitions’. But, what might such ‘intuitions’ be, such that they could legitimately serve these purposes? Answers vary, ranging from ‘thin’ conceptions that identify intuitions as merely instances of some fairly generic and epistemologically (...) uncontroversial category of mental states or episodes to ‘thick’ conceptions that add to this thin base certain semantic, phenomenological, etiological, or methodological conditions. As this chapter discusses, thick conceptions turn out to have their own methodological problems; some may even leave philosophers in the methodologically untenable position of being unable to determine when anyone is doing philosophy correctly. (shrink)

We define a notion of the intelligence level of an idealized mechanical knowing agent. This is motivated by efforts within artificial intelligence research to define real-number intelligence levels of compli- cated intelligent systems. Our agents are more idealized, which allows us to define a much simpler measure of intelligence level for them. In short, we define the intelligence level of a mechanical knowing agent to be the supremum of the computable ordinals that have codes the agent knows to be codes (...) of computable ordinals. We prove that if one agent knows certain things about another agent, then the former necessarily has a higher intelligence level than the latter. This allows our intelligence no- tion to serve as a stepping stone to obtain results which, by themselves, are not stated in terms of our intelligence notion (results of potential in- terest even to readers totally skeptical that our notion correctly captures intelligence). As an application, we argue that these results comprise evidence against the possibility of intelligence explosion (that is, the no- tion that sufficiently intelligent machines will eventually be capable of designing even more intelligent machines, which can then design even more intelligent machines, and so on). (shrink)

A traditional interpretation holds that Kant's political theory simply constitutes an account of the constraints which reason places on the state's authority to regulate external action. Alexander Kaufman argues that this traditional interpretation succeeds neither as a faithful reading of Kant's texts nor as a plausible, philosophically sound reconstruction of a `Kantian' political theory. Rather, he argues that Kant's political theory articulates a positive conception of the state's role.

This chapter contains sections titled: Introduction The PSR Nonlocal CPs Toward a First Cause The Gap Problem Conclusions and Further Research References.

It is commonly held that retraction data, if they exist, show that assessment relativism is preferable to non-indexical contextualism. I argue that this is not the case. Whether retraction data have the suggested probative force depends on substantive questions about the proper treatment of tense and location. One’s preferred account in these domains should determine whether one accepts assessment relativism or non-indexical contextualism.

Platonism has played a central role in Christianity and is essential to a deep understanding of the Christian theological tradition. At times, Platonism has constituted an essential philosophical and theological resource, furnishing Christianity with an intellectual framework that has played a key role in its early development, and in subsequent periods of renewal. Alternatively, it has been considered a compromising influence, conflicting with the faith's revelatory foundations and distorting its inherent message. In both cases the fundamental importance of Platonism, as (...) a force which Christianity defined itself by and against, is clear. Written by an international team of scholars, this landmark volume examines the history of Christian Platonism from antiquity to the present day, covers key concepts, and engages issues such as the environment, natural science and materialism. (shrink)

Nietzsche often gives the impression that all human beliefs are false. Some scholars, like Maudemarie Clark, believe that such a “falsification thesis” is unacceptable and try to limit Nietzsche's commitment to it, claiming that he abandons it in his very last works. Others, like Lanier Anderson and Nadeem Hussain, take it in ways that make it true and locate it in all. I argue that the view that is common to both approaches—that Nietzsche held that thesis in the first place—is (...) unjustified. To that end, I interpret the texts where these scholars claim to find the thesis in a way that shows that they do not commit Nietzsche to it, and I offer some reasons for thinking that this is a more fruitful way of interpreting his views on the importance of truth—and falsehood—and their function in the economy of human life. (shrink)

The readiness potential (RP) is one of the most controversial topics in neuroscience and philosophy due to its perceived relevance to the role of conscious willing in action. Libet and colleagues reported that RP onset precedes both volitional movement and conscious awareness of willing that movement, suggesting that the experience of conscious will may not cause volitional movement (Libet, Gleason, Wright, & Pearl, 1983). Rather, they suggested that the RP indexes unconscious processes that may actually cause both volitional movement and (...) the accompanying conscious feeling of will (Libet et al., 1983; pg. 640). Here, we demonstrate that volitional movement can occur without an accompanying feeling of will. We additionally show that the neural processes indexed by RPs are insufficient to cause the experience of conscious willing. Specifically, RPs still occur when subjects make self-timed, endogenously-initiated movements due to a post-hypnotic suggestion, without a conscious feeling of having willed those movements. (shrink)

We examine some assumptions about the nature of 'levels of reality' in the light of examples drawn from physics. Three central assumptions of the standard view of such levels (for instance, Oppenheim and Putnam 1958) are (i) that levels are populated by entities of varying complexity, (ii) that there is a unique hierarchy of levels, ranging from the very small to the very large, and (iii) that the inhabitants of adjacent levels are related by the parthood relation. Using examples from (...) physics, we argue that it is more natural to view the inhabitants of levels as the behaviors of entities, rather than entities themselves. This suggests an account of reduction between levels, according to which one behavior reduces to another if the two are related by an appropriate limit relation. By considering cases where such inter-level reduction fails, we show that the hierarchy of behaviors differs in several respects from the standard hierarchy of entities. In particular, while on the standard view, lower-level entities are 'micro' parts of higher-level entities, on our view, a system's macro-level behavior can be seen as a ('non-spatial') part of its micro-level behavior. We argue that this second hierarchy is not really in conflict with the standard view and that it better suits examples of explanation in science. (shrink)

What exactly do social scientists and biologists say when they make causal claims? This question is one of the central puzzles in philosophy of science. Alexander Reutlinger sets out to answer this question. He aims to provide a theory of causation in the special sciences (that is, a theory causation in the social sciences, the biological sciences and other higher-level sciences). According one recent prominent view, causation is that causation is intimately tied to manipulability and the possibility of intervene. (...) Reutlinger's main negative target is to argue interventionist account of causation is not adequate. Where do interventionist accounts go wrong? Reutlinger argues that the central concept of the interventionist theories – that is, the very concept of an intervention – is tremendously problematic. Reutlinger's main positive claim consists in replacing the interventionist approach by an alternative explication of causation in the special sciences, the comparative variability theory of causation. This alternative preserves many insights of the interventionist account without a commitment to the claim that causation and interventions are intimately tied together. (shrink)