It turns out that precise definitions are not easy to find from the Ganagdeanians who are quick to throw around the expression. (An interesting sociological note: I'm around philosophers more often than not and not one of them ever talks about things being "clear to reason.") As I've noted before, Gangadean says that to show that something (a proposition) is clear to reason is to show by way of proof that it couldn't possibly be false and to overcome common objections to it. That's about showing what is clear. But what is it for something to be clear? What's confusing is that if we remove the word "show" from the above account, we get that a proposition is clear if it couldn't possibly be false. But that would be a strange account of the clarity of a proposition. All and only necessary truths are such that they couldn't possibly be false. That would mean "clear" would be something like "necessarily true." But not every necessary truth is clear to reason, because not every necessary truth is readily knowable to all who seek (which is really what Gangadean wants out of clarity). For example, that water is H20, seems to be a necessary truth, but it's not like anybody could have deduced it from general revelation. It was discovered fairly recently with respect to world history and by way of empirical observation. No clarity about clarity yet.
That lead me to Anderson's first book, "Reason and Worldviews." Unfortunately, he actually forgoes a straight definition and gives us what he takes to be paradigm examples. He writes,
Throughout this book the term 'clarity' has been used, often in connection to 'reason'. What is clear, is clear to reason and therefore is objectively clear, as opposed to being personally/subjectively clear. The best way to define 'clarity' is to give an example: it is clear that 'a' is not 'non-a'. This is maximal clarity...Of course, to say that something is clear just in case it's objectively clear, isn't to provide a particularly helpful definition because it uses the very word we'd like defined. But this example isn't entirely useless. Recall that Gangadean claims that God's existence is clear to reason. And what he means by that it is that is readily knowable to all (or at least those of average intelligence--according to that lecture on Youtube). How is it readily knowable? There's a proof that anybody could have come up with if only they were using reason consistently (yes that's a radical claim in itself). The point to stress is that there's a proof here--and on Gangadean's view, God's existence is clear because this argument/proof is in some way readily accessible to all. But as Anderson notes above, it's also supposed to be clear to reason that "a is not-non a" which is to say that propositions about basic distinctions, and the so-called laws of thought are apparently clear to reason, too. If you've been around these parts for a while you know that the Gangadeanians don't actually give an argument or proof for the claim that 'a is not-non-a' (the law of non contradiction). So God's existence is clear to reason dependent on the accessibility of a sound proof, but other things are clear to reason without such a proof being readily available. So, what's going on?
My puzzlement had me poking around one of the Gangadeanian websites, and I ran into this recent post by Kelly Fitzsimmons Burton. Of note is the following passage.
By reason is meant the laws of thought. It is self-evident that we think, and it is self-evident that there are laws of thought. Reason in itself is the laws of thought. These laws include Identity: a is a; Non-contradiction: not both a and non-a; and Excluded middle: either a or non-a. We use reason to form concepts, judgments, and arguments. We use it to test for meaning. We use it to interpret all of our experiences. And we use it to construct a coherent world and life view (Emphasis added).For something to be "self-evident" is for it to be ascertained immediately. It isn't known via any sort of argument or inference. Interestingly--you don't find Burton's claims in particular (that it's self evident that there are laws of thought or that it's self-evident that we think) in Gangadean's book, Philosophical Foundation. But he does speak of self-evident truths in the following passage.
Reason has been misused as a source of truth. Certain convictions are treated as self-evident to reason, and foundational, requiring no further need for defense. Descartes' cogito ergo sum is said to be self-evident every time it is thought. Thomas Jefferson took it as self-evident that all men are created equal. These views may be true, but the question is, are they self-evident? Are alternatives immediately self-contradictory?...Or do they require at least a few steps in reasoning to show they are contradictory? (21).So, Gangadean believes that there are such things as self-evident truths. That is to say, things we know (that are clear to reason) immediately and not by way of any inference, or proof. As I've argued before, this is actually to allow that we can know some things via intuitions, which would be problematic for their worldview given how they claim to avoid intuitions. However, what the above passage also aims to do is to provide us with a criteria of distinguishing the legitimately self-evident from the pseudo-self-evident. Whatever it is immediately self-contradictory to deny = self-evident. (And presumably, what is self-evident is clear to reason but without the need for proof). The importance of this for Gangadean should be obvious. Anyone can easily claim that any proposition is self-evident, in which case, we would get "clarity" on the cheap (God's existence could be self-evident!) If there was no principled means of distinguishing between self-evident truths and merely those that people claim to be self-evident, appeals to self-evident truths would be no different than appeals to intuitions, which Gangadean is keen to avoid. (Note I think that ultimately intuitions must play a role in Ganagdean's worldview. That's because I see no way of getting around the idea that one immediately and non-inferentially apprehends when something is a contradiction as opposed to reasoning to it--which means one knows that a proposition is contradictory by way of intuition--but I'm setting this aside for now). So this criteria for self-evidency is crucial for Gangadean's worldview. It's basically a way for Gangadean not having to prove every bit of his worldview while managing to avoid the charge of fideism and intuition mongering which he finds unacceptable in others and skepticism and nihilism entailing. Does it work? Unfortunately, no.
If the litmus test of a self-evident claim is that it is immediately contradictory, then the natural question to ask is how we are to determine when something is immediately contradictory (as opposed to merely seeming to us that it is) vs. requiring "at least a few steps in reasoning to show they are contradictory." Again intuitions are unavoidable here (you either see something as immediately self-contractory or not--and this isn't by way of arguments). But we're setting that aside for the time being.
Instead I want to focus on the matter of conceptual or definitional disputes. Importantly, what strikes ones as immediately self-contradictory or not will depend largely on the conceptual vocabulary one adopts or one's background beliefs about the nature of things. And if there are disputes about what is immediately self-contradictory or not or if what counts as immediately self-contradictory is to some extent relative, Gangadean's purported test of self-evidency is of no use in which case appealing to "self-evident" truths fares no better than appeals to intuition.
Here's what I mean. If I define knowledge as entailing certainty/clarity, then to claim that I know that knowledge is not possible is to express something immediately contradictory. That's because it amounts to saying, "I'm certain that certainty is not possible." Likewise, if knowledge entails clarity, the very statement, "knowledge does not entail clarity" would be immediately self-contradictory because it would amount to saying that "knowledge is not knowledge." But if I define or conceive of knowledge as not entailing certainty, there is no such contradictions to be found. So what counts as immediately-self contradictory (as opposed to requiring multiple steps to show as contradictory) depends on one's concepts or definitions.
We can now appreciate just how important the dispute between the Gangadeanians and me over who has got the right theory of knowledge ends up being for the welfare of Gangadean's worldview. Not only do I submit that knowledge does not entail clarity, my claim is that they will be unable to prove that their theory of knowledge is the correct one over and above alternative accounts without begging the question. Importantly, neither is it self-evident that their theory of knowledge is correct according to Gangadean's own test of self-evidency because it's not immediately self-contradictory to deny that knowledge entails certainty (unless of course Gangadean is allowed to beg the question against me).
This is just one example and the point generalizes to other concepts over which philosophers have disputed (e.g., free will, eternality, epistemic justification, infinitude, justice, good, God, etc). For instance, some philosophers and theologians define God as a necessary being. On such a conception, to say that God does not exist is to express a contradiction because it amounts to saying that a being who could not fail to exist, fails to exist. That's an immediate self-contradiction. But if you don't conceive of God in that way, then there is no such self-contradiction. So there's a kind of conceptual relativity at play which poses a serious problem for Gangadean's proposed test for self-evidency. What counts as self-evident can vary from person to person in much the same way that intuitions can from person to person.
It's also important to note that the burden of proof at this point is asymmetrical between team Gangadean and me. I am not the one claiming that we can have clarity or that we must have it. Neither am I the one purporting to be able to settle any and all disputes by way of rational presuppositional (note conceptual disputes are disputes). And I'm certainly not aiming to provide a sure-fire test of what makes a claim legitimately self-evidently true. Focusing again on the conflict over theories of knowledge, it is Ganagdean's claim that we need clarity (to avoid skepticism) that is driving him to adopt the theory of knowledge in which knowledge requires clarity/certainty. That being the case, they should be able to show why their theory is correct (on independent grounds) and how the purported test for self-evidency can get around this problem of disputes over concepts and definitions more generally. Another way to make this point about the burden of proof: if it turns out that we've got competing theories of knowledge (or justification, free will, moral responsibility, eternality, God, justice, mercy, good) and no principled way to choose the correct one with certainty/clarity, then that's enough to undermine Gangadean's search for clarity. It's their job to show why we aren't fated to this result.
I’m not the philosopher or the son of a philosopher, so it might be easy to point out the error in my thinking…..but here goes.
ReplyDeleteIt would seem the starting place for “a is a” is necessarily "limited to the same discourse or specific given situation". Wouldn’t it follow that “a is a” is not universally true, but rather true given a specific or limited context. Or perhaps you could state that it is universally true, assuming the same context.
In other words the logic is analyzed with the assumption or limitation that you are remaining in a discourse or situation that has limiters to it.
It seems that context or qualifiers are also required for the excluded middle. An example I’ve seen used to demonstrate a wrong understanding of the excluded middle is this:
Evaluate the statement below:
“This statement is false”
If the statement is true, then it’s false and therefore problematic, or on the other hand, if it’s false it’s true and therefore problematic. So in order for the excluded middle to be true you have to qualify it as being true for statements that are not self referential, or that it applies to well formed logical statements. Whatever way you go, you have to use qualifiers to make it true. In this way, the excluded middle is true, but in a given context or with certain constraints
Because of this, one might make the argument that truth (or the law of identity) is contextual, rather than universal. For example, it is not universally true that the sum of a triangle’s angles is 180 degrees. It would depend on whether or not you were talking about Euclidean geometry or spherical geometry. In other words in a given context, or assuming a specific situation, ‘a’ is always ‘a’. So more basic than the laws of identity is the limiting requirement of “in a given situation”.
We can create, mandate or assume a given situation in order to analyze the logic of of something. This is done all the time in order to be able to evaluate, but might that break down if we try and do real world evaluation?
I’m not the scientist or the son of a scientist, but this seems to be what followed Einstein’s theory of general and special relativity. It turns out that maintaining a given situation to do evaluation is not always straightforward. The timing of a certain event is relative to the position one observes or the idea that an object that is a meter is always the same length collapses as you approach the speed of light. This is not to say that logic ceases to work according to general and special relativity, but rather, it would seem the required “in a given situation” is not as easy to maintain so that identifying ‘a’ is ‘a’ is not that easy. So what comes to light is not that the logic fails, but rather the prerequisite for being able to analyze logic is not always so easily attainable.
So even if you could provide proof that ‘a’ is always ‘a’, could there be a sense that this falls short of certainty since it is not universal, but rather only in a given situation?
In order to maintain certainty about something, you have to not only be certain about the claim, but also the context. It would seem you have to prove you can move from a though experiment “in a vacuum” to real world application and be able to prove certainty in fluctuating contexts, which will show itself as problematic.
Hi Anon,
DeleteI suspect that the Gangadeanians are thinking that 'a is a' is true in every possible context of discourse including the very discourse that you have now engaged in in talking about contexts of discourse. I could hear them saying, "so on your view, is context of discourse equivalent to non-context of discourse?"
They aren't wrong that there's a sense in which everything you've said assumes or presupposes that 'a is a'. Where Gangadean and I diverge is on just what it means to "assume" or "presuppose" that 'a is a' in the relevant sense and what that tells us about the epistemic status of things like the the law of identity.
We might think that presupposing or assuming is something that a subject does (as opposed to some impersonal logical relation between propositions). And if so, the question is does my presupposing something commit me to believing that it couldn't possibly be false? I think there's a perfectly good sense of "presupposing" or "assuming" where the answer is, no. You can "take something for granted" or agree to "not question something for the purposes of a particular discussion" without accepting the further modal claim that the negation of that claim is impossible. And you might even think that this can apply to any and all conversations or theorizing. Perhaps the law of identity is such that (intuitively) for any discussion, we must take it for granted, or determine not to call it into question. Does that entail that we must also believe that the law of identity couldn't possibly be false? Honestly, I don't see the connection.
Perhaps the Gangadeanians would claim that the kind of "assuming" or "presupposing" that they have in mind is non-personal. On such a picture, they aren't claiming that every subject presupposes the law of identity, when questioning or engaging in dialogue and thought. Instead what they mean to point out is that there is some sort of logical relation that every proposition bears to the law of identity which counts as "presupposing." It's a relation between propositions. I don't think this is particularly helpful. In the first place, I don't know how anyone could come to know a thing like this without allowing that appeals to intuition are sometimes okay. Secondly, suppose they are right, that there's some relation of this sort. Couldn't someone recognize this fact and agree with it without further believing that they've achieved certainty (couldn't possibly be wrong) about the law of identity? In other words, even if there's this vague relation between every proposition and the law of identity, why does it follow that I ought to *believe* that it's impossible for the law of identity to be false? Maybe the connection feels intuitively plausible to some, but it's just not obvious to me that anyone is denying reason in not seeing it.
(Part 1 of 2)
Sometimes I think my dispute with the Gangadeanians about this particular matter is merely verbal. As they do with many terms, they seem to have a different definition of "assume" or "presuppose" so that it follows trivially that if (intuitively) you believe there is any proposition which you must take for granted or decide not to question in any domain of discourse, then you also count as believing that it couldn't possibly be false.
DeleteAnother way they might flesh is out is in terms of some norm of belief. Perhaps the claim is that if we (intuitively) determine that any claim is such that it must be taken for granted or not called into question in any meaningful discussion, then you ought to *believe that the opposite is impossible. Since I don't see how one thing follows from the other, in either case, I'd be inclined to ask for some sort of argument--but I doubt at this level that there could be one beyond stipulating the meanings of key terms. It would be a bit like someone defending the claim that "all swans are white" in light of the black swans in Australia, with, "well, that's not what I mean by swans. I only mean to include white birds." In fact, if we are having a verbal dispute I'm not even sure an argument is possible which means rational presuppositionalism can't settle a dispute--verbal disputes are notoriously difficult to settle in any principled way (unless the verbal dispute is not really a verbal one, but rather an empirical dispute about how people tend to use the word in a given language).
I was recently asked by a reader if I thought it was "clear to reason" that somethings exists. It turns out that it's a pretty complicated question to answer. I don't think it's fruitful or particularly interesting to question whether or not something exists. So in a practical sense, that question or hypothesis is effectively off the table for me in any discussion I am having. Does that mean I also take it to be "clear to reason" that something exists or that I believe that it's impossible for nothing to exist? I don't think so. As best as I can tell, I honestly don't have a belief about the matter one way or another. What is more, I don't think I need to have one despite what the Gangadeanians keep insisting. They want to say I'm missing something when I don't further believe that it's impossible for me to be wrong about the "laws of thought" and I'm trying hard to understand what it is that I'm missing and why it should be matter for the fruitfulness of debates, my ability to gain knowledge, and derive meaning. I'm willing to say that we should carry on with our theorizing and debates taking for granted, or not calling into question that 'a is a,' nothing more and nothing less.
Best,
J
(Part 2 of 2)