Higher-Order Perception (HOP) theories in the philosophy of mind are offered as explanations of what it is that makes a mental state a conscious state. According to HOP, a mental state is conscious just in case it is itself represented in a quasi-perceptual way by an internal monitor or scanning device. We start with one of the more popular objections to HOP and a seemingly innocuous concession to it: identifying the internal monitor with the faculty of attention. We show how (...) this concession undermines HOP. (shrink)

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)

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.

The number of depressed people has been increasing regularly. This increase is clearly aggravated by psycho-pharmacological factors. Psychoanalysts have encountered difficulties with a new type of patient for whom neurotic solutions do not work. For this reason, a new evaluation of the psycho-conception of the subject, melancholy and distress, and the social link is needed: this new evaluation allows us to define the nature of the relation between depression and society, and to plan a more effective clinical response.

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)

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)

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)

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)

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)

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)

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)

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.

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)

The reasoning abilities of large language models (LLMs) are the topic of a growing body of research in AI and cognitive science. In this paper, we probe the extent to which twenty-nine LLMs are able to distinguish logically correct inferences from logically fallacious ones. We focus on inference patterns involving conditionals (e.g., 'If Ann has a queen, then Bob has a jack') and epistemic modals (e.g., 'Ann might have an ace', 'Bob must have a king'). These inferences have been of (...) special interest to logicians, philosophers, and linguists, since they play a central role in the fundamental human ability to reason about distal possibilities. Assessing LLMs on these inferences is thus highly relevant to the question of how much the reasoning abilities of LLMs match those of humans. All the LLMs we tested make some basic mistakes with conditionals or modals, though zero-shot chain-of-thought prompting helps them make fewer mistakes. Even the best performing LLMs make basic errors in modal reasoning, display logically inconsistent judgments across inference patterns involving epistemic modals and conditionals, and give answers about complex conditional inferences that do not match reported human judgments. These results highlight gaps in basic logical reasoning in today's LLMs. (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)

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)

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)

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)

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)

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)

According to one picture of the mind, decisions and actions are largely the result of automatic cognitive processing beyond our ability to control. This picture is in tension with a foundational principle in ethics that moral responsibility for behavior requires the ability to control it. The discovery of implicit attitudes contributes to this tension. According to the ability argument against moral responsibility, if we cannot control implicit attitudes, and implicit attitudes cause behavior, then we cannot be morally responsible for that (...) behavior. The purpose of this paper is to refute the ability argument. Drawing on both scientific evidence in cognitive science and philosophical arguments in ethics and action theory, I argue that it is invalid and unsound because current evidence is insufficient to establish the premises that implicit attitudes are uncontrollable, that they significantly cause behavior, that responsibility always requires ability, and that even if uncontrollable attitudes did fully cause behavior, this entails that the behavior they cause is uncontrollable. The rejection of the ability argument questions the priority of the unconscious over the conscious mind in cognitive science, deprioritizes ability in theories of moral responsibility in ethics, and provides a strong reason to uphold moral responsibility for implicitly biased behavior. (shrink)

If moral responsibilities prescribe how agents ought to behave, are there also intellectual responsibilities prescribing what agents ought to believe? Many theorists have argued that there cannot be intellectual responsibilities because they would require the ability to control whether one believes, whereas it is impossible to control whether one believes. This argument appeals to an “ought implies can” principle for intellectual responsibilities. The present paper tests for the presence of intellectual responsibilities in social cognition. Four experiments show that intellectual responsibilities (...) are attributed to believe things and that these responsibilities can exceed what agents are able to believe. Furthermore, the results show that agents are sometimes considered responsible for failing to form true beliefs on the basis of good evidence, and that this effect does not depend on the seriousness of the consequences for failing to form a belief. These findings clarify when and how responsibilities for belief are attributed, falsify a conceptual entailment between ability and responsibility in the intellectual domain, and emphasize the importance of objective truth in intellectual evaluations. (shrink)

Inquisitive logic is a research program seeking to expand the purview of logic beyond declarative sentences to include the logic of questions. To this end, inquisitive propositional logic extends classical propositional logic for declarative sentences with principles governing a new binary connective of inquisitive disjunction, which allows the formation of questions. Recently inquisitive logicians have considered what happens if the logic of declarative sentences is assumed to be intuitionistic rather than classical. In short, what should inquisitive logic be on an (...) intuitionistic base? In this paper, we provide an answer to this question from the perspective of nuclear semantics, an approach to classical and intuitionistic semantics pursued in our previous work. In particular, we show how Beth semantics for intuitionistic logic naturally extends to a semantics for inquisitive intuitionistic logic. In addition, we show how an explicit view of inquisitive intuitionistic logic comes via a translation into propositional lax logic, whose completeness we prove with respect to Beth semantics. (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)

