This paper shows that the knowability paradox isn’t a paradox because the derivation of the paradox is faulty. This is explained by showing that the K operator employed in generating the paradox is used equivocally and when the equivocation is eliminated the derivation fails.

It is often claimed that anti-realism is a form of transcendental idealism or that Kant is an anti-realist. It is also often claimed that anti-realists are committed to some form of knowability principle and that such principles have problematic consequences. It is therefore natural to ask whether Kant is so committed, and if he is, whether this leads him into difficulties. I argue that a standard reading of Kant does indeed have him committed to the claim that all empirical (...) truths are knowable and that this claim entails that there is no empirical truth that is never known. I extend the result to a priori truths and draw some general philosophical lessons from this extension. However, I then propose a re-examination of Kant’s notion of experience according to which he carefully eschews any commitment to empirical knowability. Finally I respond to a remaining problem that stems from a weaker, justified believability principle. (shrink)

Famously, the Church–Fitch paradox of knowability is a deductive argument from the thesis that all truths are knowable to the conclusion that all truths are known. In this argument, knowability is analyzed in terms of having the possibility to know. Several philosophers have objected to this analysis, because it turns knowability into a nonfactive notion. In addition, they claim that, if the knowability thesis is reformulated with the help of factive concepts of knowability, then (...) omniscience can be avoided. In this article we will look closer at two proposals along these lines :557–568, 1985; Fuhrmann in Synthese 191:1627–1648, 2014a), because there are formal models available for each. It will be argued that, even though the problem of omniscience can be averted, the problem of possible or potential omniscience cannot: there is an accessible state at which all truths are known. Furthermore, it will be argued that possible or potential omniscience is a price that is too high to pay. Others who have proposed to solve the paradox with the help of a factive concept of knowability should take note :53–73, 2010; Spencer in Mind 126:466–497, 2017). (shrink)

In this paper I consider two paradoxes that arise in connection with the concept of demonstrability, or absolute provability. I assume—for the sake of the argument—that there is an intuitive notion of demonstrability, which should not be conflated with the concept of formal deducibility in a (formal) system or the relativized concept of provability from certain axioms. Demonstrability is an epistemic concept: the rough idea is that a sentence is demonstrable if it is provable from knowable basic (“self-evident”) premises by (...) means of simple logical steps. A statement that is demonstrable is also knowable and a statement that is actually demonstrated is known to be true. By casting doubt upon apparently central principles governing the concept of demonstrability, the paradoxes of demonstrability presented here tend to undermine the concept itself—or at least our understanding of it. As long as we cannot find a diagnosis and a cure for the paradoxes, it seems that the coherence of the concepts of demonstrability and demonstrable knowledge are put in question. There are of course ways of putting the paradoxes in quarantine, for example by imposing a hierarchy of languages a` la Tarski, or a ramified hierarchy of propositions and propositional functions a` la Russell. These measures, however, helpful as they may be in avoiding contradictions, do not seem to solve the underlying conceptual problems. Although structurally similar to the semantic paradoxes, the paradoxes discussed in this paper involve epistemic notions: “demonstrability”, “knowability”, “knowledge”... These notions are “factive” (e.g., if A is demonstrable, then A is true), but similar paradoxes arise in connection with “nonfactive” notions like “believes”, “says”, “asserts”.3 There is no consensus in the literature concerning the analysis of the notions involved—often referred to as “propositional attitudes”—or concerning the treatment of the paradoxes they give rise to. (shrink)

Fitch's knowability paradox shows that for each unknown truth there is also an unknowable truth, a result which has been thought both odd in itself and at odds with views which impose epistemic constraints on truth and/or meaningfulness. Here a solution is considered which has received little attention in the debate but which carries prima facie plausibility. The decidability solution is to accept that Fitch sentences are unknowably true but deny the significance of this on the grounds that (...) Fitch sentences are nevertheless decidable. The decidability solution is particularly attractive for those whose primary concern is an epistemic constraint on meaningfulness (‘verificationists’). For those whose main concern is truth (‘anti-realists’), the situation is more complex: Melia takes the solution to exonerate anti-realism completely; Williamson sees it as completely irrelevant. The truth lies between these two extremes: there is one broad anti-realist commitment to which the solution does not apply, but there is also one, the “fundamental tenet” of anti-realism according to Dummett, to which it does. (shrink)

