Through his S–R model of statistical relevance, Wesley Salmon offers a solution to the scientific explanation of objectively improbable events.

The philosophical theory of scientific explanation proposed here involves a radically new treatment of causality that accords with the pervasively statistical character of contemporary science. Wesley C. Salmon describes three fundamental conceptions of scientific explanation--the epistemic, modal, and ontic. He argues that the prevailing view is untenable and that the modal conception is scientifically out-dated. Significantly revising aspects of his earlier work, he defends a causal/mechanical theory that is a version of the ontic conception. Professor Salmon's theory furnishes a (...) robust argument for scientific realism akin to the argument that convinced twentieth-century physical scientists of the existence of atoms and molecules. To do justice to such notions as irreducibly statistical laws and statistical explanation, he offers a novel account of physical randomness. The transition from the "reviewed view" of scientific explanation to the causal/mechanical model requires fundamental rethinking of basic explanatory concepts. (shrink)

In an impressive series of books and articles, Alvin Plantinga has developed challenging new versions of two much discussed pieces of philosophical theology: the free will defense and the ontological argument.' His treatment of both subjects has provoked a tremendous amount of critical comment. What has not been generally noticed', however, is that when taken together, Plantinga's views on these two subjects lead to a very serious problem in philosophical theology. The premises of his version of the ontological argument, when (...) combined with the presuppositions of the free will defense, appear to entail that God is not free to choose between good and evil and thus is not "good" in the distinctively moral sense of this word. In the present paper, I shall explain how this problem arises, and explore two different ways of trying to deal with it. (shrink)

In this paper, we introduce an extension of the modal language with what we call the global quantificational modality [∀p]. In essence, this modality combines the propositional quantifier ∀p with the global modality A: [∀p] plays the same role as the compound modality ∀pA. Unlike the propositional quantifier by itself, the global quantificational modality can be straightforwardly interpreted in any Boolean Algebra Expansion (BAE). We present a logic GQM for this language and prove that it is complete with respect to (...) the intended algebraic semantics. This logic enables a conceptual shift, as what have traditionally been called different “modal logics” now become [∀p]-universal theories over the base logic GQM: instead of defining a new logic with an axiom schema such as □φ→□□φ, one reasons in GQM about what follows from the globally quantified formula [∀p](□p→□□p). (shrink)

A well-known open problem in epistemic logic is to give a syntactic characterization of the successful formulas. Semantically, a formula is successful if and only if for any pointed model where it is true, it remains true after deleting all points where the formula was false. The classic example of a formula that is not successful in this sense is the “Moore sentence” p ∧ ¬BOXp, read as “p is true but you do not know p.” Not only is the (...) Moore sentence unsuccessful, it is self-refuting, for it never remains true as described. We show that in logics of knowledge and belief for a single agent (extended by S5), Moorean phenomena are the source of all self-refutation; moreover, in logics for an introspective agent (extending KD45), Moorean phenomena are the source of all unsuccessfulness as well. This is a distinctive feature of such logics, for with a non-introspective agent or multiple agents, non-Moorean unsuccessful formulas appear. We also consider how successful and self-refuting formulas relate to the Cartesian and learnable formulas, which have been discussed in connection with Fitch’s “paradox of knowability.” We show that the Cartesian formulas are exactly the formulas that are not eventually self-refuting and that not all learnable formulas are successful. In an appendix, we give syntactic characterizations of the successful and the self-refuting formulas. (shrink)

This paper presents a drastically revised version of the theory of causality, based on analyses of causal processes and causal interactions, advocated in Salmon (1984). Relying heavily on modified versions of proposals by P. Dowe, this article answers penetrating objections by Dowe and P. Kitcher to the earlier theory. It shows how the new theory circumvents a host of difficulties that have been raised in the literature. The result is, I hope, a more satisfactory analysis of physical causality.

