Which is More Certain, God or My Hands?

A reader inquires, "I'm curious, if someone asked you what you were more certain of, your hands or belief in the existence of God, how would you respond?"

The first thing a philosopher does when asked a question is examine the question.  (Would that ordinary folk, including TV pundits, would do likewise before launching into gaseous answers to ill-formed questions.)  Now what exactly am I being asked?  The question is ambiguous as between:

Q1. Are you more certain of the existence of your hand or of the existence of God?

Q2. Are you more certain of the existence of your hand or of your belief in the existence of God? 

My reader probably intends (Q1). If (Q1) is the question, then the answer is that I am more certain of the existence of my hands than of the existence of God.  My hands are given in sense perception throughout the day, every day.  Here is one, and here is the other (he said with a sidelong glance in the direction of G. E. Moore).  It is not perfectly certain that I have hands, or even that I have a body – can I prove that I am not a brain in a vat? — but it is practically certain, certain for all practical purposes.  

Henry-moore-hands-lr_s4olxquBy the way, it borders on a bad joke to think that one can prove the external world by waving one's hands around as Moore famously did.  Still, if I don't know basic facts such as these 'handy' facts, then I know very little, things of the order of 'I now seem to see a hand' but not 'I now see a hand.'  (I am using 'see' as a verb of success: If S sees an F, there there exists an x such that x is F and S sees x.)

So, for practical purposes, I am certain that my hands exist.  But I am not certain in the same sense and to the same degree that God exists.  The evidence is a lot slimmer.  This is not to say that there is no evidence.  There is plenty of evidence, it is just that it is not compelling.  There is the evidence of conscience, of mystical and religious experience, the consensus gentium; there is the 'evidence' of the dozens and dozens of arguments for the existence of God, there is the testimony of prophets.  But none of this evidence, even taking the whole lot of it together, gets the length of the evidence of my hands that I get from seeing them, touching them, clapping them, manipulating things with them.

When I fall down and feel my hands slam into the hard hot rock of a desert canyon, then I know beyond any practical doubt that hands exist and rock exists.  Then I say with 'Cactus Ed' Abbey, "I believe in rock and sun."  In that vulnerable moment, alone in a desolate desert canyon, it is very easy to doubt that there is any providential order, that there is any ultimate intelligibility, that there is any Sense beyond the flimsy and fragmented sense we make of things.  But it is practically impossible to doubt hands and rock and sun.

The difference could be put like this.  The existence and the nonexistence of God are both of them epistemic possibilities: for all I can claim to know, there is no God; but also: there is a God.  Both states of affairs are consistent with what I can claim to know.  But it is not an epistemic possibility that these hands of mine do not exist unless one takes knowledge to require an objective certainty impervious to hyperbolic doubt.

In the case of my hands there is really no counter evidence to their existence apart from Cartesian hyperbolic doubt.  But in the case of God, not only is the evidence spotty and inconclusive, but there is also counter evidence, the main piece of which is the existence of evil.  It is worth noting, however, that if one would be skeptical, one ought to doubt also the existence of evil, and with it, arguments to the nonexistence of God from the putative fact of evil.  How do you know there is evil?  No doubt there is pain, excruciating pain.  But is pain evil?  Maybe pain is just a sensation that an organism feeling it doesn't like, and the organism's not liking it is just an attitude of that organism, so that in reality there is no good or evil.  Pain is given.  But is evil given?  Pain is undeniable.  But one can easily deny the existence of evil.  Perhaps the all is just a totality of value-indifferent facts.

As for (Q2), it makes reference to my belief in God.  Whether you take the belief as a disposition or as an occurrent state, the belief as a feature of my mental life must be distinguished from its truth-value.  I am not certain of the truth of my belief that God exists, but I am certain of the existence of my belief (my believing) that God exists.  As certain as I am that I have hands?  More certain.  I can doubt that I have hands in the usual Cartesian way.  But how can I doubt that fact that I have a belief if in fact I have it?

Our Knowledge of Sameness

How ubiquitous, yet how strange, is sameness!  A structure of reality so pervasive and fundamental that a world that did not exhibit it would be inconceivable. 

How do I know that the tree I now see in my backyard is numerically the same as the one I saw there yesterday? Alvin Plantinga (Warrant and Proper Function, Oxford 1993, p. 124) says in a Reidian vein that one knows this "by induction." I take him to mean that the tree I now see resembles very closely the one I saw yesterday in the same place and that I therefore inductively infer that they are numerically the same. Thus the resemblance in respect of a very large number of properties provides overwhelming evidence of their identity.

But this answer seems open to objection. First of all, there is something instantaneous and immediate about my judgment of identity in a case like this: I don't compare the tree-perceived-yesterday, or my memory of the tree-perceived-yesterday, with the tree-perceived-today, property for property, to see how close they resemble in order to hazard the inference that they are identical. There is no 'hazarding' at all.  Phenomenologically, there is no comparison and no inference. I just see that they are the same. But this 'seeing' is of course not with the eyes. For sameness is not an empirically detectable property or relation. I am just immediately aware — not mediately via inference — that they are the same.  Greenness is empirically detectable, but sameness is not.

What is the nature of this awareness given that we do not come to it by inductive inference?   And what exactly is the object of the awareness, identity itself?

A problem with Plantinga's answer is that it allows the possibility that the two objects are not strictly and numerically the same, but are merely exact duplicates or indiscernible twins. But I want to discuss this in terms of the problem of how we perceive or know or become aware of change.  Change  is linked to identity since for a thing to change is for one and the same thing to change. 

