Soc. …I speak of what I scarcely understand; but the soul when thinking appears to me to be just talking—asking questions of herself and answering them, affirming and denying. And when she has arrived at a decision, either gradually or by a sudden impulse, and has at last agreed, and does not doubt, this is called her opinion. I say, then, that to form an opinion is to speak, and opinion is a word spoken,—I mean, to oneself and in (...) silence, not aloud or to another: What think you? Theaet. I agree. (shrink)

Most epistemologists hold that knowledge entails belief. However, proponents of this claim rarely offer a positive argument in support of it. Rather, they tend to treat the view as obvious and assert that there are no convincing counterexamples. We find this strategy to be problematic. We do not find the standard view obvious, and moreover, we think there are cases in which it is intuitively plausible that a subject knows some proposition P without—or at least without determinately—believing (...) that P. Accordingly, we present five plausible examples of knowledge without (determinate) belief, and we present empirical evidence suggesting that our intuitions about these scenarios are not atypical. (shrink)

Rieber 1998 proposes an account of "S knows that p" that generates a contextualist solution to Closure. In this paper, I’ll argue that Rieber’s account of "S knows that p" is subject to fatal objections, but we can modify it to achieve an adequate account of "S knows that p" that generates a unified contextualist solution to all four puzzles. This is a feat that should matter to those philosophers who have proposed contextualist (...) solutions to Closure: all of them have motivated their contextualism by appeal to the fact that they can explain the plausibility of each of the statements in Closure taken individually, and they can do this without having to deny that each of those statements is true, at least in the context in which it is plausible. But notice that this consideration would equally well motivate a contextualist approach to the other puzzles. Nonetheless, no contextualist has yet suggested how a contextualist solution to the other puzzles might go. (shrink)

In this paper I develop three different arguments against the thesis that knowledge-how is a kind of knowledge-that. Knowledge-that is widely thought to be subject to an anti-luck condition, a justified or warranted belief condition, and a belief condition, respectively. The arguments I give suggest that if either of these standard assumptions is correct then knowledge-how is not a kind of knowledge-that. In closing I identify a possible alternative to the standard Rylean and intellectualist accounts (...) of knowledge-how. This alternative view illustrates that even if the arguments given here succeed it might still be reasonable to hold that knowing how to do something is a matter of standing in an intentional relation to a proposition other than the knowledge-that relation. (shrink)

A gossip protocolGossip protocol is a procedure for sharing secrets in a network. The basic action in a gossip protocolGossip protocol is a telephone call wherein the caller and the callee exchange all the secrets they know. An agent who knows all secrets is an expert. The usual termination condition is that all agents are experts. Instead, we explore some protocols wherein the termination condition is that all agents know that all agents are experts. We call such (...) agents super experts. Additionally, we model that agents who already know that all agents are experts, do not make and do not answer calls. We also model that such protocols are common knowledgeCommon knowledge among the agents. We investigate conditions under which such gossip protocolsGossip protocol terminate, both in the synchronous case, where there is a global clock, and in the asynchronous case, where there is not. We show that a protocol with missed calls can terminate faster than the same protocol without missed calls. (shrink)

Epistemic logic has become a major field of philosophical logic ever since the groundbreaking work by Hintikka [58]. Despite its various successful applications in theoretical computer science, AI, and game theory, the technical development of the field has been mainly focusing on the propositional part, i.e., the propositional modal logics of “knowing that”. However, knowledge is expressed in everyday life by using various other locutions such as “knowing whether”, “knowing what”, “knowing how” and so on (...) (knowing-wh hereafter). Such knowledge expressions are better captured in quantified epistemic logic, as was already discussed by Hintikka [58] and his sequel works at length. This paper aims to draw the attention back again to such a fascinating but largely neglected topic. We first survey what Hintikka and others did in the literature of quantified epistemic logic, and then advocate a new quantifier-free approach to study the epistemic logics of knowing-wh, which we believe can balance expressivity and complexity, and capture the essential reasoning patterns about knowing-wh. We survey our recent line of work on the epistemic logics of ‘knowing whether”, “knowing what” and “knowing how” to demonstrate the use of this new approach. (shrink)