Not since Ernest Nagel’s 1939 monograph on the theory of probability has there been a comprehensive elementary survey of the philosophical problems of probablity and induction. This is an authoritative and up-to-date treatment of the subject, and yet it is relatively brief and nontechnical. Hume’s skeptical arguments regarding the justification of induction are taken as a point of departure, and a variety of traditional and contemporary ways of dealing with this problem are considered. The author then sets forth his own (...) criteria of adequacy for interpretations of probability. Utilizing these criteria he analyzes contemporary theories of probability, as well as the older classical and subjective interpretations. (shrink)

Recent theories of epistemic contextualism have challenged traditional invariantist positions in epistemology by claiming that the truth conditions of knowledge attributions fluctuate between conversational contexts. Contextualists often garner support for this view by appealing to folk intuitions regarding ordinary knowledge practices. Proposed is an experiment designed to test the descriptive conditions upon which these types of contextualist defenses rely. In the cases tested, the folk pattern of knowledge attribution runs contrary to what contextualism predicts. While preliminary, these data inspire prima (...) facie skepticism for the contextualist hypothesis regarding folk knowledge claims, as well as challenge certain predictions made by recent theories of subject-sensitive invariantism. It is further argued that such results raise methodological questions concerning the practice of relying on an assumption of intuitions, with respect to ordinary language practices, as evidence for philosophical conclusions regarding knowledge. (shrink)

In traditional semantics for classical logic and its extensions, such as modal logic, propositions are interpreted as subsets of a set, as in discrete duality, or as clopen sets of a Stone space, as in topological duality. A point in such a set can be viewed as a "possible world," with the key property of a world being primeness—a world makes a disjunction true only if it makes one of the disjuncts true—which classically implies totality—for each proposition, a world either (...) makes the proposition true or makes its negation true. This chapter surveys a more general approach to logical semantics, known as possibility semantics, which replaces possible worlds with possibly partial "possibilities." In classical possibility semantics, propositions are interpreted as regular open sets of a poset, as in set-theoretic forcing, or as compact regular open sets of an upper Vietoris space, as in the recent theory of "choice-free Stone duality." The elements of these sets, viewed as possibilities, may be partial in the sense of making a disjunction true without settling which disjunct is true. We explain how possibilities may be used in semantics for classical logic and modal logics and generalized to semantics for intuitionistic logics. The goals are to overcome or deepen incompleteness results for traditional semantics, to avoid the nonconstructivity of traditional semantics, and to provide richer structures for the interpretation of new languages. (shrink)

Nearly all philosophers agree that only true things can be known. But does this principle reflect actual patterns of ordinary usage? Several examples in ordinary language seem to show that ‘know’ is literally used non-factively. By contrast, this paper reports five experiments utilizing explicit paraphrasing tasks, which suggest that non-factive uses are actually not literal. Instead, they are better explained by a phenomenon known as protagonist projection. It is argued that armchair philosophical orthodoxy regarding the truth requirement for knowledge withstands (...) current empirical scrutiny. (shrink)

According to a prominent claim in recent epistemology, people are less likely to ascribe knowledge to a high stakes subject for whom the practical consequences of error are severe, than to a low stakes subject for whom the practical consequences of error are slight. We offer an opinionated "state of the art" on experimental research about the role of stakes in knowledge judgments. We draw on a first wave of empirical studies--due to Feltz & Zarpentine (2010), May et al (2010), (...) and Buckwalter (2010)--which cast doubt on folk stakes sensitivity, and a second wave of empirical studies--due to Pinillos (2012) and Sripada & Stanley (2012)--said to vindicate it, as well as new studies of our own. We conclude that the balance of evidence to date best supports Folk stakes insensitivity, or that all else equal, stakes do not affect knowledge ascription. (shrink)

This paper discusses several distinct process theories of causality offered in recent years by Phil Dowe and me. It addresses problems concerning the explication of causal process, causal interaction, and causal transmission, whether given in terms of transmission of marks, transmission of invariant or conserved quantities, or mere possession of conserved quantities. Renouncing the mark-transmission and invariant quantity criteria, I accept a conserved quantity theory similar to Dowe's--differing basically with respect to causal transmission. This paper also responds to several fundamental (...) constructive criticisms contained in Christopher Hitchcock's discussion of both the mark-transmission and the conserved quantity theories. (shrink)

