This paper offers some comments on some metaphysical and epistemological claims of theological realism from the perspective of continental philosophy of religion, thereby taking the work of Soskice and Hick as paradigmatic for this kind of philosophical theology. The first comment regards the fact that theological realism considers religious and theological propositions as ways to depict or represent reality, and hence aims to bring them as much as possible in line with scientific ones. Some contemporary French philosophers criticize such a (...) representing, depicting knowledge of God, because it encapsulates the divine reality in mundane, specifically scientific categories. eventually, theological realism runs the risk of annihilating God’s radical transcendence and reducing religion to an alternative scientific theory. The second comment tries to explore whether one can affirm God’s reality from a practical perspective, as a postulate of reason, and whether such an approach could serve as a common ground for religious and secular ways of life in times of radical pluralism. This comment begins by investigating the regulative character of Kant’s idea of God as the highest idea of reason, which not only orientates our theoretical enquiries, but also our moral actions. Although this idea is only a heuristic fiction for theoretical reason, God’s existence has to be affirmed on practical grounds, as a symbolic reality that gives orientation to people’s lives. (shrink)

One of the most important features of contemporary Western societies is the rise of pluralism. Whereas theism used to serve as a common ground to discuss the truth-claims of religion, this approach seems to have lost much of its plausibility. What I want to argue in this article is that philosophy of religion as a critical intellectual activity still cannot do without the notion of religious truth, but also that it needs to redefine this truth in an existential way, i.e. (...) by interpreting religions as concrete ways of life. In this paper I develop this idea of religious truth by interpreting religions as traditions of wisdom, being a kind of truth that is able to orientate humans’ lives without being swayed by the issues of the day. In order to substantiate my interpretation I discuss three fundamental aspects of wisdom, viz. the fact that it rests on a broadened idea of reason, the way in which it discovers the universal in the particular, and the insight that all life-orientations are based on a principle that is subjectively adequate, but objectively inadequate. (shrink)

You don't say much about who you are teaching, or what subject you teach, but you do seem to see a need to justify what you are doing. Perhaps you're teaching underprivileged children, opening their minds to possibilities that might otherwise never have occurred to them. Or maybe you're teaching the children of affluent families and opening their eyes to the big moral issues they will face in life — like global poverty, and climate change. If you're doing something like (...) this, then stick with it. Giving money isn't the only way to make a difference. (shrink)

Book Symposium on The Territories of Science and Religion (University of Chicago Press, 2015). The author responds to review essays by John Heilbron, Stephen Gaukroger, and Yiftach Fehige.

Investigations into inter-level relations in computer science, biology and psychology call for an *empirical* turn in the philosophy of mind. Rather than concentrate on *a priori* discussions of inter-level relations between 'completed' sciences, a case is made for the actual study of the way inter-level relations grow out of the developing sciences. Thus, philosophical inquiries will be made more relevant to the sciences, and, more importantly, philosophical accounts of inter-level relations will be testable by confronting them with what really happens (...) in science. Hence, close observation of the ever-changing reduction relations in the developing sciences, and revision of philosophical positions based on these empirical observations, may, in the long run, be more conducive to an adequate understanding of inter-level relations than a traditional *a priori* approach. (shrink)

This paper looks at the critical reception of two central claims of Peter Auriol’s theory of cognition: the claim that the objects of cognition have an apparent or objective being that resists reduction to the real being of objects, and the claim that there may be natural intuitive cognitions of nonexistent objects. These claims earned Auriol the criticism of his fellow Franciscans, Walter Chatton and Adam Wodeham. According to them, the theory of apparent being was what had led Auriol (...) to allow for intuitive cognitions of nonexistents, but the intuitive cognition of nonexistents, at its turn, led to scepticism. Modern commentators have offered similar readings of Auriol, but this paper argues, first, that the apparent being provides no special reason to think there could be intuitions of nonexistent objects, and second, that despite his idiosyncratic account of intuition, Auriol was no more vulnerable to scepticism than his critics. (shrink)

Peter Ludlow shows how word meanings are much more dynamic than we might have supposed, and explores how they are modulated even during everyday conversation. The resulting view is radical, and has far-reaching consequences for our political and legal discourse, and for enduring puzzles in the foundations of semantics, epistemology, and logic.

