David Kaplan famously argued that mainstream semantics for modal logic, which identifies propositions with sets of possible worlds, is affected by a cardinality paradox. Takashi Yagisawa showed that a variant of the same paradox arises when standard possible worlds semantics is extended with impossible worlds to deliver a hyperintensional account of propositions. After introducing the problem, we discuss two general approaches to a possible solution: giving up on sets and giving up on worlds, either in the background semantic (...) framework or in the corresponding conception of propositions. As a result, we conclude that abandoning worlds by embracing a truthmaker-based approach offers a promising way to account for hyperintensional propositions without facing the paradoxical outcome. (shrink)

The principle of universal instantiation plays a pivotal role both in the derivation of intensional paradoxes such as Prior’s paradox and Kaplan’s paradox and the debate between necessitism and contingentism. We outline a distinctively free logical approach to the intensional paradoxes and note how the free logical outlook allows one to distinguish two different, though allied themes in higher-order necessitism. We examine the costs of this solution and compare it with the more familiar ramificationist approaches to higher-order logic. (...) Our assessment of both approaches is largely pessimistic, and we remain reluctantly inclined to take Prior’s and Kaplan’s derivations at face value. (shrink)

Predicates are term-to-sentence devices, and operators are sentence-to-sentence devices. What Kaplan and Montague's Paradox of the Knower demonstrates is that necessity and other modalities cannot be treated as predicates, consistent with arithmetic; they must be treated as operators instead. Such is the current wisdom.A number of previous pieces have challenged such a view by showing that a predicative treatment of modalities neednot raise the Paradox of the Knower. This paper attempts to challenge the current wisdom in another way (...) as well: to show that mere appeal to modal operators in the sense of sentence-to-sentence devices is insufficient toescape the Paradox of the Knower. A family of systems is outlined in which closed formulae can encode other formulae and in which the diagonal lemma and Paradox of the Knower are thereby demonstrable for operators in this sense. (shrink)

The present work outlines a logical and philosophical conception of propositions in relation to a group of puzzles that arise by quantifying over them: the Russell-Myhill paradox, the Prior-Kaplan paradox, and Prior's Theorem. I begin by motivating an interpretation of Russell-Myhill as depending on aboutness, which constrains the notion of propositional identity. I discuss two formalizations of of the paradox, showing that it does not depend on the syntax of propositional variables. I then extend to propositions a (...) modal predicative response to the paradoxes articulated by an abstraction principle for propositions. On this conception, propositions are “shadows” of the sentences that express them. Modal operators are used to uncover the implicit relation of dependence that characterizes propositions that are about propositions. The benefits of this approach are shown by application to other intensional puzzles. The resulting view is an alternative to the plenitudinous metaphysics of impredicative comprehension principles. (shrink)

Various data from communication that does not occur face-to-face are taken to be problematic for Kaplan’s account of indexical expressions, as is the case with the so-called answering machine paradox. One fix, developed by Sidelle (1991) and Briciu (2018), is the remote utterance view: recording artifacts are means by which speakers perform utterances at a distance, just as by means of other artifacts agents performs other types of actions at a distance. This view has faced an important objection, namely (...) that remote utterances lead to Moorean paradoxes. In this paper, I defend the remote utterance view against this objection and further develop the view. I argue that worries about Moorean paradoxes can easily be dispelled if we take into consideration the artifactual nature of recording devices, their materiality, and the communicative affordances they bring about. In the first section, we’ll present the answering machine paradox and give a brief overview of the remote utterance view. The second section presents the objection against the view, while the third gives a detailed rejoinder to the objection. Answering this objection is important also because it allows us to explore some underdeveloped aspects of the remote utterance view. First, I will discuss how the theorist calibrates her model with the data she seeks to explain and predict. Secondly, I will argue that speech acts performed via recording devices have different felicity conditions than their oral counterparts. I conclude with a short discussion of some semantic and pragmatic consequences of the view. (shrink)

This paper consists of an investigation of three debates concerning propositional identity: the tension between structured propositions and higher-order logic, the principle Only Logical Circles, and Kaplan’s Paradox. The literature at large has mistaken the consequences of each of these debates. Structuralists are not committed to the claim that identical properties have different extensions; rather, they are committed to existence monism. Only Logical Circles does not preclude the identification of green in terms of grue; some further (and, as of (...) yet, undisclosed) principle is required for that result. And Kaplan’s Paradox does not count against the possible-worlds conception of propositions; it applies to every account of propositions whatsoever. (shrink)

