Category: logic

A Solution to Gettier Problems

By R.N. Carmona

If I’m right to assume that all Gettier Problems involve a change either in the true aspect of our beliefs or the justified aspect of our beliefs, then there’s a way to salvage this intuitive definition of knowledge. Knowledge is ceteris paribus justified true belief. That is to say that knowledge, assuming that all things remain equal, is justified true belief. Gettier problems are set up using luck and fallibility. Clearly, most of what we think counts as knowledge doesn’t involve luck. When I say that I know there’s milk in my fridge, there’s no luck to be had. If all things remain equal, there’s definitely milk in my fridge and I know it. This discounts milk drinking ghosts or dairy loving burglars. In that case, the only reason I don’t actually know what I thought I knew is because I don’t know an added and pertinent fact: a) there are milk drinking ghosts or b) there are dairy loving burglars.

Consider a Gettier Problem to see what I mean:

The case’s protagonist is Smith. He and Jones have applied for a particular job. But Smith has been told by the company president that Jones will win the job. Smith combines that testimony with his observational evidence of there being ten coins in Jones’s pocket. (He had counted them himself — an odd but imaginable circumstance.) And he proceeds to infer that whoever will get the job has ten coins in their pocket. (As the present article proceeds, we will refer to this belief several times more. For convenience, therefore, let us call it belief b.) Notice that Smith is not thereby guessing. On the contrary; his belief b enjoys a reasonable amount of justificatory support. There is the company president’s testimony; there is Smith’s observation of the coins in Jones’s pocket; and there is Smith’s proceeding to infer belief b carefully and sensibly from that other evidence. Belief b is thereby at least fairly well justified — supported by evidence which is good in a reasonably normal way. As it happens, too, belief b is true — although not in the way in which Smith was expecting it to be true. For it is Smith who will get the job, and Smith himself has ten coins in his pocket. These two facts combine to make his belief b true. Nevertheless, neither of those facts is something that, on its own, was known by Smith. Is his belief b therefore not knowledge? In other words, does Smith fail to know that the person who will get the job has ten coins in his pocket? Surely so (thought Gettier).

Setting aside my lack of appreciation for outlandish thought experiments like this one, a few things are clear. For one, everyday knowledge and even esoteric knowledge don’t work like this. What’s also clear is precisely what I’ve argued hitherto: what one doesn’t know interferes with what one knew. Assuming the ten coins had any bearing on who got hired, the fact that Smith didn’t know that he himself had ten coins explains why he didn’t know what he thought he knew. Knowledge, in this case, isn’t ceteris paribus. In this specific case, a gap was present in Smith’s knowledge. This is to say that what he called knowledge fell victim to fallibility. The fact that he didn’t know a given pertinent fact led him to draw a false conclusion.

On my estimation, every Gettier-like problem proceeds in this manner. The problems are definitely structured around fallibility. Devisers of such problems ignore the fact that actual knowledge doesn’t contain gaps. Think of the many locations you know, the many people you know, the many facts, both mundane and esoteric, that you know; none of these fall victim to fallibility. You can’t fail to know who your mother and/or father are — unless you develop Capgras syndrome or prosopagnosia, which again, would be a relevant change. You can’t fail to be wrong about the nearest grocery store — unless you develop paramnesia or begin to suffer from a neurodegenerative disorder like Alzheimer’s, which again are important changes to consider.

In the case presented in this article, the woman assumed that the man on the couch was her husband only because her husband is usually the only man in the house. She didn’t know that her husband’s brother was in town. So again (!), there was a change that she was ignorant of. Thus, when we fail to know something, it’s because a gap already exists or because something of importance changed. If I fail to know that there’s milk in my fridge, it’s because there are milk drinking ghosts or dairy loving burglars. It wouldn’t be because I never had actual knowledge of there being milk in my fridge.

Knowledge is ceteris paribus justified true belief. Assuming all facts remain the same and that there aren’t any gaps in someone’s knowledge, a person can claim to know that x. If there’s any fallibility or any change, that belief is false and/or unjustified, and therefore, does not count as knowledge. This is my solution to the Gettier problems — one that hinges on Correspondence Theory.

