Cuneo and Shafer-Landau (2014) argued that there are moral conceptual truths that are substantive in content, what they called ‘moral fixed points’. I argue that insofar as we have some reason to postulate moral fixed points, we have equal reason to postulate epistemic fixed points (e.g. the factivity condition). To this effect, I show that the two basic reasons Cuneo and Shafer-Landau (2014) offer in support of moral fixed points naturally carry (...) over to epistemic fixed points. In particular, epistemic fixed points exhibit the four ‘marks’ of conceptual truths that they identify and can be utilized to address important challenges to epistemic realism. I conclude that insofar as we have some reason to postulate moral fixed points, we have equal reason to postulate epistemic fixed points. -/- . (shrink)

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)

Can we make mistakes about what rationality requires? A natural answer is that we can, since it is a platitude that rational belief does not require truth; it is possible for a belief to be rational and mistaken, and this holds for any subject matter at all. However, the platitude causes trouble when applied to rationality itself. The possibility of rational mistakes about what rationality requires generates a puzzle. When combined with two further plausible claims – the enkratic principle, and (...) the claim that rational requirements apply universally – we get the result that rationality generates inconsistent requirements. One popular and attractive solution to the puzzle denies that it is possible to make rational mistakes about what rationality requires. I show why (contra Titelbaum (2015b), and Littlejohn (2015)) this solution is doomed to fail. (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)

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 \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. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop 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 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 $\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. 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 \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. 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 \textbf{13} examines modal responses to the alethic paradoxes. I provide a counter-example to epistemic closure for reductio proofs. 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)

Contemporary debates about epistemic luck and its relation to knowledge have traditionally proceeded against a tacit background commitment to cognitive internalism, the thesis that cognitive processes play out inside the head. In particular, safety-based approaches (e.g., Pritchard 2005; 2007; Luper-Foy 1984; Sainsbury 1997; Sosa 1999; Williamson 2000) reveal this commitment by taking for granted a traditional internalist construal of what I call the cognitive fixedness thesis—viz., the thesis that the cognitive process that is being employed in the actual world (...) is always ‘held fixed’ when we go out to nearby possible worlds to assess whether the target belief is lucky in a way that is incompatible with knowledge. However, for those inclined to replace cognitive internalism with the extended mind thesis (e.g., Clark and Chalmers 1998), a very different, ‘active externalist’ version of the cognitive fixedness thesis becomes the relevant one for the purposes of assessing a belief’s safety. The aim here will be to develop this point in a way that draws out some of the important ramifications it has for how we think about safety, luck and knowledge. (shrink)

I argue for the unexceptionality of evidence about what rationality requires. Specifically, I argue that, as for other topics, one’s total evidence can sometimes support false beliefs about this. Despite being prima facie innocuous, a number of philosophers have recently denied this. Some have argued that the facts about what rationality requires are highly dependent on the agent’s situation and change depending on what that situation is like. (Bradley 2019). Others have argued that a particular subset of normative truths, those (...) concerning what epistemic rationality requires, have the special property of being ‘fixed points’—it is impossible to have total evidence that supports false belief about them. (Smithies 2012; Titelbaum 2015). Each of these kinds of exceptionality permits a solution to downstream theoretical problems that arise from the possibility of evidence supporting false belief about requirements of rationality. However, as I argue here, they incur heavy explanatory burdens that we should avoid. (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 \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. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop 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 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 $\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. 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 \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. 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 \textbf{13} examines modal responses to the alethic paradoxes. I provide a counter-example to epistemic closure for reductio proofs. 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)

The semantic paradoxes are associated with self-reference or referential circularity. However, there are infinitary versions of the paradoxes, such as Yablo's paradox, that do not involve this form of circularity. It remains an open question what relations of reference between collections of sentences afford the structure necessary for paradoxicality -- these are the so-called "dangerous" directed graphs. Building on Rabern, et. al (2013) we reformulate this problem in terms of fixed points of certain functions, thereby boiling it down (...) to get a purely mathematical problem. (shrink)

We show that any coherent complete partial order is obtainable as the fixed-point poset of the strong Kleene jump of a suitably chosen first-order ground model. This is a strengthening of Visser’s result that any finite ccpo is obtainable in this way. The same is true for the van Fraassen supervaluation jump, but not for the weak Kleene jump.

‎A universal schema for diagonalization was popularized by N. S‎. ‎Yanofsky (2003)‎, ‎based on a pioneering work of F.W‎. ‎Lawvere (1969)‎, ‎in which the existence of a (diagonolized-out and contradictory) object implies the existence of a fixed-point for a certain function‎. ‎It was shown that many self-referential paradoxes and diagonally proved theorems can fit in that schema‎. ‎Here‎, ‎we fit more theorems in the universal‎ ‎schema of diagonalization‎, ‎such as Euclid's proof for the infinitude of the primes and new (...) proofs of G. Boolos (1997) for Cantor's theorem on the non-equinumerosity of a set with its powerset‎. ‎Then‎, ‎in Linear Temporal Logic‎, ‎we show the non-existence of a fixed-point in this logic whose proof resembles the argument of Yablo's paradox (1985‎, ‎1993)‎. ‎Thus‎, ‎Yablo's paradox turns for the first time into a genuine mathematico-logical theorem in the framework of Linear Temporal Logic‎. ‎Again the diagonal schema of the paper is used in this proof; and it is also shown that G. Priest's inclosure schema (1997) can fit in our universal diagonal / fixed-point schema‎. ‎We also show the existence of dominating (Ackermann-like) functions (which dominate a given countable set of functions‎, ‎such as primitive recursive functions) in the schema. (shrink)