There are three questions associated with Simpson’s Paradox (SP): (i) Why is SP paradoxical? (ii) What conditions generate SP?, and (iii) What should be done about SP? By developing a logic-based account of SP, it is argued that (i) and (ii) must be divorced from (iii). This account shows that (i) and (ii) have nothing to do with causality, which plays a role only in addressing (iii). A counterexample is also presented against the causal account. Finally, the causal and (...) logic-based approaches are compared by means of an experiment to show that SP is not basically causal. (shrink)

There are three questions associated with Simpson’s paradox (SP): (i) Why is SP paradoxical? (ii) What conditions generate SP? and (iii) How to proceed when confronted with SP? An adequate analysis of the paradox starts by distinguishing these three questions. Then, by developing a formal account of SP, and substantiating it with a counterexample to causal accounts, we argue that there are no causal factors at play in answering questions (i) and (ii). Causality enters only in connection with (...) action. (shrink)

Metaphysically possible worlds have many uses. Epistemically possible worlds promise to be similarly useful, especially in connection with propositions and propositional attitudes. However, I argue that there is a serious threat to the natural accounts of epistemically possible worlds, from a version of Russell’s paradox. I contrast this threat with David Kaplan’s problem for metaphysical possible world semantics: Kaplan’s problem can be straightforwardly rebutted, the problems I raise cannot. I argue that although there may be coherent accounts of epistemically (...) possible worlds with fruitful applications, any such an account must fundamentally compromise the basic idea behind epistemic possibility. (shrink)

We address the need for a model by considering two competing theories regarding the origin of life: (i) the Metabolism First theory, and (ii) the RNA World theory. We discuss two interrelated points, namely: (i) Models are valuable tools for understanding both the processes and intricacies of origin-of-life issues, and (ii) Insights from models also help us to evaluate the core objection to origin-of-life theories, called “the inefficiency objection”, which is commonly raised by proponents of both the Metabolism First theory (...) and the RNA World theory against each other. We use Simpson’s Paradox (SP) as a tool for challenging this objection. We will use models in various senses, ranging from taking them as representations of reality to treating them as theories/accounts that provide heuristics for probing reality. In this paper, we will frequently use models and theories interchangeably. Additionally, we investigate Conway’s Game of Life and contrast it with our SP-based approach to emergence-of-life issues. Finally, we discuss some of the consequences of our view. A scientific model is testable in three senses: (i) a logical sense, (ii) a nomological sense, and (iii) a current technological sense. The SP-based model is testable in the first two senses but it is not feasible to test it using current technology. (shrink)

Lewis et al. (2011) attempted to restore the reputation of Samuel George Morton, a 19th century physician who reported on the skull sizes of different folk-races. Whereas Gould (1978) claimed that Morton's conclusions were invalid because they reflected unconscious bias, Lewis et al. alleged that Morton's findings were, in fact, supported, and Gould's analysis biased. We take strong exception to Lewis et al.’s thesis that Morton was “right.” We maintain that Gould was right to reject Morton's analysis as inappropriate and (...) misleading, but wrong to believe that a more appropriate analysis was available. Lewis et al. fail to recognize that there is, given the dataset available, no appropriate way to answer any of the plausibly interesting questions about the “populations” in question (which in many cases are not populations in any biologically meaningful sense). We challenge the premise shared by both Gould and Lewis et al. that Morton's confused data can be used to draw any meaningful conclusions. This, we argue, reveals the importance of properly focusing on the questions asked, rather than more narrowly on the data gathered. (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)

I argue that Meno’s Paradox targets the type of knowledge that Socrates has been looking for earlier in the dialogue: knowledge grounded in explanatory definitions. Socrates places strict requirements on definitions and thinks we need these definitions to acquire knowledge. Meno’s challenge uses Socrates’ constraints to argue that we can neither propose definitions nor recognize them. To understand Socrates’ response to the challenge, we need to view Meno’s challenge and Socrates’ response as part of a larger disagreement about the (...) value of inquiry. (shrink)

In this paper we give some suggestions from etymology on the contrast between Kaplan’s direct reference theory and a neo-Fregean view on indexicals. After a short summary of the philosophical debate on indexicals (§1), we use some remarks about the hidden presence of a demonstrative root in all indexicals to derive some provisional doubts concerning Kaplan’s criticism of what he calls “sloppy thinker” (§2). To support those doubts, we will summarise some etymological data on the derivation of the so-called “pure (...) indexicals” from an original demonstrative root (§ 3). The aim of the paper is to consider etymological data as providing evidence for alternative theories of language and fostering new directions in linguistic and philosophical research on specific topics. (shrink)

In recent years there has been a revitalised interest in non-classical solutions to the semantic paradoxes. In this paper I show that a number of logics are susceptible to a strengthened version of Curry's paradox. This can be adapted to provide a proof theoretic analysis of the omega-inconsistency in Lukasiewicz's continuum valued logic, allowing us to better evaluate which logics are suitable for a naïve truth theory. On this basis I identify two natural subsystems of Lukasiewicz logic which individually, (...) but not jointly, lack the problematic feature. (shrink)

