In this paper we propose a computational framework aimed at extending the problem solving capabilities of cognitive artificial agents through the introduction of a novel, goal-directed, dynamic knowledge generation mechanism obtained via a non monotonic reasoning procedure. In particular, the proposed framework relies on the assumption that certain classes of problems cannot be solved by simply learning or injecting new external knowledge in the declarative memory of a cognitive artificial agent but, on the other hand, require a mechanism for the (...) automatic and creative re-framing, or re-formulation, of the available knowledge. We show how such mechanism can be obtained trough a framework of dynamic knowledge generation that is able to tackle the problem of commonsense concept combination. In addition, we show how such a framework can be employed in the field of cognitive architectures in order to overcome situations like the impasse in SOAR by extending the possible options of its subgoaling procedures. (shrink)

In Fallibilism: Evidence and Knowledge, Jessica Brown identifies a number of problems for the so-called knowledge view of justification. According to this view, we cannot justifiably believe what we do not know. Most epistemologists reject this view on the grounds that false beliefs can be justified if, say, supported by the evidence or produced by reliable processes. We think this is a mistake and that many epistemologists are classifying beliefs as justified because they have properties that indicate that something should (...) be excused. Brown thinks that previous attempts to make this case have been unsuccessful. While the difficulties Brown points to are genuine, I think they show that attempts to explain a classificatory judgment haven't been successful. Still, I would argue that the classification is correct. We need a better explanation of this classificatory judgment. I will try to clarify the justification-excuse distinction and explain why it's a mistake to insist that beliefs that violate epistemic norms might be justified. Just as it's possible for a rational agent to act without justification in spite of her best intentions, it's possible that a rational thinker who follows the evidence and meets our expectations might nevertheless believe without sufficient justification. If our justified beliefs are supposed to guide us in deciding what to do, we probably should draw on discussions from morality and the law about the justification/excuse distinction to inform our understanding of the epistemic case. (shrink)

Williamson has argued against scepticism concerning our metaphysically modal knowledge, by arguing that standard patterns of suppositional reasoning to counterfactual conclusions provide reliable sources of correct ascriptions of possibility and necessity. The paper argues that, while Williamson’s claims relating to necessity may well be right, he has not provided adequate reasons for thinking that the familiar modes of counterfactual reasoning to which he points generalise to provide a decent route to ascriptions of possibility. The paper also explores another path to (...) ascriptions of possibility that may be extracted from Williamson’s ideas, before briefly considering the general status of counterfactual reasoning in relation to our knowledge of possibilities. (shrink)

The paper argues that knowledge is not closed under logical inference. The argument proceeds from the openness of evidential support and the dependence of empirical knowledge on evidence, to the conclusion that knowledge is open. Without attempting to provide a full-fledged theory of evidence, we show that on the modest assumption that evidence cannot support both a proposition and its negation, or, alternatively, that information that reduces the probability of a proposition cannot constitute evidence for its truth, the relation of (...) evidential support is not closed under known entailment. Therefore the evidence-for relation is deductively open regardless of whether evidence is probabilistic or not. Given even a weak dependence of empirical knowledge on evidence, we argue that empirical knowledge is also open. On this basis, we also respond to the strongest argument in support of knowledge closure. Finally, we present a number of significant benefits of our position, namely, offering a unified explanation for a range of epistemological puzzles. (shrink)

