Makkai [10] produced an arithmetical structure of Scott rank $\omega _{1}^{\mathit{CK}}$. In [9]. Makkai's example is made computable. Here we show that there are computable trees of Scott rank $\omega _{1}^{\mathit{CK}}$. We introduce a notion of "rank homogeneity". In rank homogeneous trees, orbits of tuples can be understood relatively easily. By using these trees, we avoid the need to pass to the more complicated "group trees" of [10] and [9]. Using the same kind of trees, we obtain one of rank (...) $\omega _{1}^{\mathit{CK}}$ that is "strongly computably approximable". We also develop some technology that may yield further results of this kind. (shrink)

Theories of classification distinguish classes with some good structure theorem from those for which none is possible. Some classes (dense linear orders, for instance) are non-classifiable in general, but are classifiable when we consider only countable members. This paper explores such a notion for classes of computable structures by working out a sequence of examples. We follow recent work by Goncharov and Knight in using the degree of the isomorphism problem for a class to distinguish classifiable classes from non-classifiable. In (...) this paper, we calculate the degree of the isomorphism problem for Abelian p-groups of bounded Ulm length. The result is a sequence of classes whose isomorphism problems are cofinal in the hyperarithmetical hierarchy. In the process, new back-and-forth relations on such groups are calculated. (shrink)

Theories of classification distinguish classes with some good structure theorem from those for which none is possible. Some classes (dense linear orders, for instance) are non-classifiable in general, but are classifiable when we consider only countable members. This paper explores such a notion for classes of computable structures by working out several examples. One motivation is to see whether some classes whose set of countable members is very complex become classifiable when we consider only computable members. We follow recent work (...) by Goncharov and Knight in using the degree of the isomorphism problem for a class to distinguish classifiable classes from non-classifiable. For real closed fields we show that the isomorphism problem is Δ1 1 complete (the maximum possible), and for others we show that it is of relatively low complexity. We show that the isomorphism problem for algebraically closed fields, Archimedean real closed fields, or vector spaces is Π0 3 complete. (shrink)

We investigate effective categoricity of computable equivalence structures . We show that is computably categorical if and only if has only finitely many finite equivalence classes, or has only finitely many infinite classes, bounded character, and at most one finite k such that there are infinitely many classes of size k. We also prove that all computably categorical structures are relatively computably categorical, that is, have computably enumerable Scott families of existential formulas. Since all computable equivalence structures are relatively categorical, (...) we further investigate when they are categorical. We also obtain results on the index sets of computable equivalence structures. (shrink)

Classification is an important goal in many branches of mathematics. The idea is to describe the members of some class of mathematical objects, up to isomorphism or other important equivalence, in terms of relatively simple invariants. Where this is impossible, it is useful to have concrete results saying so. In model theory and descriptive set theory, there is a large body of work showing that certain classes of mathematical structures admit classification while others do not. In the present paper, we (...) describe some recent work on classification in computable structure theory.Section 1 gives some background from model theory and descriptive set theory. From model theory, we give sample structure and non-structure theorems for classes that include structures of arbitrary cardinality. We also describe the notion of Scott rank, which is useful in the more restricted setting of countable structures. From descriptive set theory, we describe the basic Polish space of structures for a fixed countable language with fixed countable universe. We give sample structure and non-structure theorems based on the complexity of the isomorphism relation, and on Borel embeddings.Section 2 gives some background on computable structures. We describe three approaches to classification for these structures. The approaches are all equivalent. However, one approach, which involves calculating the complexity of the isomorphism relation, has turned out to be more productive than the others. Section 3 describes results on the isomorphism relation for a number of mathematically interesting classes—various kinds of groups and fields. In Section 4, we consider a setting similar to that in descriptive set theory. We describe an effective analogue of Borel embedding which allows us to make distinctions even among classes of finite structures. Section 5 gives results on computable structures of high Scott rank. Some of these results make use of computable embeddings. Finally, in Section 6, we mention some open problems and possible directions for future work. (shrink)

We introduce several highness notions on degrees related to the problem of computing isomorphisms between structures, provided that isomorphisms exist. We consider variants along axes of uniformity, inclusion of negative information, and several other problems related to computing isomorphisms. These other problems include Scott analysis (in the form of back-and-forth relations), jump hierarchies, and computing descending sequences in linear orders.

We investigate effective categoricity of computable Abelian p-groups . We prove that all computably categorical Abelian p-groups are relatively computably categorical, that is, have computably enumerable Scott families of existential formulas. We investigate which computable Abelian p-groups are categorical and relatively categorical.