Gilbert Ryle has made the famous distinction between intellectual knowing-that and practical knowing-how. Since knowledge in Confucianism is not merely intellectual but also practical, many scholars have argued that such knowledge is knowing-how or, at least, very similar to it. In this essay, focusing on Wang Yangming’s moral knowledge, I shall argue that it is neither knowing-that nor knowing-how, but a third type of knowing, knowing-to. There is a unique (...) feature of knowing-to that is not shared by either knowing-that or knowing-how: a person with knowing-to will act accordingly, while neither knowing-that nor knowing-how, whether separately or combined, will dispose or incline its possessor to act accordingly. (shrink)

Ryle’s distinction between knowing that and knowing how has recently been challenged. The paper first briefly defends the distinction and then proceeds to address the question of classifying moral knowledge. Moral knowledge is special in that it is practical, that is, it is essentially a motive. Hence the way we understand moral knowledge crucially depends on the way we understand motivation. The Humean theory of motivation is wrong in saying that reason cannot be a (...) motive, but right in saying that desire is essential for motivating us. The right response to the Humean theory of motivation is to see that moral knowledge is desire-related rationality or thought-related desire. Moral knowledge is neither knowing that nor knowing how but rather a third species of knowledge which we may call “knowing to do.” Knowing to do is to be rationally disposed to do the right thing. This understanding of moral knowledge is exactly what we can learn from Aristotle’s ethics. (shrink)

The intent of this work is to discover suitable terms for harmonizing the dispositions of both theorist and skeptic and for providing balance between them. Towards reaching balance, the work, in dialectic ways, advances a reconsideration of concepts basic to any epistemology: doubting and affirming, truth and existence, knowing and perceiving, and necessity and contingency. A new account of hypothetical and relative modalities furnishes the mechanism of balance. The work also provides a critical examination of recent defense and criticism (...) of skepticism. (shrink)

This paper outlines how we may understand knowing-that as a kind of knowing-how-to, and thereby as an ability. (Contrast this form of analysis with the more commonly attempted reduction, of knowing-how-to to knowing-that.) The sort of ability in question has much potential complexity. In general, questioning can, but need not, be part of this complexity. However, questioning is always an element in the complexity that is philosophical knowing. The paper comments on the (...) nature of this particular form of knowing. (shrink)

What mental states are required for an agent to know-how to perform an action? This question fuels one of the hottest debates in the current literature on philosophy of action. Answering this question means facing what we call here The Challenge of Format Dualism, which consists in establishing which is the format of the mental representations involved in practical knowledge and, in case they are given in more than one format, explaining how these different formats can interlock. This challenge has (...) generated two parallel debates: the debate between Intellectualism and Anti-Intellectualism on the one hand, and the debate on the Interface Problem on the other. While the former is about whether practical knowledge can be considered a species of propositional knowledge, the latter investigates how motoric and propositional states can be related. Here we offer a unified account capable of explicitly analyzing those two problems within the same philosophical framework. Our account suggests a new way for solving the Interface Problem that paves the way for addressing the debate between Intellectualism and Anti-Intellectualism. (shrink)

Twin-earth thought experiments, standardly construed, support the externalist doctrine that the content of propositional attitudes involving natural-kind terms supervenes upon properties external to those who entertain them. But this doctrine in conjunction with a common view of self-knowledge might have the intolerable consequence that substantial propositions concerning the environment could be knowable a priori. Since both doctrines, externalism and privileged self-knowledge, appear independently plausible, there is then a paradox facing the attempt to hold them concurrently. I shall argue, (...) however, that externalist claims about the dependence of content on environmental factors presuppose certain theses about the semantics of natural-kind terms that, if sound, would make those claims eligible for empirical justification instead. In fact, that is the only interpretation of their epistemic status that could square with the standard conclusion from twin-earth cases. Furthermore, it can be shown to solve the paradox of externalism and self-knowledge in a more doxastically conservative way--accommodating precisely each of the well-accepted intuitions about knowledge, closure and the individuation of content given up by available competitors. (shrink)

