This essay provides a novel account of iterated epistemic states. The essay argues that states of epistemic determinacy might be secured by countenancing iterated epistemic states on the model of fixed points in the modal $\mu$-calculus. Despite the epistemic indeterminacy witnessed by the invalidation of modal axiom 4 in the sorites paradox -- i.e. the KK principle: $\square$$\phi$ $\rightarrow$ $\square$$\square$$\phi$ -- a hyperintensional epistemic $\mu$-automaton permits fixed points to entrain a principled means by which to iterate epistemic states and (...) account thereby for necessary conditions on self-knowledge. The hyperintensional epistemic $\mu$-calculus is applied to the iteration of the epistemic states of a single agent instead of the common knowledge of a group of agents, and is thus a novel contribution to the literature. (shrink)

The Surprise Exam Paradox is well-known: a teacher announces that there will be a surprise exam the following week; the students argue by an intuitively sound reasoning that this is impossible; and yet they can be surprised by the teacher. We suggest that a solution can be found scattered in the literature, in part anticipated by Wright and Sudbury, informally developed by Sorensen, and more recently discussed, and dismissed, by Williamson. In a nutshell, the solution consists in realising that the (...) teacher's announcement is a blindspot that can only be known if the week is at least 2 days long. Along the way, we criticise Williamson's own treatment of the paradox. In Williamson's view, the Surprise is similar to the Paradox of the Glimpse and, because of their similarities, both these paradoxes ought to receive a uniform treatment-one that involves locating an illicit application of the KK Principle. We argue that there's no deep analogy between the Surprise and the Glimpse and that, even if there were, the Surprise reasoning reaches a paradoxical conclusion before the KK Principle is used. Rather, in both the Surprise and the Glimpse, the blame should be put on other epistemic principles-respectively, a knowledge retention and a margin for error principle. (shrink)

KK is the thesis that if you can know p, you can know that you can know p. Though it’s unpopular, a flurry of considerations has recently emerged in its favour. Here we add fuel to the fire: standard resources allow us to show that any failure of KK will lead to the knowability and assertability of abominable indicative conditionals of the form ‘If I don’t know it, p’. Such conditionals are manifestly not assertable—a fact that KK defenders can easily (...) explain. I survey a variety of KK-denying responses and find them wanting. Those who object to the knowability of such conditionals must either deny the possibility of harmony between knowledge and belief, or deny well-supported connections between conditional and unconditional attitudes. Meanwhile, those who grant knowability owe us an explanation of such conditionals’ unassertability—yet no successful explanations are on offer. Upshot: we have new evidence for KK. (shrink)

Williamson (2000) argues that the KK principle is inconsistent with knowledge of margin for error in cases of inexact perceptual observations. This paper argues, primarily by analogy to a different scenario, that Williamson’s argument is fallacious. Margin for error principles describe the agent’s knowledge as a result of an inexact perceptual event, not the agent’s knowledge state in general. Therefore, epistemic agents can use their knowledge of margin for error at most once after a perceptual event, but not more. (...) This insight blocks a crucial step in Williamson’s original argument. Along the way, the value of standard epistemic logic for analyzing margin for error reasoning is challenged. (shrink)

Cases of inexact observations have been used extensively in the recent literature on higher-order evidence and higher-order knowledge. I argue that the received understanding of inexact observations is mistaken. Although it is convenient to assume that such cases can be modeled statically, they should be analyzed as dynamic cases that involve change of knowledge. Consequently, the underlying logic should be dynamic epistemic logic, not its static counterpart. When reasoning about inexact knowledge, it is easy to confuse the initial situation, the (...) observation process, and the result of the observation; I analyze the three separately. This dynamic approach has far reaching implications: Williamson’s influential argument against the KK principle loses its force, and new insights can be gained regarding synchronic and diachronic introspection principles. (shrink)

kk states that knowing entails knowing that one knows, and K¬K states that not knowing entails knowing that one does not know. In light of the arguments against kk and K¬K⁠, one might consider modally qualified variants of those principles. According to weak kk, knowing entails the possibility of knowing that one knows. And according to weakK¬K⁠, not knowing entails the possibility of knowing that one does not know. This paper shows that weak kk and weakK¬K are much stronger than (...) they initially appear. Jointly, they entail kk and K¬K⁠. And they are susceptible to variants of the standard arguments against kk and K¬K⁠. This has interesting implications for the debate on positive introspection and for deeper issues concerning the structure and limits of knowability. (shrink)