Since it was presented in 1963, Chisholm’s paradox has attracted constant attention in the deontic logic literature, but without the emergence of any definitive solution. We claim this is due to its having no single solution. The paradox actually presents many challenges to the formalization of deontic statements, including (1) context sensitivity of unconditional oughts, (2) formalizing conditional oughts, and (3) distinguishing generic from nongeneric oughts. Using the practical interpretation of ‘ought’ as a guideline, we propose a linguistically (...) motivated logical solution to each of these problems, and explain the relation of the solution to the problem of contrary-to-duty obligations. (shrink)

If I were to say, “Agnes does not know that it is raining, but it is,” this seems like a perfectly coherent way of describing Agnes’s epistemic position. If I were to add, “And I don’t know if it is, either,” this seems quite strange. In this chapter, we shall look at some statements that seem, in some sense, contradictory, even though it seems that these statements can express propositions that are contingently true or false. Moore thought it was paradoxical (...) that statements that can express true propositions or contingently false propositions should nevertheless seem absurd like this. If we can account for the absurdity, we shall solve Moore’s Paradox. In this chapter, we shall look at Moore’s proposals and more recent discussions of Moorean absurd thought and speech. (shrink)

The problem of philosophical skepticism relates to the difficulty involved in underwriting the claim that we know anything of spatio-temporal reality. It is often claimed, in fact, that proper philosophical scrutiny reveals quite the opposite from what common sense suggests. Knowledge of external reality is thought to be even quite obviously denied to us as a result of the alleged fact that we all fail to know that certain skeptical scenarios do not obtain. A skeptical scenario is one in which (...) we have neurological occurrences just like any normal situation in which we actually perceive spatio-temporal objects, but where we are deceived in some sense as a result of the manipulation of our brains from some outside source. In this work I attempt to address the problem of philosophical skepticism by claiming that most of us are able to come to know plenty about external reality, since we can come to realize that a certain philosophical theory of perception is correct. The theory I have in mind is what I call a non-cognitive theory of perception. According to this view, perceptual experience is defined by continuous, sensitive behavioral interaction with spatio-temporal objects of the appropriate size, shape, hardness, speed, etc. Knowing that this theory of perception is correct is equivalent to knowing that we know plenty about external reality. This is ultimately because by knowing that a non-cognitive theory of perception is true, we know that any skeptical scenario must fail to obtain. The structure of the work proceeds by first discussing the significance of the problem of philosophical skepticism in some detail. Chapter 1 lays out how the problem does indeed forcefully arise if it is conceded that we fail to know that the skeptical scenarios fail to obtain. Chapter 2 develops the sort of view of our epistemological situation that falls out of accepting without qualification that the problem exists. Chapter 3 examines and criticizes certain popular responses to the skeptical problem. The main goal of these first three preliminary chapters is to indicate that once it is admitted that we fail to know that the skeptical scenarios fail to obtain, the problem of philosophical skepticism forcefully presents itself. Chapter 4, however, attacks the idea that we fail to know that the skeptical scenarios fail to obtain. In this chapter I argue that this idea is wedded to the position that a certain theory of perception is correct. The theory in question is what I call a conjunctive theory of veridical experience. According to this view, normal experience of spatio-temporal objects occurs when a subject has a certain perceptual experience, and that experience also happens to match up with and/or be satisfied by what is really the case. Only when a theory of this sort is assumed, I argue, is the claim that we fail to know that the skeptical scenarios fail to obtain found to be obvious. In chapter 5 I argue that, in fact, a non-cognitive theory, rather than a conjunctive theory, is the correct view to maintain. In the final chapter 6 I develop the epistemological position that falls out of accepting a non-cognitive theory. (shrink)

Moore’s Paradox is a test case for any formal theory of belief. In Knowledge and Belief, Hintikka developed a multimodal logic for statements that express sentences containing the epistemic notions of knowledge and belief. His account purports to offer an explanation of the paradox. In this paper I argue that Hintikka’s interpretation of one of the doxastic operators is philosophically problematic and leads to an unnecessarily strong logical system. I offer a weaker alternative that captures in a more (...) accurate way our logical intuitions about the notion of belief without sacrificing the possibility of providing an explanation for problematic cases such as Moore’s Paradox. (shrink)