One intuition we have about critical discourse is that we can distinguish between aesthetic and non-aesthetic assertions. When we say that a composition has a quick tempo and makes much use of staccato, we are remarking upon non-aesthetic features of the work. When we say of the same composition that it is vibrant, we are, in some sense, referring to an aesthetic feature. How should we draw the line between the aesthetic and non-aesthetic features of a work, and what import (...) does the distinction have? Frank Sibley has famously claimed that there is a way to draw a line between our aesthetic and non-aesthetic terms, and moreover that the existence of this distinction supports the existence of realistic aesthetic properties. The ensuing discussions of Sibley’s claim indicate that whatever is at stake here is of great significance to aesthetics. (shrink)

Peter Ludlow presents the first book on the philosophy of generative linguistics, including both Chomsky's government and binding theory and his minimalist ...

Some artificial intelligence systems can display algorithmic bias, i.e. they may produce outputs that unfairly discriminate against people based on their social identity. Much research on this topic focuses on algorithmic bias that disadvantages people based on their gender or racial identity. The related ethical problems are significant and well known. Algorithmic bias against other aspects of people’s social identity, for instance, their political orientation, remains largely unexplored. This paper argues that algorithmic bias against people’s political orientation can arise in (...) some of the same ways in which algorithmic gender and racial biases emerge. However, it differs importantly from them because there are strong social norms against gender and racial biases. This does not hold to the same extent for political biases. Political biases can thus more powerfully influence people, which increases the chances that these biases become embedded in algorithms and makes algorithmic political biases harder to detect and eradicate than gender and racial biases even though they all can produce similar harm. Since some algorithms can now also easily identify people’s political orientations against their will, these problems are exacerbated. Algorithmic political bias thus raises substantial and distinctive risks that the AI community should be aware of and examine. (shrink)

In the mid-seventeenth century a movement of self-styled experimental philosophers emerged in Britain. Originating in the discipline of natural philosophy amongst Fellows of the fledgling Royal Society of London, it soon spread to medicine and by the eighteenth century had impacted moral and political philosophy and even aesthetics. Early modern experimental philosophers gave epistemic priority to observation and experiment over theorising and speculation. They decried the use of hypotheses and system-building without recourse to experiment and, in some quarters, developed a (...) philosophy of experiment. The movement spread to the Netherlands and France in the early eighteenth century and later impacted Germany. Its important role in early modern philosophy was subsequently eclipsed by the widespread adoption of the Kantian historiography of modern philosophy, which emphasised the distinction between rationalism and empiricism and had no place for the historical phenomenon of early modern experimental philosophy. The re-emergence of interest in early modern experimental philosophy roughly coincided with the development of contemporary x-phi and there are some important similarities between the two. (shrink)

This paper presents a passage from Peter Singer on the pond analogy and comments on its content and use in the classroom, especially with respect to the development of the learners' argumentative skills.

The JSTOR Archive is a trusted digital repository providing for long-term preservation and access to leading academic journals and scholarly literature from around the world. The Archive is supported by libraries, scholarly societies, publishers, and foundations. It is an initiative of JSTOR, a not-for-profit organization with a mission to help the scholarly community take advantage of advances in technology. For more information regarding JSTOR, please contact [email protected]

Peter de Rivo (b. ca. 1420), argues for the existence of human freedom despite its alleged incompatibility with the truth of future contingent propositions. Rivo’s solution doesn’t follow the common medieval attempt to dissolve the alleged incompatibility, but claims that future contingent propositions aren’t determinately true. This approach troubled Rivo’s contemporaries, who thought it was incompatible with biblical infallibility, particularly the veracity of prophetic statements. Rivo tries to reconcile his solution with orthodox Christianity by grounding authentic prophetic statements in (...) God’s cognition of future events. In the end, Rivo’s attempted reconciliation fails because grounding the truth of prophetic statements in God cognition is incompatible either with his theological assumptions or his conception of free action. (shrink)

Reading Peter Sloterdijk's concept of spheres Bubbles : Spheres 1 - Irfan Ajvazi .

Péter Pázmány taught philosophy at the Jesuit university of Graz, end of 16th century. This analyzes his interpretation of Aristotelian psychology.

The subject matter of this essay is Peter of John Olivi’s (ca.1248–98) conception of reason from the viewpoint of human action.