We compute that the index set of PAC-learnable concept classes is m-complete Σ30\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Sigma^{0}_{3}}$$\end{document} within the set of indices for all concept classes of a reasonable form. All concept classes considered are computable enumerations of computable Π10\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Pi^{0}_{1}}$$\end{document} classes, in a sense made precise here. This family of concept classes is sufficient to cover all standard examples, and also has the property that PAC learnability (...) is equivalent to finite VC dimension. (shrink)

We improve on and generalize a 1960 result of Maltsev. For a field F, we denote by $H(F)$ the Heisenberg group with entries in F. Maltsev showed that there is a copy of F defined in $H(F)$, using existential formulas with an arbitrary non-commuting pair of elements as parameters. We show that F is interpreted in $H(F)$ using computable $\Sigma _1$ formulas with no parameters. We give two proofs. The first is an existence proof, relying on a result of Harrison-Trainor, (...) Melnikov, R. Miller, and Montalbán. This proof allows the possibility that the elements of F are represented by tuples in $H(F)$ of no fixed arity. The second proof is direct, giving explicit finitary existential formulas that define the interpretation, with elements of F represented by triples in $H(F)$. Looking at what was used to arrive at this parameter-free interpretation of F in $H(F)$, we give general conditions sufficient to eliminate parameters from interpretations. (shrink)

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)

Moderate scientism is the view that empirical science can help answer questions in nonscientific disciplines. In this paper, we evaluate moderate scientism in philosophy. We review several ways that science has contributed to research in epistemology, action theory, ethics, philosophy of language, and philosophy of mind. We also review several ways that science has contributed to our understanding of how philosophers make judgments and decisions. Based on this research, we conclude that the case for moderate philosophical scientism is strong: scientific (...) practice has promoted significant progress in philosophy and its further development should be welcomed and encouraged. (shrink)

This chapter addresses the issue of the underrepresentation of women in philosophy by presenting an account regarding gender differences in philosophical institutions. It begins with an analysis of data on the gender gap in academic philosophy; followed by a discussion about the term “intuition,”as well as the tendency to appeal to intuitions during philosophical arguments. It then presents empirical data about gender differences derived from a series of experiments such as a Gettier-style case study of Christina Starmans and Ori Friedman, (...) a philosophical thought experiment of Geoffrey Holtzman, and one of David Pizarro about moral responsibility and causal deviance, among others; one hypothesis derived from these studies pertains to the distinct differences between women and mens' intuitions regarding philosophy, with the instructors deciding that the mens' are more correct. (shrink)

Reviews the scope, nature, and applications of the philosophical discipline, focusing on methods for distinguishing between valid and fallacious arguments and inferences.

This is the general introduction to the edited collection "A companion to Experimental Philosophy".

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)

At the end of the opening chapter of his Second Treatise of Government , Locke describes political power in the following terms: ‘Political Power then I take to be a Right of making Laws with Penalties of Death, and consequently all less Penalties, for the Regulating and Preserving of Property, and of employing the force of the Community, in the Execution of such Laws, and in the defence of the Common-wealth from Foreign Injury, and all this only for the Publick (...) Good.’. (shrink)

There is an extensive literature in social choice theory studying the consequences of weakening the assumptions of Arrow's Impossibility Theorem. Much of this literature suggests that there is no escape from Arrow-style impossibility theorems unless one drastically violates the Independence of Irrelevant Alternatives (IIA). In this paper, we present a more positive outlook. We propose a model of comparing candidates in elections, which we call the Advantage-Standard (AS) model. The requirement that a collective choice rule (CCR) be rationalizable by the (...) AS model is in the spirit of but weaker than IIA; yet it is stronger than what is known in the literature as weak IIA (two profiles alike on x, y cannot have opposite strict social preferences on x and y). In addition to motivating violations of IIA, the AS model makes intelligible violations of another Arrovian assumption: the negative transitivity of the strict social preference relation P. While previous literature shows that only weakening IIA to weak IIA or only weakening negative transitivity of P to acyclicity still leads to impossibility theorems, we show that jointly weakening IIA to AS rationalizability and weakening negative transitivity of P leads to no such impossibility theorems. Indeed, we show that several appealing CCRs are AS rationalizable, including even transitive CCRs. (shrink)

This paper calculates, in a precise way, the complexity of the index sets for three classes of computable structures: the class $K_{\omega _{1}^{\mathit{CK}}}$ of structures of Scott rank $\omega _{1}^{\mathit{CK}}$ , the class $K_{\omega _{1}^{\mathit{CK}}+1}$ of structures of Scott rank $\omega _{1}^{\mathit{CK}}+1$ , and the class K of all structures of non-computable Scott rank. We show that I(K) is m-complete $\Sigma _{1}^{1},\,I(K_{\omega _{1}^{\mathit{CK}}})$ is m-complete $\Pi _{2}^{0}$ relative to Kleen's O, and $I(K_{\omega _{1}^{\mathit{CK}}+1})$ is m-complete $\Sigma _{2}^{0}$ relative to O.