According to the “paradox of knowability”, the moderate thesis that all truths are knowable – ... – implies the seemingly preposterous claim that all truths are actually known – ... –, i.e. that we are omniscient. If Fitch’s argument were successful, it would amount to a knockdown rebuttal of anti-realism by reductio. In the paper I defend the nowadays rather neglected strategy of intuitionistic revisionism. Employing only intuitionistically acceptable rules of inference, the conclusion of the argument is, firstly, (...) not ..., but .... Secondly, even if there were an intuitionistically acceptable proof of ..., i.e. an argument based on a different set of premises, the conclusion would have to be interpreted in accordance with Heyting semantics, and read in this way, the apparently preposterous conclusion would be true on conceptual grounds and acceptable even from a realist point of view. Fitch’s argument, understood as an immanent critique of verificationism, fails because in a debate dealing with the justification of deduction there can be no interpreted formal language on which realists and anti-realists could agree. Thus, the underlying problem is that a satisfactory solution to the “problem of shared content” is not available. I conclude with some remarks on the proposals by J. Salerno and N. Tennant to reconstruct certain arguments in the debate on anti-realism by establishing aporias. (shrink)

A novel solution to the knowability paradox is proposed based on Kant’s transcendental epistemology. The ‘paradox’ refers to a simple argument from the moderate claim that all truths are knowable to the extreme claim that all truths are known. It is significant because anti-realists have wanted to maintain knowability but reject omniscience. The core of the proposed solution is to concede realism about epistemic statements while maintaining anti-realism about non-epistemic statements. Transcendental epistemology supports such a view (...) by providing for a sharp distinction between how we come to understand and apply epistemic versus non-epistemic concepts, the former through our capacity for a special kind of reflective self-knowledge Kant calls ‘transcendental apperception’. The proposal is a version of restriction strategy: it solves the paradox by restricting the anti-realist’s knowability principle. Restriction strategies have been a common response to the paradox but previous versions face serious difficulties: either they result in a knowability principle too weak to do the work anti-realists want it to, or they succumb to modified forms of the paradox, or they are ad hoc. It is argued that restricting knowability to non-epistemic statements by conceding realism about epistemic statements avoids all versions of the paradox, leaves enough for the anti-realist attack on classical logic, and, with the help of transcendental epistemology, is principled in a way that remains compatible with a thoroughly anti-realist outlook. (shrink)

If we want to say that all truths are knowable Fitch’s Paradox leads us to conclude that all truths are known. Is it a real philosophical problem or a mere modeling problem? Is it possible to express the idea of knowability using modal logic? The Knowability Principle is expressed by the formula: if Phi is true then it is possible to know that Phi. But what is the meaning of possibility in this context? Using standard modal operators (...) under what condition can we express the idea of knowability? We will in particular examine the subjacent relations of the modal operators in a Kripke Model. We will define the possibility as the possibility of learning opposed to an unclear possibility. Then we will show that Fitch’s Paradox becomes clearer and we will examine how the Knowability Principle could be expressed in such frame. (shrink)

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

History and Philosophy of Logic, Volume 33, Issue 1, Page 101-104, February 2012.

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)