Peter H. Hare (1935-2008) developed informed, original views about the proposition: some published (Hare 1969 and Hare-Madden 1975); some expressed in conversations at scores of meetings of the Buffalo Logic Colloquium and at dinners following. The published views were expository and critical responses to publications by Curt J. Ducasse (1881-1969), a well-known presence in American logic, a founder of the Association for Symbolic Logic and its President for one term.1Hare was already prominent in the University of Buffalo's Philosophy Department (...) in 1969 when I was appointed. Soon after, he became Chair. As his Associate Chair from 1971to 1975, I spent many hours with him in Buffalo and on professional trips .. (shrink)

What sort of epistemic positions are compatible with inquiries driven by interrogative attitudes like wonder and puzzlement? The ignorance norm provides a partial answer: interrogative attitudes directed at a particular question are never compatible with knowledge of the question’s answer. But some are tempted to think that interrogative attitudes are incompatible with weaker positions like belief as well. This paper defends that the ignorance norm is exhaustive. All epistemic positions weaker than knowledge directed at the answer to a question are (...) compatible with having an interrogative attitude towards that question. We offer two arguments for this conclusion. The first is based on considerations about the role of hedging in inquiry. The second is conditional on considerations related to the aim of inquiry as a goal-directed activity. (shrink)

Peter Singer’s famous and influential article is criticised in three main ways that can be considered libertarian, although many non-libertarians could also accept them: 1) the relevant moral principle is more plausibly about upholding an implicit contract rather than globalising a moral intuition that had local evolutionary origins; 2) its principle of the immorality of not stopping bad things is paradoxical, as it overlooks the converse aspect that would be the positive morality of not starting bad things and also (...) thereby conceptually eliminates innocence; and 3) free markets—especially international free trade—have been cogently explained to be the real solution to the global “major evils” of “poverty” and “pollution”, while “overpopulation” does not exist in free-market frameworks; hence charity is a relatively minor alleviant to the problem of insufficiently free markets. There are also various subsidiary arguments throughout. (shrink)

Although the relationship of part to whole is one of the most fundamental there is, this is the first full-length study of this key concept. Showing that mereology, or the formal theory of part and whole, is essential to ontology, Simons surveys and critiques previous theories--especially the standard extensional view--and proposes a new account that encompasses both temporal and modal considerations. Simons's revised theory not only allows him to offer fresh solutions to long-standing problems, but also has far-reaching consequences for (...) our understanding of a host of classical philosophical concepts. (shrink)

According to Peter Klein, foundationalism fails because it allows a vicious form of arbitrariness. The present article critically discusses his concept of arbitrariness. It argues that the condition Klein takes to be necessary and sufficient for an epistemic item to be arbitrary is neither necessary nor sufficient. It also argues that Klein's concept of arbitrariness is not a concept of something that is obviously vicious. Even if Klein succeeds in establishing that foundationalism allows what he regards as arbitrariness, this (...) does not yet mean that he confronts it with a sound objection. (shrink)

I defend the following version of the ought-implies-can principle: (OIC) by virtue of conceptual necessity, an agent at a given time has an (objective, pro tanto) obligation to do only what the agent at that time has the ability and opportunity to do. In short, obligations correspond to ability plus opportunity. My argument has three premises: (1) obligations correspond to reasons for action; (2) reasons for action correspond to potential actions; (3) potential actions correspond to ability plus opportunity. In the (...) bulk of the paper I address six objections to OIC: three objections based on putative counterexamples, and three objections based on arguments to the effect that OIC conflicts with the is/ought thesis, the possibility of hard determinism, and the denial of the Principle of Alternate Possibilities. (shrink)

Peter Vaudreuil Lamarque is one of the most prominent members of the golden generation of analytic aestheticians born immediately after the Second World War. If, to follow Archilochus via Isaiah Berlin (via Peter Kivy), “a fox knows many things, but a hedgehog one important thing,” Lamarque is perhaps the biggest hedgehog of his generation. Lamarque’s “important thing” is not a single idea but, as he would put it, the practice that we call “literature.” His distinctive achievement has been (...) to integrate a number of different ideas into a systematic philosophical account of literature, which also sheds light on art more generally. (shrink)