Let's consider alterational (as opposed to existential) change. A thing alters iff it has incompatible properties at different times.  Do we perceive alteration with the outer senses? A banana on my counter on Monday is yellow with a little green. On Wednesday the green is gone and the banana is wholly yellow. On Friday, a little brown is included in the color mix. We want to say that the banana, one and the same banana,  has objectively changed in respect of color.

But what justifies our saying this? Do we literally see, see with the eyes, that the banana has changed in color? That literal seeing would seem to require that I literally see that it is the same thing that has altered property-wise over the time period. But how do I know that it is numerically the same banana present on Monday, Wednesday, and Friday? How do I know that someone hasn't arranged things so that there are three different bananas, indiscernible except for color, that I perceive on the three different days? On that extraordinary arrangement I could not be said to be perceiving alterational change. To perceive alterational change one must perceive identity over time. For there is change only if one and the same thing has different properties at different times. But I do not perceive the identity over time of the banana.

I perceive a banana on Monday and a banana on Wednesday; but I do not visually perceive that these are numerically the same banana. For it is consistent with what I perceive that there be two very similar bananas, call them the Monday banana and the Wednesday banana.   I cannot tell from sense perception alone whether I am confronting numerically the same banana on two different occasions or two numerically different bananas on the two occasions. If you disagree with this, tell me what sameness looks like. Tell me how to empirically detect the property or relation of numerical sameness. Tell me what I have to look for.

Suppose I get wired up on methamphetamines and stare at the banana the whole week long. That still would not amount to the perception of alterational change. For it is consistent with what I sense-perceive that there be a series of momentary bananas coming in and out of existence so fast that I cannot tell that this is happening. (Think of what goes on when you go to the movies.) To perceive change, I must perceive diachronic identity, identity over time. I do not perceive the latter; so I do not perceive change. I don't know sameness by sense perception, and pace Plantinga I don't know it by induction. For no matter how close the resemblance between two objects, that is consistent with their being numerically distinct. And note that my judgment that the X I now perceive is the same as the X I perceived in the past has nothing tentative or shaky about it. I judge immediately and with assurance that it is the same tree, the same banana, the same car, the same woman. What then is the basis of this judgment? How do I know that this tree is the same as the one I saw in this spot yesterday? Or in the case of a moving object, how do I know that this girl who I now see on the street is the same as the one I saw a moment ago in the coffee house? Surely I don't know this by induction.

How then do I know it?

Could God Prove His Own Existence?

In response to two recent posts, here and here, Jacques comments:

I'm mostly persuaded by your recent posts about theism and knowledge, but I disagree about your claim that

"Presumably God can prove the existence of God, if he exists, not that he needs to."

Think of your condition 5 ["It is such that all its premises are known to be true."]  if you can prove that p then you can derive p from an argument with premises all of which are known to be true.  Suppose that God has some argument A for the conclusion that God exists.  As you point out, A will either depend on premises taken to be self-evident, or an appeal to the seeming self-evidence of further premises in sub-arguments for the premises in A that are not taken to be self-evident.  But now suppose that there's some premise P such that A is a proof of theism for God only if God takes P to be self-evident and P really is self-evident — in other words, only if P is 'objectively' self-evident and not just 'subjectively'.  Of course, P might well appear to God to be self-evident; it might even appear to him that the objective self-evidence of P is itself objectively self-evident, and so on ad infinitum.  But how could He really know, or be rationally entitled to believe, that P really is self-evident in the relevant sense rather than just seeming that way to Him?  Sure, if He already knows that God exists, and that He Himself = God, then He can infer that the fact that P seems to him self-evident entails its real objective self-evidence.  But how can He know that unless He can prove that He = God?

BV:  The question seems to come down to whether or not the distinction between subjective and objective self-evidence  applies to God as well as to us.  It does apply to us.  But I don't see that it applies to God.  God's is an archetypal intellect, which implies that divine knowledge is creative of its object, whereas our knowledge is clearly not.  If God knows that p by making it the case that p, then there is no logical gap between subjective and objective self-evidence for God.

On the other hand, it could be that God isn't even capable of proving anything.  Maybe proofs are only possible for ignorant thinkers (who don't know directly, by acquaintance all the facts).  But if He could prove or try to prove things I suspect His situation would be no better than ours with respect to His existence.  Of course that conflicts with the (definitional?) fact of His omniscience, but maybe the conclusion should just be that the traditional concept of the Omni- God is incoherent.

BV:  The divine intellect is intuitive, not discursive.  God knows directly, not mediately via inferential processes.  To know something in the latter way is an inferior way of knowing, and as such inappropriate to the divine intellect.  Does it follow that God can't prove anything?  I would hesitate to say  that given the divine omnipotence: if he wanted to construct a proof he could.  The point is that he doesn't need to.  But we do need to employ inferential process to articulate and amplify our knowledge both deductively and inductively.

The main question, however, was whether WE can prove the existence of God.  My answer to that is in the negative.  The reason is due to the nature of proof as set forth in my definition.  But perhaps you have a better definition.

Neither the Existence Nor the Nonexistence of God is Provable

A post of mine ends like this:

To theists, I say: go on being theists.  You are better off being a theist than not being one.  Your position is rationally defensible and the alternatives are rationally rejectable.  But don't fancy that you can prove the existence of God or the opposite.  In the end you must decide how you will live and what you will believe.

About "Don't fancy that you can prove the existence of God or the opposite," Owen Anderson asks:

How would we know if that claim is itself true?  Isn't it is possible that one or the other can indeed be proven?
To formulate my point in the declarative rather than the exhortative mood:  
 
    P. Neither the existence nor the nonexistence of God is provable.
 