Stroud has argued for many years that skepticism is conditionally correct. We cannot, he claims, both undergo a Cartesian-style examination of the extent of our knowledge as well as avoid skepticism. One reason Stroud's position appears quite plausible is the so-called "totality condition" imposed for this kind of examination: as inquiring philosophers we are called upon to assess all of our knowledge, all at once. However, in this paper I argue that Stroud's apparent understanding of the totality condition is mistaken. (...) Evidently, Stroud thinks that honoring the totality condition amounts to imposing the strong requirement that we initially assume that we don't know anything about external reality. However, there is a weaker requirement available: that we initially not assume that we know anything about external reality. I argue i) that the weaker conception of the totality condition is most suitable for the kind of philosophical examination that Stroud seems to have in mind; and ii) that according to this same conception skepticism is not conditionally correct. (shrink)

Zeno’s paradoxes of motion, allegedly denying motion, have been conceived to reinforce the Parmenidean vision of an immutable world. The aim of this article is to demonstrate that these famous logical paradoxes should be seen instead as paradoxes of immobility. From this new point of view, motion is therefore no longer logically problematic, while immobility is. This is convenient since it is easy to conceive that immobility can actually conceal motion, and thus the proposition “immobility is mere illusion of the (...) senses” is much more credible than the reverse thesis supported by Parmenides. Moreover, this proposition is also supported by modern depiction of material bodies: the existence of a ceaseless random motion of atoms—the ‘thermal agitation’—in the scope of contemporary atomic theory, can offer a rational explanation of this ‘illusion of immobility’. Our new approach to Zeno’s paradoxes therefore leads to presenting the novel concept of ‘impermobility’, which we think is a more adequate description of physical reality. (shrink)