A puzzle of an unmarked clock, used by Timothy Williamson to question the KK principle, was separately adapted by David Christensen and Adam Elga to critique a principle of Rational Reflection. Both authors, we argue, flout the received relationship between ideal agency and the classical distinction between systematic and random error, namely that ideal agents are subject only to the latter. As a result, these criticisms miss their mark.

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable (...) propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develops a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between Elohim's hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for two-dimensional hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. Elohim invents a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

What epistemic defect needs to show up in a skeptical scenario if it is to effectively target some belief? According to the false belief account, the targeted belief must be false in the skeptical scenario. According to the competing ignorance account, the targeted belief must fall short of being knowledge in the skeptical scenario. This paper argues for two claims. The first is that, contrary to what is often assumed, the ignorance account is superior to the false belief account. The (...) second is that the ignorance account ultimately hobbles the skeptic. It does so for two reasons. First, when this account is joined with either a closure-based skeptical argument or a skeptical underdetermination argument, the best the skeptic can do is show that we don’t know that we know. And second, the ignorance account directly implies the maligned KK principle. (shrink)

This essay defends a principle that promises to help illuminate the nature of reflective knowledge. The principle in question belongs to a broader category called knows-knows principles, or KK principles for short. Such principles say that if you know some proposition, then you're in a position to know that you know it.KK principles were prominent among various historical philosophers and can be fruitfully integrated with many views in contemporary epistemology and beyond—and yet almost every contemporary analytic epistemologist thinks (...) that they are false.Regarding their historical pedigree: they've been endorsed by Plato, Aristotle, Augustine, Averroes, Aquinas, Spinoza, and Schopenhauer, among others.1Regarding... (shrink)

The knowledge account of assertion - roughly: one should not assert what one does not know - can explain a variety of Moorean conjunctions, a fact often cited as evidence in its favor. David Sosa ("Dubious Assertions," Phil Studies, 2009) has objected that the account does not generalize satisfactorily, since it cannot explain the infelicity of certain iterated conjunctions without appealing to the controversial "KK" principle. This essay responds by showing how the knowledge account can handle such conjunctions without (...) use of the KK principle. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 7 provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. Chapters 8-12 provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter 8 examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of Ω-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 12 avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

According to the seventh-century C.E. philosopher Kumārila Bhat.t.a, epistemic agents are warranted in taking their world-presenting experiences as veridical, if they lack defeaters. For him, these experiences are defeasibly sources of knowledge without the agent reflecting on their content or investigating their causal origins. This position is known as svatah prāmāṇya in Sanskrit (henceforth the SP principle). -/- As explicated by the eleventh-century commentator, Pārthasārathi Misŕa, this position entails that epistemic agents know things without simultaneously knowing that they know (...) them, or being in a position to know that they know. In contrast, some contemporary Anglo-analytic philosophers argue for the “knows-knows principle” (KK principle), in which if someone knows that p, then that person also knows that they know that p, or that person is in a position to know that they know p. Despite some apparent similarities, the SP principle is not a version of the KK principle, nor would Pārthasārathi’s Kumārila have held the KK principle. -/- Recently, Daniel Immerman (2018) has argued that the SP principle is a position-to-know version of the “knows-knows principle” (KK-pos principle). By examining Kumārila’s response to his Buddhist opponent, who challenges the veracity of Vedic testimony, we will see that Kumārila understands higher-order knowing as involving an independent check on one’s epistemic processes, through an epistemic instrument known as postulation (arthāpatti). This precludes him from holding the KK-pos principle. (shrink)

This paper argues for several related theses. First, the epistemological position that knowledge requires safe belief can be motivated by views in the philosophy of science, according to which good explanations show that their explananda are robust. This motivation goes via the idea—recently defended on both conceptual and empirical grounds—that knowledge attributions play a crucial role in explaining successful action. Second, motivating the safety requirement in this way creates a choice point—depending on how we understand robustness, we'll end up with (...) different conceptions of safety in epistemology. Lastly, and most controversially, there's an attractive choice at this point that will not vindicate some of the most influential applications of the safety-theoretic framework in epistemology, e.g., Williamson's arguments against the KK principle, and luminosity. (shrink)

