Was wusste Wittgenstein von Hegels Philosophie und wie verhält sich sein Denken zu demjenigen Hegels? Antwort auf diese Fragen sucht die vorliegende Studie in einer aufmerksamen Rekonstruktion der verschiedenen Bemerkungen Wittgensteins zu Hegel.In einer späten Bemerkung bringt Wittgenstein das Verhältnis seiner eigenen Philosophie zu derjenigen Hegels auf den Punkt:?Mir scheint, Hegel will immer sagen, daß Dinge, die verschieden aussehen, in Wirklichkeit gleich sind, während es mir um den Nachweis geht, daß Dinge, die gleich aussehen, in Wirklichkeit verschieden sind.? Um besser (...) verstehen zu können, was er dabei im Sinn hatte, werden die verschiedenen Bemerkungen Wittgensteins zu Hegel in den Kontext der Entwicklung seines philosophischen Denkens gestellt, und es wird? auch ganz in Wittgensteins Sinne? weitergefragt, was dieses Denken mit der philosophischen Tradition verbindet. (shrink)

Summary This paper investigates the nature of creativity in language and linguistics. Following Sampson (2016), it distinguishes between F-creativity (which roughly equals linguistic productivity) and E-creativity (which leads to new and unexpected innovations). These two notions of creativity are discussed on the basis of examples from three different domains: snow cloning, mismatch/coercion, and aberration. It is shown that pure E-creativity may only be found in the case of aberration. Both snow cloning and mismatch/coercion are examples for F-creativity, but to varying (...) degrees. As a consequence, it is suggested that in practice, F- and E-creativity actually form a cline, rather than a dichotomy. (shrink)

Wittgenstein and the Concepts of Mind in Hegel. Hegel distinguishes three main forms of the (subjective) mind – the soul, the consciousness and the spirit. He seeks to use these concepts to rediscover the meaning of Aristotle’s works on the soul (Περὶ ψυχῆς) and, at the same time, to counteract certain scientistic tendencies within the philosophy of mind. Although Wittgenstein (most likely) was not aware of these Hegelian distinctions, his own use of the concepts of mind exhibits some remarkable similarities (...) to Hegel’s, and Wittgenstein too develops his understanding of mind by first examining the scientific psychology of his time and delineating his own position by way of contrast with it.This article examines three areas in which Wittgenstein substantially developed his understanding of the concepts of mind. The sequence of the investigation follows the order in which these areas became significant for Wittgenstein’s thinking, and compares them in each case with the three main Hegelian forms of the concepts of mind. (shrink)

Both daily demands as well as training and competition characteristics in sports can result in a psychobiological state of mental fatigue leading to feelings of tiredness, lack of energy, an increased perception of effort, and performance decrements. Moreover, optimal performance will only be achievable if the balance between recovery and stress states is re-established. Consequently, recovery strategies are needed aiming at mental aspects of recovery. The aim of the study was to examine acute effects of potential mental recovery strategies on (...) subjective-psychological and on cognitive performance outcomes after a mentally fatiguing task. A laboratory-based randomized cross-over study with twenty-four students was applied. Participants were run through a powernap intervention, a systematic breathing intervention, a systematic breathing plus mental imagery intervention, and a control condition with one trial a week over four consecutive weeks. Mental fatigue was induced by completion of the 60-min version of the AX-continuous performance test. The Short Recovery and Stress Scale and Visual Analog Scales were assessed to measure effects on perceptual outcomes. Cognitive performance was measured with a reaction time test of the Vienna Test System. During all three recovery interventions and CC portable polysomnography was applied. Results showed a significant increase from pre-AX-CPT to pre-MR on fatigue states and recovery-stress states indicating that the induction of mental fatigue was effective. Moreover, results underlined that analysis yielded no significant differences between recovery interventions and the control condition but they revealed significant time effects for VAS, SRSS items, and cognitive performance. However, it could be derived that the application of a rest break with 20 min of mental recovery strategies appears to enhance recovery on a mainly mental and emotional level and to reduce perceived mental fatigue. (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)

A supplemental document for "Metalinguistic Gradability".

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)