Approximation involves representing things in ways that might be close to the truth but are nevertheless false. Given the widespread reliance on approximations in science and everyday life, here we ask whether it is conceptually possible for false approximations to qualify as knowledge. According to the factivity account, it is impossible to know false approximations, because knowledge requires truth. According to the representational adequacy account, it is possible to know false approximations, if they are close enough to the truth for (...) present purposes. In this paper, we adopt an experimental methodology to begin testing these two theories. When an agent provides a false and practically inadequate answer, both theories predict that people will deny knowledge. But the theories disagree about an agent who provides a false but practically adequate answer: the factivity hypothesis again predicts knowledge denial, whereas the representational adequacy hypothesis predicts knowledge attribution. Across two experiments, our principal finding was that people tended to attribute knowledge for false but practically adequate answers, which supports the representational adequacy account. We propose an interpretation of existing findings that preserves a conceptual link between knowledge and truth. According to this proposal, truth is not necessary for knowledge, but it is a feature of prototypical knowledge. (shrink)

In Arrovian social choice theory assuming the independence of irrelevant alternatives, Murakami (1968) proved two theorems about complete and transitive collective choice rules that satisfy strict non-imposition (citizens’ sovereignty), one being a dichotomy theorem about Paretian or anti-Paretian rules and the other a dictator-or-inverse-dictator impossibility theorem without the Pareto principle. It has been claimed in the later literature that a theorem of Malawski and Zhou (1994) is a generalization of Murakami’s dichotomy theorem and that Wilson’s (1972) impossibility theorem is stronger (...) than Murakami’s impossibility theorem, both by virtue of replacing Murakami’s assumption of strict non-imposition with the assumptions of non-imposition and non-nullness. In this note, we first point out that these claims are incorrect: non-imposition and non-nullness are together equivalent to strict non-imposition for all transitive collective choice rules. We then generalize Murakami’s dichotomy and impossibility theorems to the setting of incomplete social preference. We prove that if one drops completeness from Murakami’s assumptions, his remaining assumptions imply (i) that a collective choice rule is either Paretian, anti-Paretian, or dis-Paretian (unanimous individual preference implies noncomparability) and (ii) that adding proposed constraints on noncomparability, such as the regularity axiom of Eliaz and Ok (2006), restores Murakami’s dictator-or-inverse-dictator result. (shrink)

Epistemic closure has been a central issue in epistemology over the last forty years. According to versions of the relevant alternatives and subjunctivist theories of knowledge, epistemic closure can fail: an agent who knows some propositions can fail to know a logical consequence of those propositions, even if the agent explicitly believes the consequence (having “competently deduced” it from the known propositions). In this sense, the claim that epistemic closure can fail must be distinguished from the fact that agents do (...) not always believe, let alone know, the consequences of what they know—a fact that raises the “problem of logical omniscience” that has been central in epistemic logic. This paper, part I of II, is a study of epistemic closure from the perspective of epistemic logic. First, I introduce models for epistemic logic, based on Lewis’s models for counterfactuals, that correspond closely to the pictures of the relevant alternatives and subjunctivist theories of knowledge in epistemology. Second, I give an exact characterization of the closure properties of knowledge according to these theories, as formalized. Finally, I consider the relation between closure and higher-order knowledge. The philosophical repercussions of these results and results from part II, which prompt a reassessment of the issue of closure in epistemology, are discussed further in companion papers. As a contribution to modal logic, this paper demonstrates an alternative approach to proving modal completeness theorems, without the standard canonical model construction. By “modal decomposition” I obtain completeness and other results for two non-normal modal logics with respect to new semantics. One of these logics, dubbed the logic of ranked relevant alternatives, appears not to have been previously identified in the modal logic literature. More broadly, the paper presents epistemology as a rich area for logical study. (shrink)