1. 1735-1738 -- 2. 1738-1743 -- 3. 1743-1754 -- 4. 1755-1765 -- 5. 1765-1775 -- 6. 1776-1786 -- 7. 1787-91.

In lieu of an abstract, here is a brief excerpt of the content:Cognitive Error and Contemplative Practices:The Cultivation of Discernment in Mind and HeartWesley J. WildmanBrains are amazing organs in all creatures with central nervous systems and especially in human beings. But they are not perfect. Without forgetting the larger success story of cognitive evolution, I want to explore the way that cognitive biases sometimes produce errors in both religious and secular social settings and how such errors can be diagnosed (...) and corrected when they occur. This will involve noticing that error diagnosis and correction is a process that certain social groups have a vested interest in resisting or neglecting, in some respects, while the very same social groups may furnish resources that support the detection of cognitive errors, in other respects.This presents a moral quandary for both secular and religious groups. Should we educate children to be fully aware of their cognitive vulnerability to advertising, thereby learning how to resist and eventually become immune to one of the fundamental power sources of modern market economies? Should religious groups explain to young people their cognitive tendencies to posit the action of supernatural beings whether or not any such action exists, even though this may disrupt the power of religious groups to forge bracing social togetherness that supports psychologically useful coping skills? While I do not seek to answer such complex moral questions in this paper, I do argue that knowledge of cognitive biases and the resulting tendencies to cognitive error, self-defeating behaviors, and self-deception should be made available to those individuals and groups who are interested in promoting a high degree of critical self-awareness in the analysis of beliefs and behaviors in both secular and religious contexts.The term "error" is a potentially problematic one in that it misleadingly suggests that there might be a uniquely correct way in which cognition should work. I do not wish to suggest such a binary opposition. After all, biases exist in the human cognitive system either because they have been selected in the evolutionary process for their survival benefits or because they are side effects of other traits selected for their usefulness. My concern is with the wondrous human discovery that we can analyze [End Page 61] our behaviors and beliefs with such precision that we can sometimes detect when our cognitive biases produce mistaken beliefs and self-defeating behaviors. This forms the basis for my contention that cognition can often work better than it does—more accurately, less self-destructively—when tendencies to cognitive error are diagnosed, corrected, and perhaps even systematically resisted.The profound irony here is that the very same social groups (secular and religious) with an obvious vested interest in resisting such enlightenment in some respects can also promote processes of discernment and insight in other respects. Existing literature in the cognitive psychology of religion rarely bothers with such subtleties. It is common to assume that simply to notice the operation of cognitive biases in religion—say, in supporting belief in supernatural entities who providentially interact in human affairs, or in establishing and reinforcing people's willingness to defer to certain kinds of religious authority—is at the same time to establish the presence of rampant cognitive error, massive resistance to diagnosing and correcting it, and thus the infliction of pernicious cruelties on young children who have no way of escaping the resulting irrational indoctrination.This moral reflex to condemn religious groups because of their characteristic reluctance to acknowledge the role of cognitive biases in their beliefs and practices is understandable given the irrationality, ignorance, or denial that such reluctance suggests. I frankly acknowledge that I share this moral concern. But the actual complexities of religious practice demonstrate that the situation demands a subtler evaluation. Resistance to awareness of cognitive biases exists both inside and outside religious groups; economic and political practices in all eras and of all types have every bit as much to gain from neglecting to enlighten people about their cognitive operations as religious groups do—just consider the techniques employed in commercial advertising and political campaigns. Moreover, religious groups also promote methods of discernment and self-awareness that have historically been, and continue to be, the dominant method by which... (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)

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 is an anthology of experimental papers relevant to philosophical inquiry across many areas of philosophy.

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)

Bibliography of works in experimental philosophy.

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)

Wesley Salmon is renowned for his seminal contributions to the philosophy of science. He has powerfully and permanently shaped discussion of such issues as lawlike and probabilistic explanation and the interrelation of explanatory notions to causal notions. This unique volume brings together twenty-six of his essays on subjects related to causality and explanation, written over the period 1971-1995. Six of the essays have never been published before and many others have only appeared in obscure venues. The volume includes a (...) section of accessible introductory pieces, as well as more advanced and technical pieces, and will make essential work in the philosophy of science readily available to both scholars and students. (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)