The purpose of this paper is to challenge some widespread assumptions about the role of the modal axiom 4 in a theory of vagueness. In the context of vagueness, axiom 4 usually appears as the principle ‘If it is clear (determinate, definite) that A, then it is clear (determinate, definite) that it is clear (determinate, definite) that A’, or, more formally, CA → CCA. We show how in the debate over axiom 4 two different notions of clarity are in (...) play (Williamson-style "luminosity" or self-revealing clarity and concealeable clarity) and what their respective functions are in accounts of higher-order vagueness. On this basis, we argue first that, contrary to common opinion, higher-order vagueness and S4 are perfectly compatible. This is in response to claims like that by Williamson that, if vagueness is defined with the help of a clarity operator that obeys axiom 4, higher-order vagueness disappears. Second, we argue that, contrary to common opinion, (i) bivalence-preservers (e.g. epistemicists) can without contradiction condone axiom 4 (by adopting what elsewhere we call columnar higher-order vagueness), and (ii) bivalence-discarders (e.g. open-texture theorists, supervaluationists) can without contradiction reject axiom 4. Third, we rebut a number of arguments that have been produced by opponents of axiom 4, in particular those by Williamson. (The paper is pitched towards graduate students with basic knowledge of modal logic.). (shrink)

Before the semester begins, a teacher tells his students: “There will be exactly one exam this semester. It will not take place on a day that is an immediate-successor of a day that you are currently in a position to know is not the exam-day”. Both the students and the teacher know – it is common knowledge – that no exam can be given on the first day of the semester. Since the teacher is truthful and reliable, it seems that (...) the students can know that what he says is true. However, in that case, assuming the students can know that they know whatever it is they know (KK) and assuming their knowledge is closed under entailment (closure), the students can reason from what they know to the conclusion that no exam will take place during the semester. This conclusion contradicts what they supposedly know: that there will be an exam. This puzzle, we argue, gives rise to a new consideration for the rejection of KK. We discuss unique features of the argument, especially in comparison to Timothy Williamson's rejection of KK in light of other versions of the surprise exam paradox. (shrink)

In a recent paper, Murali Ramachandran endorses a principle that he thinks can help us solve the surprise test puzzle and cause problems for a Williamsonian argument against KK principles. But in this paper I argue that his principle is false and as a result it cannot do either.

In this paper, I argue that knowledge is dimly luminous. That is: if a person knows that p, she knows how she knows that p. The argument depends on a safety-based account of propositional knowledge, which is salient in Williamson’s critique of the ‘KK’ principle. I combine that account with non-intellectualism about knowledge-how – according to which, if a person knows how to φ, then in nearly all (if not all) nearby possible worlds in which she φes in the (...) same way as in the actual world, she only φes successfully. Thus, the possession of first-order propositional knowledge implies secondorder practical knowledge, and this can be iterated. Because of the assumed nonintellectualism about know-how, dim luminosity does not imply bright luminosity about knowledge, which is expressed by the traditional KK principle. I conclude by considering some potential counterexamples to the view that knowledge is dimly luminous. (shrink)

In an earlier paper, I presented a novel objection to closure-based skeptical arguments. There I argued that the best account of what makes skeptical scenarios effective cripples the closure-based skeptical arguments that use those scenarios. On behalf of the skeptic, Christopher Buford and Anthony Brueckner have replied to my objection. Here I review my original argument, criticize their replies, and highlight two important issues for further investigation.

You omega know something when you know it, and know that you know it, and know that you know that you know it, and so on. This paper first argues that omega knowledge matters, in the sense that it is required for rational assertion, action, inquiry, and belief. The paper argues that existing accounts of omega knowledge face major challenges. One account is skeptical, claiming that we have no omega knowledge of any ordinary claims about the world. Another account embraces (...) the KK thesis, and identifies knowledge with omega knowledge. This position faces counterexamples, and struggles to make sense of inexact knowledge. The paper then develops a new account of knowledge, by proposing the principle of Reflective Luminosity: if you know that you know something, then you omega know it. I argue that Reflective Luminosity allows for omega knowledge while avoiding the problems for KK. (shrink)