How do I know (P) to be true?  By reflection on the nature of proof.  An argument is a proof if and only if it satisfies all of the following six requirements: it is deductive; valid in point of logical form; free of such informal fallacies as petitio principii; possesses a conclusion that is relevant to the premises; has premises each of which is true; has premises each of which is known to be true.
 
I say that an argument is a proof if and only it is rationally compelling, or rationally coercive.  But an argument needn't be rationally compelling to be a more or less 'good argument,' one that renders its conclusion more or less rationally acceptable.
 
Now if my definition above gives what we ought to mean by 'proof,' then it is clear that neither the existence nor the nonexistence of God can be proven. Suppose you present a theistic or anti-theistic argument that satisfies the first five requirements.  I will then ask how you know that the premises are true.  Suppose one of your premises is that change is the conversion of potency into act. That is a plausible thing to maintain, but how do you know that it is true?  How do you know that the general-ontological framework within which the proposition acquires its very sense, namely, Aristotelian metaphysics, is tenable?  After all, there are alternative ways of understanding change.  That there is change is a datum, a Moorean fact, but it would be an obvious mistake to confuse this datum with some theory about it, even if the theory is true.  Suppose the theory is true.  This still leaves us with the question of how we know it is.   Besides, the notions of potency and act, substance and accident, form and matter,  and all the rest of the Aristotelian conceptuality are murky and open to question.  (For example, the notion of prime matter is a necessary ingredient in an Aristotelian understanding of substantial change, but the notion of materia prima is either incoherent or else not provably coherent.)
 
To take a second example, suppose I give a cosmological argument the starting point of which is the seemingly innocuous proposition that there are are contingent beings, and go on to argument that this starting point together with some auxiliary premises, entails the existence of God.  How do I know that existnece can be predicated of concrete individuals?  Great philosophers have denied it.  Frege and Russell fanmously held that existence vannot be meaningfully predicated of individuals but only of cncepts and propositional functions.  I have rather less famoulsy argued that the 'GFressellina' view' is mstaken, but this is a point of controversy.  Furtrhertmore, if existence cannot be meaningfully predicated of individuals, how can individuals be said to exist contingently?
 
The Appeal to Further Arguments 
 
If you tell me that the premises of your favorite argument can be known to be true on the basis of further arguments that take those premises as their conclusions, then I simply iterate my critical procedure: I run the first five tests above and if your arguments pass those, then I ask how you know that their premises are true.  If you appeal to still further arguments, then you embark upon a vicious infinite regress.
 
The Appeal to Self-Evidence
 
If you tell me that the premises of your argument are self-evident, then I will point out that your and my subjective self-evidence is unavailing.  It is self-evident to me that capital punishment is precisely what justice demands in certain cases.  I'll die in the ditch for that one, and pronounce you morally obtuse to boot for not seeing it.  But there are some who are intelligent, well-meaning, and sophisticated to whom this is not self-evident.  They will charge with with moral obtuseness.  Examples are easily multiplied. What is needed is objective, discussion-stopping, self-evidence.  But then, how, in a given case, do you know that your evidence is indeed objective?  All you can go on is how things seem to you.  If it seems to you that it is is objectively the case that p, that boils down to: it seems to you that, etc., in which case your self-evidence is again merely subjective.
 
The Appeal to Authority
 
You may attempt to support the premises of your argument by an appeal to authority.  Now many such appeals  are justified. We rightly appeal to the authority of gunsmiths, orthopaedic surgeons, actuaries and other experts all the time, and quite sensibly. But such appeals are useless when it comes to PROOF.  How do you know that your putative authority really is one, and even if he is, how do you know that he is eight in the present case?  How do you know he is not lying to you well he tells you you need a new sere in your  semi-auto pistol?
 
The Appeal to Revelation
 
This is the ultimate appeal to authority.  Necessarily, if God reveals that p, then p!  Again, useless for purposes of proof.  See Josiah Royce and the Paradox of Revelation.
 
Move in a Circle?
 
If your argument falls afoul of petitio principii, that condemns it, and the diameter of the circle doesn't matter.  A circle is a circle no matter its diameter.
 
Am I Setting the Bar Too High?
 
It seems to me I am setting it exactly where it belongs.  After all we are talking about PROOF here and surely only arguments that generate knowledge count as proofs.  But if an argument is to generate a known proposition, then its premises must be known, and not merely believed, or believed on good evidence, or assumed, etc.  
 
"But aren't you assuming that knowledge entails certainty, or (if this is different) impossibility of mistake?"  Yes I am assuming that.  Argument here.  
 
 Can I Consistently Claim to Know that (P) is true?
 
Owen Anderson asked me how I know that (P) is true.   I said I know it by reflection on the concept of proof.  But that was too quick. Obviously I cannot consistently claim to know that (P) if knowledge entails certainty.  For how do I know that my definition captures the essence of proof?  How do I know that there is an essence of proof, or any essence of anything?   What I want to say, of course, is that it is very reasonable to define 'proof' as I define it — absent some better definition — and that if one does so define it then it is clear that there are very few proofs, and, in particular, that there are no proofs of God or of the opposite.
 
"But then isn't it is possible that one or the other can indeed be proven?"
 
Yes, if one operates with a different, less rigorous, definition of 'proof.'  But in philosophy we have and maintain high standards.  So I say proof is PROOF (a tautological form of words that expresses a non-tautological proposition) and that we shouldn't use the word to refer to arguments that merely render their conclusions rationally acceptable.  
 