As always, questions, comments, and rebuttals are welcome. Do you think my solution succeeds? Why or why not? Do you think there’s a solution? If so, what works better?

Print is Now Live on!

Book is now available for purchase here! Here are the Table of Contents to whet the appetite:


Chapter 1: Philosophical Approaches to Atheism

Chapter 2: Refuting the Kalam Cosmological Argument

Chapter 3: The Moral Argument Refuted

Chapter 4: Refuting Plantinga’s Victorious Ontological Argument

Chapter 5: On Qualia and A Refutation of the Argument from Consciousness

Chapter 6: Refuting the Fine-Tuning Argument

Chapter 7: The Failures of Aquinas’ Five Ways

Chapter 8: Transcendental Arguments and Presuppositionalism Refuted

Chapter 9: The Argument from Assailability

Chapter 10: The Arguments from History and The Multiplicity of Religions

Chapter 11: The Argument from Cosmology

Chapter 12: On the Leibnizian Cosmological Argument


I hope you guys enjoy!

On Challenging the Laws of Logic

R.N. Carmona

In the past, I’ve argued that the laws of logic can be challenged or even violated. A response to my post on procedural realism and the Moral Argument mentioned that the laws of excluded middle and non-contradiction have been challenged by analytic philosophers. I found it curious that there was no mention of a challenge to the law of identity, since I think it’s the most easily challenged.

In order to challenge the law of identity, one need only challenge its underlying assumption, namely essentialist ontology. “The essentialist tradition, in contrast to the tradition of differential ontology, attempts to locate the identity of any given thing in some essential properties or self-contained identities” (see here). According to modern physics, as it now stands, all objects are atoms in flux and empty space. Where then is the atomic glue that holds a table or chair together and how does one differentiate between two chairs that look precisely alike without presupposing the essentialist tradition?

The essentialist tradition begs the question when concerning identity, since there’s no way to prove that any one object has essential properties. Interestingly, the reason for presupposing the essentialist tradition might have everything to do with personal identity. People are animate objects, but objects nonetheless. Without essentialism, we can no longer assume that we have a distinct identity. Physically, we are atoms in flux and empty space as well and thus, what we’re left with are second order grounds for personal identity. In other words, we can avoid talk of atoms and empty space and instead look to DNA, neurons, brain anatomy, and so on. In this way we retain our uniqueness without first order grounds.

That aside, if we instead argue from the basis of differential ontology, the law of identity is no longer as unassailable as it appeared. As stated, we would rely on second order grounds. “Differential ontology…understands the identity of any given thing as constituted on the basis of the ever-changing nexus of relations in which it is found, and thus, identity is a secondary determination, while difference, or the constitutive relations that make up identities, is primary.” We would therefore ignore notions of a stable identity and instead look to differences between objects.

Given this, the law of identity (A = A) will be replaced with the law of distinction, i.e., something like A =/= B or C or D and so on. Since A is not B or C or D, then we identify A because it is contrasted with objects in relation to it. We are no longer assuming that there are essential properties that make A, A. This is, after all, what we say of ourselves. We do not say I am me because I have essential characteristics. Instead we contrast ourselves with others; we factor in physical appearance, ethnicity, gender, personality, and so on. We then add other factors like level of income and education, personal tastes, and so on. Clearly none of these characteristics are essential.

Ultimately, the law of identity is not unassailable and can be challenged by uprooting its essentialist assumption. One way of doing so is by positing differential ontology. One can, however, do so by positing human consciousness. In other words, another traditional philosophical assumption (contra-pragmatism) is that there’s a deeper reality that goes beyond our everyday experience; perhaps quantum mechanics hints at this. On the basis of this, we cannot draw ontological conclusions on the basis of our faculties. In other words, the four chairs and dining room table in my living room look distinct because my faculties see them as such. In reality, however, there’s nothing but atomic flux and empty space. This is in no way an attempt to undermine the usefulness of our faculties, but if there’s a deeper layer to reality that we cannot capture, then there’s no way we can argue for essential properties. Furthermore, we wouldn’t be able to argue from difference either. We would, in other words, have to assume the accuracy of our faculties in order to argue for a law of identity.