Anti-realism is plagued by Fitch’s paradox: the remarkable result that if one accepts that all truths are knowable, minimal assumptions about the nature of knowledge entail that every truth is known. Dorothy Edgington suggests to address this problem by understanding p is knowable to be a counterfactual claim, but her proposal must contend with a forceful objection by Timothy Williamson. I revisit Edgington’s basic idea and find that Williamson’s objection is obviated by a refined understanding of counterfactual knowability (...) that is grounded in possible courses of inquiry. I arrive at a precise definition of knowability that is not just a technical avoidance of paradox, but is metaphysically sound and does justice to the anti-realist idea. (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 variation of Fitch’s paradox is given, where no special rules of inference are assumed, only axioms. These axioms follow from the familiar assumptions which involve rules of inference. We show (by constructing a model) that by allowing that possibly the knower doesn’t know his own soundness (while still requiring he be sound), Fitch’s paradox is avoided. Provided one is willing to admit that sound knowers may be ignorant of their own soundness, this might offer a way out (...) of the paradox. (shrink)

A dynamic epistemic logic is presented in which the single agent can reason about his knowledge stages before and after announcements. The logic is generated by reinterpreting multi agent private announcements in a single agent environment. It is shown that a knowability principle is valid for such logic: any initially true ϕ can be known after a certain number of announcements.

Unlike almost all other philosophers of science, Karl Popper sought to contribute to natural philosophy or cosmology – a synthesis of science and philosophy. I consider his contributions to the philosophy of science and quantum theory in this light. There is, however, a paradox. Popper’s most famous contribution – his principle of demarcation – in driving a wedge between science and metaphysics, serves to undermine the very thing he professes to love: natural philosophy. I argue that Popper’s philosophy of (...) science is, in this respect, defective. Science cannot proceed without making highly problematic metaphysical assumptions concerning the comprehensibility and knowability of the universe. Precisely because these assumptions are problematic, rigour requires that they be subjected to sustained critical scrutiny, as an integral part of science itself. Popper’s principle of demarcation must be rejected. Metaphysics and philosophy of science become a vital part of science. Natural philosophy is reborn. A solution to the problem of what it means to say a theory is unified is proposed, a problem Popper failed to solve. In The Logic of Scientific Discovery, Popper made important contributions to the interpretation of quantum theory, especially in connection with Heisenberg's uncertainty relations. Popper's advocacy of natural philosophy has important implications for education. (shrink)

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

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)

Fitch’s Paradox shows that if every truth is knowable, then every truth is known. Standard diagnoses identify the factivity/negative infallibility of the knowledge operator and Moorean contradictions as the root source of the result. This paper generalises Fitch’s result to show that such diagnoses are mistaken. In place of factivity/negative infallibility, the weaker assumption of any ‘level-bridging principle’ suffices. A consequence is that the result holds for some logics in which the “Moorean contradiction” commonly thought to underlie the result (...) is in fact consistent. This generalised result improves on the current understanding of Fitch’s result and widens the range of modalities of philosophical interest to which the result might be fruitfully applied. Along the way, we also consider a semantic explanation for Fitch’s result which answers a challenge raised by Kvanvig. (shrink)

Antirealists who hold the knowability thesis, namely that all truths are knowable, have been put on the defensive by the Church-Fitch paradox of knowability. Rejecting the non-factivity of the concept of knowability used in that paradox, Edgington has adopted a factive notion of knowability, according to which only actual truths are knowable. She has used this new notion to reformulate the knowability thesis. The result has been argued to be immune against the Church-Fitch (...) paradox, but it has encountered several other triviality objections. Schlöder in a forthcoming paper defends the general approach taken by Edgington, but amends it to save it in turn from the triviality objections. In this paper I will argue, first, that Schlöder's justification for the factivity of his version of the concept of knowability is vulnerable to criticism, but I will also offer an improved justification that is in the same spirit as his. To the extent that some philosophers are right about our intuitive concept of knowability being a factive one, it is important to explore factive concepts of knowability that are made formally precise. I will subsequently argue that Schlöder's version of the knowability thesis overgenerates knowledge or, in other words, it leads to attributions of knowledge where there is ignorance. This fits a general pattern for the research programme initiated by Edgington. This paper also contains preliminary investigations into the internal and logical structure of lines of inquiries, which raise interesting research questions. (shrink)

In a recent paper, Alexander argues that relaxing the requirement that sound knowers know their own soundness might provide a solution to Fitch’s paradox and introduces a suitable axiomatic system where the paradox is avoided. In this paper an analysis of this solution is proposed according to which the effective move for solving the paradox depends on the axiomatic treatment of the ontic modality rather than the limitations imposed on the epistemic one. It is then shown that, (...) once the ontic modality is standardly introduced, the paradox still follows and, in addition, some puzzling consequences arise. (shrink)