Note also that if we retreat from the rationally compelling to the rationally acceptable, then both theism and atheism are rationally acceptable.  I suspect that what Owen wants is a knock-down argument for the existence of God.  But if that is what he wants, then he wants a proof in my sense of the world.  If I am right, that is something very unreasonable to expect.
 
There is no getting around the need for a decision.  In the end, after all the considerations pro et contra, you must decide what you will believe and how you will live.
 
Life is a venture and an adventure.  You cannot live without risk.  This is true not only in the material sphere, but also in the realm of ideas.
 

Indexicality and an Argument against Omniscience

Patrick Grim gives something like the following argument. What I know when I know that

1. I am making a mess

is an indexical fact that no one else can know. At most, what someone else can know is that

2. BV is making a mess

or perhaps, pointing to BV, that

3. He is making a mess.

Just as no one except BV can refer to BV by tokening the first-person singular pronoun, no one except BV has access to the indexical fact that, as BV would put it to himself, I am BV. Only BV is privy to this fact; only BV knows himself in the first-person way. Now an omniscient being knows everything that can be known. But although I am not omniscient, there is at least one proposition that I know — namely (1) — that is not known by any other knower, including an omniscient knower. So an omnisicent being is impossible: by its very definition it must know every fact that can be known, but there are indexical facts that it cannot know. God can know that BV is making a mess but he cannot know what I know when I know that I am making a mess. For any subject S distinct from God, the first-person facts appertinent to S are inaccessible to every mind distinct from S, including God's mind. That is what I take to be Grim's argument.

I suppose one could counter the argument by denying that there are indexical facts.  But since I hold that there are both indexical propositions and indexical facts, that response route is not available to me.  Let me see if I can respond by making a distinction between two senses of 'omniscience.'

A. X is omniscient1=df X knows every fact knowable by some subject or other.

B. X is omniscient[2] =df X knows every fact knowable by some one subject.

What indexical facts show is that no being is or can be omniscient in the first sense. No being knows every indexical and non-indexical fact. But a failure to know what cannot be known does not count against a being's being omniscient in a defensible sense of this term any more than a failure to do what cannot be done counts against a being's being omnipotent. A defensible sense of 'omniscience' is supplied by (B). In this second sense, God is omniscient: he knows every fact that one subject can know, namely, every non-indexical fact, plus all facts pertaining to the divine subjectivity. What more could one want?

Since no being could possibly satisfy (A), (A) is not the appropriate sense of 'omniscience.' Compare omnipotence. An omnipotent being cannot be one who can do just anything, since there are both logical and non-logical limits on what any agent can do.  So from the fact that it is impossible for God to know what is impossible for any one being to know, it does not follow that God is not omniscient.

To sum up. There are irreducible first-personal facts that show that no being can be omniscient in the (A)-sense: Patrick Grim's argument is sound. But the existence of irreducible first-personal facts is consistent  with the truth of standard theism since the latter is committed only to a being omniscient in the (B)-sense of 'omniscience.'

Is it Rational to be Politically Ignorant?

There are those who love to expose and mock the astonishing political ignorance of Americans.  According to a 2006 survey, only 42% of Americans could name the three branches of government.  But here is an interesting question worth exploring: 

Is it not entirely rational to ignore events over which one has no control and withdraw into one's private life where one does exercise control and can do some good?

I can vote, but my thoughtful vote counts for next-to-nothing in most elections, especially when it is cancelled out by the vote of some thoughtless and uninformed idiot.  I can blog, but on a good day I will reach only a couple thousand readers worldwide and none of them are policy makers.  (I did have some influence once on a Delta airline pilot who made a run for a seat in the House of Representatives.)  I can attend meetings, make monetary contributions, write letters to senators and representatives, but is this a good use of precious time and resources?  It may be that Ilya Somin has it right:

. . . political ignorance is actually rational for most of the public, including most smart people. If your only reason to follow politics is to be a better voter, that turns out not be much of a reason at all. That is because there is very little chance that your vote will actually make a difference to the outcome of an election (about 1 in 60 million in a presidential race, for example). For most of us, it is rational to devote very little time to learning about politics, and instead focus on other activities that are more interesting or more likely to be useful.

Is it rational for me to stay informed?  Yes, because of my intellectual eros, my strong desire to understand the world and what goes on in it. The philosopher is out to understand the world; if he is smart he will have no illusions about changing it, pace Marx's 11th Thesis on Feuerbach.

Another reason for people like me to stay informed is to be able to anticipate what is coming down the pike and prepare so as to protect myself and my stoa, my citadel, and the tools of my trade.  For example, my awareness of Obama's fiscal irresponsibility is necessary if I am to make wise decisions as to how much of my money I should invest in precious metals and other hard assets.  Being able to anticipate Obaminations re: 'gun control' will allow me to buy what I need while it is still to be had.   'Lead' can prove to be useful for the protection of gold, not to mention the defense of such sentient beings as oneself and one's family.

In brief, a reason to stay apprised of current events is not so that I can influence or change them, but to be in a position so that they don't influence or change me.

A third reason to keep an eye on the passing scene, and one mentioned by Somin, is that one might follow politics the way some follow sports. Getting hot and bothered over the minutiae of baseball and the performance of your favorite team won't affect the outcome of any games, but it is a source of great pleasure to the sports enthusiast.  I myself don't give a damn about spectator sports.  Politics are my sports.  So that is a third reason for me to stay on top of what's happening.  It's intellectually stimulating and a source of conversational matter and blog fodder. 

All this having been said and properly appreciated, one must nevertheless keep things in perspective by bearing  in mind  Henry David Thoreau's beautiful admonition:

Read not The Times; read the eternities!

For this world is a vanishing quantity whose pomps, inanities, Obaminations and what-not will soon pass into the bosom of non-being.

And you with it.

Fallibilism and Objectivism

It is important not to confuse the question of the fallibility of our cognitive faculties, including reason in us, with the question whether there is truth.  A fallibilist is not a truth-denier.  One can be — it is logically consistent to be — both a fallibilist and an upholder of (objective) truth.  What's more, one ought to be both a fallibilist about some (not all) classes of propositions, and an upholder of the existence of (objective) truth. Indeed, if one is a fallibilist, one who admits that we  sometimes go wrong in matters of knowledge and belief, then then one must also admit that we sometimes go right, which is to say that fallibilism presupposes the objectivity of truth.

Just as a fallibilist is not a truth-denier, a truth-affirmer is not an infallibilist or 'dogmatist' in one sense of this word.  To maintain that there is objective truth is not to maintain that one is in possession of it.  One of the sources of the view that truth is subjective or relative is aversion to dogmatic people and dogmatic claims.

But if you reject the objectivity of truth on the basis of an aversion to dogmatic people and claims, then you are not thinking clearly.

Dolezal, Knowledge, and Belief

R. C. writes,

I hadn't heard of the Dolezal case until reading your blog post. It occurred to me that this case might serve as a counterexample to the standard epistemological position that belief is necessary for knowledge.

I don't know Dolezal's psychological/epistemic state. But suppose she knows that she isn't African-American by race, but she has convinced herself to believe she is so. Would she have knowledge without belief?

Perhaps yes. Or perhaps she doesn't really believe she is African-American by race. Or, perhaps she is double minded: one mind knows and thus believes she isn't, and the other lacks knowledge on the matter but believes she is.

Anyway, I'd be interested in your take.

As I construe his example, the loyal reader is offering a case in which a subject knows that p without believing that p.  Thus he is supposing that Dolezal knows that she is Caucasian, but does not believe that she is.  If so, we have a counterexample to the standard view that, necessarily, if S knows that p, then S believes that p.  On the standard analysis, believing that p is necessary for knowing that p.  What the example suggests is that believing that p is not necessary for knowing that p.

We should distinguish between a weaker and a stronger thesis:

1. It is not the case that knowledge entails belief. (Some cases of knowledge are not cases of belief.)

2. Knowledge entails disbelief. (No cases of knowledge are cases of belief.)

I read the following passage from Dallas Willard as supporting (1):

Belief I understand to be some degree of readiness to act as if such and such (the content believed) were the case. Everyone concedes that one can believe where one does not know. But it is now widely assumed that you cannot know what you do not believe. Hence the well known analysis of knowledge as "justified, true belief." But this seems to me, as it has to numerous others, to be a mistake. Belief is, as Hume correctly held, a passion. It is something that happens to us. Thought, observation and testing, even knowledge itself, can be sources of belief, and indeed should be. But one may actually know (dispositionally, occurrently) without believing what one knows.

Whether or not one believes what one represents truly and has an appropriate basis for so representing, depends on factors that are irrelevant to truth, understanding and evidence. It depends, one might simply say, on how rational one is. Now I do not think that this point about belief in relation to knowledge is essential to the rest of this paper, but I mention it to indicate that the absence of any reference to belief in my general description of knowledge is not an oversight. Belief is not, I think, a necessary component of knowledge, though one would like to believe that knowledge would have some influence upon belief, and no doubt it often does.

Now we can't get into Dolezal's (crazy) head, but the following is plausibly ascribed to her.  She knows who her biological parents are; she knows that they are both Caucasian; she knows that Caucasian parents have Caucasian children; hence she knows that she is biologically Caucasian.  Could she nonetheless really believe that she is not Caucasian?

Perhaps.  Belief is tied to action.  It is tied to what one does and leaves undone and what one is disposed to do and leave undone.  Dolezal's NAACP activities and her verbal avowals among other behaviors suggest that she really believes that she is racially black.

But if Dolezal really believes that she is racially black, when she knows that she is racially white, then she is irrational.  Why not say the following by way of breaking the link between belief and knowledge:

D1. S knows that p =df S justifiably accepts that p, and p is true.

D2. S  believes that p =df S accepts that p and S either acts as if p is true or is prepared to act as if p is true.

These definitions allow that there are cases of knowledge that are not cases of belief without excluding cases of knowledge that are cases of belief.  What is common to knowledge and belief is not belief, but acceptance.

Divine Simplicity and God’s Contingent Knowledge: An Aporetic Tetrad

The following entry draws heavily upon W. Matthews Grant, "Divine Simplicity, Contingent Truths, and Extrinsic Models of Divine Knowing," Faith and Philosophy, vol. 29, no. 3, July 2012, pp. 254-274.

It also bears upon my discussion with Professor Dale Tuggy.  He holds that God is a being among beings.  I deny that God is a being among beings, holding instead that God is Being itself.  This is not to deny that God is; but it does entail affirming that God is in a radically unique way distinct from the way creatures are.  We can call this radically unique way or mode of Being, simplicity.  So my denial, and Dale's affirmation, that God is a being among beings is logically equivalent to my affirming, and Dale's denying, the doctrine of divine simplicity.

A particularly vexing problem for defenders of the doctrine of divine simplicity (DDS) is to explain how an ontologically simple God could know contingent truths.

The problem may be cast in the mold of an aporetic tetrad:

1. God is simple: there is nothing intrinsic to God that is distinct from God.