Political theorists study the attributes of desirable social-moral states of affairs. Schaefer (forthcoming) aims to show that "static political theory" of this kind rests on shaky foundations. His argument revolves around an application of an abstruse mathematical theorem -- Kakutani's fixed point theorem -- to the social-moral domain. We show that Schaefer has misunderstood the implications of this theorem for political theory. Theorists who wish to study the attributes of social-moral states of affairs should carry on, safe in the (...) knowledge that Kakutani's theorem poses no threat to this enterprise. (shrink)

Christos Kyriacou has recently proposed charging moral error theorists with intellectual vice. He does this in response to an objection that Ingram makes against the 'moral fixed points view' developed by Cuneo and Shafer-Landau. This brief paper shows that Kyriacou's proposed vice-charge fails to vindicate the moral fixed points view. I argue that any attempt to make an epistemic vice-charge against error theorists will face major obstacles, and that it is highly unlikely that such a (...) charge could receive the evidential support that it would need in order to play the dialectical role that Kyriacou has in mind for it. I conclude that the moral fixed points view remains in serious trouble. (shrink)

In this paper I introduce Horwich’s deflationary theory of truth, called ‘Minimalism’, and I present his proposal of how to cope with the Liar Paradox. The proposal proceeds by restricting the T-schema and, as a consequence of that, it needs a constructive specification of which instances of the T-schema are to be excluded from Minimalism. Horwich has presented, in an informal way, one construction that specifies the Minimalist theory. The main aim of the paper is to present and scrutinize some (...) formal versions of Horwich’s construction. (shrink)

The thesis deals with the concept of truth and the paradoxes of truth. Philosophical theories usually consider the concept of truth from a wider perspective. They are concerned with questions such as - Is there any connection between the truth and the world? And, if there is - What is the nature of the connection? Contrary to these theories, this analysis is of a logical nature. It deals with the internal semantic structure of language, the mutual semantic connection of sentences, (...) above all the connection of sentences that speak about the truth of other sentences and sentences whose truth they speak about. Truth paradoxes show that there is a problem in our basic understanding of the language meaning and they are a test for any proposed solution. It is important to make a distinction between the normative and analytical aspect of the solution. The former tries to ensure that paradoxes will not emerge. The latter tries to explain paradoxes. Of course, the practical aspect of the solution is also important. It tries to ensure a good framework for logical foundations of knowledge, for related problems in Artificial Intelligence and for the analysis of the natural language. Tarski’s analysis emphasized the T-scheme as the basic intuitive principle for the concept of truth, but it also showed its inconsistency with the classical logic. Tarski’s solution is to preserve the classical logic and to restrict the scheme: we can talk about the truth of sentences of a language only inside another essentially richer metalanguage. This solution is in harmony with the idea of reflexivity of thinking and it has become very fertile for mathematics and science in general. But it has normative nature | truth paradoxes are avoided in a way that in such frame we cannot even express paradoxical sentences. It is also too restrictive because, for the same reason we cannot express a situation in which there is a circular reference of some sentences to other sentences, no matter how common and harmless such a situation may be. Kripke showed that there is no natural restriction to the T-scheme and we have to accept it. But then we must also accept the riskiness of sentences | the possibility that under some circumstances a sentence does not have the classical truth value but it is undetermined. This leads to languages with three-valued semantics. Kripke did not give any definite model, but he gave a theoretical frame for investigations of various models | each fixed point in each three-valued semantics can be a model for the concept of truth. The solutions also have normative nature | we can express the paradoxical sentences, but we escape a contradiction by declaring them undetermined. Such a solution could become an analytical solution only if we provide the analysis that would show in a substantial way that it is the solution that models the concept of truth. Kripke took some steps in the direction of finding an analytical solution. He preferred the strong Kleene three-valued semantics for which he wrote it was "appropriate" but did not explain why it was appropriate. One reason for such a choice is probably that Kripke finds paradoxical sentences meaningful. This eliminates the weak Kleene three valued semantics which corresponds to the idea that paradoxical sentences are meaningless, and thus indeterminate. Another reason could be that the strong Kleene three valued semantics has the so-called investigative interpretation. According to this interpretation, this semantics corresponds to the classical determination of truth, whereby all sentences that do not have an already determined value are temporarily considered indeterminate. When we determine the truth value of these sentences, then we can also determine the truth value of the sentences that are composed of them. Kripke supplemented this investigative interpretation with an intuition about learning the concept of truth. That intuition deals with how we can teach someone who is a competent user of an initial language (without the predicate of truth T) to use sentences that contain the predicate T. That person knows which sentences of the initial language are true and which are not. We give her the rule to assign the T attribute to the former and deny that attribute to the latter. In that way, some new sentences that contain the predicate of truth, and which were indeterminate until then, become determinate. So the person gets a new set of true and false sentences with which he continues the procedure. This intuition leads directly to the smallest fixed point of strong Kleene semantics as an analytically acceptable model for the logical notion of truth. However, since this process is usually saturated only on some transfinite ordinal, this intuition, by climbing on ordinals, increasingly becomes a metaphor. This thesis is an attempt to give an analytical solution to truth paradoxes. It gives an analysis of why and how some sentences lack the classical truth value. The starting point is basic intuition according to which paradoxical sentences are meaningful (because we understand what they are talking about well, moreover we use it for determining their truth values), but they witness the failure of the classical procedure of determining their truth value in some "extreme" circumstances. Paradoxes emerge because the classical procedure of the truth value determination does not always give a classically supposed (and expected) answer. The analysis shows that such an assumption is an unjustified generalization from common situations to all situations. We can accept the classical procedure of the truth value determination and consequently the internal semantic structure of the language, but we must reject the universality of the exterior assumption of a successful ending of the procedure. The consciousness of this transforms paradoxes to normal situations inherent to the classical procedure. Some sentences, although meaningful, when we evaluate them according to the classical truth conditions, the classical conditions do not assign them a unique value. We can assign to them the third value, \undetermined", as a sign of definitive failure of the classical procedure. An analysis of the propagation of the failure in the structure of sentences gives exactly the strong Kleene three-valued semantics, not as an investigative procedure, as it occurs in Kripke, but as the classical truth determination procedure accompanied by the propagation of its own failure. An analysis of the circularities in the determination of the classical truth value gives the criterion of when the classical procedure succeeds and when it fails, when the sentences will have the classical truth value and when they will not. It turns out that the truth values of sentences thus obtained give exactly the largest intrinsic fixed point of the strong Kleene three-valued semantics. In that way, the argumentation is given for that choice among all fixed points of all monotone three-valued semantics for the model of the logical concept of truth. An immediate mathematical description of the fixed point is given, too. It has also been shown how this language can be semantically completed to the classical language which in many respects appears a natural completion of the process of thinking about the truth values of the sentences of a given language. Thus the final model is a language that has one interpretation and two systems of sentence truth evaluation, primary and final evaluation. The language through the symbol T speaks of its primary truth valuation, which is precisely the largest intrinsic fixed point of the strong Kleene three valued semantics. Its final truth valuation is the semantic completion of the first in such a way that all sentences that are not true in the primary valuation are false in the final valuation. (shrink)