Bayesian Conditionalization is a widely used proposal for how to update one’s beliefs upon the receipt of new evidence. This is in part because of its attention to the totality of one’s evidence, which often includes facts about what one’s new evidence is and how one has come to have it. However, an increasingly popular position in epistemology holds that one may gain new evidence, construed as knowledge, without being in a position to know that one has gained (...) this evidence. These are cases of KK-Failure, cases where one knows p but is not in a position to know that one knows p. This paper assumes that certain KK-Failures are possible and argues that Conditionalization goes wrong in those cases. (shrink)

I offer a two-tiered critique of epistemological contrastivism as developed by Jonathan Schaffer. First, I investigate the cornerstone of contrastivism, the notion of knowing the selected proposition p rather than the eliminated, or contrast, proposition q. Contrastivism imposes the ternicity constraint that the knowledge relation should span a knower and two propositions. However, contrastivism has yet to explain how to square this constraint with the required contrast between the selected and the eliminated propositions, and it is not immediately (...) obvious how to accomplish this. I offer up for consideration the binary proposal that to know that p rather than q is to know that the conjunction of p and the negation of q is true. Second, I argue that contrastivist objects of knowledge ought to be hyperpropositions rather than functions from possible worlds to truth-values, as assumed by Schaffer. (shrink)

I am aware of the tree and its leaves, but am I aware of my awareness of these things? When I try to introspect my awareness, I just find myself attending to objects and their properties. This observation is known as the ‘transparency of experience’. On the other hand, I seem to directly know that I am aware. Given the first observation, it is not clear how I know that I am aware. Fred Dretske thought that the (...) problem was so acute that he issued the challenge of answering ‘How do you know that you are not a zombie?’ I propose that a view found in the Advaita Vedanta, that awareness is self luminous, reconciles these two observations. I understand self-luminosity as the thesis that: (1) I am implicitly aware of my awareness and (2) I am phenomenally aware of a distinct phenomenal character of my awareness. In support of the first claim, that I apparently only attend to objects in the world when introspecting perceptual experience, suggests that I do not know my awareness explicitly, but rather that I must know it implicitly. In support of the second claim, I argue that the mere fact that I am perceptually conscious is not sufficient to allow me to know that I am perceptually conscious. In particular, the qualities I am perceptually aware of do not tell me that I aware of them, rather they just seem to be properties of objects. I also assess whether strategies for responding to Cartesian sceptical scenarios can be employed against Dretske’s consciousness scepticism. I argue that these strategies either fail to distinguish me from a zombie or they do not adequately describe my epistemic situation. By contrast to other accounts, if awareness has its own distinct phenomenal character, then it cannot be considered to be a prima facie property of the world, hence the self-luminosity of awareness provides a plausible account of how I know that I’m not a zombie. (shrink)

Response to Alex Byrne's paper 'Knowing what I see'.

You know that George W. Bush is the U.S. president, but you know how to ride a bicycle. What's the difference? According to intellectualists, not much: either knowing how to do something is a matter of knowing that something is the case or, at the very least, know-how requires a prior bit of theoretical knowledge. Anti-intellectualists deny this order of priority: either knowing-how and knowing-that are independent or, at the very least, knowing (...) that something is the case requires a prior bit of know-how. Much of the dispute centers on the relationship between knowing how to do something and having an ability to do it. If having an ability is necessary and sufficient for knowing-how, this is thought to provide comfort for anti-intellectualists. This paper traces the place of ability in the know-how/know-that debate from Ryle's seminal statement of anti-intellectualism through Stanley and Williamson's more recent defense of intellectualism. (shrink)