Knows-knows principles in epistemology say that if you know some proposition, then you are in a position to know that you know it. This paper examines the viability of analogous principles in ethics, which I call ought-ought principles. Several epistemologists have recently offered new defences of KK principles and of other related principles, and there has recently been an increased interest in examining analogies between ethics and epistemology, and so it seems natural to examine whether defences of KK and related (...) principles carry over to OO principles. In this paper, I introduce two OO principles, and I show how some arguments in favour of KK carry over to them. Then I show how these OO principles can be used to shed light on a much-discussed case in ethics, that of Professor Procrastinate. (shrink)

This paper explores the principle that knowledge is fragile, in that whenever S knows that S doesn’t know that S knows that p, S thereby fails to know p. Fragility is motivated by the infelicity of dubious assertions, utterances which assert p while acknowledging higher-order ignorance whether p. Fragility is interestingly weaker than KK, the principle that if S knows p, then S knows that S knows p. Existing theories of knowledge which deny KK by accepting a Margin (...) for Error principle can be conservatively extended with Fragility. (shrink)

This paper draws out and connects two neglected issues in Kant’s conception of a priori knowledge. Both concern topics that have been important to contemporary epistemology and to formal epistemology in particular: knowability and luminosity. Does Kant commit to some form of knowability principle according to which certain necessary truths are in principle knowable to beings like us? Does Kant commit to some form of luminosity principle according to which, if a subject knows a priori, then they (...) can know that they know a priori? I defend affirmative answers to both of these questions, and by considering the special kind of modality involved in Kant’s conceptions of possible experience and the essential completability of metaphysics, I argue that his combination of knowability and luminosity principles leads Kant into difficulty. (shrink)

This paper argues that two widely accepted principles about the indicative conditional jointly presuppose the falsity of one of the most prominent arguments against epistemological iteration principles. The first principle about the indicative conditional, which has close ties both to the Ramsey test and the “or‐to‐if” inference, says that knowing a material conditional suffices for knowing the corresponding indicative. The second principle says that conditional contradictions cannot be true when their antecedents are epistemically possible. Taken together, these principles (...) entail that it is impossible to be in a certain kind of epistemic state: namely, a state of ignorance about which of two partially overlapping bodies of knowledge corresponds to one's actual one. However, some of the more popular “margin for error” style arguments against epistemological iteration principles suggest that such states are not only possible, but commonplace. I argue that the tension between these views runs deep, arising just as much for non‐factive attitudes like belief, presupposition, and certainty. I also argue that this is worse news for those who accept the principles about the indicative conditional than it is for those who reject epistemological iteration principles. (shrink)

The Pareto principle states that if the members of society express the same preference judgment between two options, this judgment is compelling for society. A building block of normative economics and social choice theory, and often borrowed by contemporary political philosophy, the principle has rarely been subjected to philosophical criticism. The paper objects to it on the ground that it indifferently applies to those cases in which the individuals agree on both their expressed preferences and their reasons for (...) entertaining them, and those cases in which they agree on their expressed preferences, while differing on their reasons. The latter are cases of "spurious unanimity", and it is normatively inappropriate, or so the paper argues, to defend unanimity preservation at the social level for them, so the Pareto principle is formulated much too broadly. The objection seems especially powerful when the principle is applied in an ex ante context of uncertainty, in which individuals can disagree on both their probabilities and utilities, and nonetheless agree on their preferences over prospects. (shrink)

This short article represents the first attempt to define a new core cultural value that will enable the new strategy for engaging the business sector in humankind's mission to heal nature. The presentation is just a primitive concept, which will be calibrated further in the coming months.

Greaves and Wallace argue that conditionalization maximizes expected accuracy. In this paper I show that their result only applies to a restricted range of cases. I then show that the update procedure that maximizes expected accuracy in general is one in which, upon learning P, we conditionalize, not on P, but on the proposition that we learned P. After proving this result, I provide further generalizations and show that much of the accuracy-first epistemology program is committed to KK-like iteration principles (...) and to the existence of a class of propositions that rational agents will be certain of if and only if they are true. (shrink)