In contemporary philosophy there is much focus on conceptual engineering: the enterprise of revising and replacing concepts. In this talk, I focus on a theoretical issue that has not yet received much attention. What principled limits are there to this sort of enterprise? Are there concepts that for principled reasons cannot or should not be revised or replaced? Examples discussed include logical concepts and normative concepts.

As George Boole saw it, the laws of logic are the laws of thought, and by this he meant, not that human thought is actually governed by the laws of logic, but, rather, that it should be. Boole’s view that the laws of logic have normative implications for how we ought to think is anything but an outlier. The idea that violating the laws of logic involves epistemic impropriety has seemed to many to be just obvious. It has seemed (...) especially obvious to those who see propositional justification as more fundamental than doxastic justification. Whatever other principles are required for defining propositional justification, the laws of logic seem indispensable. The idea that violation of the laws of logic involves some sort of epistemic impropriety—whatever the peculiarities of our psychology may be—has served as a fixed point around which defenders of the fundamentality of propositional justification are united, whatever their other differences. This paper challenges that common thread in defenses of the fundamentality of propositional justification. It is argued that the laws of logic have no bearing whatever on epistemic justification. Once we see why this should be so, the way is paved for seeing why it is that doxastic justification is more fundamental than propositional justification. (shrink)

Over the last fifteen years, linguists and philosophers of language have reexamined the canonical, Kratzerian semantics for modal expressions, with special attention paid to their epistemic and deontic uses. This article is an overview of the literature on deontic modal expressions. Section 1 provides an overview of the canonical semantics, noting some of its main advantages. Section 2 introduces a set of desiderata that have achieved the status of fixed points in the debates about whether the canonical (...) semantics is correct. These include the observations that deontic modal sentences have both deliberative and evaluative readings and both information-sensitive and -insensitive readings. Adequate resolutions of certain puzzles in deontic logic and resolving the Frege-Geach problem for Expressivism have also achieved this status. The third section provides an opinionated overview of some of the main extant rivals to the canonical semantics, including Cariani, Kaufmann, and Kaufmann’s (2013) complex contextualism , Yalcin’s (2012) Expressivism, Willer’s (2014) dynamic semantics, and Starr’s (2016) dynamic Expressivism. Section 4 provides an assessment of each of the views discussed in terms of the desiderata introduced in section 2. Section 5 is an overview of remaining issues that require more attention in the literature. (shrink)