The discrepancy between individual women and the stereotypes attributed to the group as a ‎whole has become progressively greater and more explicit over the course of history. The stereotypes remain the same age-old ‎allegations whilst the ‎developments in the occupations of women and the traits they have opportunity to express have increased the distance between women and those ascribed traits. Stereotypes’ abstention from revision in light of contrary evidence constitutes an epistemic paradox for it entails conflict between the stereotypical (...) knowledge and empirical evidence, as well as between the stereotypical knowledge and other empirical knowledges. This paradox of stubbornness also raises the question as to the epistemic source of stereotypes. For, people at young ages encounter evidence which should have formed a more complex knowledge regarding women rather than the pervasive stereotypical knowledge. It is this extremity of absurdness of stereotypes regarding women that is utile to understanding stereotypes as a whole. The epistemic paradox that is engrained in all stereotypes is exposed uncompromisingly by this group. The paradox cannot be dismissed with excuses of having a small basis of evidence, such as may be said regarding other social groups with which one may have had minimal or no contact. Thus, stereotypes of women provide a limit case to understanding the epistemology of this paradoxical form of knowledge. The traits and epistemic phenomena which render stereotypes epistemically puzzling and intriguing is the relationship between knowledges. Stereotypical knowledge regarding women as a group conflict with one’s experience-founded knowledges of particular women, deeming the corporate body of knowledge incoherent. Quine’s theory of knowledge, with its holistic empirical approach endorsing conceptual schemes, provides fertile ground for this analysis. The novelty in his account is his establishment of the criteria of coherency, which shifts the focal point of epistemic inquiry away from the adequacy of individual knowledges with empirical evidence to the intra-knowledge relationships themselves. In his empiricism, Quine rather examines the interactions between knowledges and the overarching coherence of the body of knowledge as a holistic unit. Quine creates place in his account for mechanism which provide for the epistemic incongruences of stubbornness and conflict found between stereotypical knowledges and empirical evidence. These very mechanisms are what this paper requests to examine. Quine, ultimately, formulates knowledge as a collectively held fabric consisting of relations and of posits – socially constructed mechanisms which are empirically-irreducible and implemented pragmatically for the organisation of empirical evidence. According to Quine, the fabric formation is a conceptual scheme sourced in social heritage. People are bestowed with an eclectic framework of ‎knowledge to pragmatically merge between an inherited, collective conceptual scheme and the personally experienced empirical evidence. This paper will delve into Quine’s fabric of knowledge, its relations, and inner-mechanisms. The finding of stereotypes to be an age-old posit entrenched pragmatically – thus stubbornly – in the collective conceptual scheme, will explain the epistemic paradoxes they entail and offer insight to their revision in light of empiric reality and its women. (shrink)

Many philosophical discussions hinge on the concept of knowability. For example, there is a blooming literature on the so-called paradox of knowability. How to understand this notion, however? In this paper, we examine several approaches to the notion: the naive approach to take knowability as the possibility to know, the counterfactual approach endorsed by Edgington (1985) and Schlöder (2019) , approaches based on the notion of a capacity or ability to know (Fara 2010, Humphreys 2011), and (...) finally, approaches that make use of the resources of dynamic epistemic logic (van Benthem 2004, Holliday 2017). (shrink)

Supererogatory acts—good deeds “beyond the call of duty”—are a part of moral common sense, but conceptually puzzling. I propose a unified solution to three of the most infamous puzzles: the classic Paradox of Supererogation (if it’s so good, why isn’t it just obligatory?), Horton’s All or Nothing Problem, and Kamm’s Intransitivity Paradox. I conclude that supererogation makes sense if, and only if, the grounds of rightness are multi-dimensional and comparative.

Recently, the problem of national identity has been actualized, but here is a the question: identity to what? Traditions, religion, mentality? Ideals, perhaps? Inspired by the best examples of national historical thought, the author offers an an original approach to deciphering the Russian "cultural code". В последнее время актуализируется проблема национальной идентичности, но вот вопрос: идентичности чему? Традициям, религии, менталитету? Идеалам, может быть? Воодушевленный лучшими образцами отечественной исторической мысли, автор предлагает оригинальный подход к расшифровке русского «культурного кода».

Illusionism is the view that conscious experience is some sort of introspective illusion. According to illusionism, there is no conscious experience, but it merely seems like there is conscious experience. This would suggest that much phenomenological enquiry, including work on phenomenological psychopathology, rests on a mistake. Some philosophers have argued that illusionism is obviously false, because seeming is itself an experiential state, and so necessarily presupposes the reality of conscious experience. In response, the illusionist could suggest that the relevant sort (...) of seeming here is not an experiential state, but is a cognitive state, such as a judgement or a belief, which is fully amenable to a physical or functionalist analysis. Herein, I argue that this response is unsuccessful and fails to undermine the reality of conscious experience. Nonetheless, the response does raise the problem of how a judgement or belief about the character of a conscious experience, even if it is true, can be justified if the conscious experience has no causal role in the formation of the judgement or belief. This is not a new problem, but is a reiteration of an old problem that is known in the philosophy of mind literature as the paradox of phenomenal judgement. I consider how the paradox of phenomenal judgement can be resolved and how the judgement or belief about conscious experience can be justified with appeal to the notion of acquaintance. (shrink)