Davies argues that the ontology of artworks as performances offers a principled way of explaining work-relativity of modality. Object oriented contextualist ontologies of art (Levinson) cannot adequately address the problem of work-relativity of modal properties because they understand looseness in what counts as the same context as a view that slight differences in the work-constitutive features of provenance are work-relative. I argue that it is more in the spirit of contextualism to understand looseness as context-dependent. This points to the general (...) problem—the context of appreciation is not robust enough to ground modal intuitions about objective entities. In general, when epistemology dictates ontology there is always a threat of anti-realism, scepticism and relativism. Davies also appeals to the modality principle—an entity’s essential properties are all and only its constitutive properties. Davies understands essentiality in a traditional way: a property P is an essential property of an object o iff o could not exist and lack P. Kit Fine has recently made a convincing case for the view that the notion of essence is not to be understood in modal terms. I explore some of the implications of this view for Davies’ modal argument for the performance theory. (shrink)

Williamson (2000a) has argued that posi- tive introspection is incompatible with in- exact knowledge. His argument relies on a margin-for-error requirement for inexact knowledge based on a intuitive safety prin- ciple for knowledge, but leads to the counter- intuitive conclusion that no possible creature could have both inexact knowledge and posi- tive introspection. Following Halpern (2004) I put forward an alternative margin-for-error requirement that preserves the safety require- ment while blocking Williamson’s argument. I argue that the infallibilist conception of knowledge (...) that underlies the new require- ment provides a better account of inexact knowledge and higher-order knowledge than both Williamson’s and Halpern’s. (shrink)

The pessimistic induction is built upon the uniformity principle that the future resembles the past. In daily scientific activities, however, scientists sometimes rely on what I call the disuniformity principle that the future differs from the past. They do not give up their research projects despite the repeated failures. They believe that they will succeed although they failed repeatedly, and as a result they achieve what they intended to achieve. Given that the disuniformity principle is useful in (...) certain cases in science, we might reasonably use it to infer that present theories are true unlike past theories. Hence, pessimists have the burden to show that our prediction about the fate of present theories is more likely to be true if we use the uniformity principle than if we use the disuniformity principle. (shrink)

Roy Sorensen introduced the concept of an epistemic blindspot in the 1980s. A proposition is an epistemic blindspot for some individual at some time if and only if that proposition is consistent but unknowable by that individual at that time. In the first half of this paper, I extend Sorensen work on blindspots by arguing that there exist blindspots that essentially involve hopes. In the second half, I show how such blindspots can contribute to and impair different pursuits of self-understanding. (...) My arguments throughout this paper draw on Luc Bovens’s account of hope. (shrink)

This paper offers an exploration of the socialist principle “From each according to their abilities, to each according to their needs.” The Abilities/Needs Principle is arguably the ethical heart of socialism but, surprisingly, has received almost no attention by political philosophers. I propose an interpretation of the principle and argue that it involves appealing ideas of solidarity, fair reciprocity, recognition of individual differences, and meaningful work. The paper proceeds as follows. First, I analyze Marx’s formulation of the (...) Abilities/Needs Principle. Second, I identify the principle’s initial plausibility, but show that it faces serious problems that cannot be addressed without developing a fresh interpretation of it. Third, I provide an interpretation of the principle that highlights demands concerning opportunities for self-realization in work, positive duties of solidarity, sensitivity to individual differences, and mechanisms of fair reciprocity. Fourth, I discuss a possible institutional implementation of the Abilities/Needs Principle. Finally, I identify some normative puzzles about the transition from capitalism to socialism, and suggest how the Abilities/Needs Principle might gain motivational traction by mobilizing the powerful idea of human dignity. (shrink)

Hugh LaFollette proposed parental licensing in 1980 (and 2010)--not as a requirement for pregnancy, but for raising a child. If you have a baby, are not licensed, and do not get licensed, the baby would be put up for adoption. Despite the intervention required in an extremely personal area of life, I argue that those who endorse the harm principle ought to endorse parental licensing of this sort. Put differently, I show how the harm principle strengthens the case (...) for parental licensing. (shrink)