Gettier’s paper, “Is Justified True Belief Knowledge?,” is widely taken to be a paradigm example of the sort of philosophical methodology that has been so hotly debated in the recent literature. Reflection on it motivates the following four theses about that methodology: (A) Intuitive judgments form an epistemically distinctive kind. (B) Intuitive judgments play an epistemically privileged role in philosophical methodology. (C) If intuitive judgments play an epistemically privileged role in philosophical methodology, then their role is to be taken as (...) given inputs into generally accepted forms of reasoning. (D) Philosophical methodology is reasonable. Negative experimental philosophers have empirically challenged (D). Radical responses to their challenge include Williamson’s rejection of (A) and Cappelen and Deutsch’s rejection of (B). Here I follow traditionalists in maintaining (A), (B), and (D), but suggest questioning (C), which has largely been taken as a fixed point in the literature. (shrink)

This essay aims to provide a modal logic for rational intuition. Similarly to treatments of the property of knowledge in epistemic logic, I argue that rational intuition can be codified by a modal operator governed by the modal $\mu$-calculus. Via correspondence results between fixed point modal propositional logic and the bisimulation-invariant fragment of monadic second-order logic, a precise translation can then be provided between the notion of 'intuition-of', i.e., the cognitive phenomenal properties of thoughts, and the modal operators (...) regimenting the notion of 'intuition-that'. I argue that intuition-that can further be shown to entrain conceptual elucidation, by way of figuring as a dynamic-interpretational modality which induces the reinterpretation of both domains of quantification and the intensions and hyperintensions of mathematical concepts that are formalizable in monadic first- and second-order formal languages. Hyperintensionality is countenanced via a topic-sensitive epistemic two-dimensional truthmaker semantics. (shrink)

In this paper, I start by describing and examining the main results about the option of formalizing the Yablo Paradox in arithmetic. As it is known, although it is natural to assume that there is a right representation of that paradox in first order arithmetic, there are some technical results that give rise to doubts about this possibility. Then, I present some arguments that have challenged that Yablo’s construction is non-circular. Just like that, Priest (1997) has argued that such formalization (...) shows that Yablo’s Paradox involves implicit circularity. In the same direction, Beall (2001) has introduced epistemic factors in this discussion. Even more, Priest has also argued that the introduction of infinitary reasoning would be of little help. Finally, one could reject definitions of circularity in term of fixed-point adopting non-well-founded set theory. Then, one could hold that the Yablo paradox and the Liar paradox share the same non-well-founded structure. So, if the latter is circular, the first is too. In all such cases, I survey Cook’s approach (2006, forthcoming) on those arguments for the charge of circularity. In the end, I present my position and summarize the discussion involved in this volume. En este artículo, describo y examino los principales resultados vinculados a la formalización de la paradoja de Yablo en la aritmética. Aunque es natural suponer que hay una representación correcta de la paradoja en la aritmética de primer orden, hay algunos resultados técnicos que hacen surgir dudas acerca de esta posibilidad. Más aún, presento algunos argumentos que han cuestionado que la construcción de Yablo no sea circular. Así, Priest (1997) ha argumentado que la formalización de la paradoja de Yablo en la aritmética de primer orden muestra que la misma involucra implícitamente circularidad. En la misma dirección, Beall (2001) ha introducido factores epistémicos en esta discusión. Más aún, Priest ha también argumentado que la introducción de razonamiento infinitario como complemento de la formalización en la aritmética sería de poca ayuda. Finalmente, se podría rechazar todo intento de dar definiciones de circularidad en términos de puntos fijos adoptando teoría de conjuntos infundados. Entonces, se podría sostener que la paradoja de Yablo y la del mentiroso comparten la misma estructura infundada. Por eso, si la última es circular, también lo es la primera. En todos los casos, presento el enfoque de Roy Cook (2006, en prensa) sobre estos argumentos que atribuyen circularidad a la construcción de Yablo. En el final, presento mi posición y un breve resumen de la discusión involucrada en este volumen. (shrink)

This essay aims to motivate an epistemic non-individualistic conception of reflection. The proposal is non-individualistic because (a) it addresses more than individual metacognitive performance and (b) it refers to a situation in which two or more people are in dialogical disagreement about the same subject matter or target proposition; (c) their dispute is based on conversational space and they are entitled to expect one another to be engaged in attempts at truth, avoidance of error, and understanding. I call this (...) proposal a Dialectical account of Reflection (DaR). According to (DaR), reflection is a conscious and intentional intellectual operation through which an individual becomes aware of the contents of disputed beliefs in a dialogical or interpersonal exchange, involving both her own beliefs and the beliefs of her interlocutors. In (DaR), reflection produces the epistemic good of avoiding epistemic vices and promoting epistemic moderation. (shrink)

In this paper, I argue that the “Ought Implies Can” (OIC) principle, as it is employed in epistemology, particularly in the literature on epistemic norms, is open to counterexamples. I present a counterexample to OIC and discuss several objections to it. If this counterexample works, then it shows that it is possible that S ought to believe that p, even though S cannot believe that p. If this is correct, then OIC, considered from an epistemic point of view, (...) is false, since it is supposed to hold for any S and any p. (shrink)