Martine Nida-Rümelin (1996) argues that color science indicates behaviorally undetectable spectrum inversion is possible and raises this possibility as an objection to functionalist accounts of visual states of color. I show that her argument does not rest solely on color science, but also on a philosophically controversial assumption, namely, that visual states of color supervene on physiological states. However, this assumption, on the part of philosophers or vision scientists, has the effect of simply ruling out certain versions of functionalism. While (...) Nida-Rümelin is quite right to search for empirical tests for claims about the nature of visual states, philosophical issues remain pivotal in determining the correctness of these claims. (shrink)

Demographic diversity might often be present in a group without group members noticing it. What are the epistemic effects if they do? Several philosophers and social scientists have recently argued that when individuals detect demographic diversity in their group, this can result in epistemic benefits even if that diversity doesn’t involve cognitive differences. Here I critically discuss research advocating this proposal, introduce a distinction between two types of detection of demographic diversity, and apply this distinction to the theorizing on diversity (...) in science. Focusing on ‘invisible’ diversity, I argue that in one common kind of group in science, if group members have full insight into their group’s diversity, this is likely to create epistemic costs. These costs can be avoided and epistemic benefits gained if group members only partly detect their group’s diversity. There is thus an epistemic reason for context-dependent limitations on scientists’ insight into the diversity of their group. (shrink)

This is the full version of the Delphi Report on critical thinking and critical thinking instruction at the post-secondary level.