The precautionary principle in public decision making concerns situations where following an assessment of the available scientific information, there are reasonable grounds for concern for the possibility of adverse effects on the environment or human health, but scientific uncertainty persists. In such cases provisional risk management measures may be adopted, without having to wait until the reality and seriousness of those adverse effects become fully apparent. This is the definition of the precautionary principle as operationalized under EU law. (...) The precautionary principle is a deliberative principle. Its application involves deliberation on a range of normative dimensions which need to be taken into account while making the principle operational in the public policy context. Under EU law, any risk management measures to be adopted while implementing the precautionary principle, have to be proportionate to ensure the chosen high level of protection in the European Community. This articlewill illustrate the established practice concerning the release of genetically modified organisms into the environment and how the principle is implemented under hard law. The article also provides an outlook on what this may imply for the relative new case of nanotechnology and the use of precautionary principle within the context of soft law (use of codes of conduct). (shrink)

This paper is an examination of the ethical principles of effective altruism as they are articulated by Peter Singer in his book The Most Good You Can Do. It discusses the nature and the plausibility of the principles that he thinks both guide and ought to guide effective altruists. It argues in § II pace Singer that it is unclear that in charitable giving one ought always to aim to produce the most surplus benefit possible and in § III that (...) there is a more attractive set of principles than the ones Singer outlines that ought to guide effective altruists in their philanthropic practices and in their lives more generally. These principles fit better with his practical ambitions and with plausible attitudes about the limits of beneficence. (shrink)

In the newly-discovered “On Principles and Matter”—we can definitely ascertain by Porphyry—the author concludes that there must be two principles responsible for all beings, or at least all sensible beings: God (the active cause) and matter (the passive cause). In large part this agrees with Atticus’ position, which the text also quotes, and which we also know Porphyry engaged with vigorously, from Proclus’ Timaeus Commentary. However there is a something odd about this text’s Porphyry: we seem to have a positive (...) argument for much of Antiochus’ framework of two principles, while in Proclus’ testimony we have a negative argument for the very same position. In this paper I analyze in detail the positive argument for the two principles given in “On Principles”, and I consider the degree to which Porphyry may be supplying a dialectical argument at this point in the text, before eventually criticizing the same view elsewhere (as in Proclus’ testimony). I also consider other points of contact for the text’s two-principles framework with Porphyry’s other extant works and show some consequences for Porphyry’s overall position. (shrink)

The physicist Richard Gott defends the Copernican principle, which claims that when we have no information about our position along a given dimension among a group of observers, we should consider ourselves to be randomly located among those observers in respect to that dimension. First, I apply Copernican reasoning to the distribution of evil in the universe. I then contend that evidence for intelligent extraterrestrial life strengthens four important versions of the argument from evil. I remain neutral regarding whether (...) this result is a reductio of these arguments from evil or the statement of a genuine evidential relationship. (shrink)