Previous research in experimental philosophy has suggested that moral judgments can influence the ordinary application of a number of different concepts, including attributions of knowledge. But should epistemologists care? The present set of studies demonstrate that this basic effect can be extended to overturn intuitions in some of the most theoretically central experiments in contemporary epistemology: Gettier cases. Furthermore, experiment three shows that this effect is unlikely mediated by a simple desire to blame, suggesting that a correct psychological account of (...) ordinary knowledge attribution may include moral judgment. (shrink)

Reichenbach sought to resolve Hume's problem of the justification of induction by means of a pragmatic vindication that relies heavily on the convergence properties of his rule of induction. His attempt to rule out all other asymptotic methods by an appeal to descriptive simplicity was unavailing. We found that important progress in that direction could be made by invoking normalizing conditions (consistency) and methodological simplicity (as a basis for invariance), but that they did not do the whole job. I am (...) proposing that, in the end, Reichenbach's own distinction between discovery and justification holds the key to the solution. (shrink)

This updated third edition of Curriculum: From Theory to Practice provides an introduction to curriculum theory and how it relates to classroom practice. Wesley Null builds upon recent developments while continuing to provide a unique organization of the curriculum field composed of five traditions: systematic, existential, radical, pragmatic, and deliberative.

The Biological Foundations of Belief is a groundbreaking study of the relationship between biology and religion. Wesley Raymond Wells argues that human belief systems are deeply rooted in our biological makeup, and that understanding this connection can shed new light on the origins and evolution of religion. This book is a fascinating exploration of the intersection between science and spirituality. This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization (...) as we know it. This work is in the "public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

Many have argued we have a moral obligation to assist others in need, but given the scope of global suffering, how far does this obligation extend? According to one traditional philosophical view, the obligation to help others is limited by our ability to help them, or by the principle that “ought implies can”. This view is primarily defended on the grounds that it is a core principle of commonsense moral psychology. This paper reviews findings from experimental philosophy in cognitive science (...) demonstrating that “ought implies can” is rejected by moral psychology. Researchers find that moral obligations are ascribed to agents who cannot fulfill them, suggesting that moral requirements do sometimes extend beyond what we are able to do. This research furthers our understanding of moral obligation, identifies an important need for further cross-cultural work in moral psychology, and demonstrates a way in which scientific experimentation can be applied to improve upon the conceptual analysis of important philosophical concepts in normative ethics. (shrink)

In this article, we tell a story about incompleteness in modal logic. The story weaves together an article of van Benthem, “Syntactic aspects of modal incompleteness theorems,” and a longstanding open question: whether every normal modal logic can be characterized by a class of completely additive modal algebras, or as we call them, ${\cal V}$-baos. Using a first-order reformulation of the property of complete additivity, we prove that the modal logic that starred in van Benthem’s article resolves the open question (...) in the negative. In addition, for the case of bimodal logic, we show that there is a naturally occurring logic that is incomplete with respect to ${\cal V}$-baos, namely the provability logic $GLB$. We also show that even logics that are unsound with respect to such algebras do not have to be more complex than the classical propositional calculus. On the other hand, we observe that it is undecidable whether a syntactically defined logic is ${\cal V}$-complete. After these results, we generalize the Blok Dichotomy to degrees of ${\cal V}$-incompleteness. In the end, we return to van Benthem’s theme of syntactic aspects of modal incompleteness. (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)

In the context of computational social choice, we study voting methods that assign a set of winners to each profile of voter preferences. A voting method satisfies the property of positive involvement (PI) if for any election in which a candidate x would be among the winners, adding another voter to the election who ranks x first does not cause x to lose. Surprisingly, a number of standard voting methods violate this natural property. In this paper, we investigate different ways (...) of measuring the extent to which a voting method violates PI, using computer simulations. We consider the probability (under different probability models for preferences) of PI violations in randomly drawn profiles vs. profile-coalition pairs (involving coalitions of different sizes). We argue that in order to choose between a voting method that satisfies PI and one that does not, we should consider the probability of PI violation conditional on the voting methods choosing different winners. We should also relativize the probability of PI violation to what we call voter potency, the probability that a voter causes a candidate to lose. Although absolute frequencies of PI violations may be low, after this conditioning and relativization, we see that under certain voting methods that violate PI, much of a voter's potency is turned against them - in particular, against their desire to see their favorite candidate elected. (shrink)

We evaluate the role of embodiment in ordinary mental state ascriptions. Presented are five experiments on phenomenal state ascriptions to disembodied entities such as ghosts and spirits. Results suggest that biological embodiment is not a central principle of folk psychology guiding ascriptions of phenomenal consciousness. By contrast, results continue to support the important role of functional considerations in theory of mind judgments.