Usually, people think that Gettier counter-examples challenged the traditional tripartite definition of knowledge and fundamentally changed the characteristic of the contemporary epistemology. This paper argues that regard for Gettier counter-examples is exaggerated, because (i) the JTB definition is neither an important nor a comprehensive one that covers all knowledge. Moreover, the significance of Gettier counter-examples is limited. (ii) The source of Gettier counter-examples lies in one arbitrary judgment, two (...) mix-ups, three false assumptions, and a misunderstanding about the JTB definition. (shrink)

The main aim of this paper is to analyse David Lewis’ version of contextualism and his solution to the Gettier problem and the lottery problem through the employment of his Rule of Relevance and Stewart Cohen’s response to these problems. Here I analyse whether Stewart Cohen’s response to David Lewis’ solutions to these problems is on the right track or not. Hence, I try to analyse some concept in David Lewis and Stewart Cohen which has remained unanalysed. Cohen tries (...) to show that when we try to solve some variation of the lottery problem and the Gettier problem by applying Lewis’s Rule of Relevance, then it generates some counterintuitive result. So Cohen gives Lewis some alternatives (which are explained in “The Strategy of Biting the Bullet and the Problem of Interference” and “Biting the Bullet Strategy as a Natural Extension of Contextualist Resolution to the Sceptical Problem and the Pity Poor Bill Variation of the Lottery Problem” sections) to avoid this counterintuitive result; this attempt, however, affects some other presuppositions of the contextual theory of David Lewis. My aim in this paper is to show how without taking these alternatives suggested by Cohen, Lewis can apply his Rules of Relevance to solve the lottery problem and the Gettier problem without any counterintuitive result. (shrink)

I challenge a cornerstone of the Gettier debate: that a proposed analysis of the concept of knowledge is inadequate unless it entails that people don’t know in Gettier cases. I do so from the perspective of Carnap’s methodology of explication. It turns out that the Gettier problem per se is not a fatal problem for any account of knowledge, thus understood. It all depends on how the account fares regarding other putative counter examples and the (...) further Carnapian desiderata of exactness, fruitfulness and simplicity. Carnap proposed his methodology more than a decade before Gettier’s seminal paper appeared, making the present solution to the problem a candidate for being the least ad hoc proposal on the market, one whose independent standing cannot be questioned, among solutions that depart from the usual method of revising a theory of knowledge in the light of counterexamples. As an illustration of the method at work, I reconstruct reliabilism as an attempt to provide an explication of the concept of knowledge. (shrink)

‘Where have you been?’ I expect philosophers to ask me this when I tell them that this paper is on the Gettier Problem. I found it difficult to participate in the discussion of the problem until now because instead of wanting to consider what could be done to revive the project of identifying necessary and conditions for knowledge after the apparent damage done to it by Gettier counter-examples, I wanted to question the legitimacy of the project (...) itself. (shrink)

The purpose of this article is to show that the truthmaker solution to the Gettier counter-examples can solve the Russell case of the stopped clock (other standard cases have already been analysed). The solution amounts to this: the truthmaker for the claim that it is, say, 2.00 pm, is a combination of natural and non-natural determinants. The latter are created by stipulation, but having been so made make it is a perfectly objective matter as to whether it (...) is 2.00 o'clock. To know that it is 2.00 pm is to have the evidence for one's belief evidence of the very state of affairs that make the belief true. Thus, in the Russell case one does not have knowledge, in accord with intuition. (shrink)

This chapter contains sections titled: Gettier Situations A Counter‐Example to ‘Gettier's Official Result’ Ordinary Gettiered Knowledge A Meta‐Gettier Problem Objections Answered Gettier‐Luck as Veritic Luck? Gettier‐Luck is not Veritic Luck Gettier‐Luck is Combinatorial Luck Combinatorial Luck: Applications Knowing in a Combinatorially Lucky Way Gettier‐Holism Versus Gettier‐Partialism Combinatorial Safety Combinatorial Gradational Safety Epistemological Privilege and Epistemological Empathy Gettier Situations and Sceptical Situations Timothy Williamson.

In “Is Justified True Belief Knowledge?” Edmund Gettier (1963) attacked the thesis ‘S knows that P iff P is true, S believes that P, and S is justified in believing that P’. His intention was to sustain that someone can have a justified true belief without knowing that belief. He made that by creating two counter-examples to that thesis. In this article, I try to show that Gettier’s arguments are based in a weak account of justification, (...) and that such a weak view cannot talk about someone knowing something. I begin by presenting his counter-examples, and then I show they do not work. (shrink)

