The prospect of cognitive enhancement well beyond current human capacities raises worries that the fundamental equality in moral status of human beings could be undermined. Cognitive enhancement might create beings with moral status higher than persons. Yet, there is an expressibility problem of spelling out what the higher threshold in cognitive capacity would be like. Nicholas Agar has put forward the bold claim that we can show by means of inductive reasoning that indefinite cognitive enhancement will probably mark a difference (...) in moral status. The hope is that induction can determine the plausibility of post‐personhood existence in the absence of an account of what the higher status would be like. In this article, we argue that Agar's argument fails and, more generally, that inductive reasoning has little bearing on assessing the likelihood of post‐personhood in the absence of an account of higher status. We conclude that induction cannot bypass the expressibility problem about post‐persons. (shrink)

The domain of modal epistemology tackles questions regarding the sources of our knowledge of modalities (i.e., possibility and necessity), and what justifies our beliefs about modalities. Virtue epistemology, on the other hand, aims at explaining epistemological concepts like knowledge and justification in terms of properties of the epistemic subject, i.e., cognitive capacities and character traits. While there is extensive literature on both domains, almost all attempts to analyze modal knowledge elude the importance of the agent’s intellectual character traits in justifying (...) beliefs about what is possible or necessary. My aim in this paper is to argue that intellectual traits of character, like thoroughness, autonomy, epistemic courage and open-mindedness, are relevant to modal epistemology. (shrink)

Gettier cases are used to show that having a justified true belief is not sufficient for knowledge. They are cases in which an epistemic agent has a belief that is both justified and true, but intuitively cannot be taken to count as knowledge. Modal epistemology is the field of philosophy that tackles questions regarding the sources of our knowledge of modalities (possibility and necessity) and what offers justification for beliefs about what is possible or necessary. Part of the tradition in (...) modal epistemology is to consider conceivability as a guide to metaphysical possibility. As such, if an agent can conceive that P, then the agent is justified to believe that P is metaphysically possible. In this paper I will discuss the possibility of constructing Gettier cases for a tripartite, conceivability-based, definition of modal knowledge. (shrink)

1) We will begin by offering a short introduction to Epistemic Logic and presenting Fitch’s paradox in an epistemic‑modal logic. (2) Then, we will proceed to presenting three Epistemic Temporal logical frameworks creat‑ ed by Hoshi (2009) : TPAL (Temporal Public Announcement Logic), TAPAL (Temporal Arbitrary Public Announcement Logic) and TPAL+P ! (Temporal Public Announcement Logic with Labeled Past Operators). We will show how Hoshi stated the Verificationist Thesis in the language of TAPAL and analyze his argument on why this (...) version of it is immune from paradox. (3) Edgington (1985) offered an interpretation of the Verificationist Thesis that blocks Fitch’s paradox and we will propose a way to formulate it in a TAPAL‑based lan‑ guage. The language we will use is a combination of TAPAL and TPAL+P ! with an Indefinite (Unlabeled) Past Operator (TAPAL+P !+P). Using indexed satisfi‑ ability relations (as introduced in (Wang 2010 ; 2011)) we will offer a prospec ‑ tive semantics for this language. We will investigate whether the tentative re‑ formulation of Edgington’s Verificationist Thesis in TAPAL+P !+P is free from paradox and adequate to Edgington’s ideas on how „all truths are knowable“ should be interpreted. (shrink)

McCall (1984) offered a semantics of counterfactual conditionals based on “real possible worlds” that avoids using the vague notion of similarity between possible worlds. I will propose an interpretation of McCall’s counterfactuals in a formal framework based on Baltag-Moss-Solecki events and protocols. Moreover, I will argue that using this interpretation one can avoid an objection raised by Otte (1987).