It is illegitimate to read any ontology about "race" off of biological theory or data. Indeed, the technical meaning of "genetic variation" is fluid, and there is no single theoretical agreed-upon criterion for defining and distinguishing populations (or groups or clusters) given a particular set of genetic variation data. Thus, by analyzing three formal senses of "genetic variation"—diversity, differentiation, and heterozygosity—we argue that the use of biological theory for making epistemic claims about "race" can only seem plausible when it relies (...) on the user’s own assumptions about race; the move from biological measures to claims about “race” inevitably amounts to a pernicious reification. We also excavate assumptions in the history of the technical discourse over the concept of "race" (e.g., Livingstone's and Dobzhansky's 1962 exchange, Edwards' 2003 response to Lewontin 1972, as well as contemporary discussions of cladistic "race", and "races" as clusters). We show that claims about the existence (or non-existence) of "race" are underdetermined by biological facts, methods, and theories. Biological theory does not force the concept of "race" upon us; our social discourse, social ontology, and social expectations do. We become prisoners of our abstractions at our own hands, and at our own expense. (shrink)

We shall evaluate two strategies for motivating the view that knowledge is the norm of belief. The first draws on observations concerning belief's aim and the parallels between belief and assertion. The second appeals to observations concerning Moore's Paradox. Neither of these strategies gives us good reason to accept the knowledge account. The considerations offered in support of this account motivate only the weaker account on which truth is the fundamental norm of belief.

This is a story about three of my favorite philosophers—Donnellan, Russell, and Frege—about how Donnellan’s concept of having in mind relates to ideas of the others, and especially about an aspect of Donnellan’s concept that has been insufficiently discussed: how this epistemic state can be transmitted from one person to another.

I give an interpretation according to which Meno’s paradox is an epistemic regress problem. The paradox is an argument for skepticism assuming that (1) acquired knowledge about an object X requires prior knowledge about what X is and (2) any knowledge must be acquired. (1) is a principle about having reasons for knowledge and about the epistemic priority of knowledge about what X is. (1) and (2) jointly imply a regress-generating principle which implies that knowledge always requires an (...) infinite sequence of known reasons. Plato’s response to the problem is to accept (1) but reject (2): some knowledge is innate. He argues from this to the conclusion that the soul is immortal. This argument can be understood as a response to an Eleatic problem about the possibility of coming into being that turns on a regress-generating causal principle analogous to the regress-generating principle presupposed by Meno’s paradox. (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)

This paper argues that justification is accessible in the sense that one has justification to believe a proposition if and only if one has higher-order justification to believe that one has justification to believe that proposition. I argue that the accessibility of justification is required for explaining what is wrong with believing Moorean conjunctions of the form, ‘p and I do not have justification to believe that p.’.

This book-chapter investigates the pragmatist Zionist thought of Mordecai M. Kaplan, and considers its pluralistic and holistic traits, vis-a-vis monist and fundamentalist approaches to Zionism.

An important suggestion of objective Bayesians is that the maximum entropy principle can replace a principle which is known to get into paradoxical difficulties: the principle of indifference. No one has previously determined whether the maximum entropy principle is better able to solve Bertrand’s chord paradox than the principle of indifference. In this paper I show that it is not. Additionally, the course of the analysis brings to light a new paradox, a revenge paradox of the chords, (...) that is unique to the maximum entropy principle. (shrink)

The article is a critical essay of Evgeny Borisov’s research, which examines the logical structure and meaning of infinite semantic paradoxes (in particular, Yablo’s paradox). According to his view, the strict formalization of the infinite sequence of sentences in Yablo’s paradox requires selfreferential circularity descriptions. This view is based on Priest’s argument that a uniform representation of the content for Yablo’s paradoxical sentences can only be given by means of the two-place predicate of satisfaction. But it guarantees the (...) existence of a fixed point for each sentence of Yablo’s paradox. Thus, we need to agree that Yablo’s paradox does involve circularity of a self-referential kind. However, Borisov believes that Priest’s argument is not sufficient for such a conclusion. His disagreement with Priest’s conclusion is based on the consideration of Sorensen’s and Beall’s metalanguage arguments. According to Sorensen, the specific properties of our formal (technical) descriptions are not inherited by the objects of such descriptions. On the contrary, Beall states that finite beings such as ourselves can know nothing about the actual infinity by demonstration. We cannot know how Yablo’s paradox could be represented in an arithmetic language without the help of descriptions. Priest’s argument shows that any such description is circular. It means that any entity generated by self-referential circularity description is itself circular. Comparing Sorensen’s and Beall’s arguments, Borisov states his own skeptical argument. He claims that the need to use circular descriptions is not a reliable evidence of the circularity of Yablo’s paradox. An alternative to Borisov’s skeptical views is the dilemmic argument that Yablo’s paradox either does involve circularity of a selfreferential kind or is not an example of a genuine semantic paradox. This view is based on the arguments of Cook and Ketland. According to Cook, we can unwind any finite semantic paradox to an infinite structure. Unwinding is a paradoxicality-preserving operation for replacing a sentence which says of itself with an infinite sequence of sentences which say of their successors. It shows that Yablo’s paradox is just an original example of circulus vitiosus. Ketland claims that Yablo’s paradox can be strictly formalized as an infinite conjunction of sentence tokens without using the predicate of truth (or satisfaction). It allows showing that Yablo’s infinite sequence is not a genuine semantic paradox, but rather a ω-paradox. (shrink)

Expressivists explain the expression relation which obtains between sincere moral assertion and the conative or affective attitude thereby expressed by appeal to the relation which obtains between sincere assertion and belief. In fact, they often explicitly take the relation between moral assertion and their favored conative or affective attitude to be exactly the same as the relation between assertion and the belief thereby expressed. If this is correct, then we can use the identity of the expression relation in the two (...) cases to test the expressivist account as a descriptive or hermeneutic account of moral discourse. I formulate one such test, drawing on a standard explanation of Moore's paradox. I show that if expressivism is correct as a descriptive account of moral discourse, then we should expect versions of Moore's paradox where we explicitly deny that we possess certain affective or conative attitudes. I then argue that the constructions that mirror Moore's paradox are not incoherent. It follows that expressivism is either incorrect as a hermeneutic account of moral discourse or that the expression relation which holds between sincere moral assertion and affective or conative attitudes is not identical to the relation which holds between sincere non-moral assertion and belief. A number of objections are canvassed and rejected. (shrink)

Many of the most important social institutions—e.g., law and language—are thought to be normative in some sense. And philosophers have been puzzled by how this normativity can be explained in terms of the social, descriptive states of affairs that presumably constitute them. This paper attempts to solve this sort of puzzle by considering a simpler and less contentious normative social practice: table manners. Once we are clear on the exact sense in which a practice is normative, we see that some (...) practices can be normative in an interesting and non-trivial sense, but also explicable with merely descriptive resources. In addition to arguing that it is possible to explain normative practices with descriptive resources, this paper presents and defends just such an explanation—an account of the nature of table manners that appeals only to descriptive states of affairs. (shrink)

To counter a general belief that all the paradoxes stem from a kind of circularity (or involve some self--reference, or use a diagonal argument) Stephen Yablo designed a paradox in 1993 that seemingly avoided self--reference. We turn Yablo's paradox, the most challenging paradox in the recent years, into a genuine mathematical theorem in Linear Temporal Logic (LTL). Indeed, Yablo's paradox comes in several varieties; and he showed in 2004 that there are other versions that are equally (...) paradoxical. Formalizing these versions of Yablo's paradox, we prove some theorems in LTL. This is the first time that Yablo's paradox(es) become new(ly discovered) theorems in mathematics and logic. (shrink)

This paper argues that various phenomenological considerations support a non-representational causal account of visual experience. This position claims that visual experiences serve as a non-representational causally efficacious medium for the production of beliefs concerning the external world. The arguments are centered on defending a non-representational causal account’s understanding of the cognitive significance of visual experience. Among other things, such an account can easily explain the inextricable role that background beliefs and conceptual capacities play in perceptually-based external world belief-formation processes, the (...) fact that visual mental states constrain beliefs because of their presentational phenomenology, and the phenomenon known as the transparency of visual experience. (shrink)

The principle of indifference is supposed to suffice for the rational assignation of probabilities to possibilities. Bertrand advances a probability problem, now known as his paradox, to which the principle is supposed to apply; yet, just because the problem is ill‐posed in a technical sense, applying it leads to a contradiction. Examining an ambiguity in the notion of an ill‐posed problem shows that there are precisely two strategies for resolving the paradox: the distinction strategy and the well‐posing strategy. (...) The main contenders for resolving the paradox, Marinoff and Jaynes, offer solutions which exemplify these two strategies. I show that Marinoff’s attempt at the distinction strategy fails, and I offer a general refutation of this strategy. The situation for the well‐posing strategy is more complex. Careful formulation of the paradox within measure theory shows that one of Bertrand’s original three options can be ruled out but also shows that piecemeal attempts at the well‐posing strategy will not succeed. What is required is an appeal to general principle. I show that Jaynes’s use of such a principle, the symmetry requirement, fails to resolve the paradox; that a notion of metaindifference also fails; and that, while the well‐posing strategy may not be conclusively refutable, there is no reason to think that it can succeed. So the current situation is this. The failure of Marinoff’s and Jaynes’s solutions means that the paradox remains unresolved, and of the only two strategies for resolution, one is refuted and we have no reason to think the other will succeed. Consequently, Bertrand’s paradox continues to stand in refutation of the principle of indifference. (shrink)

Ratio Juris, Volume 34, Issue 4, Page 331-355, December 2021.

The sentences ‘p but I don’t believe p’ (omissive form) and ‘p but I believe that not-p’ (comissive form) are typical examples of Moore’s paradox. When an agent (sincerely) asserts such sentences under normal circumstances, we consider his statements absurd. The Simple Solution (Moore, Heal, Wolgast, Kriegel, et al.) finds the source of absurdity for such statements in a certain formal contradiction (some kind of like ‘p & not-p’), the presence of which is lexically disguised. This solution is facing (...) criticism since it is obvious that the denial of the contradiction allegedly hidden in Moore’s paradox will not become an expression of tautology for us. Hintikka offers another solution to Moore’s paradox. In his view, the source of absurdity is the practical inconceivability of the situation, in which the agent would be able to hold mutually incompatible (inconsistent) beliefs. The sentences ‘p but I don’t believe that p’ and ‘p but I believe that not-p’ sound absurd because they express high-ordered beliefs that no rational agent can hold. A belief expressed in the sentence ‘he believes that p’, in order to be available to the agent, must be compatible with the truth of everything the agent believes. The problem with Hintikka’s solution is that it relies on an epistemic principle that does not correspond to our general intuitions about the notion of belief. According to this principle, there must be a close connection between the sentence ‘p but I don’t believe that p’ and the sentence ‘I believe that is the case is that p but I don’t believe that p’. However, it is not difficult to imagine the context for situations when the agent asserts the sentence ‘p but I don’t believe that p’ when s/he believes that p, but in parallel does not hold any high-ordered belief about his/her belief in p. For example, the agent does not recognize oneself in a photograph after a hard plastic surgery, and when one asks him ‘who is this?’ it would not be absurd for him/her to accept the following description of his/her beliefs ‘I believe that {I am me} but I don’t believe that I believe that {I am me}’. Wittgenstein provides an alternative solution based on a descriptive analysis of the grammar of verbs we use to express, attribute, and understand each other’s psychological states. In his view, the everyday practice of using the verb ‘believe’ demonstrates a characteristic asymmetry in the semantic and logical properties of the usage of this verb in the first person. The expression ‘I believe falsely’ has no real meaning since no one can meaningfully say the sentence ‘Now I believe falsely that p’ on their own behalf. Therefore, the genuine source of absurdity is associated with situations of self-attribution of false belief by the agent. Despite its originality, Wittgenstein’s solution faces objections. For example, in a certain context, it would not be absurd to assert the sentence ‘There are no beliefs, but I don’t believe in it’, unlike the sentence ‘There are no beliefs and I believe that it is so’. The solution proposed by Wittgenstein does not allow us to correct the situation since one could assert quite reasonably and without any absurdity a sentence like ‘In fact, there are no beliefs and now I falsely believe that it is so’. Based on Evans’ principle of epistemic transparency, some researchers (Atlas, Chan, Kwon, et al.) offer another strategy for solving Moore’s paradox, in which peculiar attention is paid to the dependence of understanding and evaluating the meaning of the sentences ‘p but I do not believe that p’ and ‘p but I believe that not-p’ from the immediate context of their usage. The source of absurdity should be looked for in the established practice of the self-referential use of the pronoun ‘I’. In the researchers’ view, Moore’s paradox arises only in the context of situations where the agent asserting such sentences is conscious speaking about oneself. Therefore, there is an obvious structural analogy between the sentences of the Liar family (‘This very sentence is false’, ‘Now I am lying’, etc.) and Moore’s paradox (‘p but I don’t believe that p’, ‘p but I believe that not-p’) – self-reference is constitutive for both families of paradoxical statements. (shrink)

Fiona Macpherson (2012) argues that various experimental results provide strong evidence in favor of the cognitive penetration of perceptual color experience. Moreover, she proposes a mechanism for how such cognitive penetration occurs. We argue, first, that the results on which Macpherson relies do not provide strong grounds for her claim of cognitive penetrability; and, second, that, if the results do reflect cognitive penetrability, then time-course considerations raise worries for her proposed mechanism. We base our arguments in part on several of (...) our own experiments, reported herein. (shrink)

Rachlin's thought-provoking analysis could be strengthened by greater openness to evolutionary interpretation and the use of the directed attention concept as a component of self-control. His contribution to the understanding of prosocial behavior would also benefit from abandoning the traditional (and excessively restrictive) definition of altruism.

On page 14 of "Reconceptions in Philosophy and Other Arts and Sciences" (section 4 of chapter 1) by Nelson Goodman and Catherine Z. Elgin is written: “Since ‘blue’ and ‘green’ are interdefinable with ‘grue’ and ‘bleen’, the question of which pair is basic and which pair derived is entirely a question of which pair we start with”. This paper points out that an example of interdefinability is also that one about the predicate “grueb”, which is a predicate that applies to (...) an object if the object either is green and examined before time b, or is non-green and not examined before time b. The three predicates “green”, “grueb”, “examined before time b” are interdefinable. According to Goodman, since the predicates “blue” and “green” are interdefinable with the predicates “grue” and “bleen”, “if we can tell which objects are blue and which objects are green, we can tell which ones are grue and which ones are bleen” [pages 12-13 of “Reconceptions in Philosophy and Other Arts and Sciences”]. But , even though the predicates “green” and “examined before time b” are interdefinable, being able to tell if an object is green does not imply being able to tell if an object is examined before time b. The interdefinability among three elements is a type of interdefinability present, for example, also among the logical connectives. Another example of interdefinability is that one about a decidable predicate PD, which is interdefinable with an undecidable predicate PU: therefore even though we can tell whether an object is PD and whether an object is non-PD, we cannot tell whether an object is PU (since PU is an undecidable predicate) and whether an object is non-PU. Although the predicates PD and PU are interdefinable, the possibility to determine whether an object is PD does not imply the possibility to determine whether an object is PU (since PU is an undecidable predicate). Similarly, although the predicates “green” and “grue” are interdefinable, the possibility to determine whether an object is “green” even in absence of temporal information does not imply the possibility to determine whether an object is “grue” even in absence of temporal information. These and other examples about “grue” and “bleen” point out that even in case two predicates are interdefinable, the possibility to apply a predicate P does not imply the possibility to apply a predicate interdefinable with P. And that the possibility to apply the predicate “green” without having temporal information does not imply the possibility to apply the predicate “grue” without having temporal information. According to Goodman, if it is possible to determine if an object is green without needing temporal information, then it is also possible to determine if an object is grue without needing temporal information. But, knowing that an object is both green and grue implies temporal information: in fact, we know by definition that a grue object can only be: 1) either green (in case the object is examined before time t); 2) or blue (in case the object is not examined before time t). Thus, knowing that an object is both grue and green, we know that we are faced with case 1, the case of a grue object that is green and examined before time t. Then the paper points out why the Goodman-Kripke paradox is a paradox about meaning that cannot have repercussions on induction. Finally the paper points out why Hume’s problem is a problem different from Goodman’s paradox and requires a specific treatment. (shrink)