It is often thought that judgments about what we ought to do are limited by judgments about what we can do, or that “ought implies can.” We conducted eight experiments to test the link between a range of moral requirements and abilities in ordinary moral evaluations. Moral obligations were repeatedly attributed in tandem with inability, regardless of the type (Experiments 1–3), temporal duration (Experiment 5), or scope (Experiment 6) of inability. This pattern was consistently observed using a variety of moral (...) vocabulary to probe moral judgments and was insensitive to different levels of seriousness for the consequences of inaction (Experiment 4). Judgments about moral obligation were no different for individuals who can or cannot perform physical actions, and these judgments differed from evaluations of a non-moral obligation (Experiment 7). Together these results demonstrate that commonsense morality rejects the “ought implies can” principle for moral requirements, and that judgments about moral obligation are made independently of considerations about ability. By contrast, judgments of blame were highly sensitive to considerations about ability (Experiment 8), which suggests that commonsense morality might accept a “blame implies can” principle. (shrink)

A longstanding problem in the teacher workforce, internationally and in the UK, is the continuing and substantial numbers of qualified teachers who leave the profession within five years. This paper uses data collected from a survey to the last five years of teacher education graduates of UCL Institute of Education (IOE) in London, to explore what originally motivated them to teach, and the reasons why they have left or may consider leaving in the future. We discovered that despite claiming to (...) be aware of the challenges of workload before entering teaching, workload was the most frequently cited reason for having left, or for leaving in the future. The data spoke to the reality of teaching being worse than expected, and the nature (rather than the quantity) of the workload, linked to notions of performativity and accountability, being a crucial factor. This paper draws on a substantial new source of data and explores reasons for leaving in the context of reported initial motivation of individuals who have left teaching, individuals who are planning to leave and individuals who are planning to stay in teaching. (shrink)

It is widely accepted in epistemology that knowledge is factive, meaning that only truths can be known. We argue that this theory creates a skeptical challenge: because many of our beliefs are only approximately true, and therefore false, they do not count as knowledge. We consider several responses to this challenge and propose a new one. We propose easing the truth requirement on knowledge to allow approximately true, practically adequate representations to count as knowledge. In addition to addressing the skeptical (...) challenge, this view also coheres with several previous theoretical proposals in epistemology. (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)

The paper explores the relation between a set of poetic formulas in early Greek and Anatolian languages of the second and early first millennia having to do with the cosmography of the rising sun in macrocosm, and going up into bed in microcosm, with an eye to defending the reading and restoration έρωι δέπασ εισομβάμεν in the editio princeps of the new Sappho. The Luvian word for “sky, heaven,” represented as a bowl in Hieroglyphic, is the likeliest source of the (...) Greek word depas, Mycenean dipas, in the second millennium, together with the associative semantics of depas and “heaven” evidenced in Hittite and Luvian texts in the second millennium, and in early Greek poetry in the first. (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)

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. (shrink)

Research in experimental epistemology has revealed a great, yet unsolved mystery: why do ordinary evaluations of knowledge ascribing sentences involving stakes and error appear to diverge so systematically from the predictions professional epistemologists make about them? Two recent solutions to this mystery by Keith DeRose (2011) and N. Ángel Pinillos (2012) argue that these differences arise due to specific problems with the designs of past experimental studies. This paper presents two new experiments to directly test these responses. Results vindicate previous (...) findings by suggesting that (i) the solution to the mystery is not likely to be based on the empirical features these theorists identify, and (ii) that the salience of ascriber error continues to make the difference in folk ratings of third-person knowledge ascribing sentences. (shrink)

Experimental philosophers have empirically challenged the connection between intuition and philosophical expertise. This paper reviews these challenges alongside other research findings in cognitive science on expert performance and argues for three claims. First, evidence taken to challenge philosophical expertise may also be explained by the well-researched failures and limitations of genuine expertise. Second, studying the failures and limitations of experts across many fields provides a promising research program upon which to base a new model of philosophical expertise. Third, a model (...) of philosophical expertise based on the limitations of genuine experts may suggest a series of constraints on the reliability of professional philosophical intuition. Even when the experts all agree, they may well be mistaken. — Bertrand Russell, On the Value of Scepticism. (shrink)

Pedagogy is a pillar of human culture and society. Telling each other information and showing each other how to do things comes naturally to us. A strong case has been made that declarative knowledge is the norm of assertion, which is our primary way of telling others information. This article presents an analogous case for the hypothesis that procedural knowledge is the norm of instructional demonstration, which is a primary way of showing others how to do things. Knowledge is the (...) norm of telling and showing. It is the prime pedagogical principle. (shrink)

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

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)

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)