In his recent Philosophers’ Imprint paper “The (mostly harmless) inconsistency of knowledge attributions” [Weiner, 2009], Matt Weiner argues that the semantics of the expression “knows that”, as it is used in attributions of knowledge like “Hannah knows that the bank will be open,” are inconsistent, but that this inconsistency is “mostly harmless.” He presents his view as an alternative to the invariantist, contextualist and relativist approaches currently prevalent in the literature, (e.g. [Stanley, 2005], [DeRose, 1995], [Hawthorne, (...) 2006], [MacFarlane, 2005]) and argues that it avoids important disadvantages of each. Yet in calling the supposed inconsistency of knowledge attributions “mostly harmless”, Weiner implies that his view does not have new disadvantages of its own. My purpose in the present paper is to argue that the inconsistency and harmlessness theses cannot be jointly maintained: if we accept that the semantics of ‘know’—or indeed any word—are inconsistent, then we face a dilemma: one horn is dialetheism, the view that there there are true contradictions, the other is the view that that semantic competence in English requires belief in, or similar commitment to, falsehoods. I will argue that neither of these options is well described as “mostly harmless.” The paper is structured as follows: in the first part I present Weiner’s view and his arguments for it. Then in section 2 I compare the question of whether the semantics of ‘knows that’ are inconsistent to the much older controversy over whether the semantics of the expression ‘is true’ are inconsistent. In section 3 I will present Hans Herzberger’s arguments from the 1960s for thinking that no expression in a natural language can have inconsistent semantics. Finally, in section 4 I argue that although Herzberger’s argument seems anachronistic today, both contemporary ways of avoiding his conclusion have significant disadvantages. (shrink)

It is epistemological orthodoxy that the object of propositional knowledge is the truth of propositions. This traditional view is based on what I call the ‘KT-schema’, viz, ‘S knows that p, iff, S knows that “p” is true’. The purpose of this paper is to reject the KT-schema. By showing the paradoxical upshot of the KT-schema and providing counterexamples to the KT-schema, this paper argues that ‘knowing that p’ is more than ‘knowing (...) class='Hi'>that “p” is true’. Consequently, we shall rethink the object problem of propositional knowledge – if knowing that p is not merely knowing that ‘p’ is true, then what is indeed the object of propositional knowledge? I will also attempt to solve this problem by proposing a complementary answer: knowing that p requires at least knowing the truth of p, plus, understanding the content of p. (shrink)

This should be fairly close to the text of this paper as it appears in The Southern Journal of Philosophy 38 (2000), Spindel Conference Supplement: 121-148.

There are calls to expand the schema “ S knows that p ” to accommodate ways of knowing that are socially important but neglected in recent epistemology. A wider, more adequate conception of human knowing is needed that will include interested or motivated inquirers as “S,” and personal traits of persons as “ p .” Historically important treatments of knowing that accommodate these features deserve examination as part of the effort to create a (...) broader epistemology. We find such a treatment of knowing in Plato's Apology , 20 d-24 b, in which Socrates claims a bit of wisdom. We attend more carefully than others have to the concrete aspects of Socrates' encounters with interlocutors. (shrink)

A gossip protocol is a procedure for sharing secrets in a network. The basic action in a gossip protocol is a pairwise message exchange (telephone call) wherein the calling agents exchange all the secrets they know. An agent who knows all secrets is an expert. The usual termination condition is that all agents are experts. Instead, we explore protocols wherein the termination condition is that all agents know that all agents are experts. We call such agents super (...) experts. We also investigate gossip protocols that are common knowledge among the agents. Additionally, we model that agents who are super experts do not make and do not answer calls, and that this is common knowledge. We investigate conditions under which protocols terminate, both in the synchronous case, where there is a global clock, and in the asynchronous case, where there is not. We show that a commonly known protocol with engaged agents may terminate faster than the same commonly known protocol without engaged agents. (shrink)

This paper connects the following four topics: a class of generalized graphs whose relations do not have fixed arities called hypergraphs, a family of non-normal modal logics rejecting the aggregative axiom, an epistemic framework fighting logical omniscience, and the classical group knowledge modality of ‘someone knows’. Through neighborhood frames as their meeting point, we show that, among many completeness results obtained in this paper, the limit of a family of weakly aggregative logics is both exactly the modal logic of (...) hypergraphs and also the epistemic logic of local reasoning with veracity and positive introspection, and upon adding a single combinatorial axiom, it is also the logic of ‘someone knows’ for a fixed finite number of positively introspective agents. At the core of all these completeness results is a new canonical neighborhood model construction for monotone modal logics that is capable of dealing with all these diverse cases. We also provide an axiomatization for the logic of all non-n-colorable hypergraphs based on a filtration argument that also shows the decidability of the logics of hypergraphs we study. (shrink)