If a proposition is typically true, given your evidence, then you should believe that proposition; or so I argue here. In particular, in this paper, I propose and defend a principle of rationality---call it the `Typical Principle'---which links rational belief to facts about what is typical. As I show, this principle avoids several problems that other, seemingly similar principles face. And as I show, in many cases, this principle implies the verdicts of the Principal Principle: (...) so ultimately, the Typical Principle may be the more fundamental of the two. (shrink)

In debates about animal sentience, the precautionary principle is often invoked. The idea is that when the evidence of sentience is inconclusive, we should “give the animal the benefit of the doubt” or “err on the side of caution” in formulating animal protection legislation. Yet there remains confusion as to whether it is appropriate to apply the precautionary principle in this context, and, if so, what “applying the precautionary principle” means in practice regarding the burden of proof (...) for animal sentience. Here I construct a version of the precautionary principle tailored to the question of animal sentience together with a practical framework for implementing it. I explain and defend the key features of this framework, argue that it is well-aligned with current practice in animal welfare science, and consider and reject a number of influential counterarguments to the use of precautionary reasoning in this area. (shrink)

The ethical Principle of Proportionality requires combatants not to cause collateral harm excessive in comparison to the anticipated military advantage of an attack. This principle is considered a major (and perhaps insurmountable) obstacle to ethical use of autonomous weapon systems (AWS). This article reviews three possible solutions to the problem of achieving Proportionality compliance in AWS. In doing so, I describe and discuss the three components Proportionality judgments, namely collateral damage estimation, assessment of anticipated military advantage, and judgment (...) of “excessiveness”. Some possible approaches to Proportionality compliance are then presented, such as restricting AWS operations to environments lacking civilian presence, using AWS in targeted strikes in which proportionality judgments are pre-made by human commanders, and a ‘price tag’ approach of pre-assigning acceptable collateral damage values to military hardware in conventional attritional warfare. The article argues that application of these three compliance methods would result in AWS’ achieving acceptable Proportionality compliance levels in many combat environments and scenarios, allowing AWS to perform most key tasks in conventional warfare. (shrink)

The precautionary principle (PP) aims to anticipate and minimize potentially serious or irreversible risks under conditions of scientific uncertainty. Thus it preserves the potential for future developments. It has been incorporated into many international treaties and pieces of national legislation for environmental protection and sustainable development. In this article, we outline an interpretation of the PP as a framework of orientation for a sustainable information society. Since the risks induced by future information and communication technologies (ICT) are social risks (...) for the most part, we propose to extend the PP from mainly environmental to social subjects of protection. From an ethical point of view, the PP and sustainability share the principle of intergenerational justice, which can be used as an argument to preserve free space for the decisions of future generations. Applied to technical innovation and to ICT issues in particular, the extended PP can serve as a framework of orientation to avoid socio-economically irreversible developments. We conclude that the PP is a useful approach for: (i) policy makers to reconcile information society and sustainability policies and (ii) ICT companies to formulate sustainability strategies. (shrink)

According to Popper's rationality principle, agents act in the most adequate way according to the objective situation. I propose a new interpretation of the rationality principle as consisting of an idealization and two abstractions. Based on this new interpretation, I critically discuss the privileged status that Popper ascribes to it as an integral part of all social scientific models. I argue that as an idealization, the rationality principle may play an important role in the social sciences, but (...) it also has inherent limitations that inhibit it from having the privileged status that Popper ascribes to it in all cases. (shrink)

How surprising is the insight, that being equals I in the 15th lecture of the Doctrine of Science 1804/II? It might have been indeed an unexpected turn for his contemporaries in Berlin listening to Fichte for the first time, but should it be surprising for us, having at least since 2012 (the year the last volume of [Gesamtausgabe] appeared) access to all his published and unpublished works? I want to propose a way of reading Fichte, which bypasses two popular and (...) contradictory interpretations of his philosophy in the post-Jena period: (a) the Absolute is the new first principle (hence the I is just a shadow of the much higher being) and (b) his system basically remains unchanged (hence the being is nothing more than the I). At first, I analyze the functions of later Fichte’s improved version of the Kantian and Reinholdian abstract subject-object-symbolism and assign specific content to it. This will shed light on the structure and the first principle of the Doctrine of Science 1804/II. In the second section I give reasons why Fichte calls both God and I “absolute” and “pure being” and explain their relation to each other referring to a thought experiment sometimes used by Kant—an analogy between the divine and human (pure) reason. The analogical thinking of this kind remains within the borders of transcendental philosophy as long as it is used only for certain didactic purposes. (shrink)

This is the text of a paper (along with appendixes) delivered at the 2019 annual meeting of the Minnesota Philosophical Society on Oct 26 in Cambridge, MN. -/- Beauchamp and Childress’s “Four Principles” (or “Principlism”) approach to bioethics has become something of a standard not only in bioethics classrooms and journals, but also within medicine itself. In this teaching-focused workshop, I’ll be doing the following: (1) Introducing the basics of the “Four Principles” approach, with a special focus on its relation (...) to the common morality and the importance to weighing and balancing of competing norms. (2) Comparing and contrasting this to other potential approaches, such as those provided by virtue ethics, act utilitarianism, casuistry, and competing versions of principles-based ethics. (3) Considering the ways in which the principles-based approach can best be implemented for lower-level, introductory bioethics classes, where the average student may have little background knowledge in either philosophy or medicine. I’ll be presenting sample activities, case studies, and lesson plans. There will be considerable time reserved for discussion at the end, so that participants can exchange ideas relating to the teaching of both bioethics and other varieties of applied ethics. (shrink)

We discuss the fate of the correspondence principle beyond quantum mechanics, specifically in quantum field theory and quantum gravity, in connection with the intrinsic limitations of the human ability to observe the external world. We conclude that the best correspondence principle is made of unitarity, locality, proper renormalizability (a refinement of strict renormalizability), combined with fundamental local symmetries and the requirement of having a finite number of fields. Quantum gravity is identified in an essentially unique way. The gauge (...) interactions are uniquely identified in form. Instead, the matter sector remains basically unrestricted. The major prediction is the violation of causality at small distances. (shrink)

The Enkratic Principle enjoys something of a protected status as a requirement of rationality. I argue that this status is undeserved, at least in the epistemic domain. Compliance with the principle should not be thought of as a requirement of epistemic rationality, but rather as defeasible indication of epistemic blamelessness. To show this, I present the Puzzle of Inconsistent Requirements, and argue that the best way to solve it is to distinguish two kinds of epistemic evaluation – requirement (...) evaluations and appraisal evaluations. This allows us to solve the puzzle while accommodating traditional motivations for thinking of the Enkratic Principle as a requirement of rationality. (shrink)

The principle of causality is one of the most fundamental principles that has been discovered in the history of philosophy and science. Several foundations revolve around this concept. The importance of this principle in classical physics lies in giving physicists the ability to predict phenomena. Furthermore, due to causality is recognized as a fundamental principle in classical physics. With the introduction of the principle of uncertainty, the principle of causality is empirically called into question. Because (...) the claim of the principle of uncertainty in quantum mechanics is that the relationships between fundamental particles are not causally related to each other, and even the behavior of an electron or a subatomic particle is not based on the principle of causality. If we want to identify the speed of particles, we will not be able to identify their state, and if we want to determine their state, we will not be able to identify their speed. The best way to resolve this conflict is to bring the discussion into philosophy, which is exactly what has been done in Islamic philosophy. The concept of causality in Western philosophy seems to be based on Newtonian concepts. But what has been stated in Islamic philosophy is based on metaphysical concepts, and therefore the principle of uncertainty cannot contradict the concept of causality in Islamic philosophy, especially what has been discussed in the philosophy of Avicenna and Allameh Tabataba'i. (shrink)

The Title Principle is seen by a number of commentators as crucial to Hume’s resolution of skeptical doubts in THN 1.4.7, thus providing an answer to Kemp Smith’s (1941) famous worry regarding the tension between Hume’s skepticism and his naturalism. However, I will argue that in the Enquiry, Hume rejects both the Title Principle and the role of the passions in his epistemology. Those who think that neither the Title Principle nor the passions play a significant role (...) in THN 1.4.7 will likely take this as grist for their mills. But for those who endorse such interpretations, my argument presents an interpretive burden to provide some explanation as to why Hume might have become dissatisfied with this epistemic framework, abandoning it in his later work. Having raised this interpretive burden, my paper also seeks to bear it by providing such an explanation. (shrink)

As a policy instrument that is deeply rooted in technology assessment, the precautionary principle examines the effects of a given object on humans and the environment. In practice the principle is rarely used to analyze the effects of our safety measures on the object itself or the way it is produced. Yet it is exactly in the effect on the blood procurement system that blood safety regulations based on the precautionary principle have to be particularly careful, as (...) the vast majority of blood products in the Global North are obtained through donations. (shrink)

Happiness is a universal human objective. We all want to be happy. But how we define, pursue, and maintain happiness often seems vague and elusive. That is why we need a personal philosophy of happiness. -/- This presentation lays out the underlying considerations and examines why other avenues of securing happiness are not succeeding. And it describes how we can arrive at our personal philosophy, guided by a deep understanding of our happiness. Happiness then reveals itself not only as our (...) ultimate objective but also as its own organizing principle: The Happiness Principle. -/- The presentation is divided into the following sections: -/- 1. Foundations. 2. The Necessity of an Independent Approach. 3. Substitute Strategies. 4. Trials of Happiness. 5. Happiness in Traditional Settings. 6. The Happiness Principle. 7. Philosophy of Happiness Book Genesis. 8. The Bane of Instructions. 9. Happiness in a Pluralistic Society. 10. Individual Strategies. 11. Defense Mechanisms. 12. Conclusion. -/- This is a 20-page transcript of a video presentation by Martin Janello. See the "Happiness Principle" page on the referenced website for access to the video. It is a primer for subjects discussed in more detail in my main work, titled "Philosophy of Happiness." More information about the book is available on the "Book" page of that site as well. (shrink)