Smith, Wesley J The growth in policies that force healthcare workers to participate in activities that are deemed both immoral and unprofessional as against the sanctity of human life has given rise to the need for bringing about conscience in health care. The need for fashioning proper conscience clauses and challenges faced in its implementation are highlighted.

Non-classical generalizations of classical modal logic have been developed in the contexts of constructive mathematics and natural language semantics. In this paper, we discuss a general approach to the semantics of non-classical modal logics via algebraic representation theorems. We begin with complete lattices L equipped with an antitone operation ¬ sending 1 to 0, a completely multiplicative operation ◻, and a completely additive operation ◊. Such lattice expansions can be represented by means of a set X together with binary relations (...) ⊲, R, and Q, satisfying some first-order conditions, used to represent (L,¬), ◻, and ◊, respectively. Indeed, any lattice L equipped with such a ¬, a multiplicative ◻, and an additive ◊ embeds into the lattice of propositions of a frame (X,⊲,R,Q). Building on our recent study of "fundamental logic", we focus on the case where ¬ is dually self-adjoint (a≤¬b implies b≤¬a) and ◊¬a≤¬◻a. In this case, the representations can be constrained so that R=Q, i.e., we need only add a single relation to (X,⊲) to represent both ◻ and ◊. Using these results, we prove that a system of fundamental modal logic is sound and complete with respect to an elementary class of bi-relational structures (X,⊲,R). (shrink)

Can statistical inference shed any worthwhile light on theory change? For many years I have believed that the answer is “Yes.” Let me try to explain why I think so. On my first reading of Thomas S. Kuhn’s The Structure of Scientific Revolutions (1962) I was so deeply shocked at his repudiation of the distinction between the context of discovery and the context of justification that I put the book down without finishing it. By 1969, when a conference was held (...) at the Minnesota Center for Philosophy of Science on the relations between the history of science and the philosophy of science, I had returned to Structure and formed the view that Kuhn’s rejection of this fundamental distinction resulted from his adoption of an inadequate conception of scientific justification. It appeared that he saw scientific confirmation in terms of the traditional hypothetico-deductive (H-D) schema, according to which a scientific hypothesis (or theory) is confirmed by observing the truth of its logical consequences. (shrink)

DIE BESTIMMUNG DER PHILOSOPH IE 1M DEUTSCHEN I. IDEALISMUS I 2. VERNUNFT UND SPRACHE 2I VERNUNFT UND LEBENSWELT 3· 45 LEBENSWELT UND LEBENSWELTEN 63 4· DIE BESTIMMUNG DES ANDERSANFANGLICHEN 5· DENKENS 8 7 6. DIE WELT 1M ANDEREN ANFANG - DIE ROLLE DES DICHTERS UND DAS "DICHTERISCHE WOHNEN" 8 9 VORWORT In der heutigen Zeit, in der auf vielen Gebieten die iiberkommenen Gedanken ihre Geltung und Wirkungskraft verloren haben, liegt vielleicht die Aufgabe der Philo sophie darin, bewahrend auf die iiberlieferten (...) Prinzipien und die in ihnen liegenden Bestim­ mungen und Grundprobleme zuriickzuschauen und dabei zu­ gleich zu beachten, was in ihnen "iibergangig" auf Neues hin­ weist, um so fiir aIle Versuche eines "anderen Anfangs" kritisch offen zu sein. Ein Philosophieren, das sich dergestalt " zwischen" Tradition und anderem Anfang bewegt, hat sein Dilemma durch­ schaut: Es bleibt auf der Suche nach dem Wahren, obwohl es keinen giiltigen Wahrheitsbegriff hat. Ein allein aus transzen­ dentaler Subjektivitat begriindeter Wahrheitsbegriff iiberzeugt es nicht mehr, und Wahrheit, wie sie dem erfahrenden Ver­ stehen "geschieht," ist in ihrem Wesen noch nicht zureichend bestimmt worden. Hat sich das Philosophieren so erkannt, wird es sich nicht einseitig auf die eine oder die andere Position fest­ legen; vielmehr wird es seine Aufgabe gerade darin sehen, den Gedanken in Bewegung zu halten. Diese Auffassung eines heutigen Philosophierens soIl die hier vor­ gelegte Sammlung von Aufsatzen bezeugen. (shrink)