This paper is concerned with the paradox of decrease. Its aim is to defend the answer to this puzzle that was propounded by its originator, namely, the Stoic philosopher Chrysippus. The main trouble with this answer to the paradox is that it has the seemingly problematic implication that a material thing could perish due merely to extrinsic change. It follows that in order to defend Chrysippus’ answer to the paradox, one has to explain how it could be (...) that Theon is destroyed by the amputation without changing intrinsically. In this paper, I shall answer this challenge by appealing to the broadly Aristotelian idea that at least some of the proper parts of a material substance are ontologically dependent on that substance. I will also appeal to this idea in order to offer a new solution to the structurally similar paradox of increase. In this way, we will end up with a unified solution to two structurally similar paradoxes. (shrink)

It is widely accepted that there is what has been called a non-hypocrisy norm on the appropriateness of moral blame; roughly, one has standing to blame only if one is not guilty of the very offence one seeks to criticize. Our acceptance of this norm is embodied in the common retort to criticism, “Who are you to blame me?”. But there is a paradox lurking behind this commonplace norm. If it is always inappropriate for x to blame y for (...) a wrong that x has committed, then all cases in which x blames x (i.e. cases of self-blame) are rendered inappropriate. But it seems to be ethical common-sense that we are often, sadly, in position (indeed, excellent, privileged position) to blame ourselves for our own moral failings. And thus we have a paradox: a conflict between the inappropriateness of hypocritical blame, and the appropriateness of self-blame. We consider several ways of resolving the paradox, and contend none is as defensible as a position that simply accepts it: we should never blame ourselves. In defending this startling position, we defend a crucial distinction between self-blame and guilt. (shrink)

Philosophers have long argued that duties to oneself are paradoxical, as they seem to entail an incoherent power to release oneself from obligations. I argue that self-release is possible, both as a matter of deontic logic and of metaethics.

This paper deals with Veronica Rodriguez-Blanco’s answer to the paradox of the normativity of law: How can autonomous self-legislating persons act, without compromising their autonomy and their will, following legal rules? Regarding Rodriguez-Blanco’s answer, I offer two main critiques. The first one is based on Rodriguez-Blanco’s comments to David Enoch’s paper in which I argue against the idea that a descriptive theoretical account of law can, and should, give an answer to general problems of normativity due to the fact (...) that a theoretical approach that engages in questions about the normativity of law cannot be purely descriptive, therefore against Rodriguez-Blanco I conclude that Enoch’s answer is the only response a descriptive account is able to offer. The second criticism focuses on Rodriguez-Blanco’s response to the paradox and argues that her solution is not, in fact, a descriptive one, but one that relies on strong normative premises, which as it turns out defend a perfectionist perspective towards the law.Resumen:Este trabajo analiza la respuesta que Veronica Rodriguez-Blanco propone para resolver la paradoja de la normatividad del derecho: ¿Cómo es posible que una persona autónoma actúe siguiendo los mandatos de normas jurídicas sin comprometer su autonomía ni su voluntad? El autor ofrece dos críticas a la respuesta de Rodriguez-Blanco. La primera de ellas está basada en los comentarios que Rodriguez-Blanco ha hecho sobre la propuesta de David Enoch. En este punto, el autor argumenta en contra de la idea según la cual una perspectiva descriptiva del derecho puede, y debe, tratar de responder a los problemas generales de la normatividad del derecho. De acuerdo con el autor, una perspectiva que pretenda dar respuesta a los problemas de la normatividad del derecho no puede ser una perspectiva puramente descriptiva. En este sentido, el autor sostiene que la respuesta que ofrece Enoch es la única respuesta que una perspectiva descriptiva del derecho puede dar. La segunda crítica está dirigida a la respuesta que Rodriguez-Blanco da sobre la paradoja de la normatividad. En este segundo punto el autor argumenta que la perspectiva de Rodriguez-Blanco no es una perspectiva descriptiva como ella presume, sino que adopta una perspectiva normativa la cual, además, está comprometida con una idea perfeccionista del derecho. (shrink)