In his famous 1982 paper, Allen Newell [22, 23] introduced the notion of knowledge level to indicate a level of analysis, and prediction, of the rational behavior of a cognitive arti cial agent. This analysis concerns the investigation about the availability of the agent knowledge, in order to pursue its own goals, and is based on the so-called Rationality Principle (an assumption according to which "an agent will use the knowledge it has of its environment to achieve its goals" [22, (...) p. 17]. By using the Newell's own words: "To treat a system at the knowledge level is to treat it as having some knowledge, some goals, and believing it will do whatever is within its power to attain its goals, in so far as its knowledge indicates" [22, p. 13]. In the last decades, the importance of the knowledge level has been historically and system- atically downsized by the research area in cognitive architectures (CAs), whose interests have been mainly focused on the analysis and the development of mechanisms and the processes governing human and (arti cial) cognition. The knowledge level in CAs, however, represents a crucial level of analysis for the development of such arti cial general systems and therefore deserves greater research attention [17]. In the following, we will discuss areas of broad agree- ment and outline the main problematic aspects that should be faced within a Common Model of Cognition [12]. Such aspects, departing from an analysis at the knowledge level, also clearly impact both lower (e.g. representational) and higher (e.g. social) levels. (shrink)

The paper surveys the currently available axiomatizations of common belief (CB) and common knowledge (CK) by means of modal propositional logics. (Throughout, knowledge- whether individual or common- is defined as true belief.) Section 1 introduces the formal method of axiomatization followed by epistemic logicians, especially the syntax-semantics distinction, and the notion of a soundness and completeness theorem. Section 2 explains the syntactical concepts, while briefly discussing their motivations. Two standard semantic constructions, Kripke structures and neighbourhood structures, are introduced in Sections (...) 3 and 4, respectively. It is recalled that Aumann's partitional model of CK is a particular case of a definition in terms of Kripke structures. The paper also restates the well-known fact that Kripke structures can be regarded as particular cases of neighbourhood structures. Section 3 reviews the soundness and completeness theorems proved w.r.t. the former structures by Fagin, Halpern, Moses and Vardi, as well as related results by Lismont. Section 4 reviews the corresponding theorems derived w.r.t. the latter structures by Lismont and Mongin. A general conclusion of the paper is that the axiomatization of CB does not require as strong systems of individual belief as was originally thought- only monotonicity has thusfar proved indispensable. Section 5 explains another consequence of general relevance: despite the "infinitary" nature of CB, the axiom systems of this paper admit of effective decision procedures, i.e., they are decidable in the logician's sense. (shrink)

John Locke is known within anthropology primarily for his empiricism, his views of natural laws, and his discussion of the state of nature and the social contract. Marilyn Strathern and Marshall Sahlins, however, have offered distinctive, novel, and broad reflections on the nature of anthropological knowledge that appeal explicitly to a lesser-known aspect of Locke’s work: his metaphysical views of relations. This paper examines their distinctive conclusions – Sahlins’ about cultural relativism, Strathern’s about relatives and kinship – both of which (...) concern the objectivity of anthropological knowledge. Although Locke’s own views of relations have been neglected by historians of philosophy in the past, recent and ongoing philosophical discussions of Locke on relations create a productive trading zone between philosophy and anthropology on the objectivity of anthropological knowledge that goes beyond engagement with the particular claims made by Sahlins and Strathern. (shrink)

Is it necessary for all Christians – including Christians who are metaphysicians with demonstrative knowledge of God’s existence – to hold by faith that God exists? I shall approach this apparently straightforward question by investigating two opposing lines of interpretation of Thomas Aquinas’s own response to this question. I shall begin with two texts from Thomas that motivate two incompatible theses concerning Thomas’s doctrine of the harmony of faith and reason with respect to the existence of God. Next, I shall (...) clarify the salient points of disagreement between these two interpretations of faith and reason in Thomas Aquinas before examining dialectically a number of arguments in favor and against the respective theses of these two interpretations. In the final section I shall argue that the results of our dialectical inquiry reveal that the initial disagreement between the two positions is not irresolvable. Accordingly, I shall conclude by proposing two revised versions of the initial theses that emphasize the compatibility of these two interpretations of Thomas Aquinas’s doctrine of the harmony of faith and reason. (shrink)

Michael Ayers’s Knowing and Seeing: Groundwork for a New Empiricism is a rich and detailed development of two ideas. The first is that perception presents reality to us directly in a perspicuous way. We thus acquire primary knowledge of the world: “knowledge gained by being evidently, self-consciously, in direct cognitive contact with the object of the knowledge.” (Ayers 2019, 63) The second idea is that concepts are not needed in perception. In this article, the author examines Ayers’s view. The author (...) proceeds as follows: In the first section, he identifies the target of Ayers’s attacks, conceptualism. He then describes why many philosophers have felt this conceptualist view to be attractive. In the next section, he discusses Ayers’s criticisms of conceptualism in an attempt to disentangle these criticisms from the statement of his positive view, which the author discusses in the following section. He ends by describing some problems for Ayers’s positive position that are, so he argues, the result of his vehement opposition to conceptualism. (shrink)

The aim of this contribution is to provide an overview of conceptual approaches to incorporating a decision maker’s non-knowledge into economic theory. We will focus here on the particular kind of non-knowledge which we consider to be one of the most important for economic discussions: non-knowledge of possible consequence-relevant uncertain events which a decision maker would have to take into account when selecting between different strategies.

This paper offers a new account of reflective knowledge’s value, building on recent work on the epistemic norms of speech acts. Reflective knowledge is valuable because it licenses us to make guarantees and promises.

I defend Frank Jackson's knowledge argument against physicalism in the philosophy of mind from a criticism that has been advanced by Laurence Nemirow and David Lewis. According to their criticism, what Mary lacked when she was in her black and white room was a set of abilities; she did not know how to recognize or imagine certain types of experience from a first-person perspective. Her subsequent discovery of what it is like to experience redness amounts to no more than her (...) acquisition of these abilities. The physicalist can admit this, since it does not commit one to the view that there are any facts of which Mary was ignorant . I argue against this view, on the grounds that the knowledge of what an experience is like cannot be equated with the possession of any set of abilities. (shrink)

What are philosophers doing when they prescribe a particular epistemology for science? According to science and technology studies, the answer to this question implicates both knowledge and politics, even when the latter is hidden. Exploring this dynamic via a specific case, I argue that Longino’s “critical contextual empiricism” ultimately relies on a form of political liberalism. Her choice to nevertheless foreground epistemological concerns can be clarified by considering historical relationships between science and society, as well as the culture of academic (...) philosophy. This example, I conclude, challenges philosophers of science to consider the political ideals and accountability entailed by their prescribed knowledge practices. (shrink)

Two concepts of utmost importance for the analytic philosophy of the twentieth century, “sense-data” and “knowledge by acquaintance”, were introduced by Bertrand Russell under the influence of two idealist philosophers: F. H. Bradley and Alexius Meinong. This paper traces the exact history of their introduction. We shall see that between 1896 and 1898, Russell had a fully-elaborated theory of “sense-data”, which he abandoned after his analytic turn of the summer of 1898. Furthermore, following a subsequent turn of August 1900—-after he (...) became acquainted with the works of Peano and later of Frege—-Russell gradually developed another theory of sense-data. With the collaboration of G. E. Moore, Russell reintroduced the term “sense-data” in 1911. Concomitantly with this move, Russell introduced the epistemological term “knowledge by acquaintance”, which came to designate the grasping of sense-data and universals. (shrink)

The value problem for knowledge is the problem of explaining why knowledge is cognitively more valuable than mere true belief. If an account of the nature of knowledge is unable to solve the value problem for knowledge, this provides a pro tanto reason to reject that account. Recent literature argues that process reliabilism is unable to solve the value problem because it succumbs to an objection known as the swamping objection. Virtue reliabilism (i.e., agent reliabilism), on the other hand, is (...) able to solve the value problem because it can avoid the swamping objection. I argue that virtue reliabilism escapes the swamping objection only by employing what I call an entailment strategy. Furthermore, since an entailment strategy is open to the process reliabilist (in two different forms), I argue that the process reliabilist is also able to escape the swamping objection and thereby solve the value problem for knowledge. (shrink)

Lewis Carroll’s 1895 paper “Achilles and the Tortoise” showed that we need a distinction between rules of inference and premises. We cannot, on pain of regress, treat all rules simply as further premises in an argument. But Carroll’s paper doesn’t say very much about what rules there must be. Indeed, it is consistent with what Carroll says there to think that the only rule is -elimination. You might think that modern Bayesians, who seem to think that the only rule of (...) inference they need is conditionalisation, have taken just this lesson from Carroll. But obviously nothing in Carroll’s argument rules out there being other rules as well. (shrink)

In this treatise, al-Fārābī refers to mental acquisition of certain elementary principles of knowledge or cognitions that are the primary basis of any demonstrative process; and this means that cognitions, which are in our intellect, are independent of all experience. The innate character of cognitions is treated in his other works, as is their nature, e.g., whether they are content-ideas or dispositio.

An influential proposal is that knowledge involves safe belief. A belief is safe, in the relevant sense, just in case it is true in nearby metaphysically possible worlds. In this paper, I introduce a distinct but complementary notion of safety, understood in terms of epistemically possible worlds. The main aim, in doing so, is to add to the epistemologist’s tool-kit. To demonstrate the usefulness of the tool, I use it to advance and assess substantive proposals concerning knowledge and justification.

Cognitive integration is a defining yet overlooked feature of our intellect that may nevertheless have substantial effects on the process of knowledge-acquisition. To bring those effects to the fore, I explore the topic of cognitive integration both from the perspective of virtue reliabilism within externalist epistemology and the perspective of extended cognition within externalist philosophy of mind and cognitive science. On the basis of this interdisciplinary focus, I argue that cognitive integration can provide a minimalist yet adequate epistemic norm of (...) subjective justification: so long as the agent’s belief-forming process has been integrated in his cognitive character, the agent can be justified in holding the resulting beliefs merely by lacking any doubts there was something wrong in the way he arrived at them. Moreover, since both externalist philosophy of mind and externalist epistemology treat the process of cognitive integration in the same way, we can claim that epistemic cognitive characters may extend beyond our organismic cognitive capacities to the artifacts we employ or even to other agents we interact with. This move is not only necessary for accounting for advanced cases of knowledge that is the product of the operation of epistemic artifacts or the interactive activity of research teams, but it can further lead to interesting ramifications both for social epistemology and philosophy of science. (shrink)

A satisfactory theory of linguistic communication must explain how it is that, through the interpersonal exchange of auditory, visual, and tactile stimuli, the communicative preconditions for the acquisition of testimonial knowledge regularly come to be satisfied. Without an account of knowledge-yielding communication this success condition for linguistic theorizing is left opaque, and we are left with an incomplete understanding of testimony, and communication more generally, as a source of knowledge. This paper argues that knowledge-yielding communication should be modelled on knowledge (...) itself. It is argued that knowledge-yielding communication occurs iff interlocutors coordinate on truth values in a non-lucky and non-deviant way. This account is able to do significant explanatory work: it sheds light on the nature of referential communication, and it allows us to capture, in an informative way, the sense in which interlocutors must entertain similar propositions in order to communicate successfully. (shrink)

According to one interpretation of Aristotle’s famous thesis, to say that action is the conclusion of practical reasoning is to say that action is itself a judgment about what to do. A central motivation for the thesis is that it suggests a path for understanding the non-observational character of practical knowledge. If actions are judgments, then whatever explains an agent’s knowledge of the relevant judgment can explain her knowledge of the action. I call the approach to action that accepts Aristotle’s (...) thesis so understood Normativism. There are many reasons to doubt Normativism. My aim in this paper is to defend Normativism from a pair of arguments that purport to show that a normative judgment could not constitute an event in material reality and also the knowledge of such a happening. Both highlight a putative mismatch between the natures of, on the one hand, an agent’s knowledge of her normative judgment and, on the other, her knowledge of her own action. According to these objections, knowledge of action includes (a) perceptual knowledge and (b) knowledge of what one has already done. But knowledge of a normative judgment includes neither. Hence knowledge of action cannot simply be knowledge of a normative judgment. (shrink)

This article discusses the following question: what epistemic relation must audiences bear to the content of assertions in order to gain testimonial knowledge? There is a brief discussion of why this issue is of importance, followed by two counterexamples to the most intuitive answer: that in order for an audience to gain testimonial knowledge that p they must know that the speaker has asserted p. It is then suggested that the argument generalises and can be made to work on different (...) sets of assumptions about the conditions for knowledge, and the conditions under which a proposition is asserted. (shrink)

Philosophers have debated whether it is possible to knowledgeably infer a conclusion from a false premise. For example, if a fan believes that the actress’s dress is blue, but the dress is actually green, can the fan knowledgeably infer “the dress is not red” from “the dress is blue”? One aspect of this debate concerns what the intuitively correct verdict is about specific cases such as this. Here I report a simple behavioral experiment that helps answer this question. The main (...) finding is that people attribute knowledge in cases where a true conclusion is inferred from a false premise. People did this despite judging that the premise was false and unknown. People also viewed the agent as inferring the conclusion from the premise. In closely matched conditions where the conclusion was false, people did not attribute knowledge of the conclusion. These results support the view that the ordinary knowledge concept includes in its extension cases of knowledge inferred from false premises. (shrink)

This paper explores some consequences of Lewis’s (Australas J Philos 74(4):549–567, 1996) understanding of how knowledge is compartmentalized. It argues, first, that he underestimates how badly it impacts his view. When knowledge is compartmentalized, it lacks at least one of two essential features of Lewis’s account: (a) Elusiveness—familiar skeptical possibilities, when relevant, are incompatible with everyday knowledge. (b) Knowledge is a modality—when a thinker knows that p, there is no relevant possibility where p is false. Lewis proposes compartmentalized knowledge to (...) keep treating knowledge as a modality while mitigating one of its unrealistic epistemological implications: In normal modal epistemic logic (and standard possible world semantics), a thinker always counts as knowing the strongest proposition that follows from the set of all the individual propositions that this thinker knows. Lewis’s compartmentalization proposal is that thinkers merely know the conjunctions of propositions that are known in each of, but not across, their compartments. The irony is that in avoiding overblown knowledge the view now allows for thinkers to attend to skeptical error possibilities and yet knowledge is present. The account avoids inflation of knowledge in one sense only to acquire another type of knowledge the view denies subjects can have. This problem motivates an inspection of knowledge accounts whose intra-compartment closure principles are weaker than those that are valid in normal modal-logic. The conclusion is that some formulations of closure can avoid the challenge Lewis’s view faces. Nevertheless, even these closure principles pose a barrier—perhaps an implausible barrier—for knowledge of ignorance. Even when the reasoning supporting the lack of knowledge is sound, a subject cannot always know she doesn’t know. Interestingly, this obstacle is one that knowledge of knowledge doesn’t seem to face. (shrink)

Keith DeRose and Stewart Cohen object to the fallibilist strand of pragmatic invariantism regarding knowledge ascriptions that it is committed to non-cancelable pragmatic implications. I show that this objection points us to an asymmetry about which aspects of the conveyed content of knowledge ascriptions can be canceled: we can cancel those aspects that ascribe a lesser epistemic standing to the subject but not those that ascribe a better or perfect epistemic standing. This situation supports the infallibilist strand of pragmatic invariantism (...) according to which knowledge semantically requires absolute certainty but this claim is often pragmatically weakened: it turns out that exactly those aspects of the conveyed content are cancelable that this view claims are pragmatic. I also argue that attributor contextualism and relativism do not have an alternative explanation of this phenomenon. (shrink)

Research on the capacity to understand others' minds has tended to focus on representations ofbeliefs,which are widely taken to be among the most central and basic theory of mind representations. Representations ofknowledge, by contrast, have received comparatively little attention and have often been understood as depending on prior representations of belief. After all, how could one represent someone as knowing something if one does not even represent them as believing it? Drawing on a wide range of methods across cognitive science, (...) we ask whether belief or knowledge is the more basic kind of representation. The evidence indicates that nonhuman primates attribute knowledge but not belief, that knowledge representations arise earlier in human development than belief representations, that the capacity to represent knowledge may remain intact in patient populations even when belief representation is disrupted, that knowledge (but not belief) attributions are likely automatic, and that explicit knowledge attributions are made more quickly than equivalent belief attributions. Critically, the theory of mind representations uncovered by these various methods exhibits a set of signature features clearly indicative of knowledge: they are not modality-specific, they are factive, they are not just true belief, and they allow for representations of egocentric ignorance. We argue that these signature features elucidate the primary function of knowledge representation: facilitating learning from others about the external world. This suggests a new way of understanding theory of mind – one that is focused on understanding others' minds in relation to the actual world, rather than independent from it. (shrink)

In the act of knowing consciousness, the experience (experience) of a thing by another individual is put into it. All the components of the environment that manifest themselves in movement, sound, light, resistance, etc. become a source of introjection in the experience. As a result of animism, what exists outside of man is divided into an external world and an extra-world existence, and knowledge is differentiated into sensuous and non-empirical. The original naive empirical duality becomes a metaphysical dualism.

This chapter enhances and extends a powerful and promising research program, performance-based epistemology, which stands at the crossroads of many important currents that one can identify in contemporary epistemology, including the value problem, epistemic normativity, virtue epistemology, and the nature of knowledge. Performance-based epistemology offers at least three outstanding benefits: it explains the distinctive value that knowledge has, it places epistemic evaluation into a familiar and ubiquitous pattern of evaluation, and it solves the Gettier problem. But extant versions of performance-based (...) epistemology have been the object of serious criticism. This chapter shows how to meet the objections without sacrificing the aforementioned benefits. (shrink)

Rationale, aims and objectives: The COVID-19 pandemic has impacted every facet of society, including medical research. This paper is the second part of a series of articles that explore the intricate relationship between the different challenges that have hindered biomedical research and the generation of novel scientific knowledge during the COVID-19 pandemic. In the first part of this series, we demonstrated that, in the context of COVID-19, the scientific community has been faced with numerous challenges with respect to (1) finding (...) and prioritizing relevant research questions and (2) choosing study designs that are appropriate for a time of emergency. Methods: During the early stages of the pandemic, research conducted on hydroxychloroquine (HCQ) sparked several heated debates with respect to the scientific methods used and the quality of knowledge generated. Research on HCQ is used as a case study in both papers. The authors explored biomedical databases, peerreviewed journals, pre-print servers and media articles to identify relevant literature on HCQ and COVID-19, and examined philosophical perspectives on medical research in the context of this pandemic and previous global health challenges. Results: This second paper demonstrates that a lack of research prioritization and methodological rigour resulted in the generation of fleeting and inconsistent evidence that complicated the development of public health guidelines. The reporting of scientific findings to the scientific community and general public highlighted the difficulty of finding a balance between accuracy and speed. Conclusions: The COVID-19 pandemic presented challenges in terms of (3) evaluating evidence for the purpose of making evidence-based decisions and (4) sharing scientific findings with the rest of the scientific community. This second paper demonstrates that the four challenges outlined in the first and second papers have often compounded each other and have contributed to slowing down the creation of novel scientific knowledge during the COVID-19 pandemic. (shrink)

There is a virtual consensus in contemporary epistemology that knowledge must be reliably produced. Everyone, it seems, is a reliabilist about knowledge in that sense. I present and defend two arguments that unreliable knowledge is possible. My first argument proceeds from an observation about the nature of achievements, namely, that achievements can proceed from unreliable abilities. My second argument proceeds from an observation about the epistemic efficacy of explanatory inference, namely, that inference to the best explanation seems to produce knowledge, (...) even if it isn't reliable. I also propose a successor to standard versions of reliabilism, which I call ‘ecumenical reliabilism’. Ecumenical reliabilism is consistent with unreliably produced knowledge and helps explain why unreliably produced knowledge is possible. (shrink)

This chapter lays out a case that with the proper perspective on the place of epistemology within normative inquiry more generally, it is possible to appreciate what was on the right track about some of the early approaches to the analysis of knowledge, and to improve on the obvious failures which led them to be rejected. Drawing on more general principles about reasons, their weight, and their relationship to justification, it offers answers to problems about defeat and the conditional fallacy (...) that plagued early defeasibility analyses of knowledge and offers a sketch of a contemporary alternative that is motivated by the idea that knowledge requires the right kind of “match” between objective and subjective factors. (shrink)

According to a view I’ll call Epistemic Normativism, knowledge is normative in the same sense in which paradigmatically normative properties like justification are normative. This paper argues against EN in two stages and defends a positive non-normativist alternative. After clarifying the target in §1, I consider in §2 some arguments for EN from the premise that knowledge entails justification. I first raise some worries about inferring constitution from entailment. I then rehearse the reasons why some epistemologists reject the Entailment Thesis (...) and argue that a non-normativist picture provides the best explanation of all the intuitions surrounding this thesis, favorable and unfavorable. On this picture, human knowledge is a structured non-normative complex that has as one of its parts a justification-making property, analogous in role to good-making properties like pleasurableness. After giving three arguments against EN in §3 and answering an objection in §4, I turn in §5 to further develop the positive view sketched in §2. In §6, I take stock and conclude. (shrink)

Evidence from life science, cognitive science, and philosophy supports the hypothesis that knowledge is a central norm of the human practice of assertion. However, to date, the experimental evidence supporting this hypothesis is limited to American anglophones. If the hypothesis is correct, then such findings will not be limited to one language or culture. Instead, we should find a strong connection between knowledge and assertability across human languages and cultures. To begin testing this prediction, we conducted three experiments on Koreans (...) in Korean. In each case, the findings replicated prior results observed in Americans and were corroborated by key findings from new replication studies on Americans using materials back-translated from Korean. These findings support the theory that there is a core, cross-culturally robust human practice of assertion and that, according to the rules of this practice, assertions should express knowledge. (shrink)

This chapter tries to answer the following question: How should we conceive of the method of mathematics, if we take a naturalist stance? The problem arises since mathematical knowledge is regarded as the paradigm of certain knowledge, because mathematics is based on the axiomatic method. Moreover, natural science is deeply mathematized, and science is crucial for any naturalist perspective. But mathematics seems to provide a counterexample both to methodological and ontological naturalism. To face this problem, some authors tried to naturalize (...) mathematics by relying on evolutionism. But several difficulties arise when we try to do this. This chapter suggests that, in order to naturalize mathematics, it is better to take the method of mathematics to be the analytic method, rather than the axiomatic method, and thus conceive of mathematical knowledge as plausible knowledge. (shrink)

In a single-iteration fake barn case, the agent correctly identifies an object of interest on the first try, despite the presence of nearby lookalikes that could have mislead her. In a multiple-iteration fake barn case, the agent first encounters several fakes, misidentifies each of them, and then encounters and correctly identifies a genuine item of interest. Prior work has established that people tend to attribute knowledge in single-iteration fake barn cases, but multiple-iteration cases have not been tested. However, some theorists (...) contend that multiple-iteration cases are more important and will elicit a strong tendency to deny knowledge. Here I report a behavioural experiment investigating knowledge judgments in multiple-iteration fake barn cases. The main finding is that people tend to attribute knowledge in these cases too. Ironically, the results indicate that the presence of fakes could prevent iterated errors from lowering knowledge attributions. The results also provide evidence that ordinary knowledge attributions are based on attributions of cognitive ability. (shrink)

We argue that any strong version of a knowledge condition on intentional action, the practical knowledge principle, on which knowledge of what I am doing (under some description: call it A-ing) is necessary for that A-ing to qualify as an intentional action, is false. Our argument involves a new kind of case, one that centers the agent’s control appropriately and thus improves upon Davidson’s well-known carbon copier case. After discussing this case, offering an initial argument against the knowledge condition, and (...) discussing recent treatments that cover nearby ground, we consider several objections. One we consider at some length maintains that although contemplative knowledge may be disconnected from intentional action, specifically practical knowledge of the sort Anscombe elucidated escapes our argument. We demonstrate that this is not so. Our argument illuminates an important truth, often overlooked in discussions of the knowledge-intentional action relationship: intentional action and knowledge have different levels of permissiveness regarding failure in similar circumstances. (shrink)

A growing number of epistemologists have endorsed the Ignorance Norm for Inquiry. Roughly, this norm says that one should not inquire into a question unless one is ignorant of its answer. I argue that, in addition to ignorance, proper inquiry requires a certain kind of knowledge. Roughly, one should not inquire into a question unless one knows it has a true answer. I call this the Knowledge Norm for Inquiry. Proper inquiry walks a fine line, holding knowledge that there is (...) an answer in the left hand and ignorance of the answer in the right. (shrink)

In this paper a Knowledge-Based System (KBS) for determining the appropriate students major according to his/her preferences for sophomore student enrolled in the Faculty of Engineering and Information Technology in Al-Azhar University of Gaza was developed and tested. A set of predefined criterions that is taken into consideration before a sophomore student can select a major is outlined. Such criterion as high school score, score of subject such as Math I, Math II, Electrical Circuit I, and Electronics I taken during (...) the student freshman year, number of credits passed, student cumulative grade point average of freshman year, among others, were then used as input data to KBS. KBS was designed and developed using Simpler Level Five (SL5) Object expert system language. KBS was tested on three generation of sophomore students from the Faculty of Engineering and Information Technology of the Al-Azhar University, Gaza. The results of the evaluation show that the KBS is able to correctly determine the appropriate students major without errors. (shrink)

A speaker's use of a declarative sentence in a context has two effects: it expresses a proposition and represents the speaker as knowing that proposition. This essay is about how to explain the second effect. The standard explanation is act-based. A speaker is represented as knowing because their use of the declarative in a context tokens the act-type of assertion and assertions represent knowledge in what's asserted. I propose a semantic explanation on which declaratives covertly host a "know"-parenthetical. A speaker (...) is thereby represented as knowing the proposition expressed because that is the semantic contribution of the parenthetical. I call this view parentheticalism and defend that it better explains knowledge representation than alternatives. As a consequence of outperforming assertoric explanations, parentheticalism opens the door to eliminating the act-type of assertion from linguistic theorizing. (shrink)

In this paper we argue that knowledge is characteristically safe true belief. We argue that an adequate approach to epistemic luck must not be indexed to methods of belief formation, but rather to explanations for belief. This shift is problematic for several prominent approaches to the theory of knowledge, including virtue reliabilism and proper functionalism (as normally conceived). The view that knowledge is characteristically safe true belief is better able to accommodate the shift in question.

Knowledge is widely thought to entail belief. But Radford has claimed to offer a counterexample: the case of the unconfident examinee. And Myers-Schulz and Schwitzgebel have claimed empirical vindication of Radford. We argue, in defense of orthodoxy, that the unconfident examinee does indeed have belief, in the epistemically relevant sense of dispositional belief. We buttress this with empirical results showing that when the dispositional conception of belief is specifically elicited, people’s intuitions then conform with the view that knowledge entails (dispositional) (...) belief. (shrink)

What is common knowledge? According to the dominant iterative model, a group of people commonly knows that p if and only if they each individually know that p, and they furthermore each know that they each know that p, and so on to infinity. According to the integrative model proposed in this paper, a group commonly knows that p when its members are united in a state of mind of the type whose contents must be true. Epistemic integration within a (...) group is enabled by symmetrical signalling processes such as eye contact. In conversational dyads, symmetrical processing operates on pairs of signals produced by the two sides in a familiar format: speakers generate content for joint attention in main channel communication, and addressees evaluate that content in backchannel communication. Processes of reinforcement learning shape our pairwise signalling, driving the accumulation of common knowledge, both in response to extrinsic reward for coordinated action, and in response to the intrinsic reward of curiosity. Where the iterative model caps the epistemic performance of the group at the level of its weakest member, the integrative model of common knowledge shows how groups working together can outperform their strongest member working alone. (shrink)

This paper contains a critical examination of the prospects for analyses of knowledge that weaken the factivity condition such that knowledge implies approximate truth.

Sometimes, realizing an ethically desirable outcome X will generate disutility for some whose very cooperation is necessary to realizing X, either in the form of material or social costs, or the abnegation of some of their values or personal principles. How does one gain their assent? Seeing one's way through such cases may hinge on one’s ability to make plausible first-pass predictions of how others will react to one’s interventions with them. In other words, one should know not simply the (...) warrant of one’s reasons in favor of X, but also how such reasons will be received when issued forth in one’s voice and from one's person. I call this me-knowledge— knowing the ‘me’ as seen from the perspective of a particular other. Drawing on classical Chinese sources, I argue that such knowledge is crucial to enhance one's efficacy in the world. (shrink)

Defeat cases are often taken to show that even the most securely-based judgment can be rationally undermined by misleading evidence. Starting with some best-case scenario for perceptual knowledge, for example, it is possible to undermine the subject’s confidence in her sensory faculties until it becomes unreasonable for her to persist in her belief. Some have taken such cases to indicate that any basis for knowledge is rationally defeasible; others have argued that there can be unreasonable knowledge. I argue that defeat (...) cases really involve not an exposure of weakness in the basis of a judgment, but a shift in that basis. For example, when threatening doubts are raised about whether conditions are favorable for perception, one shifts from a basis of unreflective perceptual judgment to a basis of conscious inference. In these cases, the basis of one’s knowledge is lost, rather than rationally undermined. This approach to defeat clears the path for a new way to defend infallibilism in epistemology, and a new understanding of what can count as the basis of any instance of knowledge. (shrink)

Is knowledge justified true belief? Most philosophers believe that the answer is clearly ‘no’, as demonstrated by Gettier cases. But Gettier cases don’t obviously refute the traditional view that knowledge is justified true belief (JTB). There are ways of resisting Gettier cases, at least one of which is partly successful. Nevertheless, when properly understood, Gettier cases point to a flaw in JTB, though it takes some work to appreciate just what it is. The nature of the flaw helps us better (...) understand the nature of knowledge and epistemic justification. I propose a crucial improvement to the traditional view, relying on an intuitive and independently plausible metaphysical distinction pertaining to the manifestation of intellectual powers, which supplements the traditional components of justification, truth and belief. (shrink)

“Gettier cases” have played a major role in Anglo-American analytic epistemology over the past fifty years. Philosophers have grouped a bewildering array of examples under the heading “Gettier case.” Philosophers claim that these cases are obvious counterexamples to the “traditional” analysis of knowledge as justified true belief, and they treat correctly classifying the cases as a criterion for judging proposed theories of knowledge. Cognitive scientists recently began testing whether philosophers are right about these cases. It turns out that philosophers were (...) partly right and partly wrong. Some “Gettier cases” are obvious examples of ignorance, but others are obvious examples of knowledge. It also turns out that much research in this area of philosophy is marred by experimenter bias, invented historical claims, dysfunctional categorization of examples, and mischaracterization by philosophers of their own intuitive judgments about particular cases. Despite these shortcomings, lessons learned from studying “Gettier cases” are leading to important insights about knowledge and knowledge attributions, which are central components of social cognition. (shrink)

The epistemology of modality has focused on metaphysical modality and, more recently, counterfactual conditionals. Knowledge of kinds of modality that are not metaphysical has so far gone largely unexplored. Yet other theoretically interesting kinds of modality, such as nomic, practical, and ‘easy’ possibility, are no less puzzling epistemologically. Could Clinton easily have won the 2016 presidential election—was it an easy possibility? Given that she didn’t in fact win the election, how, if at all, can we know whether she easily could (...) have? This paper investigates the epistemology of the broad category of ‘objective’ modality, of which metaphysical modality is a special, limiting case. It argues that the same cognitive mechanisms that are capable of producing knowledge of metaphysical modality are also capable of producing knowledge of all other objective modalities. This conclusion can be used to explain the roles of counterfactual reasoning and the imagination in the epistemology of objective modality. (shrink)

Reductive intellectualists hold that knowledge-how is a kind of knowledge-that. For this thesis to hold water, it is obviously important that knowledge-how and knowledge-that have the same epistemic properties. In particular, knowledge-how ought to be compatible with epistemic luck to the same extent as knowledge-that. It is argued, contra reductive intellectualism, that knowledge-how is compatible with a species of epistemic luck which is not compatible with knowledge-that, and thus it is claimed that knowledge-how and knowledge-that come apart.

Most commonplace moral failure is not conditioned by evil intentions or the conscious desire to harm or humiliate others. It is more banal and ubiquitous – a form of moral stupidity that gives rise to rationalization, self‐deception, failures of due moral consideration, and the evasion of responsibility. A kind of crude, perception‐distorting self‐absorption, moral stupidity is the cause of many moral missteps; moral development demands the development of self‐knowledge as a way out of moral stupidity. Only once aware of the (...) presence or absence of particular desires and beliefs can an agent have authority over them or exercise responsibility for their absence. But what is the connection between self‐knowledge and moral development? I argue that accounts (such as Kant's and Richard Moran's) which construe instances of self‐knowledge as like the verdicts of a judge cannot explain its potential role in moral development, and claim that it must be conceived of in a way that makes possible a process of self‐refinement and self‐regulation. Making use of Buddhist moral psychology, I argue that when self‐knowledge plays a role in moral development, it includes a quality of attention to one's experience best modeled as the work of the craftsperson, not as judge. (shrink)