The principle of total evidence says that all relevant information should be considered when making an inference about a hypothesis. In this article, we argue that the criminalist’s paradox from the literature on the methodology of forensic science constitutes a counterexample against the principle of total evidence. The paradox arises, for example, when a forensic scientist uses the results from other forensic procedures to inform their own analysis. In such cases, their results can become more reliable, but at (...) the same time also dependent on those other forensic results and therefore less useful for decisions in court cases. Consequently, such influences are generally avoided in forensic science. We argue that structurally similar problems plague also other scientific disciplines, anticipate an objection to the counterexample, and propose two new versions of the principle of total evidence that do not fall prey to the criminalist’s paradox. (shrink)

Though legal positivism remains popular, HLA Hart’s version has fallen somewhat by the wayside. This is because, according to many, the central task of a theory of law is to explain the so-called ‘normativity of law’. Hart’s theory, it is thought, is not up to the task. Some have suggested modifying the theory accordingly. This paper argues that both Hart’s theory and the normativity of law have been misunderstood. First, a popular modification of Hart’s theory is considered and rejected. It (...) stems from a misunderstanding of Hart and his project. Second, a new understanding of the mysterious but often-mentioned ‘normativity of law’ is presented. Once we have dispelled some misunderstandings of Hart’s view and clarified the sense in which law is supposed to be normative, we see that Hart’s view, unmodified, is well suited to the task of explaining law’s normativity. (shrink)

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)