The coordinated attack scenario and the electronic mail game are two paradoxes of common knowledge. In simple mathematical models of these scenarios, the agents represented by the models can coordinate only if they have common knowledge that they will. As a result, the models predict that the agents will not coordinate in situations where it would be rational to coordinate. I argue that we should resolve this conflict between the models and facts about what it would be rational to do (...) by rejecting common knowledge assumptions implicit in the models. I focus on the assumption that the agents have common knowledge that they are rational, and provide models to show that denying this assumption suffices for a resolution of the paradoxes. I describe how my resolution of the paradoxes fits into a general story about the relationship between rationality in situations involving a single agent and rationality in situations involving many agents. (shrink)

The study of the “first wave” of reactions to the Critique of Pure Reason in Germany from the second half of the 1780s until the beginning of the nineteenth century reveals the paradoxical status of the Kantian transcendental subject. While the existence of the transcendental subject, whatever the term means, is not open to question since it arises from the very essence of critical philosophy, the fundamental status of the subject is sometimes questioned in this period. Although the meaning of (...) the concept of transcendental subject seems obvious today (the subject of cognition, bearer of transcendental conditions of experience) it lends itself to various interpretations in the late eighteenth century. To achieve my goal I have undertaken a textological analysis of the works of the earliest opponents and followers of the Kantian critique and a reconstruction of the conceptual field in the midst of which the transcendental subject has been planted. Among others I draw on the works of J. S. Beck, J. A. Eberhard, J. G. Hamann, F. H. Jacobi, S. Maimon, K. L. Reinhold, G. E. Schulze and A. Weishaupt. The authors of the period are grouped depending on the common themes and questions that prompted them to turn to the concept of the transcendental subject, even though the results of their reflections did not always coincide. These authors think of the transcendental subject in its relationship to the transcendental object, or as “something = х”, and in terms of the relationship of representation to the object. It is characterised sometimes as something absolutely hollow, and sometimes as the fullness of true reality. The status ascribed to the transcendental subject is sometimes that of a thing-in-itself and sometimes that of a “mere” idea. Finally, Kant’s transcendental subject was sometimes seen as something to be overcome and sometimes as an infinite challenge to understanding. (shrink)

*As mentioned in Peter Coy's NYT essay "When Being Good Is Just a Matter of Being Lucky" (2023) -/- ----- -/- How is the problem of free will related to the problem of moral luck? In this essay, I answer that question and outline a new solution to the paradox of moral luck, the source-paradox solution. This solution both explains why the paradox arises and why moral luck does not exist. To make my case, I highlight a (...) few key connections between the paradox of moral luck and two related problems, namely the problem of free will and determinism and the paradox of self-creation. Piecing together intuitions, arguments, and insights from recent work on each of these three problems, I argue that the type of control necessary for moral responsibility can only be had by someone who is a genuine source of his own actions, but the relevant notion of sourcehood admits no coherent characterization. If our commonsense view of moral responsibility is incoherent, it is unsurprising that our commitment to the existence of morally responsible agents commits us to some paradoxical things—e.g. to both the existence and impossibility of moral luck. For more information about this article, please write to gmail account: kristin.mickelson.42. (shrink)

According to a widely held view epistemic justification is a normative notion. According to another widely held assumption, epistemic justification comes in degrees. Given that gradability requires a context-sensitivity that normativity seems to lack, these two assumptions stand in tension. Giving up the assumption of gradability of justification represents a lesser theoretical cost.