I argue that there is a wide variety of epistemic norms, distributed along two different spectra. One spectrum runs from the ideal to the practical and concerns the extent to which it is possible to follow the norm given our cognitive and epistemic limitations. The other spectrum runs from thin to thick and concerns the extent to which the norm concerns facts about our beliefs over and above the content of the belief. Many putative epistemic norms, such (...) as truth and various conceptions of justification, can be found at different points on the spectra. There is no single obvious privileged point from which to say any of these norms is more fundamental than the others, though there may be some reason to doubt that some of the norms are intrinsically interesting. (shrink)

This paper develops a new class of justification logic, the logic of epistemic entitlement. The logic of epistemic entitlement invokes the notion of epistemic entitlement in epistemology, and interprets a justification formula in the form of???? ∶???? as follows: the warrant???? entitles the agent to believe????. In the logic of epistemic entitlement, the formula???? ∶???? is true if and only if???? is true in all possible worlds entitled to be conceived by????. In contrast to the standard (...) epistemic semantics of justification logic, the formula???? ∶???? in Fitting’s model is true if and only if???? is true in all possible worlds that can be conceived of and satisfies the evidential condition: the epistemic state???? ∈ ℰ(????,????) that the epistemic agent is in. Thus, if???? is not a dead point in the model, the point model of???? cannot satisfy both formulas of the form???? ∶???? and????′∶ ¬????. Thus standard justification logic cannot characterize the conflicting beliefs of agents for different warrants. Instead, the logic of epistemic entitlement solves this problem by entitling agents to believe???? and ¬???? on two disjoint sets of possible worlds on????,???? and????′, respectively. ℳ,???? ⊩???? ∶???? if and only if ℳ,???? ⊩???? for every???? ∈????????????(????,????) with????????????. Such an epistemic entitlement in the paper is axiomatized into the logic J_???????????? and the validity of its axioms is verified. And a canonical model of J_???????????? is established to prove its completeness. Finally, extensions of J_???????????? are attempted to explore the logic of entitlement of belief J_EntD4 and logic of entitlement of knowledge J_EntT4. (shrink)

Everyone agrees that not all norms that govern belief and assertion are epistemic. But not enough attention has been paid to distinguishing epistemic norms from others. Norms in general differ from merely evaluative standards in virtue of the fact that it is fitting to hold subjects accountable for violating them, provided they lack an excuse. Different kinds of norm are most readily distinguished by their distinctive mode of accountability. My thesis is roughly that a norm is epistemic (...) if and only if its violation makes it fitting to reduce epistemic trust in the subject, even if there is no doubt about their sincerity, honesty, or other moral virtues. That is, violations of epistemic norms don’t merit resentment or other forms of blame, but rather deduction of credibility points in internal scorekeeping and related attitudinal and behavioral changes. As Fricker’s work on epistemic injustice shows, such distrust is undesirable from the point of view of an epistemic agent. Consequently, when one manifests epistemic distrust towards a subject in suitable circumstances, it amounts a way of holding her accountable. Since this form of accountability involves no opprobrium, there is good reason to think it is not linked to voluntary control in the same way as moral accountability. Finally, I make use of this account of what makes epistemic norms distinctive to point out some faulty diagnostics in debates about norms of assertion. My aim is not to defend any substantive view, however, but only to offer tools for identifying the right kind of evidence for epistemic norms. (shrink)

Modal epistemic conditions have played an important role in post-Gettier theories of knowledge. These conditions purportedly eliminate the pernicious kind of luck present in all Gettier-type cases and offer a rather convincing way of refuting skepticism. This motivates the view that conditions of this sort are necessary for knowledge. I argue against this. I claim that modal conditions, particularly sensitivity and safety, are not necessary for knowledge. I do this by noting that the problem cases for both conditions point (...) to a problem that cannot be fixed even by a revised similarity ranking or ordering of worlds. I offer as groundwork a set theoretical analysis of the profiles of the problem cases for safety and sensitivity. I then demonstrate that these conditions fail whenever necessary links constitutive of the epistemic situation actually obtain but are not modally preserved. (shrink)

What should we believe if epistemic and practical reasons for belief point in different directions? I argue that there’s no single answer, but rather a Dualism of Theoretical and Practical Reason is true: what we epistemically ought to believe and what we practically ought to believe may come apart, and both are independently authoritative. I argue in particular against recently popular views that subordinate the epistemic to the practical: it’s not the case that epistemic reasons bear on (...) what we ‘just plain ought’ to believe just to the extent we have practical reason to believe epistemically correctly. Why? Because epistemic reasons give rise to authoritative demands independently of the practical pay-off of believing accordingly. This is shown in particular by the fact that it can be fitting to epistemically ‘blame’ us just because we fail to believe as we epistemically ought, even if we don’t have sufficient practical reason to believe so. I also argue that we don’t need to come up with what we ‘just plain ought’ to believe, because contrary epistemic and practical responsibility responses can be simultaneously fitting in conflict cases, and because epistemic and practical ought judgments give rise to different enkrasia requirements, among other things. (shrink)