In recent years, there has been much concern expressed about the under-representation of women in academic philosophy. Our goal in this paper is to call attention to a cluster of phenomena that may be contributing to this gender gap. The findings we review indicate that when women and men with little or no philosophical training are presented with standard philosophical thought experiments, in many cases their intuitions about these cases are significantly different. In section 1 we review some of the (...) data on the under-representation of women in academic philosophy. In section 2 we explain how we use the term 'intuition,' and offer a brief account of how intuitions are invoked in philosophical argument and philosophical theory building. In the third section we set out the evidence for gender differences in philosophical intuition and mention some evidence about gender differences in decisions and behaviors that are (or should be) of considerable interest to philosophers. In the fourth section, our focus changes from facts to hypotheses. In that section we explain how differences in philosophical intuition might be an important part of the explanation for the gender gap in philosophy. The fifth section is a brief conclusion. (shrink)

According to the Relevant Alternatives (RA) Theory of knowledge, knowing that something is the case involves ruling out (only) the relevant alternatives. The conception of knowledge in epistemic logic also involves the elimination of possibilities, but without an explicit distinction, among the possibilities consistent with an agent’s information, between those relevant possibilities that an agent must rule out in order to know and those remote, far-fetched or otherwise irrelevant possibilities. In this article, I propose formalizations of two versions of the (...) RA theory. Doing so clarifies a famous debate in epistemology, pitting Fred Dretske against David Lewis, about whether the RA theorist should accept the principle that knowledge is closed under known implication, familiar as the K axiom in epistemic logic. Dretske’s case against closure under known implication leads to a study of other closure principles, while Lewis’s defense of closure by appeal to the claimed context sensitivity of knowledge attributions leads to a study of the dynamics of context. Having followed the first lead at length in other work, here I focus more on the second, especially on logical issues associated with developing a dynamic epistemic logic of context change over models for the RA theory. (shrink)

There exists a deep and broad population of Christians who feel the labels of 'liberal' and 'evangelical' both describe their faith and limit their expression of it. By working to reclaim the traditional, historical meanings of these terms, and showing how they complement rather than oppose each other, Wesley Wildman and Stephen Chapin Gardner stake a claim for the moderate Christian voice in today's polarized society. Found in the Middle! offers a foundational approach to the theology and ethics that (...) undergird a congregation where moderate Christians can thrive. Wildman and Garner serve as helpful guides on a quest for a humble theology, an intelligible gospel message, a compelling view of church unity, and a radical ethics deeply satisfying to most Christians with both liberal and evangelical instincts. Pastors, congregational leaders, seminarians, and all thoughtful Christians will learn how truly moderate Christianity can unite the compassionate openness and social activism of liberal Christianity with the magnetism and spiritual fervor of evangelical Christianity. You may feel lost in the middle, but you are not alone there. The middle may be the place where you find yourself living most authentically. (shrink)

The purpose of this chapter is to provide a guide for conducting thought experiments in epistemology effectively. The guide raises several considerations for best practices when using this research method. Several weaknesses in the way thought experiments are conducted are also identified and several suggestions are reviewed for how to improve them. Training in these research techniques promotes more productive scholarship in epistemology, saves time and resources wasted on less efficient approaches, and reduces the risk that researchers are fooling themselves (...) when they use thought experiments in philosophy. (shrink)