2. God knows some contingent truths.

3. Necessarily, if God knows some truth t, then (i) there an item intrinsic to God such as a mental act or a belief state (ii) whereby God knows t.

4. God exists necessarily.

The plausibility of (3) may be appreciated as follows.  Whatever else knowledge is, it is plausibly regarded as a species of true belief.  A belief is an intrinsic state of a subject.  Moreover, beliefs are individuated by their contents: beliefs or believings with different contents are different beliefs or believings.  It cannot be that one and the same act of believing has different contents at different times or in different possible worlds. 

That the tetrad is inconsistent can be seen as follows.  Suppose God, who knows everything there is to be known,  knows some contingent truth t.  He knows, for example, that I have two cats.  It follows from (3) that there is some item intrinsic to God such as a belief state whereby God knows t.  Given (1), this state, as intrinsic to God, is not distinct from God.  Given (4), the state whereby God knows t exists necessarily.  But then t is necessarily true.  This contradicts (2) according to which t is contingent.

Opponents of the divine simplicity will turn the tetrad into an argument against (1).  They will argue from the conjunction of (2) & (3) & (4) to the negation of (1). The classical theist, however, accepts (1), (2), and (4).  If he is to solve the tetrad, he needs to find a way to reject (3). He needs to find a way to reject the idea that when a knower knows something, there is, intrinsic to the knower, some mediating item that is individuated by the object known.

So consider an externalist conception of knowledge.  I see a cat and seeing it I know it — that it is and what it is.  Now the cat is not in my head; but it could be in my mind on an externalist theory of mind.  My awareness of the cat somehow 'bodily' includes the cat, the whole cat, all 25 lbs of him, fur, dander, and all.  Knowledge is immediate, not mediated by sense data, representations, mental acts, occurrent believings, or any other sort of epistemic intermediary or deputy.  Seeing a cat, I see the cat itself directly, not indirectly via some other items that I see directly such as an Husserlian noema, a Castanedan ontological guise, a Meinongian incomplete object, or any other sort of merely intentional object. On this sort of scheme, the mind is not a container, hence has no contents in the strict sense of this term.  The mind is directly at the things themselves.

If this externalism is coherent, then then we can say of God's knowledge that it does not involve any intrinsic states of God that would be different were God to know different things than he does know.  For example, God knows that I have two cats.  That I have two cats is an actual, but contingent fact.  If God's knowledge of this fact were mediated by an item intrinsic to God, a mental act say, an item individuated by its accusative, then given the divine simplicity, this item could not be distinct from God with the consequence that the act and its accusative would be necessary.  This consequence is blocked if there is nothing intrinsic to God whereby he knows that I have two cats.

We will have to take a closer look at externalism.  But if it is coherent, then the aporetic tetrad can be solved by rejecting (3).

Cognitive Dissonance or Doxastic Dissonance?

From what appears to be a reputable source:

Cognitive Dissonance Theory, developed by Leon Festinger (1957), is concerned with the relationships among cognitions. A cognition, for the purpose of this theory, may be thought of as a ³piece of knowledge.² The knowledge may be about an attitude, an emotion, a behavior, a value, and so on. For example, the knowledge that you like the color red is a cognition; the knowledge that you caught a touchdown pass is a cognition; the knowledge that the Supreme Court outlawed school segregation is a cognition. People hold a multitude of cognitions simultaneously, and these cognitions form irrelevant, consonant or dissonant relationships with one another.

[. . .]

Two cognitions are said to be dissonant if one cognition follows from the opposite of another. What happens to people when they discover dissonant cognitions? The answer to this question forms the basic postulate of Festinger¹s theory. A person who has dissonant or discrepant cognitions is said to be in a state of psychological dissonance, which is experienced as unpleasant psychological tension. This tension state has drivelike properties that are much like those of hunger and thirst. When a person has been deprived of food for several hours, he/she experiences unpleasant tension and is driven to reduce the unpleasant tension state that results. Reducing the psychological sate of dissonance is not as simple as eating or drinking however.

The above, taken strictly and literally, is incoherent.  We are first told that a cognition  is a bit of knowledge, and then in the second quoted paragraph that (in effect) some cognitions are dissonant, and that if one cognition follows from the opposite of another, then the two are dissonant.  But surely it is logically impossible that any two bits of knowledge, K1 and K2,  be such that K1 entails the negation of K2, or vice versa.  Why? Because every cognition is true — there cannot be false knowledge — and no two truths are such that one follows from the opposite of the other.   

The author is embracing an inconsistent pentad:

1. Every cognition is a bit of knowledge.

2. Every bit of knowledge is true.

3. Some, at least two, cognitions are dissonant.

4. If one cognition follows from the opposite (the negation) of another, then the two are dissonant.

5. It is logically impossible that two truths be such that one follows from the negation of the other:  if a cognition is true, then its negation is false, and no falsehood follows from a truth.

The point, obviously, is that while beliefs can be dissonant, cognitions cannot be.  There simply is no such thing as cognitive dissonance.  What there is is doxastic dissonance.

"What a pedant you are!  Surely what the psychologists mean is what you call doxastic dissonance."

Then they should say what they mean.  Language matters.  Confusing belief and knowledge and truth and related notions can lead to serious and indeed pernicious errors.  A good deal of contemporary relativism is sired by a failure to make such distinctions.

A Meditation on Certainty on Husserl’s Birthday

Edmund Husserl was born on this date in 1859.