Most theories of suspense implicitly or explicitly have as a background assumption what I call suspense realism, i.e., that suspense is itself a genuine, distinct emotion. I claim that for a theory of suspense to entail suspense realism is for that theory to entail a contradiction, and so, we ought instead assume a background of suspense eliminativism, i.e., that there is no such genuine, distinct emotion that is the emotion of suspense. More precisely, I argue that i) any suspense realist (...) (...) theory must resolve the paradox of suspense, ii) if suspense is itself a genuine, distinct emotion, then in order to resolve the paradox of suspense it must be a radically sui generis genuine, distinct emotion, iii) according to any minimally adequate theory of the emotions, there can be no radically sui generis emotion, and so iv) there can be no genuine, distinct emotion that is the emotion of suspense. Quite simply, if a theory of suspense must entail suspense realism, then we ought to be eliminativists about suspense. This I call the Paradox of Suspense Realism, which I take to constitute a productive viability condition for any theory of suspense, i.e., any viable theory of suspense must be mutatis mutandis compatible with suspense eliminativism. (shrink)

Our evidence can be about different subject matters. In fact, necessarily equivalent pieces of evidence can be about different subject matters. Does the hyperintensionality of ‘aboutness’ engender any hyperintensionality at the level of rational credence? In this paper, I present a case which seems to suggest that the answer is ‘yes’. In particular, I argue that our intuitive notions of independent evidence and inadmissible evidence are sensitive to aboutness in a hyperintensional way. We are thus left with a paradox. (...) While there is strong reason to think that rational credence cannot make such hyperintensional distinctions, our intuitive judgements about certain cases seem to demand that it does. (shrink)

Saying that x is ineffable seems to be paradoxical – either I cannot say anything about x, not even that it is ineffable – or I can say that it is ineffable, but then I can say something and it is not ineffable. In this article, I discuss Alston’s version of the paradox and a solution proposed by Hick which employs the concept of formal and substantial predicates. I reject Hick’s proposal and develop a different account based on some (...) passages from Pseudo-Dionysius’ Mystica Theologia. ‘God is ineffable’ is a metalinguistic statement concerning propositions about God: not all propositions about God are expressible in a human language. (shrink)

This paper resolves a paradox concerning colour constancy. On the one hand, our intuitive, pre-theoretical concept holds that colour constancy involves invariance in the perceived colours of surfaces under changes in illumination. On the other, there is a robust scientific consensus that colour constancy can persist in cerebral achromatopsia, a profound impairment in the ability to perceive colours. The first stage of the solution advocates pluralism about our colour constancy capacities. The second details the close relationship between colour constancy (...) and contrast. The third argues that achromatopsics retain a basic type of colour constancy associated with invariants in contrast processing. The fourth suggests that one person-level, conscious upshot of such processing is the visual awareness of chromatic contrasts ‘at’ the edges of surfaces, implicating the ‘colour for form’ perceptual function. This primitive type of constancy sheds new light on our most basic perceptual capacities, which mark the lower borders of representational mind. (shrink)

Conscientious objection in health care is a form of compromise whereby health care practitioners can refuse to take part in safe, legal, and beneficial medical procedures to which they have a moral opposition (for instance abortion). Arguments in defense of conscientious objection in medicine are usually based on the value of respect for the moral integrity of practitioners. I will show that philosophical arguments in defense of conscientious objection based on respect for such moral integrity are extremely weak and, if (...) taken seriously, lead to consequences that we would not (and should not) accept. I then propose that the best philosophical argument that defenders of conscientious objection in medicine can consistently deploy is one that appeals to (some form of) either moral relativism or subjectivism. I suggest that, unless either moral relativism or subjectivism is a valid theory—which is exactly what many defenders of conscientious objection (as well as many others) do not think—the role of moral integrity and conscientious objection in health care should be significantly downplayed and left out of the range of ethically relevant considerations. (shrink)

My aim in this paper is to develop a unified solution to two paradoxes of bounded rationality. The first is the regress problem that incorporating cognitive bounds into models of rational decisionmaking generates a regress of higher-order decision problems. The second is the problem of rational irrationality: it sometimes seems rational for bounded agents to act irrationally on the basis of rational deliberation. I review two strategies which have been brought to bear on these problems: the way of weakening which (...) responds by weakening rational norms, and the way of indirection which responds by letting the rationality of behavior be determined by the rationality of the deliberative processes which produced it. Then I propose and defend a third way to confront the paradoxes: the way of level separation. (shrink)

Counterfactuals are somewhat tolerant. Had Socrates been at least six feet tall, he need not have been exactly six feet tall. He might have been a little taller—he might have been six one or six two. But while he might have been a little taller, there are limits to how tall he would have been. Had he been at least six feet tall, he would not have been more than a hundred feet tall, for example. Counterfactuals are not just tolerant, (...) then, but bounded. This paper presents a surprising paradox: If counterfactuals are tolerant and bounded, then we can prove a flat contradiction using natural rules of inference. Something has to go then. But what? (shrink)