The most discussed theory of law of the twentieth century – HLA Hart’s theory from _The Concept of Law_ – is fundamentally _psychological_. It explains the existence of legal systems in terms of an attitude taken by legal officials: the internal point of view. Though much has been said about this attitude (what statements _express_ it, what it is _not_, how Hart _ought_ to have conceived of it, etc.), we nonetheless lack an adequate account of the attitude itself. This paper (...) presents and defends an account of the internal point of view and shows how, when understood as the account suggests, this attitude can play the several roles that Hartian positivists need it to play. (shrink)

Events between which we have no epistemic reason to discriminate have equal epistemic probabilities. Bertrand’s chord paradox, however, appears to show this to be false, and thereby poses a general threat to probabilities for continuum sized state spaces. Articulating the nature of such spaces involves some deep mathematics and that is perhaps why the recent literature on Bertrand’s Paradox has been almost entirely from mathematicians and physicists, who have often deployed elegant mathematics of considerable sophistication. At the same (...) time, the philosophy of probability has been left out. In particular, left out entirely are the philosophical ground of the principle of indifference, the nature of the principle itself, the stringent constraint this places on the mathematical representation of the principle needed for its application to continuum sized event spaces, and what these entail for rigour in developing the paradox itself. This book puts the philosophy and its entailments back in and in so doing casts a new light on the paradox, giving original analyses of the paradox, its possible solutions, the source of the paradox, the philosophical errors we make in attempting to solve it and what the paradox proves for the philosophy of probability. The book finishes with the author’s proposed solution—a solution in the spirit of Bertrand’s, indeed—in which an epistemic principle more general than the principle of indifference offers a principled restriction of the domain of the principle of indifference. (shrink)