In his magisterial Augustine of Hippo, Peter Brown writes of Augustine, "He wanted complete certainty on ultimate questions." (1st ed., p. 88) If you don't thrill to that line, you are no philosopher. Compare Edmund Husserl: "Ohne Gewissheit kann ich eben nicht leben." "I just can't live without certainty." Yet he managed to live for years after penning that line into his diary, and presumably without certainty.

Knowledge, Belief, Action: Three Maxims

1. Don't claim to know what you merely believe even on good evidence.

2. Don't claim to believe what you are not prepared to act upon.

3. Don't let insufficient evidence prevent you from believing what you are better off believing in the long run than not believing in the long run.

A Design Argument From Cognitive Reliability

 A theist friend requests a design argument.  Here is one.

You are out hiking and the trail becomes faint and hard to follow. You peer into the distance and see three stacked rocks. Looking a bit farther, you see another such stack. Now you are confident which way the trail goes.

Your confidence is based on your taking the rock piles as more than merely natural formations. You take them as providing information about the trail's direction, which is to say that you to take them as trail markers, as meaning something, as about something distinct from themselves, as exhibiting intentionality, to use the philosopher's term of art. The intentionality, of course, is derivative rather than original. It is not part of your presupposition that the cairns of themselves mean anything. Obviously they don't. But it is part of your presupposition that the cairns are physical embodiments of the original or intrinsic intentionality of a trail blazer or trail maintainer. Thus the presupposition that you make when you take the rock piles as providing information about the direction of the trail  is that an intelligent being designed the objects in question with a definite purpose, namely, to indicate the trail's direction.

Of course, the two rock piles might have come into existence via purely natural causes: a rainstorm might have dislodged some rocks  with gravity plus other purely material factors accounting for their placement. And their placement might be exactly right.  Highly unlikely, but possible. This possibility shows that the appearance of design does not entail design.  A stack of rocks may appear to be a cairn without being one.  A cairn, by definition, is a marker or memorial, and thus an embodiment of meaning, meaning it cannot possess intrinsically in virtue of its mere physicality, e.g., its being a collocation of bits of rhyolite. 

Nevertheless, your taking of the rock piles as trail markers presupposes (entails) your belief that they were put there by someone to mark the trail.  It would clearly be irrational to take the piles as evidence of the trail's direction  while at the same time maintaining that their formation was purely accidental. And if you later found out that they had come into being by chance due to an earthquake, say, you would cease interpreting them as meaning anything, as providing information about the trail. One must either take the rock piles as meaningful and thus designed or as undesigned and hence meaningless. One cannot take them as both  undesigned and meaningful. For their meaning — 'the trail goes that-a-way' — derives from a designer whose original intentionality is embodied in them.

In short: the rock stacks have no meaning in themselves.  They have meaning only as embodying the original intentionality of someone who put them there for a purpose: to show the trail's direction.  The hiker who interprets the stacks as meaningful presupposes that they are embodiments or physical expressions of original intentionality and not accidental collocations of matter.

Now consider our incredibly complex sense organs and brain. We rely on them to provide information about the physical world. I rely on eyesight, for example, both to know that there is a trail and to discern some of its properties. I rely on hearing to inform me of the presence of a rattlesnake. I rely on my brain to draw inferences from what I see and hear, inferences that purport to be true of states of affairs external to my body. The visual apparatus (eye, optic nerves, visual cortex and all the rest) exhibits apparent design. It is as if the eyes were designed for the purpose of seeing. As we say colloquially, eyes are for seeing.  But the appearance of design is no  proof of real design. And indeed, human beings with their sensory  apparatus are supposed to have evolved by an unguided  process of natural selection operating upon random mutations. If so, eye and brain are cosmic accidents.  The same goes for the rest of our cognitive apparatus: memory, introspection, reason, etc.

But if this is the case, how can we rely on our senses to inform us about the physical world? If eye and brain are cosmic accidents, then  we can no more rely on them to inform us about the physical world than we can rely on an accidental collocation of rocks to inform us about the direction of a trail.

As a matter of fact, we do rely on our senses. Our reliance may be mistaken in particular cases as when a bent stick appears as a snake. But in general our reliance on our senses for information about the world seems  justified. Our senses  thus seem reliable: they tend to produce true beliefs more often than not when functioning properly in their appropriate environments. We rely on our senses in mundane matters but also when we do science, and in particular when we do evolutionary biology. The problem is: How is our reliance on our sense organs justified if they are the accidental and undesigned products of natural selection operating upon random mutations?

To put it in terms of rationality: How could it be rational to rely on our sense organs (and our cognitive apparatus generally) if evolutionary biology under its naturalistic (Dawkins, Dennett, et al.) interpretation  provides a complete account of this cognitive apparatus? How could it be rational to affirm both that our cognitive faculties are reliable, AND that they are accidental products of blind evolutionary processes? That would be like affirming both that the cairns are reliable trail indicators AND that they came about by unguided natural processes.  I agree with Richard Taylor who writes:

     . . . it would be irrational for one to say both that his sensory
     and cognitive faculties had a natural, nonpurposeful origin and
     also that they reveal some truth with respect to something other
     than themselves, something that is not merely inferred from them.
     (Metaphysics, 3rd ed. p. 104)

   This train of thought suggests the following aporetic triad or antilogism:

1. It is rational to rely on our cognitive faculties to provide access to truths external to them.

2. It would not be  rational to rely on our cognitive faculties if they had come about by an unguided  process of natural selection operating upon random genetic mutations.
  
3. Our cognitive faculties did come about by an unguided process of natural selection operating upon random genetic mutations.