This handbook article gives a critical overview of recent discussions of epistemic authority. It favors an account that brings into balance the dictates of rational deference with the ideals of intellectual self-governance. A plausible starting point is the conjecture that neither should rational deference to authorities collapse into total epistemic submission, nor the ideal of mature intellectual self-governance be conflated with (illusions of) epistemic autarky.

My starting point is what I call the Normative Authority Conception of justification, where S is justified in their belief that p at t (to some degree n) if and only if their believing that p at t is not ruled out by epistemic norms that have normative authority over S at t. With this in mind, this paper develops an account of doxastic justification by first developing an account of the normative authority of epistemic norms. Drawing from (...) work in political philosophy, I argue that (a) the cognitive and evaluative commitments and concerns behind our actual practices of holding each other and ourselves accountable for our beliefs reveal which epistemic norms we have consented to be under, and that (b) it is because we have consented to be under the authority of these norms – by actually holding ourselves and others accountable to them – that they in turn have normative authority over us. By connecting the authority of epistemic norms to the authority we have over ourselves in this way, the resulting account of doxastic justification (i) explains why it can be appropriate to criticize, resent, or sanction someone for having unjustified beliefs, (ii) avoids the phenomena of normative alienation and normative parochialism, and (iii) respects the social and collective nature of epistemic justification. (shrink)

In this essay I situate John Dewey’s pragmatist approach to democratic epistemology in relation to contemporary “epistemic democracy.” Like epistemic democrats, Dewey characterizes democracy as a form of social inquiry. But whereas epistemic democrats suggest that democracy aims to “track the truth,” Dewey rejects the notion of “tracking” or “corresponding” to truth in political and other domains. For Dewey, the measure of successful decision-making is not some fixed independent standard of truth or correctness but, instead, our (...) own reflective satisfaction with the practical results. I argue that this approach better reconciles epistemic democracy with traditional models of popular authority (“the will of the people”) and bolsters the defenses of the epistemic democrat against elitist alternatives. (shrink)

How much does rationality constrain what we should believe on the basis of our evidence? According to this book, not very much. For most people and most bodies of evidence, there is a wide range of beliefs that rationality permits them to have in response to that evidence. The argument, which takes inspiration from William James' ideas in 'The Will to Believe', proceeds from two premises. The first is a theory about the basis of epistemic rationality. It's called (...) class='Hi'>epistemic utility theory, and it says that what it is epistemically rational for you to believe is what it would be rational for you to choose if you were given the chance to pick your beliefs and, when picking them, you were to care only about their epistemic value. So, to say which beliefs are permitted, we must say how to measure epistemic value, and which decision rule to use when picking your beliefs. The second premise is a claim about attitudes to epistemic risk, and it says that rationality permits many different such attitudes. These attitudes can show up in epistemic utility theory in two ways: in the way you measure epistemic value; and in the decision rule you use to pick beliefs. This book explores the latter. The result is permissivism about epistemic rationality: different attitudes to epistemic risk lead to different choices of prior beliefs; given most bodies of evidence, different priors lead to different posteriors; and even once we fix your attitudes to epistemic risk, if they are at all risk-inclined, there is a range of different priors and therefore different posteriors they permit. (shrink)

Seth Yalcin has pointed out some puzzling facts about the behaviour of epistemic modals in certain embedded contexts. For example, conditionals that begin ‘If it is raining and it might not be raining, … ’ sound unacceptable, unlike conditionals that begin ‘If it is raining and I don’t know it, … ’. These facts pose a prima facie problem for an orthodox treatment of epistemic modals as expressing propositions about the knowledge of some contextually specified individual or group. (...) This paper develops an explanation of the puzzling facts about embedding within an orthodox framework. (shrink)

Disrespect for the truth, the rise of conspiracy thinking, and a pervasive distrust in experts are widespread features of the post-truth condition in current politics and public opinion. Among the many good explanations of these phenomena there is one that is only rarely discussed: that something is wrong with our deeply entrenched intellectual standards of (i) using our own critical thinking without any restriction and (ii) respecting the judgment of every rational agent as epistemically relevant. In this paper, I will (...) argue that these two enlightenment principles—the Principle of Unrestricted Critical Thinking and the Principle of Democratic Reason—not only conflict with what is rationally required from a purely epistemic point of view, but also have bad cognitive consequences in furthering the spread of conspiracy theories and undermining trust in experts. I will then explain in more detail why we should typically defer to experts without using any of our own reasons regarding the subject matter. Moreover, I will show what place this leaves for critical thinking and why it does not have the crazy consequences that the critics expect. (shrink)

We are told by philosophers that photographs are a distinct category of image because the photographic process is mind-independent. Furthermore, that the experience of viewing a photograph has a special status, justified by a viewer’s knowledge that the photographic process is mind-independent. Versions of these ideas are central to discussions of photography in both the philosophy of art and epistemology and have far-reaching implications for science, forensics and documentary journalism. Mind-independence (sometimes ‘belief independence’) is a term employed to highlight what (...) is important in the idea that photographs can be produced naturally, mechanically, accidentally or automatically. Insofar as the process is physical, natural, mechanical or causal it can occur without human agency or intervention, entirely in the absence of intentional states. Presented innocuously, the idea is that although photographs are dependent on natural or mechanical processes, they can be produced independently of human agency – particularly human beliefs. Presented in a stronger form, the claim is that even if human agency is heavily involved in the production process, the definitive features that make the photograph a photograph and determine its salient properties are nonetheless independent of human minds. In epistemic debates, mind-independence is viewed as essential for explaining why photographs occupy a distinct category among images and justifying a variety of claims about their privileged epistemic and affective status in science, forensics, popular culture and journalism. But, in the philosophy of art, claims about mind-. (shrink)