In their correspondence in 1902 and 1903, after discussing the Russell paradox, Russell and Frege discussed the paradox of propositions considered informally in Appendix B of Russell’s Principles of Mathematics. It seems that the proposition, p, stating the logical product of the class w, namely, the class of all propositions stating the logical product of a class they are not in, is in w if and only if it is not. Frege believed that this paradox was avoided (...) within his philosophy due to his distinction between sense (Sinn) and reference (Bedeutung). However, I show that while the paradox as Russell formulates it is ill-formed with Frege’s extant logical system, if Frege’s system is expanded to contain the commitments of his philosophy of language, an analogue of this paradox is formulable. This and other concerns in Fregean intensional logic are discussed, and it is discovered that Frege’s logical system, even without its naive class theory embodied in its infamous Basic Law V, leads to inconsistencies when the theory of sense and reference is axiomatized therein. (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)

The aim of this paper is to argue that what I call the simple theory of introspection can be extended to account for our introspective knowledge of what we believe as well as what we consciously experience. In section one, I present the simple theory of introspection and motivate the extension from experience to belief. In section two, I argue that extending the simple theory provides a solution to Moore’s paradox by explaining why believing Moorean conjunctions always involves some (...) degree of irrationality. In section three, I argue that it also solves the puzzle of transparency by explaining why it’s rational to answer the question whether one believes that p by answering the question whether p. Finally, in section four, I defend the simple theory against objections by arguing that self-knowledge constitutes an ideal of rationality. (shrink)

The Russell's paradox concerns the foundations of naive set theory. This short short paper is about how it can be interpreted in other contexts and has significance in the world of commands. Understanding the paper assumes that the reader is broadly familiar with the foundations of set theory and its history. The text contains many formulas and therefore the reader should be comfortable in the world of logical formulas. My example is somewhat similar to the barber paradox. There, (...) too, we are puzzled by the feasibility of a task. In the case of the barber paradox there is a solution: the barber is a woman, in my example there is no such escape. (shrink)