The limbs of the triad are individually plausible but collectively inconsistent: they cannot all be true.  From any two limbs one can validly argue to the negation of the remaining one.  So, corresponding to our antilogism there are three valid syllogisms. One of them is a design argument that argues to the negation of (3) and the affirmative conclusion that behind the evolutionary process is intelligent, providential guidance.  "And this all men call God."

To resist this design argument, the naturalist must reject either (1) or (2).  To reject (2) is to accept the rationality of believing both that our cognitive faculties arose by accident and that they produce reliable beliefs. It  is to accept the rationality of something that, on the face of it, is irrational.  To reject (1) is not very palatable either.  But I suppose one could bite the bullet and say, "Look, we are not justified in relying on our cognitive faculties, we just rely on them and so far so good."

A mysterian naturalist could say this:  Our cognitive faculties came about through an unguided evolutionary process; it is rational to rely upon them; but our cognitive architecture is such that we simply cannot understand how it could be rational to rely on processes having this origin.  For us, the problem is insoluble, a mystery, due to our irremediable  limitations.  Just because it is unintelligible to us how something could be the case, it does not follow that it is not the case. 

The best objection to this little design argument I have sketched comes from  the camp of Thomas Nagel.  Nagel could say, "You have given good reason to reject unguided evolution, but why can't the guidance be immanent?  Why must there be a transcendent intelligent being who supervises the proceedings?  Nature herself is immanently intelligible and unfolds according to her own immanent teleology.  You cannot infer theism since you haven't excluded the pansychist option."

Of course, one could beef up the design argument presented by working to exclude the panpsychist option.

A Being-Knowledge Antilogism

An antilogism is an inconsistent triad: a set of three propositions that cannot all be true.  The most interesting antilogisms are those in which the constitutent propositions are each of them plausible.  If they are not merely plausible but self-evident or undeniable, then we are in the presence of an aporia in the strict sense.  (From the Greek a-poros, no way.) Aporiai are intellectual impasses, or, to change the metaphor, intellectual knots that we cannot  untie.  Here is a candidate:

1. Being is independent of knowledge: what is or is the case is not made so by anyone's knowledge of it.

2. Knowledge is knowledge of being: we cannot know what is not or what is not the case.

3. Knowledge requires  an internally available criterion or justification.

Each of the limbs of this aporetic triad is exceedingly plausible if not self-evident. 

Ad (1). If a thing exists, its existence is not dependent on someone's knowledge of it.  It is rather the other around: knowledge of  thing presupposes the logically antecedent existence of the thing.  And if a proposition is true, it not true because someone knows it.  It is the other way around:  the proposition's being true is a logically antecedent condition of anyone's knowing it. 

Ad (2). 'Knows' is a verb of success: what one knows cannot be nonexistent or false.  There is no false knowledge.  What one 'knows' that ain't so, as the saying goes, one does not know.  Necessarily, if S knows x, then x exists; necessarily, if S knows that p, then p is true.  The necessity is broadly logical.

Ad (3).  If I believe that p, p a proposition, and p happens to be true, it does not follow that I know that p.  There is more to knowledge than true belief.  If I believe that Jack is at home, and he is, it does not follow that I know that he is.  Justification is needed, and this must be internalist rather than externalist.  If I see a cat, it does not follow that I know a cat exists or that the cat I see exists.  For I might be dreaming or I might be a brain in a vat.  There are dreams so vivid that one literally sees (not imagines, or anything else) what does not exist.  If I know a cat just in virtue of seeing one, then I need justification, and this justification must be available to me internally, in a way that does not beg the question by presupposing that there exist things external to my consciousness.  Note that 'I see a cat' and 'No cat exists' express logically consistent propositions.  They both can (logically) be true.  For in the epistemologically primary sense of 'see,' seeing is not existence-entailing.  In its epistemologically primary sense, 'see' is not a verb of success in the way 'know' is.  'False knowledge' is a contradictio in adiecto; 'nonexistent visual object' is not.

The limbs of our antilogism, then, are highly plausible and for some of us undeniable.  Speaking autobiographically, I find each of the propositions irresistable.  But I think most philosophers today would reject (3) by rejecting internalist as opposed to externalist justification.

The propositions cannot all be true.  Any two, taken together, entails the negation of the remaining one.  Thus, corresponding to this one antilogism, there are three valid syllogisms.  That is true in general: every antilogism* sires three valid syllogisms.

The first takes us from (1) & (2) to ~(3). If what exists is independent of knowledge, and knowledge is of what exists, then it is not the case that knowledge requires an internally available criterion.

The second syllogism takes us from (1) & (3) to ~(2).  If being is independent of knowledge, and knowledge requires a purely internal criterion, then being is inaccessible to knowledge: what we know are not things themselves, but things as they appear to us.  To solve the antilogism by rejecting (2) would put us in the vicinity of Kant's epistemology according to which there are things in themselves but we know only phenomena.

The third syllogism takes us from (2) & (3) to ~(1).  If knowledge is of what exists, and knowledge is knowledge only if justified internally, then being is not independent of knowledge, and we arrive at a form of idealism.

Is our antilogism insoluble?  In one sense, no aporetic polyad is insoluble: just deny one of the limbs.  In the above case, one could  deny (3).  To justify that denial one would have to work out an externalist theory of epistemic justification.  An aporetically inclined philosopher, however, will expect that the resulting theory will give rise to aporetic polyads of its own.

And so we descend into a labyrinth from which there is no exit except perhaps by a confession of the infirmity of reason,  a humble admission of the incapacity of the discursive intellect to solve problems that it inevitably and naturally poses to itself.

______________

*The term and the theory was introduced by Christine Ladd-Franklin.