The purpose of this paper is to raise some questions about the idea, which was first made prominent by Gilbert Ryle, and has remained associated with him ever since, that there are at least two types of knowledge (or to put it in a slightly different way, two types of states ascribed by knowledge ascriptions) identified, on the one hand, as the knowledge (or state) which is expressed in the ‘knowing that’ construction (sometimes called, for fairly obvious (...) reasons, ‘propositional’ or ‘factual’ knowledge) and, on the other, as the knowledge (or state) which is ascribed in the ‘knowing how’ construction (sometimes called ‘practical’ knowledge). This idea, which might be said to be Ryle's most lasting philosophical legacy, has, in some vague form, remained part of conventional wisdom in philosophy since he put it forward. My purpose here is fairly accurately described as ‘raising questions’, since both the criticisms of the received view (as I interpret it), and the positive alternative suggestions to be advanced, are, to some extent, tentative and exploratory. The aim is to assemble a broad range of evidence for the conclusion that we need to replace the standard account, to query especially what Ryle suggested as evidence for it, and to explore what seems to me to be the indicated replacement for it. (shrink)

The dissertation explores the historical development of the Yogacara doctrine of self-cognition. The concept "self-cognition " refers to the reflexive nature of the human mind, which is also a main subject in modern psychology and the rapidly-growing field of cognitive science. My central thesis is that the Buddhist doctrine of self-cognition originated in a soteriological discussion of omniscience among the Mahasam&dotbelow;ghikas, an early Buddhist school established right after the first schism of Buddhist community. The doctrine then evolved into a (...) topic of epistemological inquiry among the Yogacarins. ;Based on the primary sources in Chinese, Pali, Sanskrit and Tibetan, I trace the origin of the doctrine of self-cognition back to the Mahasam&dotbelow;ghikas. In their discussion on the omniscience of Srota-apanna, an initial stage of Buddhist sagehood, they admit that this omniscience and, consequently, the self-cognition of the mind and mental activities occur in a single moment. In their view, the mind is like a lamp: it illuminates other things while it also illuminates itself. ;The dissertation then explores the subsequent development of this doctrine in a series of Buddhist scholars, including Sarvastivadins, Sautrantikas, and Yogacarins. The Sarvastivadins set forth a systematic refutation to the Mahasam&dotbelow;ghika doctrine in terms of causality, epistemology, soteriology, the relationship of self and other, the distinction between particular and universal, and supportive similes. The Sarvastivadins also developed a reflective model, in which they saw self-cognition as possible only in multiple moments rather than in a single moment. ;The Sautrantikas developed their doctrine of self-cognition by synthesizing the views of their predecessors. They discussed self-cognition in a more epistemological context, and especially in a framework of successively arising moments of cognition. They conclude that only mental consciousness is endowed with the capacity of self-cognition. ;The early Yogacara doctrine of self-cognition bears a strong mark of Sautrantika influence, although it was modified by contact with the Yogacara idealism. Dignaga was the first Yogacara scholar to systematize a doctrine of self-cognition in his epistemological system. I argue, against several eminent contemporary scholars, that self-cognition is a separate type of perception for Dignaga. Finally, I introduce Dharmapala's concept of the cognition of self-cognition, which signifies a further level of reflexivity of the mind. (shrink)