Given any proposition, is it possible to have rationally acceptable attitudes towards it? Absent reasons to the contrary, one would probably think that this should be possible. In this paper I provide a reason to the contrary. There is a proposition such that, if one has any opinions about it at all, one will have a rationally unacceptable set of propositional attitudes—or if one doesn’t, one will end up being cognitively imperfect in some other manner. The proposition I am concerned (...) with is a self-referential propositional attitude ascription involving the propositional attitude of rejection. Given a basic assumption about what constitutes irrationality, and a few assumptions about the nature of cognitively ideal agents, a paradox results. This paradox is superficially like the Liar, but it is importantly different in that no alethic notions are involved at all. As such, it stands independent of the Liar and is not a ‘revenge’ version of it. After setting out the paradox I discuss possible responses. After considering several I argue that one is best off simply accepting that the paradox shows us something surprising and interesting about rationality: that some cognitive shortfall is unavoidable even for ideal agents. I argue that nothing disastrous follows from accepting this conclusion. (shrink)

Some philosophers have argued that Aristotle’s view of habituation gives rise to a ‘paradox of moral education.’ The inculcation of habit, they contend, seems antithetical to the cultivation of virtue. I argue that this alleged paradox arises from significant misunderstandings of Aristotle’s view. Habit formation need not be at odds with the development of the kinds of intelligent, reflective capacities required for virtue. Indeed, Aristotle seems right to insist on an important role for habit in the cultivation of (...) virtue. I suggest that habit formation is part of the story of how the virtuous come to see the world aright. (shrink)

Sometimes a fact can play a role in a grounding explanation, but the particular content of that fact make no difference to the explanation—any fact would do in its place. I call these facts vacuous grounds. I show that applying the distinction between-vacuous grounds allows us to give a principled solution to Kit Fine and Stephen Kramer’s paradox of ground. This paradox shows that on minimal assumptions about grounding and minimal assumptions about logic, we can show that grounding (...) is reflexive, contra the intuitive character of grounds. I argue that we should never have accepted that grounding is irreflexive in the first place; the intuitions that support the irreflexive intuition plausibly only require that grounding be non-vacuously irreflexive. Fine and Kramer’s paradox relies, essentially, on a case of vacuous grounding and is thus no problem for this account. (shrink)

This paper brings two fresh perspectives on Lewis’s theory of time travel. First: many key aspects and theoretical desiderata of Lewis’s theory can be captured in a framework that does not commit to eternalism about time. Second: implementing aspects of Lewisian time travel in a non-eternalist framework provides theoretical resources for a better treatment of time travel to the future. While time travel to the past has been extensively analyzed, time travel to the future has been comparatively underexplored. I make (...) progress on this topic. Along the way, I discuss Lewis’s lesser-known time travel oeuvre, especially his volume of correspondence and lectures on the topic collected in Beebee and Fisher (2020) and Janssen-Lauret & MacBride (forthcoming). Lewis’s body of unpublished work on time travel yields fruitful insights into his broader thinking on the subject. (shrink)

This paper reconsiders certain of Kierkegaard's criticisms of Hegel's theoretical philosophy in the light of recent interpretations of the latter. The paper seeks to show how these criticisms, far from being merely parochial or rhetorical, turn on central issues concerning the nature of thought and what it is to think. I begin by introducing Hegel's conception of "pure thought" as this is distinguished by his commitment to certain general requirements on a properly philosophical form of inquiry. I then outline Hegel's (...) strategy for resolving a crucial problem he takes himself to face. For his account of the nature of thought depends upon the idea of a form of inquiry in which nothing whatsoever is presupposed; but this idea appears basically paradoxical inasmuch as the mere act of beginning to inquire in a certain way embodies an assumption about how it is appropriate to begin. Turning to Kierkegaard, I consider a key objection to the effect that Hegel's strategy for resolving this paradox depends on the incoherent idea of a purely reflexive act of thinking. Finally, I draw out some central features of the alternative account of "situated" thought and inquiry which Kierkegaard presents as distinctively Socratic. (shrink)