Multiple states are at risk of becoming uninhabitable due to climate change, forcing their populations to flee. While the 1951 Refugee Convention provides the gold standard of international protection, it is only applied to a limited subset of people fleeing their countries, those who suffer persecution, which most people fleeing climate change cannot establish. While many journalists and non-lawyers freely use the term “climate refugees,” governments, and courts, as well as UNHCR and many refugee experts, have excluded most climate refugees (...) from the Convention as a matter of legal interpretation. In our 2015 paper, “Unable to Return in the 1951 Refugee Convention: Stateless Refugees and Climate Change”, we sought to reopen the debate on “climate refugees” by arguing that some climate refugees qualify under the 1951 Convention as it is currently written (even if they are not persecuted): those who are stateless and are unable to return to their country of origin because climate change has rendered it uninhabitable. Our interpretation, however, has been rejected by Goodwin-Gill and McAdam (2021) and by Foster and Lambert (2019), which explicitly responds to our paper. Here, we address and respond to their arguments, and develop a new supplementary one, drawing on the principle of systemic integration, as enshrined in Article 31(3)(c) of the Vienna Convention on the Law of Treaties. (shrink)

This book provides a comprehensive guide to the conceptual methodological, and epistemological problems of biology, and treats in depth the major developments in molecular biology and evolutionary theory that have transformed both biology and its philosophy in recent decades. At the same time the work is a sustained argument for a particular philosophy of biology that unifies disparate issues and offers a framework for expectations about the future directions of the life sciences. The argument explores differences between autonomist and anti-autonomist (...) views of biology. The result is a vindication of reductionism, but one that is unexpectedly hollow. For it leaves the exponents of the autonomy of biology from physical science with as much as their view of biology really requires - and rather more than the reductionist might comfortably concede. Professor Rosenberg shows how the problems of the philosophy of biology are interconnected and how their solutions are interdependent, However, this book focuses more on the direct concerns of biologists, rather than the traditional agenda of philosophers' problems about biology. This departure from earlier books on the subject results both in greater understanding and relevance of the philosophy of science to biology as a whole. (shrink)

Call a term ‘pseudo-singular’ if it is syntactically singular but semantically plural. ‘The pair who wrote Principia’ is a good example, standing as it does for the two individuals, Whitehead and Russell. In this journal (2021), Eric Snyder and Stewart Shapiro launched an attack on the idea, calling it ‘linguistically and logically untenable.’ In this reply we rebut every one of their criticisms.