God is omniscient; therefore, He knows that ‘the flower in my hand is red.’ If God knows that ‘the flower in my hand is red,’ then He knows it perceptually. God does not know anything perceptually. It is clear that the set of propositions – form an inconsistent triad. This is one of four problems with which Avicenna was engaged concerning God's knowledge of particulars, which I call the problem of perceptual knowledge. In order to solve PPK (...) and three other problems, Avicenna has developed a theory concerning God’s knowledge of particulars. Secondary literature around Avicenna’s theory of God’s knowledge of particulars has mostly directed its attention to give an account of Avicenna’s positive theory rather than the problems which that theory was designed to solve. But this paper will not do the same thing as this secondary literature. In contrast, in this paper, I will concentrate on the characterization of one of the problems, i.e., PPK, because of which Avicenna has presented his positive theory of God’s knowledge of particulars. In short, this paper aims to show why Avicenna deems explaining God’s knowledge of, say, the redness of a flower, via his accepted theory of perception as problematic. In this regard, I will extract three versions of PPK based on Avicenna's philosophy and through it will shed some light on Avicenna’s theory of God’s knowledge of particulars. (shrink)

Before the semester begins, a teacher tells his students: “There will be exactly one exam this semester. It will not take place on a day that is an immediate-successor of a day that you are currently in a position to know is not the exam-day”. Both the students and the teacher know – it is common knowledge – that no exam can be given on the first day of the semester. Since the teacher is truthful and reliable, (...) it seems that the students can know that what he says is true. However, in that case, assuming the students can know that they know whatever it is they know (KK) and assuming their knowledge is closed under entailment (closure), the students can reason from what they know to the conclusion that no exam will take place during the semester. This conclusion contradicts what they supposedly know: that there will be an exam. This puzzle, we argue, gives rise to a new consideration for the rejection of KK. We discuss unique features of the argument, especially in comparison to Timothy Williamson's rejection of KK in light of other versions of the surprise exam paradox. (shrink)

A wide variety of skills, abilities and knowledge are used in technological activities such as engineering design. Together, they enable problem solving and artefact creation. Gilbert Ryle’s division of knowledge into knowing how and knowing that is often referred to when discussing this technological knowledge. Ryle’s view has been questioned and criticised by those who claim that there is only one type, for instance, Jason Stanley and Timothy Williamson who claim that knowing how is (...) really a form of knowing that and Stephen Hetherington who claims that knowing that is knowing how. Neither Ryle himself nor any of his critics have discussed technological knowledge. Exposing both Ryle’s and his critics’ ideas to technological knowledge show that there are strong reasons to keep the knowing how–knowing that dichotomy in technological contexts. The main reasons are that they are justified in different ways, that Stanley’s and Williamson’s ideas have great difficulties to account for learning of technological knowing how through training, and that knowing that is susceptible to Gettier problems, which technological knowing how is not. (shrink)

It is well known that G.E Moore brought about a revival of Realism with his classic “The Refutation of Idealism.” Three decades later W.T. Stace wrote an unfortunately less famous paper, “The Refutation of Realism.” In that paper, Stace claims that “we do not know that a single entity exists unperceived.” This paper provides an interpretation of Stace's argument and maintains that it has yet to be adequately addressed by contemporary epistemology.

Most agree that believing a proposition normally or ideally results in believing that one believes it, at least if one considers the question of whether one believes it. I defend a much stronger thesis. It is impossible to believe without knowledge of one's belief. I argue, roughly, as follows. Believing that p entails that one is able to honestly assert that p. But anyone who is able to honestly assert that p is also able (...) to just say – i.e., authoritatively, yet not on the basis of evidence – that she believes that p. And anyone who is able to just say that she believes that p is able to act in light of the fact that she holds that belief. This ability to act, in turn, constitutes knowledge of the psychological fact. However, without a broader theory of belief to help us make sense of this result, this conclusion will be hard to accept. Why should being in a particular mental state by itself necessitate an awareness of being in that state? I sketch a theory that helps to answer this question: believing is a matter of viewing a proposition as what one ought to believe. I show how this theory explains the thesis that to believe is to know that you believe. (shrink)

Many virtue-based approaches to propositional knowledge begin with the ability and achievement intuitions. In this paper, I rely on this pair of intuitions to explore the relationship between knowing how and knowing that. On the view that emerges, propositional knowledge is a kind of success through cognitive know how. Rather than simply equating know how with ability, I reveal deeper connections between both kinds of knowledge by focusing on the role of self-regulation.