Epistemic theories of truth, such as those presumed to be typical for anti-realism, can be characterised as saying that what is true can be known in principle: p → ◊Kp. However, with statements of the form “p & ¬Kp”, a contradiction arises if they are both true and known. Analysis of the nature of the paradox shows that such statements refute epistemic theories of truth only if the the anti-realist motivation for epistemic theories of truth is not (...) taken into account. The motivation in a link of understandability ans meaningful- ness suggests to change the above principle and to restrict the theory to logically simple sentences, in which case the paradox does not arise. This suggestion also allows to see the deep philosophical problems for anti-realism those counterexamples are pointing at. (shrink)

Recently, various philosophers have argued that we can obtain knowledge via the imagination. In particular, it has been suggested that we can come to know concrete, empirical matters of everyday significance by appropriately imagining relevant scenarios. Arguments for this thesis come in two main varieties: black box reliability arguments and constraints-based arguments. We suggest that both strategies are unsuccessful. Against black-box arguments, we point to evidence from empirical psychology, question a central case-study, and raise concerns about a (claimed) evolutionary rationale (...) for the imagination's reliability. Against the constraints-based account, we argue that to the extent that it works, this does not give rise to knowledge that is distinctively from the imagination. We conclude by suggesting that the imagination's role in raising possibilities, traditionally seen as part of the context of discovery, can in fact play a role in justification, including as a bulwark against certain sorts of skepticism. (shrink)

The paper concentrates on how the acceptance of radical naturalism in Quine’s theory of meaning escorts Quine to ponder the naturalized epistemology. W.V. Quine was fascinated by the evidential acquisition of scientific knowledge, and language as a vehicle of knowledge plays a significant role in his regimented naturalistic theory anchored in the scientific framework. My point is that there is an interesting shift from epistemology to language (semantic externalism). The rejection of the mentalist approach on meaning vindicates external that somehow (...) pave the way for ‘semantic holism’, a thesis where the meaning of a sentence is defined in turns to the totality of nodes and paths of its semantic networks where the meaning of linguistic units depend upon the meaning of the entire language. I would like to relook on Quine’s heart-throbbing claim about the co-extensiveness of the sentential relation and the evidential relation that point towards an affirmation of meaning holism and semantic externalism. Besides, the knowledge of acquaintance that relinquishes the singular thought from the account of psychological consideration and self-knowledge hypothesis copes up with the testimonial and warrant knowledge entangling by the claims of social knowledge as anticipated by Alvin Goldman. My conclusion would be nearer to the stance of semantic externalism inculcated by the social knowledge (in an epistemic sense) and semantic holism. (shrink)

Simon Blackburn, in Truth A Guide for the Perplexed (Blackburn 2006), deploys the relation of thought with the facts and says, ‘We met the argument that theorizing involves an impossible activity of stepping outside our own skins and pretending to a ‘transcendental’ point of view, a standpoint from which we can survey the relationship between our thoughts and facts, without using the very forms of thought whose relation to the facts we are hoping to describe.’ (Blackburn, 2006, 109). My philosophical (...) reflections on this claim appreciate the view and turn towards the epistemic semblance in the metaphysical purview. A few challenges of the theory take up a side-effect of the ‘knowing procedures’ and its subsequent notion of the rigid concomitance of realism without a human face. My endeavor would be to slightly bypass the account of objective realism and debut into the sphere of the old-fashioned query, ‘what do we know about the conceptualized world where concepts steadily contaminate objects?’ We may appreciative beliefs and concepts, which are human creations, as these impart to the human-experienced world where concepts are the objective features of the subject’s conceptual scheme. (shrink)

The COVID-19 pandemic has made it especially visible that mortality data are a key component of epidemiological models, being a single indicator that provides information about various health aspects, such as disease prevalence and effectiveness of interventions, and thus enabling predictions on many fronts. In this paper we illustrate the interrelation between facts and values in death statistics, by analyzing the rules for death certification issued by the World Health Organization. We show how the notion of the underlying cause of (...) death can change in view of public health goals. This brings us to a general point about how non-epistemic factors, such as values and goals, are reflected in the choice of different measures in epidemiological models. We finally argue that this analysis is not only relevant from a theoretical point of view but also has important practical consequences. (shrink)

Epistemic consequentialism is the view that epistemic goodness is more fundamental than epistemic rightness. This paper examines the relationship between epistemic consequentialism and theistic belief. I argue that, in an epistemic consequentialist framework, there is an epistemic reason to believe in God. Imagine having an unlimited amount of time to ask an omniscient being anything you wanted. The potential epistemic benefits would be enormous. Considerations like these point to an epistemic version of (...) Pascal’s wager. I compare and contrast the epistemic wager with the traditional wager, and argue that the epistemic wager has several notable advantages. (shrink)