Knowledge of the basic rules of logic is often thought to be distinctive, for it seems to be a case of non-inferential a priori knowledge. Many philosophers take its source to be different from those of other types of knowledge, such as knowledge of empirical facts. The most prominent account of knowledge of the basic rules of logic takes this source to be the understanding of logical expressions or concepts. On this account, what explains why such knowledge is distinctive is (...) that it is grounded in semantic or conceptual understanding. However, I show that this cannot be the correct account of knowledge of the basic rules of logic, because it is open to Gettier-style counter-examples. (shrink)

That in Gettier's alleged counterexamples to the traditional analysis of knowledge as justified true belief the belief condition is satisfied has rarely been questioned. Yet there is reason to doubt that a rational person would come to believe what Gettier's protagonists are said to believe in the way they are said to have come to believe it. If they would not, the examples are not counter-examples to the traditional analysis. I go on to discuss a (...) number of examples inspired by Gettier's and argue that they, too, fail to be counter-examples either for reasons similar to those I have urged or because it is not clear that their subject does not know. (shrink)

In “Is Justified True Belief, Knowledge?” Gettier shows us two counter examples of analyzing Knowledge, as “Justified True Belief” or “JTB”. Lots of scholars have reconstructed similar counter examples to JTB but we can see they follow a similar algorithm. Other scholars have tried to re-analyze knowledge by adding a fourth element to JTB and reformulating knowledge in a “JTB+X” formula and some replaced justification with another alternative component (Y) and proposed a “YTB” analysis of (...) knowledge. In this article I first overview Gettier’s problem and I show that we can construct a similar Gettier problem for each “JTB+X” or “YTB” formula. After that, I will focus on re-analyzing knowledge with a phenomenological attitude that can avoid Gettier’s problem. (shrink)

Locke’s thesis states that no two things of the same sort can be in the same place at the same time. The thesis has recently received extensive discussion, with some philosophers attempting to find arguments in its favour and others attempting to provide counter-examples. However, neither the arguments nor the counter-examples have been especially convincing; and it is my aim, in this short note, to present what I believe is a more convincing counter-example to the (...) thesis. (shrink)

Practitioners of the new ‘experimental philosophy’ have collected data that appear to show that some philosophical intuitions are culturally variable. Many experimental philosophers take this to pose a problem for a more traditional, ‘armchair’ style of philosophizing. It is argued that this is a mistake that derives from a false assumption about the character of philosophical methods; neither philosophy nor its methods have anything to fear from cultural variability in philosophical intuitions.

The Gettier Problem is the problem of revising the view that knowledge is justified true belief in a way that is immune to Gettier counter-examples. The “Gettier Problem problem”, according to Lycan, is the problem of saying what is misguided about trying to solve the Gettier Problem. In this paper I take up the Gettier Problem problem. I distinguish giving conditions that are necessary and sufficient for knowledge from giving conditions that explain why (...) one knows when one does know. I argue that the problem with the Gettier Problem is that it requires us to articulate conditions that suffice for knowledge even if those conditions are non-explanatory. After defending this view, I take up two related methodological issues, one about the evidence that can be given in favor of an account of knowledge, and one about the role that investigating justification might play in investigating knowledge. (shrink)