We give a proof-theoretic as well as a semantic characterization of a logic in the signature with conjunction, disjunction, negation, and the universal and existential quantifiers that we suggest has a certain fundamental status. We present a Fitch-style natural deduction system for the logic that contains only the introduction and elimination rules for the logical constants. From this starting point, if one adds the rule that Fitch called Reiteration, one obtains a proof system for intuitionistic logic in the given signature; (...) if instead of adding Reiteration, one adds the rule of Reductio ad Absurdum, one obtains a proof system for orthologic; by adding both Reiteration and Reductio, one obtains a proof system for classical logic. Arguably neither Reiteration nor Reductio is as intimately related to the meaning of the connectives as the introduction and elimination rules are, so the base logic we identify serves as a more fundamental starting point and common ground between proponents of intuitionistic logic, orthologic, and classical logic. The algebraic semantics for the logic we motivate proof-theoretically is based on bounded lattices equipped with what has been called a weak pseudocomplementation. We show that such lattice expansions are representable using a set together with a reflexive binary relation satisfying a simple first-order condition, which yields an elegant relational semantics for the logic. This builds on our previous study of representations of lattices with negations, which we extend and specialize for several types of negation in addition to weak pseudocomplementation; in an appendix, we further extend this representation to lattices with implications. Finally, we discuss adding to our logic a conditional obeying only introduction and elimination rules, interpreted as a modality using a family of accessibility relations. (shrink)

When Vladimir Umanets entered the Tate Modern on October 7, 2012 and defaced Rothko's Black on Maroon, he was operating, not as an artist or a vandal, but as a Yellowist. Yellowism is neither art nor anti-art but is instead a supposedly new cultural element that exists for its own sake and is about nothing but the color yellow. It might be tempting to write Yellowism and the Rothko defacement off as a mere prank or as pseudo-intellectual fraud, but I (...) argue that, intentionally or not, the Yellowists have raised salient issues salient to those invested in both the ontology of art and social ontology more generally. In particular, their actions highlight issues pertaining to the relationship between stipulation and ontology. I explore these issues in this paper. (shrink)

By contrasting three general conceptions of scientific explanation, this paper seeks to clarify the explanandum and to exhibit the fundamental philosophical issues involved in the project of explicating scientific explanation. The three conceptions--epistemic, modal, and ontic--have both historical and contemporary importance. In the context of Laplacian determinism, they do not seem importantly distinct, but in the context of irreducibly statistical explanations, the three are seen to diverge sharply. The paper argues for a causal/mechanical version of the ontic conception, and concludes (...) by exhibiting some striking consequences of this approach. (shrink)

In two of the earliest papers on extending modal logic with propositional quantifiers, R. A. Bull and K. Fine studied a modal logic S5Π extending S5 with axioms and rules for propositional quantification. Surprisingly, there seems to have been no proof in the literature of the completeness of S5Π with respect to its most natural algebraic semantics, with propositional quantifiers interpreted by meets and joins over all elements in a complete Boolean algebra. In this note, we give such a proof. (...) This result raises the question: For which normal modal logics L can one axiomatize the quantified propositional modal logic determined by the complete modal algebras for L? (shrink)

Epistemic modals have peculiar logical features that are challenging to account for in a broadly classical framework. For instance, while a sentence of the form $$p\wedge \Diamond \lnot p$$ (‘p, but it might be that not p’) appears to be a contradiction, $$\Diamond \lnot p$$ does not entail $$\lnot p$$, which would follow in classical logic. Likewise, the classical laws of distributivity and disjunctive syllogism fail for epistemic modals. Existing attempts to account for these facts generally either under- or over-correct. (...) Some theories predict that $$ p\wedge \Diamond \lnot p$$, a so-called epistemic contradiction, is a contradiction only in an etiolated sense, under a notion of entailment that does not always allow us to replace $$p\wedge \Diamond \lnot p$$ with a contradiction; these theories underpredict the infelicity of embedded epistemic contradictions. Other theories savage classical logic, eliminating not just rules that intuitively fail, like distributivity and disjunctive syllogism, but also rules like non-contradiction, excluded middle, De Morgan’s laws, and disjunction introduction, which intuitively remain valid for epistemic modals. In this paper, we aim for a middle ground, developing a semantics and logic for epistemic modals that makes epistemic contradictions genuine contradictions and that invalidates distributivity and disjunctive syllogism but that otherwise preserves classical laws that intuitively remain valid. We start with an algebraic semantics, based on ortholattices instead of Boolean algebras, and then propose a possibility semantics, based on partial possibilities related by compatibility. Both semantics yield the same consequence relation, which we axiomatize. We then show how to lift an arbitrary possible worlds model for a non-modal language to a possibility model for a language with epistemic modals. The goal throughout is to retain what is desirable about classical logic while accounting for the non-classicality of epistemic vocabulary. (shrink)