A vexing problem in contemporary epistemology—one with origins in Plato’s Meno—concerns the value of knowledge, and in particular, whether and how the value of knowledge exceeds the value of mere true opinion. The recent literature is deeply divided on the matter of how best to address the problem. One point, however, remains unquestioned: that if a solution is to be found, it will be at the personal level, the level at which states of subjects or agents, as such, appear. We (...) take exception to this orthodoxy, or at least to its unquestioned status. We argue that subpersonal states play a significant—arguably, primary—role in much epistemically relevant cognition and thus constitute a domain in which we might reasonably expect to locate the “missing source” of epistemic value, beyond the value attached to mere true belief. (shrink)

How can democratic governments be relied upon to achieve adequate political knowledge when they turn over their authority to those of no epistemic distinction whatsoever? This deep and longstanding concern is one that any proponent of epistemic conceptions of democracy must take seriously. While Condorcetian responses have recently attracted substantial interest, they are largely undermined by a fundamental neglect of agenda-setting. I argue that the apparent intractability of the problem of epistemic adequacy in democracy stems in large (...) part from a failure to appreciate the social character of political knowledge. A social point of view brings into focus a number of vital factors that bear on our understanding of democratic epistemology and our assessment of its prospects: the essential role of inclusive deliberation, the public's agenda-setting function, institutional provisions for policy feedback, the independence of expert communities, and the knowledge-pooling powers of markets. (shrink)

The topic of fake news has received increased attention from philosophers since the term became a favorite of politicians (Habgood-Coote 2016; Dentith 2016). Notably missing from the conversation, however, is a discussion of fake news and conspiracy theory media as a market. This paper will take as its starting point the account of noxious markets put forward by Debra Satz (2010), and will argue that there is a pro tanto moral reason to restrict the market for fake news. Specifically, we (...) begin with Satz’s argument that restricting a market may be required when i) that market inhibits citizens from being able to stand in an equal relationship with one another, and ii) this problem cannot be solved without such direct restrictions. Our own argument then proceeds in three parts: first, we argue that the market for fake news fits Satz’s description of a noxious market; second, we argue against explanations of the proliferation of fake news that are couched in terms of “epistemic vice”, and likewise argue against prescribing critical thinking education as a solution to the problem; finally, we conclude that, in the absence of other solutions to mitigate the noxious effects of the fake news market, we have a pro tanto moral reason to impose restrictions on this market. At the end of the paper, we consider one proposal to regulate the fake news market, which involves making social media outlets potentially liable in civil court for damages caused by the fake news hosted on their websites. (shrink)

In this introduction to the special issue ‘Epistemic Injustice and Collective Wrongdoing,’ we show how the eight contributions examine the collective dimensions of epistemic injustice. First, we contextualize the articles within theories of epistemic injustice. Second, we provide an overview of the eight articles by highlighting three central topics addressed by them: i) the effects of epistemic injustice and collective wrongdoing, ii) the underlying epistemic structures in collective wrongdoing, unjust relations and unjust societies, and iii) (...) the remedies and strategies of resistance to epistemic injustice. We close by pointing to connections and issues that may motivate further research. (shrink)

We expand on Della Croce’s ambition to interpret “epistemic injustice” as a specification of non-maleficence in the use of the influential four-principle framework. This is an alluring line of thought for conceptual, moral, and heuristic reasons. Although it is commendable, Della Croce’s attempt remains tentative. So does our critique of it. Yet, we take on the challenge to critically address two interrelated points. First, we broaden the analysis to include deliberations about hermeneutical injustice. We argue that, if due (...) consideration of epistemic injustice is to require more than negative ethical obligations in medicine, dimensions of hermeneutical injustice should be explored as an avenue to arrive at such positive duties. Second, and relatedly, we argue that this may encompass moral responsibilities beyond the individual level, that is: positive obligations to take action on a structural level. Building on Dotson’s concept of “contributory injustice” and Scheman’s concept of “perceptual autonomy,” we suggest that the virtues of testimonial and hermeneutical justice may provide additional content not only to negative prohibitions of action (i.e. non-maleficence) but also to positive requirements of action, like respecting patient autonomy. (shrink)

Objective: In this essay, I will try to track some historical and modern stages of the discussion on the Gettier problem, and point out the interrelations of the questions that this problem raises for epistemologists, with sceptical arguments, and a so-called problem of relevance. Methods: historical analysis, induction, generalization, deduction, discourse, intuition results: Albeit the contextual theories of knowledge, the use of different definitions of knowledge, and the different ways of the uses of knowledge do not resolve all the issues (...) that the sceptic can put forward, but they can be productive in giving clarity to a concept of knowledge for us. On the other hand, our knowledge will always have an element of intuition and subjectivity, however not equating to epistemic luck and probability. Significance novelty: the approach to the context in general, not giving up being a Subject may give us a clarity about the sense of what it means to say – “I know”. (shrink)