In this paper, I present a counter-example to the two most prominent theories of pragmatic encroachment (regarding knowledge ascriptions): Contextualism (specifically, DeRose's version), and Stanley's Subject-Sensitive Invariantism (SSI). The example is a variation on DeRose's bank case. -/- Key words: Knowledge, knowledge ascriptions, pragmatic encroachment, Stanley, DeRose, bank case, standards, stakes.

In his target article Page proposes a definition of the term “localist.” In this commentary I argue that his definition does not serve to make a principled distinction, as the inclusion of vague terms make it susceptible to some problematic counterexamples.

I argue in this paper that the cases Gettier considers are not examples of justified true beliefs and that the question whether justified true belief sufficiently defines knowledge is not in fact, addressed. Indeed, the question is wholly untouched by Gettier or glossed over at best.

One of the traditional applications of Euler diagrams is as a representation or counterpart of the usual set-theoretical models of given sentences. However, Euler diagrams have recently been investigated as the counterparts of logical formulas, which constitute formal proofs. Euler diagrams are rigorously defined as syntactic objects, and their inference systems, which are equivalent to some symbolic logical systems, are formalized. Based on this observation, we investigate both counter-model construction and proof-construction in the framework of Euler diagrams. We introduce (...) the notion of “counter-diagrammatic proof”, which shows the invalidity of a given inference, and which is defined as a syntactic manipulation of diagrams of the same sort as inference rules to construct proofs. Thus, in our Euler diagrammatic framework, the completeness theorem can be formalized in terms of the existence of a diagrammatic proof or a counter-diagrammatic proof. (shrink)

Plays, symphonies and other works in the performing arts are generally regarded, ontologically speaking, as being types, with individual performances of those works being regarded as tokens of those types. But I show that there is a logical feature of type theory which makes it impossible for such a theory to satisfactorily explain a 'double performance' case that I present: one in which a single play performance is actually a performance of two different plays. Hence type theories fail, both for (...) plays and for the related performing art of music as well. (shrink)

The original Brouwerian counter examples were algorithmic in nature; after the introduction of choice sequences, Brouwer devised a version which did not depend on algorithms. This is the origin of the creating subject technique. The method allowed stronger refutations of classical principles. Here it is used to show that negative dense subsets of the continuum are indecomposable.

An alleged counterexample to causal decision theory, put forward by Andy Egan, is studied in some detail. It is argued that Egan rejects the evaluation of causal decision theory on the basis of a description of the decision situation that is different from—indeed inconsistent with—the description on which causal decision theory makes its evaluation. So the example is not a counterexample to causal decision theory. Nevertheless, the example shows that causal decision theory can recommend unratifiable acts which presents a problem (...) in the dynamics of intentions. It is argued that we can defuse this problem if we hold that decision theory is a theory of rational decision making rather than a theory of rational acts. It is shown how decisions can have epistemic side-effects that are not mediated by the act and that there are cases where one can only bring oneself to perform the best act by updating by imaging rather than by conditioning. This provides a pragmatic argument for updating by imaging rather than by conditioning in these cases. (shrink)

Tom Beauchamp and James Childress are confident that their four principles—respect for autonomy, beneficence, non-maleficence, and justice—are globally applicable to the sorts of issues that arise in biomedical ethics, in part because those principles form part of the common morality (a set of general norms to which all morally committed persons subscribe). Inevitably, however, the question arises of how the principlist ought to respond when presented with apparent counter-examples to this thesis. I examine a number of strategies the (...) principlist might adopt in order to retain common morality theory in the face of supposed counter-examples. I conclude that only a strategy that takes a non-realist view of the common morality’s principles is viable. Unfortunately, such a view is likely not to appeal to the principlist. (shrink)

Infallibilism is commonly rejected because it is apparently subject to easy counter-examples. I describe a strategy that infallibilists can use to resist this objection. Because the sentences used in the counter-examples to express evidence and belief are context-sensitive, the infallibilist can insist that such counter-examples trade on a vacillation between different readings of these sentences. I describe what difficulties await those who try to produce counter-examples against which the proposed strategy is ineffective.

The aim of this paper is to present a version of the principle of alternate possibilities which is not susceptible to the Frankfurt-style counter-example. I argue that PAP does not need to be endorsed as a necessary condition for moral responsibility and, in fact, presenting PAP as a sufficient condition maintains its usefulness as a maxim for moral accountability whilst avoiding Frankfurt-style counter-examples. In addition, I provide a further sufficient condition for moral responsibility – the twin world (...) condition – and argue that this provides a means of justifying why the protagonist in Frankfurt-style scenarios is still felt to be morally responsible. I conclude with the claim that neither the amended PAP nor the twin world condition is necessary for the ascription of moral responsibility; rather, what is necessary is simply that one of these conditions is satisfied. (shrink)

(No abstract is available for this citation).

An axiomatic treatment of synthetic domain theory is presented, in the framework of the internal logic of an arbitrary topos. We present new proofs of known facts, new equivalences between our axioms and known principles, and proofs of new facts, such as the theorem that the regular complete objects are closed under lifting . In Sections 2–4 we investigate models, and obtain independence results. In Section 2 we look at a model in de Modified realizability Topos, where the Scott Principle (...) fails, and the complete objects are not closed under lifting. Section 3 treats the standard model in the Effective Topos. Theorem 3.2 gives a new characterization of the initial lift-algebra relative to the dominance. We prove that in the standard case it is not the internal colimit of the chain 0 → L → L 2 → ⋯ . The models in Sections 2 and 3 compare via an adjunction. Section 4 discusses a model in a Grothendieck topos. A feature here is that N is not well-complete , whereas 2 is. (shrink)

In his paper ‘A Function for Thought Experiments’, T. S. Kuhn asks: Ought we demand of our concepts, as we do of our laws and theories, that they be applicable to any and every situation that might conceivably arise in any possible world? Is it not sufficient to demand of a concept, as we do of a law or theory, that it be unequivocally applicable in every situation which we expect ever to encounter?

This paper argues that there are cases, which various guise of the good-theses concerning desires, intentions and actions would not allow. In these cases the agent acts for considerations that the agent does not regard as good reasons. The considerations render the actions intelligible but not desirable. These cases are atypical, but nonetheless show that those guise of the good-theses which do not allow them, should be revised. In typical cases the intelligibility of desires, intentions and actions co-varies with their (...) desirability: there are both unintelligible cases without suitable desirability characteristics and cases where desirability characteristics make the desire, intention and action intelligible. The claim here is that there are further more atypical and puzzling, but equally possible cases, where intelligibility and desirability come apart. The paper first introduces the Guise of the Good - debates about desires, intentions, and actions, and suggests distinguishing the category of “acting for a reason” from “acting for a consideration not taken to be a reason”. It then argues that while desirability entails intelligibility, and lack of intelligibility entails lack of desirability, these two cases leave conceptual room for a third category, which is that of intelligibility without desirability. This is so, whether we examine objective or subjective intelligibility and desirability. The claim is meant to apply mutatis mutandis to characteristics of desires, intentions and actions. The paper then provides possible cases of intelligibility without desirability, and defends the view against some objections. (shrink)

Two kinds of considerations are thought to be relevant to the correct response to the discovery of a peer who disagrees with you about some question. The first is general principles pertaining to disagreement. According to the second kind of consideration, a theory about the correct response to peer disagreement must conform to our intuitions about test cases. In this paper, I argue against the assumption that imperfect conformity to our intuitions about test cases must count against a theory about (...) peer disagreement, offer a principled way of shrugging off a theory’s failure to deliver the intuitive verdict, and consider the main extant theories from the new methodological perspective. (shrink)

Stuart Rachels and Larry Temkin have offered a purported counter-example to the acyclicity of the relationship 'all things considered better than'. This example invokes our intuitive preferences over pairs of alternatives involving a single person's painful experiences of varying intensity and duration. These preferences, Rachels and Temkin claim, are confidently held, entirely reasonable, and cyclical. They conclude that we should drop acyclicity as a requirement of rationality. I argue that, together with the findings of recent research on the way (...) people evaluate episodes of pain, the use of a heuristic known as similarity-based decision-making explains why our intuitive preferences may violate acyclicity in this example. I argue that this explanation should lead us to regard these preferences with suspicion, because it indicates that they may be the result of one or more biases. I conclude that Rachels' and Temkin's example does not provide sufficient grounds for rejecting acyclicity. (shrink)

So-called Locke's thesis is the view that no two things of the same kind may coincide, that is, may be completely in the same place at the same time. A number of counter-examples to this view have been proposed. In this paper, some new and arguably more convincing counter-examples to Locke's thesis are presented. In these counter-examples, a particular entity (a string, a rope, a net, or similar) is interwoven to obtain what appears to (...) be a distinct, thicker entity of the same kind. It is argued that anyone who subscribes to certain standard metaphysical arguments, which are generally taken for granted in the debate about Locke's thesis, is virtually compelled to accept the counter-examples. (shrink)

In a recent article, Elliot Sober responds to challenges to a counter-example that he posed some years earlier to the Principle of the Common Cause (PCC). I agree that Sober has indeed produced a genuine counter-example to the PCC, but argue against the methodological moral that Sober wishes to draw from it. Contrary to Sober, I argue that the possibility of exceptions to the PCC does not undermine its status as a central assumption for methods that endeavor to (...) draw causal conclusions from statistical data. 1 The PCC and the counter-example 2 Making non-stationary time series stand still 3 Sober's alternative. (shrink)

A translation of the title of this book would be Fundamental Questions of Epistemology, but the book is something more and something less than a treatise on the subject. It is something more because its central part is essentially concerned with two metaphysical issues: the Realism-Idealism controversy and the mind-body problem. The reason for this is that according to Kutschera metaphysics and epistemology are strictly connected: "Our assumptions on the nature of the external world depend on our opinions about the (...) objects of experience. Conversely every answer to the epistemological question about the object of experience includes an ontological statement on the existence of such objects...". It is something less because some typically epistemological themes receive only a superficial treatment. Thus, after a cursory look at some of the relevant literature and a quick judgment that the various proposals designed to handle Gettier counter-examples are "without deeper interest" or bring to no qualification that is "epistemologically relevant", knowledge is defined as true belief. Or scepticism is characterized by the statement that "there is no knowledge", and then easily proved to be untenable, without even mentioning the historically and theoretically fundamental distinction between scepticism of the academic and of the pyrrhonian variety. (shrink)

The Komori–Kashima problem, that asks whether the implicational intermediate logics axiomatizable by formulas minimal in classical logic are only intuitionistic logic and classical logic, has stood for over a decade. In this paper, we give a counter-example to this problem. Additionally, we also give some open problems derived from this result.