The replication crisis is perceived by many as one of the most significant threats to the reliability of research. Though reporting of the crisis has emphasized social science, all signs indicate that it extends to many other fields. This paper investigates the possibility that the crisis and related challenges to conducting research also extend to philosophy. According to one possibility, philosophy inherits a crisis similar to the one in science because philosophers rely on unreplicated or unreplicable findings from science when (...) conducting philosophical research. According to another possibility, the crisis likely extends to philosophy because philosophers engage in similar research practices and face similar structural issues when conducting research that have been implicated by the crisis in science. Proposals for improving philosophical research are offered in light of these possibilities. (shrink)

A well-known open problem in epistemic logic is to give a syntactic characterization of the successful formulas. Semantically, a formula is successful if and only if for any pointed model where it is true, it remains true after deleting all points where the formula was false. The classic example of a formula that is not successful in this sense is the “Moore sentence” p ∧ ¬ BOX p, read as “p is true but you do not know p.” Not only (...) is the Moore sentence unsuccessful, it is self-refuting, for it never remains true as described. We show that in logics of knowledge and belief for a single agent (extended by S5), Moorean phenomena are the source of all self-refutation; moreover, in logics for an introspective agent (extending KD45), Moorean phenomena are the source of all unsuccessfulness as well. This is a distinctive feature of such logics, for with a non-introspective agent or multiple agents, non-Moorean unsuccessful formulas appear. We also consider how successful and self-refuting formulas relate to the Cartesian and learnable formulas, which have been discussed in connection with Fitch’s “paradox of knowability.” We show that the Cartesian formulas are exactly the formulas that are not eventually self-refuting and that not all learnable formulas are successful. In an appendix, we give syntactic characterizations of the successful and the self-refuting formulas. (shrink)

We distinguish between two categories of belief—thin belief and thick belief—and provide evidence that they approximate genuinely distinct categories within folk psychology. We use the distinction to make informative predictions about how laypeople view the relationship between knowledge and belief. More specifically, we show that if the distinction is genuine, then we can make sense of otherwise extremely puzzling recent experimental findings on the entailment thesis (i.e. the widely held philosophical thesis that knowledge entails belief). We also suggest that the (...) distinction can be applied to debates in the philosophy of mind and metaethics. (shrink)

In disputes about the ontology of music, musical idealism—that is, the view that musical compositions are ideas—has proven to be rather unpopular. We argue that, once we have a better grip on the ontology of ideas, we can formulate a version of musical idealism that is not only defensible, but plausible and attractive. We conclude that compositions are a particular kind of idea: they are completed ideas for musical manifestation.

Epistemic logic in the tradition of Hintikka provides, as one of its many applications, a toolkit for the precise analysis of certain epistemological problems. In recent years, dynamic epistemic logic has expanded this toolkit. Dynamic epistemic logic has been used in analyses of well-known epistemic “paradoxes”, such as the Paradox of the Surprise Examination and Fitch’s Paradox of Knowability, and related epistemic phenomena, such as what Hintikka called the “anti-performatory effect” of Moorean announcements. In this paper, we explore a variation (...) on basic dynamic epistemic logic—what we call sequential epistemic logic—and argue that it allows more faithful and fine-grained analyses of those epistemological topics. (shrink)