Jennifer Lackey ('Testimonial Knowledge and Transmission' The Philosophical Quarterly 1999) and Peter Graham ('Conveying Information, Synthese 2000, 'Transferring Knowledge' Nous 2000) offered counterexamples to show that a hearer can acquire knowledge that P from a speaker who asserts that P, but the speaker does not know that P. These examples suggest testimony can generate knowledge. The showpiece of Lackey's examples is the Schoolteacher case. This paper shows that Lackey's case does not undermine the orthodox view that testimony cannot generate (...) knowledge. This paper explains why Lackey's arguments to the contrary are ineffective for they misunderstand the intuitive rationale for the view that testimony cannot generate knowledge. This paper then elaborates on a version of the case from Graham's paper 'Conveying Information' (the Fossil case) that effectively shows that testimony can generate knowledge. This paper then provides a deeper informative explanation for how it is that testimony transfers knowledge, and why there should be cases where testimony generates knowledge. (shrink)

Review of Peter Godfrey-Smith's Philosophy of Biology.

We often speak as if there are merely possible people—for example, when we make such claims as that most possible people are never going to be born. Yet most metaphysicians deny that anything is both possibly a person and never born. Since our unreflective talk of merely possible people serves to draw non-trivial distinctions, these metaphysicians owe us some paraphrase by which we can draw those distinctions without committing ourselves to there being merely possible people. We show that such paraphrases (...) are unavailable if we limit ourselves to the expressive resources of even highly infinitary first-order modal languages. We then argue that such paraphrases are available in higher-order modal languages only given certain strong assumptions concerning the metaphysics of properties. We then consider alternative paraphrase strategies, and argue that none of them are tenable. If talk of merely possible people cannot be paraphrased, then it must be taken at face value, in which case it is necessary what individuals there are. Therefore, if it is contingent what individuals there are, then the demands of paraphrase place tight constraints on the metaphysics of properties: either (i) it is necessary what properties there are, or (ii) necessarily equivalent properties are identical, and having properties does not entail even possibly being anything at all. (shrink)

This reissue of his collection of early essays, Logico-Linguistic Papers, is published with a brand new introduction by Professor Strawson but, apart from minor ...

Book review of Peter Boghossian, A Manual for Creating Atheists, Pitchstone Publishing, 2013, 280pp., $14.95, ISBN 978-1939578099 (paperback). Foreword by Michael Shermer. Science, Religion & Culture 1:2 (August 2014), 93-96 .

We present a formal semantics for epistemic logic, capturing the notion of knowability relative to information (KRI). Like Dretske, we move from the platitude that what an agent can know depends on her (empirical) information. We treat operators of the form K_AB (‘B is knowable on the basis of information A’) as variably strict quantifiers over worlds with a topic- or aboutness- preservation constraint. Variable strictness models the non-monotonicity of knowledge acquisition while allowing knowledge to be intrinsically stable. Aboutness-preservation models (...) the topic-sensitivity of information, allowing us to invalidate controversial forms of epistemic closure while validating less controversial ones. Thus, unlike the standard modal framework for epistemic logic, KRI accommodates plausible approaches to the Kripke-Harman dogmatism paradox, which bear on non-monotonicity, or on topic-sensitivity. KRI also strikes a better balance between agent idealization and a non-trivial logic of knowledge ascriptions. (shrink)

This paper is a study of higher-order contingentism – the view, roughly, that it is contingent what properties and propositions there are. We explore the motivations for this view and various ways in which it might be developed, synthesizing and expanding on work by Kit Fine, Robert Stalnaker, and Timothy Williamson. Special attention is paid to the question of whether the view makes sense by its own lights, or whether articulating the view requires drawing distinctions among possibilities that, according to (...) the view itself, do not exist to be drawn. The paper begins with a non-technical exposition of the main ideas and technical results, which can be read on its own. This exposition is followed by a formal investigation of higher-order contingentism, in which the tools of variable-domain intensional model theory are used to articulate various versions of the view, understood as theories formulated in a higher-order modal language. Our overall assessment is mixed: higher-order contingentism can be fleshed out into an elegant systematic theory, but perhaps only at the cost of abandoning some of its original motivations. (shrink)

We argue that recent empirical findings and theoretical models shed new light on the nature of attention. According to the resulting amplification view, attentional phenomena can be unified at the neural level as the consequence of the amplification of certain input signals of attention-independent perceptual computations. This way of identifying the core realizer of attention evades standard criticisms often raised against sub-personal accounts of attention. Moreover, this approach also reframes our thinking about the function of attention by shifting the focus (...) from the function of selection to the function of amplification. (shrink)

The term “Gettier Case” is a technical term frequently applied to a wide array of thought experiments in contemporary epistemology. What do these cases have in common? It is said that they all involve a justified true belief which, intuitively, is not knowledge, due to a form of luck called “Gettiering.” While this very broad characterization suffices for some purposes, it masks radical diversity. We argue that the extent of this diversity merits abandoning the notion of a “Gettier case” in (...) a favour of more finely grained terminology. We propose such terminology, and use it to effectively sort the myriad Gettier cases from the theoretical literature in a way that charts deep fault lines in ordinary judgments about knowledge. (shrink)

Abū Bakr al-Rāzī (d. 925), a doctor known not only for his medical expertise but also for his notorious philosophical ideas, has not yet been given due credit for his ideas on the ethical treatment of animals. This paper explores the philosophical and theological background of his remarks on animal welfare, arguing that al-Rāzī did not (as has been claimed) see animals as possessing rational, intellectual souls like those of humans. It is also argued that al-Rāzī probably did not, as (...) is usually believed, endorse human-animal transmigration. His ethical stance does not in any case depend on shared characteristics of humans and animals, but rather on the need to imitate God’s providence and mercy. (shrink)

In this history of the development of ideas of honor in Western philosophy, Peter Olsthoorn examines what honor is, how its meaning has changed, and whether it can still be of use. Political and moral philosophers from Cicero to John Stuart Mill thought that a sense of honor and concern for our reputation could help us to determine the proper thing to do, and just as important, provide us with the much-needed motive to do it. Today, outside of the (...) military and some other pockets of resistance, the notion of honor has become seriously out of date, while the term itself has almost disappeared from our moral language. Most of us think that people ought to do what is right based on a love for justice rather than from a concern with how we are perceived by others. Wide-ranging and accessible, the book explores the role of honor in not only philosophy but also literature and war to make the case that honor can still play an important role in contemporary life. (shrink)

An action-oriented perspective changes the role of an individual from a passive observer to an actively engaged agent interacting in a closed loop with the world as well as with others. Cognition exists to serve action within a landscape that contains both. This chapter surveys this landscape and addresses the status of the pragmatic turn. Its potential influence on science and the study of cognition are considered (including perception, social cognition, social interaction, sensorimotor entrainment, and language acquisition) and its impact (...) on how neuroscience is studied is also investigated (with the notion that brains do not passively build models, but instead support the guidance of action). A review of its implications in robotics and engineering includes a discussion of the application of enactive control principles to couple action and perception in robotics as well as the conceptualization of system design in a more holistic, less modular manner. Practical applications that can impact the human condition are reviewed (e.g., educational applications, treatment possibilities for developmental and psychopathological disorders, the development of neural prostheses). All of this foreshadows the potential societal implications of the pragmatic turn. The chapter concludes that an action-oriented approach emphasizes a continuum of interaction between technical aspects of cognitive systems and robotics, biology, psychology, the social sciences, and the humanities, where the individual is part of a grounded cultural system. (shrink)

A novel argument is offered against the following popular condition on inferential knowledge: a person inferentially knows a conclusion only if they know each of the claims from which they essentially inferred that conclusion. The epistemology of conditional proof reveals that we sometimes come to know conditionals by inferring them from assumptions rather than beliefs. Since knowledge requires belief, cases of knowing via conditional proof refute the popular knowledge from knowledge condition. It also suggests more radical cases against the condition (...) and it brings to light the under-recognized category of inferential basic knowledge. (shrink)

This is a review of Action Semantics, by Peter D. Mosses, Cambridge Tracts in Theoretical Computer Science 26, Cambridge University Press, 1992.

According to the structured theory of propositions, if two sentences express the same proposition, then they have the same syntactic structure, with corresponding syntactic constituents expressing the same entities. A number of philosophers have recently focused attention on a powerful argument against this theory, based on a result by Bertrand Russell, which shows that the theory of structured propositions is inconsistent in higher order-logic. This paper explores a response to this argument, which involves restricting the scope of the claim that (...) propositions are structured, so that it does not hold for all propositions whatsoever, but only for those which are expressible using closed sentences of a given formal language. We call this restricted principle Closed Structure, and show that it is consistent in classical higher-order logic. As a schematic principle, the strength of Closed Structure is dependent on the chosen language. For its consistency to be philosophically significant, it also needs to be consistent in every extension of the language which the theorist of structured propositions is apt to accept. But, we go on to show, Closed Structure is in fact inconsistent in a very natural extension of the standard language of higher-order logic, which adds resources for plural talk of propositions. We conclude that this particular strategy of restricting the scope of the claim that propositions are structured is not a compelling response to the argument based on Russell’s result, though we note that for some applications, for instance to propositional attitudes, a restricted thesis in the vicinity may hold some promise. (shrink)

This paper argues that early modern experimental philosophy emerged as the dominant member of a pair of methods in natural philosophy, the speculative versus the experimental, and that this pairing derives from an overarching distinction between speculative and operative philosophy that can be ultimately traced back to Aristotle. The paper examines the traditional classification of natural philosophy as a speculative discipline from the Stagirite to the seventeenth century; medieval and early modern attempts to articulate a scientia experimentalis; and the tensions (...) in the classification of natural magic and mechanics that led to the introduction of an operative part of natural philosophy in the writings of Francis Bacon and John Johnston. The paper concludes with a summary of the salient discontinuities between the experimental/speculative distinction of the mid-seventeenth century and its predecessors and a statement of the developments that led to the ascendance of experimental philosophy from the 1660s. (shrink)

Inferentialists about scientific representation hold that an apparatus’s representing a target system consists in the apparatus allowing “surrogative inferences” about the target. I argue that a serious problem for inferentialism arises from the fact that many scientific theories and models contain internal inconsistencies. Inferentialism, left unamended, implies that inconsistent scientific models have unlimited representational power, since an inconsistency permits any conclusion to be inferred. I consider a number of ways that inferentialists can respond to this challenge before suggesting my own (...) solution. I develop an analogy to exploitable glitches in a game. Even though inconsistent representational apparatuses may in some sense allow for contradictions to be generated within them, doing so violates the intended function of the apparatus’s parts and hence violates representational “gameplay.”. (shrink)

Accounts of the concepts of function and dysfunction have not adequately explained what factors determine the line between low‐normal function and dysfunction. I call the challenge of doing so the line‐drawing problem. Previous approaches emphasize facts involving the action of natural selection (Wakefield 1992a, 1999a, 1999b) or the statistical distribution of levels of functioning in the current population (Boorse 1977, 1997). I point out limitations of these two approaches and present a solution to the line‐drawing problem that builds on the (...) second one. (shrink)

Epistemic two-dimensional semantics is a theory in the philosophy of language that provides an account of meaning which is sensitive to the distinction between necessity and apriority. While this theory is usually presented in an informal manner, I take some steps in formalizing it in this paper. To do so, I define a semantics for a propositional modal logic with operators for the modalities of necessity, actuality, and apriority that captures the relevant ideas of epistemic two-dimensional semantics. I also describe (...) some properties of the logic that are interesting from a philosophical perspective, and apply it to the so-called nesting problem. (shrink)