In this paper we discuss how Causal Decision Theory should be modified to handle a class of problematic cases involving deterministic laws. Causal Decision Theory, as it stands, is problematically biased against your endorsing deterministic propositions (for example it tells you to deny Newtonian physics, regardless of how confident you are of its truth). Our response is that this is not a problem for Causal Decision Theory per se, but arises because of the standard method for assessing the truth of (...) certain counterfactuals. The truth of deterministic laws is `modally fragile' on the standard semantics for counterfactuals: if determinism is true and you were to do otherwise, the laws would be different. We provide two ways of avoiding this problem: 1) supplement the standard semantics for counterfactuals with impossible worlds, or 2) introduce rigid designators into the description of problematic decision situations. We argue that both of these approaches are well-motivated and can be readily incorporated into Lewisian Causal Decision Theory. (shrink)

Kant’s accounts of the Highest Good and the moral argument for God and immortality are central features of his philosophy. But both involve lingering puzzles. In this entry, we first explore what the Highest Good is for Kant and the role it plays in a complete account of ethical life. We then focus on whether the Highest Good involves individuals only, or whether it also connects with Kant’s doctrines about the moral progress of the species. In conclusion, we look into (...) three ways of articulating the moral argument for God and immorality that take our commitment to the Highest Good as their point of departure. (shrink)

Kant and Fichte developed the concept of a worldview as a way of reflecting on experience as a whole. But what does it mean to form a worldview? And what role did it play in the German Idealist tradition? This paper seeks to answer these questions through a detailed analysis of the form of a philosophical worldview and its historical portent, both of which remain unexplored in the literature. The dearth of attention is partially to blame on Kant’s desultory development (...) of it, as well as its place in Fichte’s understudied lectures on religion. In this paper, I first reconstruct Kant’s conception as the starting point and then trace it to Fichte who went on to evolve it further. Fichte endorses the basic conceptual shape pioneered by Kant, namely, a reflective process of positing an idea and then checking the coherence of necessary judgments relative to it. However, Fichte came to realize that its philosophical function needed expanding. Beyond recognizing the possibility for alternative worldviews, Fichte further fleshed out how worldview creation could lead to human flourishing. The common feature between both thinkers is that the formation of a worldview aims to turn philosophy into a life-orienting exercise. (shrink)

Is life a purely physical process? What is human nature? Which of our traits is essential to us? In this volume, Daniel McShea and Alex Rosenberg – a biologist and a philosopher, respectively – join forces to create a new gateway to the philosophy of biology; making the major issues accessible and relevant to biologists and philosophers alike. Exploring concepts such as supervenience; the controversies about genocentrism and genetic determinism; and the debate about major transitions central to contemporary thinking about (...) macroevolution; the authors lay out the broad terms in which we should assess the impact of biology on human capacities, social institutions and ethical values. (shrink)

The theological problems of the ethics of love for one’s neighbour are considered: the impossibility of literal fulfilment of the commandments and doubtfulness of their applicability in public and state life. One of the approaches to solving these problems is based on the principle of reverence for life, proposed by Albert Schweitzer and expressing, in his opinion, the essence of love for one’s neighbour. Subsequently, this principle was borrowed by Karl Barth, who gave it a theological justification. Although Barth’s texts (...) on reverence for life are well known, some fundamental issues are still insufficiently investigated. Why did Barth claim that reverence for life does not fully express the essence of Christian ethics? What is the fundamental difference between the Barth’s and Schweitzer’s approaches to Christian ethics? How was this difference of approaches manifested in the practical recommendations? The article provides a comparative analysis of Barth’s and Schweitzer’s ethics and answers the above questions. (shrink)

Pattern-based reasons are reasons for action deriving not from the features of our own actions, but from the features of the larger patterns of action in which we might be participating. These reasons might relate to the patterns of action that will actually be carried out, or they might relate to merely hypothetical patterns. In past work, I have argued that accepting merely hypothetical pattern-based reasons, together with a plausible account of how to weigh these reasons, can lead to disastrous (...) consequences. However, in this article, I argue that this problem is not limited to hypothetical pattern-based reasons: it turns out that there are analogous issues for reasons deriving from actual patterns. I then suggest that we can avoid this problem by adopting a different account of the weight of pattern-based reasons. (shrink)

This paper commences by making a case for a naturalized approach to knowledge‐first epistemology. On this basis it then goes on to describe and defend a naturalized, functionalist account of group knowledge. It then contrasts this with Jennifer Lackey's (2021) account of the epistemological status of groups.

This thesis develops a detailed account of the emergence of for all practical purposes continuous, quasi-classical world histories from the discontinuous, stochastic micro dynamics of Minimal Bohmian Mechanics (MBM). MBM is a non-relativistic quantum theory. It results from excising the guiding equation from standard Bohmian Mechanics (BM) and reinterpreting the quantum equilibrium hypothesis as a stochastic guidance law for the random actualization of configurations of Bohmian particles. On MBM, there are no continuous trajectories linking up individual configurations. Instead, individual configurations (...) are actualized independently of each other, carving out the decoherence-induced branching structure of the universal wave function. Yet, by contrast to the Everett interpretation, branches of the universal wave function are not actualized in parallel, i.e. all at the same time. Rather, world branches, on MBM, are actualized sequentially. -/- For an introduction to MBM, the transition from BM to MBM is described, and their empirical equivalence is established. I present the conditions under which MBM can be classified as a primitive ontology (PO) theory, regarded as crucial for the acceptance of a theory as Bohmian by many proponents of BM. While rendering MBM compatible with the PO approach, it must not fall prey to the problem of communication, arising from the two-space reading of BM. -/- The issue of temporal solipsism, identified by Bell as a serious problem for his “Everett (?) theory” – the historic predecessor of MBM – is discussed. I argue that Barbour’s time capsule approach does not provide a satisfactory solution. In particular, his adopting a more than minimal psychophysical parallelism between brain processes and experience of macroscopic change is argued to be reasonable in light of our current best neuroscience, yet problematic for theories relying solely on time capsules, understood as highly structured, individual, internally static configurations. As a solution, I introduce worlds, and world histories, as key concepts in providing a link between MBM’s micro dynamics and macroscopic phenomena. Worlds, other than time capsules, are coarse-grained regions in phase- or configuration space, defined as sets of possible micro states satisfying a relation of sufficient similarity from a macroscopic perspective, with respect to a given micro state. Hence, worlds may overlap. -/- I argue that worlds thus construed are a reasonable option for replacing the disjoint macro regions of phase space, resulting from the usual way of partitioning phase space in the standard framework of Boltzmannian statistical mechanics. This move solves the issue of discontinuous change of macro variables upon the micro state crossing the boundary between different macro regions. -/- I adapt this move for MBM’s discontinuous micro dynamics in configuration space. Issues revolving around the microscopic-macroscopic distinction, particle identity, impenetrability and haecceity in light of the desideratum of particle number conservation, etc., are discussed. I provide a detailed explanation of how overlapping worlds in MBM form world histories, thereby linking up macroscopically distinct worlds. Thus, the problem of temporal solipsism is resolved in a way that is compatible with a more than minimal psychophysical parallelism. (shrink)

Rosenberg applies current thinking in philosophy of science to neoclassical economics in order to assess its claims to scientific standing. Although philosophers have used history and psychology as paradigms for the examination of social science, there is good reason to believe that economics is a more appropriate subject for analysis: it is the most systematized and quantified of the social sciences; its practitioners have reached a measure of consensus on important aspects of their subject; and it encompasses a large number (...) of apparently law-like propositions. (shrink)

Building on Nozick's invariantism about objectivity, I propose to define scientific objectivity in terms of counterfactual independence. I will argue that such a counterfactual independence account is (a) able to overcome the decisive shortcomings of Nozick's original invariantism and (b) applicable to three paradigmatic kinds of scientific objectivity (that is, objectivity as replication, objectivity as robustness, and objectivity as Mertonian universalism).

The recent literature abounds with accounts of the semantics and pragmatics of so-called predicates of personal taste, i.e. predicates whose application is, in some sense or other, a subjective matter. Relativism and contextualism are the major types of theories. One crucial difference between these theories concerns how we should assess previous taste claims. Relativism predicts that we should assess them in the light of the taste standard governing the context of assessment. Contextualism predicts that we should assess them in the (...) light of the taste standard governing the context of use. We show in a range of experiments that neither prediction is correct. People have no clear preferences either way and which taste standard they choose in evaluating a previous taste claim crucially depends on whether they start out with a favorable attitude towards the object in question and then come to have an unfavorable attitude or vice versa. We suggest an account of the data in terms of what we call hybrid relativism. (shrink)

In the Critique of Pure Reason, Kant states that ideas give us the rule for organizing experience and ideals serve as archetypes or standards against which one can measure copies. Further, he states that ideas and ideals can be practical. Understanding how precisely these concepts should function presents a challenging and understudied philosophical puzzle. I offer a reconstruction of how ideas and ideals might be practical in order to uphold, to my mind, a conceptually worthy distinction. A practical idea, I (...) argue, is best understood as a reference to the categorical imperative (and its various formulations), which guides conduct directly as a rule. A practical ideal, by contrast, I think is a substrate that serves two functions: one that (a) helps us gauge moral deficiencies and another that (b) reveals the potential for moral improvement. In response to well-grounded sceptical concerns, I argue that ideals are indirectly practical in that they ground the possibility to recognise moral states of affairs and be moral in the first place. (shrink)

Doxastic dualists acknowledge both outright beliefs and credences, and they maintain that neither state is reducible to the other. This gives rise to the ‘Bayesian Challenge’, which is to explain why we need beliefs if we have credences already. On a popular dualist response to the Bayesian Challenge, we need beliefs to simplify our reasoning. I argue that this response fails because credences perform this simplifying function at least as well as beliefs do.

This book presents a comprehensive overview of what the criminal law would look like if organised around the principle that those who deserve punishment should receive punishment commensurate with, but no greater than, that which they deserve. Larry Alexander and Kimberly Kessler Ferzan argue that desert is a function of the actor's culpability, and that culpability is a function of the risks of harm to protected interests that the actor believes he is imposing and his reasons for acting in (...) the face of those risks. The authors deny that resultant harms, as well as unperceived risks, affect the actor's desert. They thus reject punishment for inadvertent negligence as well as for intentions or preparatory acts that are not risky. Alexander and Ferzan discuss the reasons for imposing risks that negate or mitigate culpability, the individuation of crimes, and omissions. (shrink)

The present article offers the first systematic scholarly analysis of ConKisses, i.e., a sub-class of conative animal calls (i.e., directives addressed to animals) that draw on speech kisses (i.e., sounds that are made with a kiss-like articulatory mechanism). The author examines the pragma-semantics, phonetics, and morphology of ConKisses in 50 languages within a prototype-driven approach to categorization and concludes the following: ConKisses comply with the features associated with the prototype of a conative animal call and may therefore be regarded as (...) the prototype’s canonical instantiations – in fact, they constitute the most canonical subset within the entire conative-animal-call category and thus a highly extra-systematic one from sentence-grammar’s perspective. (shrink)

This paper studies the notion of virtuality in the Bohr-Kramers-Slater theory of 1924. We situate the virtual entities of BKS within the tradition of the correspondence principle and the radiation theory of the Bohr model. We show how, in this context, virtual oscillators emerged as classical substitute radiators and were used to describe the otherwise elusive quantum transitions. They played an effective role in the quantum theory of radiation while remaining categorically distinct and ontologically separated from the quantum world of (...) the Bohr model. The notion of virtuality thus differs markedly from its counterpart in quantum mechanics or QFT. (shrink)

In 1937 Joan Robinson proposed that “when capitalism is rightly understood, the rate of interest will be set at zero and the major evils of capitalism will disappear”. A permanent zero rate would abolish capitalist profit except in limited cases, leaving nearly all output to be claimed by labour as wages. It would allow capital to be allocated on the basis of prospective social benefit rather than short-term profitability and a collateral basis that favours the wealthy. It would remove some (...) of the economic pressure to use resources unsustainably. So why not do this? I argue that the few available philosophical arguments for positive interest rates are unsatisfactory. Those who want a just and sustainable form of capitalism should target net zero for the interest rate. (shrink)

Modern health care relies extensively on the use of technologies forassessing and treating patients, so it is important to be certain that health care technologies (i.e., pharmaceuticals, devices, procedures, and organizational systems) perform their professed functions in an effective and safe manner. Philosophers of technology have developed methods to assign and evaluate the functions of technological products, the major elements of which are described in the ICE theory. This paper questions whether the standard of evidence advocated by the ICE theory (...) is adequate for ascribing and assessing technologies employed in health care. The paper proposes that the general problem with the standard of evidence embodied in the ICE theory (i.e.,testimony and evidence of mechanisms) is too permissive for assessing medical technologies, in that it does not take into account the relative benefit and harm of medical technologies in ensuring safe functional performance in patients. The paper illustrates how evidence-based medicine (EBM) has demonstrated the value of clinical research methods, including observational studies, randomized and non-randomized clinical trials, and formal techniques, such as meta-analysis, to measure therapeutic effectiveness. I argue, therefore, that evidence from clinical research studies should take precedence over the testimonial evidence and other types of non-clinical evidence, inproviding justification for health technologies. (shrink)

More than twenty-five years after the first signs of potential harm, the US remains locked in the grip of an opioid epidemic, with more Americans dying from overdoses than ever before.1 Diversion of prescription opioids plays an important role in opioid-related harms. Much of the scientific and public health focus on diversion has been on end-users, given how commonly non-medical prescription opioid use occurs, as well as the proportion of individuals who report that their source of non-medical opioids was friends (...) or family. However, diversion of opioids, as well as their rampant oversupply, can be discerned higher up the supply chain, including among wholesalers, pharmacies and rogue prescribers whose behavior may trigger well-described “flags” warranting further evaluation and action. (shrink)

Kennedy (Linguist Philos 30:1–45, 2007) forcefully proposes what is now a widely assumed semantics for absolute gradable adjectives. On this semantics, maximum standard adjectives like “straight” and “dry” ascribe a maximal degree of the underlying quantity. Meanwhile, minimum standard adjectives like “bent” and “wet” merely ascribe a non-zero, non-minimal degree of the underlying quantity. This theory clashes with the ordinary intuition that sentences like “The stick is straight” are frequently true while sentences like “The stick is bent” are frequently informative, (...) and fans of the indicated theory of absolute gradable adjectives appeal to loose talk in response. One goal of this paper is to show that all extant theories of loose talk are inconsistent with this response strategy. Another goal is to offer a revised version of Hoek’s (Philos Rev 127:151–196, 2018, in: Proceedings of the 22nd Amsterdam Colloquium, 2019) recent theory of loose talk that accommodates absolute gradable adjectives after all, while being defensible against a range of important concerns. (shrink)

In this paper I reconstruct and evaluate the validity of two versions of causal exclusion arguments within the theory of causal Bayes nets. I argue that supervenience relations formally behave like causal relations. If this is correct, then it turns out that both versions of the exclusion argument are valid when assuming the causal Markov condition and the causal minimality condition. I also investigate some consequences for the recent discussion of causal exclusion arguments in the light of an interventionist theory (...) of causation such as Woodward's (2003) and discuss a possible objection to my causal Bayes net reconstruction. (shrink)

Skeptical invariantists maintain that the expression “knows” invariably expresses an epistemically extremely demanding relation. This leads to an immediate challenge. The knowledge relation will hardly if ever be satisfied. Consequently, we can rarely if ever apply “knows” truly. The present paper assesses a prominent strategy for skeptical invariantists to respond to this challenge, which appeals to loose talk. Based on recent developments in the theory of loose talk, I argue that such appeals to loose talk fail. I go on to (...) present a closely related, more promising response strategy, which combines assumptions about the dynamics of pragmatic presuppostions from Blome-Tillmann (2014) with an appeal to conversational exculpature, a phenomenon recently studied by Hoek (2018, 2019). (shrink)

We examine a contribution L. Susan Stebbing made to the understanding of critical thinking and its relation to formal logic. Stebbing took expertise in formal logic to authorise logical intervention in public debate, specifically in assessing of the validity of everyday reasoning. She held, however, that formal logic is purely the study of logical form. Given the problems of ascertaining logical form in any particular instance, and that logical form does not always track informal validity, it is difficult to see (...) how she could justify her belief in logical interventionism. Her answer to this problem is the contribution we explore here. It involves the view that although the logician’s expertise is not sufficient to assess arguments made in everyday contexts on its own, it nevertheless plays a unique role in giving systematicity and direction to the critique of such arguments, in particular, in public debate. (shrink)

Elselijn Kingma argues that, in cases of mammalian placental pregnancy, the foster (roughly, the post-implantation embryo/foetus) is part of the gravida (the pregnant organism). But she does not consider the possibility of proper overlap. I show that this generates a number of serious problems for her argument and trace the oversight to a quite general issue within the literature on biological individuality. Doing so provides an opportunity to pull apart and clarify the relations between some importantly distinct questions concerning organismality (...) and organismic parthood, and to identify the implications that this has for those who want to draw on this literature when making metaphysical or mereological arguments. (shrink)

It is often presumed that anti-haecceitists are not committed to the identity of indiscernibles. However, I argue that anti-haecceitism implies a particularly strong thesis about when individuals are indiscernible which motivates the identity of indiscernibles. The argument is first sketched intuitively and then formalized in a system of higher-order modal logic.