We begin with an example from Panayot Butchvarov's The Concept of Knowledge, Northwestern University Press, 1970, p. 47.
[CK is the red volume on the topmost visible shelf. Immediately to its right is Butch's Being Qua Being. Is Butch showing without saying that epistemology is prior to metaphysics?]
But now to work.
There is a bag containing 99 white marbles and one black marble. I put my hand in the bag and without looking select a marble. Of course, I believe sight unseen that the marble I have selected is white. Suppose it is. Then I have a justified true belief that a white marble has been selected. My belief is justified because of the fact that only one of the 100 marbles is black. My belief is true because I happened to pick a white marble. But surely I don't know that I have selected a white marble. The justification, though very good, is not good enough for knowledge. I have justified true belief but not knowledge.
Knowledge, says Butchvarov, entails the impossibility of mistake. This seems right. The mere fact that people will use the word 'know' in a case like the one described cuts no ice. Ordinary usage proves nothing. People say the damndest things. They are exaggerating, as a subsequent post may show. 'Know' can be used in non-epistemic ways -- think of carnal knowledge for example -- but used epistemically it can be used correctly in only one way: to mean absolute impossibility of mistake. Or as least that is Butchvarov's view, a view I find attractive.
Admittedly, knowledge as impossibility of mistake is a very stringent concept of knowledge. Why should we care to set the bar so high? Why is knowledge in the strict sense important? It is important because there are life and death situations in which one needs to know in order to decide on a course of action.
Suppose I am calmly and rationally contemplating suicide. I have lived a full life, my spouse has died, I have no dependents, and I have accomplished all that I can accomplish. But I am old and worn out and I have been diagnosed with a painful form of terminal cancer. Should I do away with myself? The money saved on expensive treatments could be donated to a worthy cause, etc.
If I know that I am just a material being with no prospects of post-mortem survival, then I have nothing to fear from God or an afterlife, and no need to factor in the moral progress I could make by bravely enduring the terminal suffering. For if I am nothing but a complex natural organism, then there is nothing to hope for beyond this life, and that moral progress could do me no good. (The little good it would do others is a vanishing quantity in comparison to the suffering I would have to endure.) Now is it not obvious that knowing whether one will or will not survive is very important? Clearly, what one wants here is genuine knowledge, which implies impossibility of mistake. For one is about to make a very important decision, perhaps the most important decision one can make.
Kant asked four great questions: What can I know? What ought I do? What can I hope for? What is man? One makes a joke of the first question if one demands anything less than certain knowledge. And note that what one wants is knowledge with respect to the other questions, not mere conjecture. Butchvarov puts the point as follows:
Where the truths in question are of the greatest importance, as philosophical truths usually are, where what is at issue is the immortality of the soul and the possibility of eternal damnation, the existence of an external world, of other persons, God, or of a real past, mere evidence, however good, is not enough -- it is knowledge, impossibility of error, that we demand. (CK, 271)
There are those who are cocksure that there is no God, no soul, no post-mortem judgment, no ultimate meaning to human existence, and that we are all just material bits of a material world. Now it may be so for all we know. This is not an area in which proofs or disproofs are possible.
But for those who are cocksure about it, I suspect that it is their cocks that make them sure.
Crudity aside, their natural concupiscence blinds them to the spiritual reality of God and the soul, dulls their consciences, and ties them to a passing world that their lust convinces them is ultimately real.
This is why I do not trust the atheisms of Russell and Sartre. They were sensualists and worldlings who failed to satisfy the prerequisites of spiritual insight. Pride and lust dimmed their eyes.
Herewith, another episode in my ongoing discussion with Lukas Novak. Here again is his list of propositions that he claims are not only true, but knowable with (epistemic as opposed to psychological) certainty:
a) God exists. b) There are substances. c) There are some necessary truths, even some de re necessary truths. d) Human cognition is capable of truth and certainty. e) There are no contradictions in reality.
I have already explained why I do not consider God exists to be certainly knowable. I now consider whether it is certainly knowable that there are (Aristotelian primary) substances.
We begin with the Moorean fact that there are tables and chairs, rocks and trees, cats and dogs. We may refer to such things generally as spatiotemporal meso-particulars. My work table, for example, is at a definite location in space; it has existed uninterruptedly for a long time; and it is a middle-sized object. Our question is not whether there are things like my table; our question is whether things like my table must be 'assayed' -- this useful term is from Gustav Bergmann -- as substances in the Aristotelian sense of the term. Thus I am not using 'substance' as a stylistic variant of 'spatiotemporal meso-particular.' Such a use would be a misuse by my standards of rigor and would paper over the legitimate question whether tables and cats and such must be understood in terms of an ontology of substances.
It might be that there are tables and cats, but no substances. But if there are substances, then tables and cats are paradigm examples of them.
My thesis is not that there are no substances, but that it is not epistemically certain that there are. Here is one consideration among several.
Persistence
My beautiful oak table has been around a long time. I reckon it came into existence in the early '80s. It will surely outlast me before passing out of existence. Numerical sameness over the temporal interval of its existence is a Moorean fact. Its diachronic identity is a datum. Let us say that the table has persisted for a long time. This word is 'datanic' as I like to say and thus theoretically neutral. I use it simply to record the datum, the Moorean fact, about which there can be no reasonable dispute, that the table has remained in existence, numerically one and the same, over a long period of time.
So far, I have been doing 'proto-philosophy.' I have been collecting and commenting upon some obvious data. I have not yet asked a specifically philosophical question or made a specifically philosophical assertion.
Perdurance or Endurance?
We get to philosophical questions when we ask: In what way does my table persist? How exactly is persistence to be understood? What is the nature of persistence? The question is not whether tables and cats persist; the question is what it is to persist. The question is not whether there are persistents; of course there are. The question is: What is persistence?
Now we come to a fork in the road. Two very different theories obtrude themselves upon our attention. Does a thing persist by being wholly present at each time at which it exists, or does a thing persist by merely having a proper part that is present at each time at which the thing exists?
Perdurance
Suppose the latter. Then we say that the table persists by perduring, where the latter term is theoretical unlike the pre-theoretical or datanic persists. If the table persists by perduring, then it is a whole of temporal parts with different such parts at different times. This implies that at no time during its existence is the whole table temporally present. On the perdurance scheme, tables and cats and such are four-dimensional entities, space-time worms if you will. If this is right, then the difference between a table and a process such as a fire is not categorially deep but superficial and a matter of how we conceptualize things.
Our natural tendency is to think of a house and a fire that consumes a house as very different, so different as to constitute a categorial difference. We are not inclined to call a house a process or an extended event; but we do not hesitate to call a fire a process or an extended event. A fire has a beginning, a middle, and an end. It unfolds over time and can be said to have temporal parts. It is not wholly present at each time at which it exists. It becomes present bit by bit. It is spread out in time as well as in space. When we observe a fire we are not observing the whole of it but only its present phase. It is natural to speak of fires and storms and wars and plays as having phases. It is not natural to speak of houses and soldiers as having phases.
On the perdurance view, however, there is no fundamental categorial difference between the house and the fire. Both persist in the same way, by perduring with different temporal parts present at different times. Both have both spatial and temporal parts. Both are 4-D objects.
Endurance
On the other theory, the table persists by enduring, where the latter term is also theoretical. If my table is an endurant, then it is not a whole of temporal parts. It does not have temporal parts at all. It is wholly present at each time at which it exists. It is nothing like a process. When I look at my table I see the whole of it, not the current phase of it.
What is it for a thing to be wholly present at each moment of its existence? One can understand it negatively: it means that the thing is not a whole of temporal parts. What does it mean positively?
Persons may provide a clue. I regret things I did long ago, things that I did, not things some earlier self or earlier person-slice of me did. I cannot shake the thought that I am numerically the same as the person who did those regrettable things. Connected with this is my conviction that my guilt is in no way diminished by the passage of time as it would be if I were a diachronic collection of person-slices as on a perdurantist view. My conviction is that I have persisted by enduring, not by perduring.
Of course, my psychological conviction does not prove that endurantism is true of persons, but it does help explain what it means for persons to be endurants as opposed to perdurants.
In the case of persons we can say that to be wholly present at every time at which the person exists is to be a substance that is 'there' at every moment beneath the flux of experiences and the flux of bodily changes as the self-same substrate of these psychological and physical changes.
If there are substances, then perdurantism is false, and endurantism is true
I have just sketched two theories of the persistence of material meso-particulars. Both theories go well beyond the Moorean fact of persistence. Each has its arguments pro et contra. We needn't worry about these arguments here. The fact of persistence is such that if you deny it then you are legitimately labelled 'crazy.' But there is nothing crazy about questioning the perdurance and endurance theories.
The important point for present purposes is that theose who claim that there are Aristotelian primary substance are opting for endurantism. Finally, my argument against Dr. Novak.
My Argument
a) It is epistemically certain that there are substances if and only if it is epistemically certain that endurantism is true.
b) It is not epistemically certain that endurantism is true.
Therefore
c) It is not epistemically certain that there are substances.
This relates to my earlier discussion with Dr. Novak. See articles referenced infra. A reader thinks the following syllogism establishes its conclusion:
a) What doesn't have necessity from itself is caused;
b) The contingent does not have necessity from itself;
Ergo
c) The contingent is caused.
An argument establishes its conclusion just in case: (i) the argument is deductive; (ii) the argument is valid in point of logical form; (iii) the premises are all of them objectively certain. Establish is a very strong word; it is as strong as, and equivalent to, prove.
The argument above is a valid deductive argument, and the minor is true by definition. The major, however, is not objectively certain. In fact, it is not even true. The impossible doesn't have necessity from itself, but it has no cause since it doesn't exist.
But a repair is easily made. Substitute for (a)
a*) Whatever exists, but does not have necessity from itself, is caused.
Then the argument, for all we know, might be sound. But it still does not establish its conclusion. For the major, even if true, is not objectively certain. Ask yourself:
Is the negation of the repaired major a formal-logical contradiction? No. Is it an analytic proposition? No. Does it glow with the light of Cartesian self-evidence like 'I seem to see a tree' or 'I feel nauseous'? No.
So how can Novak & Co. be objectively certain that (a*) is true? This proposition purports to be about objective reality; it purports to move us beyond logical forms, concepts, and mental states. Nice work if you can get it, to cop a signature phrase from the late, great David M. Armstrong. (For the record: I reject Armstrong's naturalism and atheism.)
I conjecture that it is the overwhelmingly strong doxastic security needs of dogmatists that prevent them from appreciating what I am saying. They cannot tolerate uncertainty, and so they manufacture a certainty that isn't there.
That being said, Dr. Novak may like my Pascalian conjecture that it is due to the Fall of Man that we are in this suboptimal epistemic predicament, the predicament of craving certainty without being able to attain it.
is not epistemically certain. I don't deny that (1) is true; I deny that it can be known with certainty. (As I explained earlier, truth and certainty are different properties.) And then I wrote that
If an argument is presented for (1), then I will show that the premises of that argument are not, all of them, certain.
That is to say: if you try to show that (1) is certain by producing a valid deductive argument all of the premises of which are certain, an argument that transmits the certainty of its premises to its conclusion, then I will show that the premises of that argument are not, all of them, certain. I am using 'certain' as short for 'epistemically certain.'
Let us play that game. I believe I have an argument to prove (1) that can be reduced exclusively to obvious conceptual truths. Let's go step by step; you say which premise you doubt and I will produce an argument for it.
My kick-off:
(1.1) Whatever does not have a cause and yet exists, exists necessarily. (1.2) Whatever begins to exist never exists necessarily. Ergo etc.
Which one do you doubt?
I have no problem with (1.2). I would say, however, that (1.1) is not certain. The negation of (1.1) is: Something exists contingently without cause. This is not a formally self-contradictory proposition. So we cannot rule it out on formal-logical grounds alone the way we can rule out Something exists that does not exist. It is therefore logically possible (narrowly logically possible) that (1.1) be false.
Is (1.1) a conceptual truth as Lukas appears to be maintaining? Well, can we know it to be true by sheer analysis of the concept uncaused existent? Not as far as I can see. Analyzing that concept, all I get is: existent that is not the effect of any cause or causes. That every EFFECT has a cause is a conceptual truth, but not that every EVENT has a cause, or that every EXISTENT has a cause.
If Lukas is right, then it is epistemically certain that the physical universe, which is modally contingent (i.e., not necessary and not impossible) cannot be a brute fact. So if Lukas is right, then it is epistemically certain that the physical universe cannot exist both contingently and without a cause.
Here is where I disagree. I believe that the physical universe (together with finite minds) exists, exists contingently, and is caused. But I don't believe that we can know this to be the case with certainty.
It may be that Lukas is thinking along the lines of Reginald Garrigou-Lagrange.
Garrigou-Lagrange thinks that one violates the Law of Non-Contradiction if one says of a contingent thing that it is both contingent and uncaused. He thinks this is equivalent to saying:
A thing may exist of itself and simultaneously not exist of itself. Existence of itself would belong to it, both necessarily and impossibly. Existence would be an inseparable predicate of a being which can be separated from existence. All this is absurd, unintelligible. (Reality: A Synthesis of Thomistic Thought, tr. Patrick Cummins, O. S. B., Ex Fontibus 2012, p. 65)
Suppose that a contingent existent is one that is caused to exist by a self-existent existent. If one then went on to say that such an existent is both contingent and uncaused, then one would embrace a logical contradiction. But this presupposes that contingency implies causal dependency.
And therein lies the rub. That the universe is contingent I grant. But how does one get from modal contingency to the universe's causal dependence on a causa prima? If one simply packs dependency into contingency then one begs the question. What is contingent needn't be contingent upon anything.
I asked our Czech colleague Lukáš Novák for examples of philosophical propositions that he considers to be not only true, but knowable with certainty. He provided this list:
a) God exists. b) There are substances. c) There are some necessary truths, even some de re necessary truths. d) Human cognition is capable of truth and certainty. e) There are no contradictions in reality.
In this entry I will discuss only the first example.
Is it certain that God exists?
My position is that it is true that God exists, but not certain that God exists. How can a proposition be true but not certain? Logically prior question: What is certainty?
We first distinguish epistemic from psychological certainty. If S is epistemically certain that p, then S knows that p. But if S is psychologically certain that p, i.e., thoroughly convinced that p, it does not follow that S knows that p. For people are convinced of falsehoods, and one cannot know a falsehood, let alone be epistemically certain of it. There was the case not long ago of the benighted soul who was convinced that Hillary Clinton was running a child-abuse ring out of a pizzeria. He was certain of it! This shows that we must distinguish subjective or psychological certainty from objective or epistemic certainty. Epistemic certainty alone concerns us.
But what is epistemic certainty?
On one approach, a proposition is epistemically certain just in case it is indubitable. By indubitability I don't mean a psychological inability to doubt, but a property of some propositions. For example, the proposition I exist has the property of being such that no subject S who entertains and understands this proposition can doubt its truth. There are any number of propositions about one's state of mind at a given time that are epistemically certain to the subject of these states. Examples: I seem to see a tree (but not: I see a tree); I seem to recall first meeting her on a April 2014 (but not: I recall meeting her on 1 April 2014).
The facts about one's mental life are a rich source or epistemic certainties. But there is also a class of truths of reason that are epistemically certain, for example propositions true ex vi terminorum, e.g., every effect has a cause, and formal-logical truths such as a proposition and its negation cannot both be true, etc.
God exists, by contrast with the members of the two classes just mentioned, is not indubitable. One can easily doubt it. Atheists go so far as to deny it. So if epistemic certainty is defined in terms of indubitability, then God exists is not epistemically certain.
We also note that God exists does not record a fact about anyone's mental life, nor is it true ex vi terminorum. So it belongs to neither class of the epistemically certain.
At this point one might respond that God exists, while not indubitable by itself, is indubitable as the conclusion of an argument. Well, suppose you give a valid deductive argument for the proposition that God exists. The conclusion will be epistemically certain only if each premise of the argument is epistemically certain. But is there such an argument?
I don't believe there is. I am, however, quite willing to change my view if someone could present one. Indeed I would positively love to be refuted on this point. After all, I have already announced that I believe it is true that God exists; if it is absolutely epistemically certain, then all the better! To get a feel for the problem, consider the Kalam argument
1) Whatever begins to exist has a cause;
2) The universe began to exist; Therefore:
3) The universe has a cause. (And this all men call God.)
This is a valid deductive argument and the premises are highly plausible. What's more, they may well be true. But they are not both certain. Is (1) epistemically certain? No. Its negation, Something begins to exist without a cause, is not a formal-logical contradiction. Nor is (1) an analytic or conceptual truth.
If an argument is presented for (1), then I will show that the premises of that argument are not, all of them, certain.
Patrick Toner tells me that the "modal ontological argument [is] compelling," and that we can "know God and the soul with certainty through the use of natural human reason." (emphasis added) In Is the Modal Ontological Argument Compelling?, however, I return a negative answer by showing that the crucial possibility premise is not certain.
An impressive argument, no doubt, but not rationally compelling or such as to deliver epistemically certain insight into the truth of its conclusion. The same goes for another powerful argument, From the Laws of Logic to the Existence of God.
What say you, Professor Novak? Can you show me that I am wrong? I would be much obliged if you could.
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.
By 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?
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.
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.
We should anchor our thought in that which is most certain: the fact of change, the nearness of death, that things exist, that one is conscious, that one can say 'I' and mean it, the fact of conscience. But man does not meditate on the certain; he chases after the uncertain and ephemeral: name and fame, power and position, longevity and progeny, loot and land, pleasure and comfort.
Wealth is not certain, but the grave is. So meditate on death, asking: Who dies? Who survives? What is death? Who am I? What am I?
Death is certain, but the when is uncertain. Do not try to make a certainty out of what is uncertain, or an uncertainty out of what is certain.
"What is your life? You are a mist that appears for a little while and then vanishes." (James 4:14)
Thomas Nagel writes that “whether atheists or theists are right depends on facts about reality that neither of them can prove” [“A Philosopher Defends Religion,” Letters, NYR, November 8]. This is not quite right: it depends on what kind of theists we have to do with. We can, for example, know with certainty that the Christian God does not exist as standardly defined: a being who is omniscient, omnipotent, and wholly benevolent. The proof lies in the world, which is full of extraordinary suffering. If someone claims to have a sensus divinitatis that picks up a Christian God, they are deluded. It may be added that genuine belief in such a God, however rare, is profoundly immoral: it shows contempt for the reality of human suffering, or indeed any intense suffering.
Galen Strawson
Strawson is telling us that it is certain that the God of Christianity does not exist because of the suffering in the world.
How's that for pure bluster?
What we know is true, and what we know with certainty we know without the possibility of mistake. When Strawson claims that it is certain that the Christian God does not exist, he is not offering an autobiographical comment: he is not telling us that it is subjectively certain, certain for him, that the Christian God does not exist. He is maintaining that it is objectively certain, certain in itself, and thus certain for anyone. From here on out 'certain' by itself is elliptical for 'objectively certain.'
And why is it certain that the Christian God does not exist? Because of the "extraordinary suffering" in the world. Strawson appears to be endorsing a version of the argument from evil that dates back to Epicurus and in modern times was endorsed by David Hume. The argument is often called 'logical' to distinguish it from 'evidential' arguments from evil. Since evidential or inductive or probabilistic arguments cannot render their conclusions objectively certain even if all of their premises are certain, Strawson must have the 'logical' argument in mind. Here is a version:
If God exists, then God is omnipotent, omniscient, and morally perfect.
If God is omnipotent, then God has the power to eliminate all evil.
If God is omniscient, then God knows when evil exists.
If God is morally perfect, then God has the desire to eliminate all evil.
Evil exists.
If evil exists and God exists, then either God doesn’t have the power to eliminate all evil, or doesn’t know when evil exists, or doesn’t have the desire to eliminate all evil.
Therefore, God doesn’t exist.
It is a clever little argument, endlessly repeated, and valid in point of logical form. But are its premises objectively certain? This is not the question whether the argument is sound. It is sound if and only if all its premises are true. But a proposition can be true without being known, and a fortiori, without being known with certainty, i.e., certain. The question, then, is whether each premise in the above argument is objectively certain. If even one of the premises is not, then neither is the conclusion.
Consider (5). It it certain that evil exists? Is it even true? Are there any evils? No doubt there is suffering. But is suffering evil? I would say that it is, and I won't protest if you say that it is obvious that it is. But the obvious needn't be certain. It is certainly not the case that it is certain that suffering is evil, objectively evil. It could be like this. There are states of humans and other animals that these animals do not like and seek to avoid. They suffer in these states in a two-fold sense: they are passive with respect to them, and they find the qualitative nature of these states not to their liking, to put it in the form of an understatement. But it could be that these qualitatively awful states are axiologically neutral in that there are no objective values relative to which one could sensibly say something like, "It would have been objectively better has these animals not suffered a slow death."
The point I am making is that only if suffering is objectively evil could it tell against the objective existence of God. But suffering is objectively evil only if suffering is objectively a disvalue. So suffering is objectively evil and tells against the existence of God only if there are objective values and disvalues.
Perhaps all values and preferences are merely subjective along with all judgments about right and wrong. Perhaps all your axiological and moral judgments reduce to mere facts about what you like and dislike, what satisfies your desires and what does not. Perhaps there are no objective values and disvalues among the furniture of the world. I don't believe this myself. But do you have a compelling argument that it isn't so? No you don't. So you are not certain that it isn't so.
And so you are not certain that evil exists. Evil ought not be and ought not be done, by definition. But it could be that there are no objective oughts and ought-nots, whether axiologically or agentially. There is just the physical world. This world includes animals with their different needs, desires, and preferences. There is suffering, but there is no evil. Since (5) is not certain, the conclusion is not certain either.
Now consider (2): If God is omnipotent, then God has the power to eliminate all evil. Is that certain? Is it even true? Does God have the power to eliminate the evil that comes into the world through finite agents such as you and me? Arguably he does not. For if he did he would be violating our free will. By creating free agents, God limits his own power and allows evils that he cannot eliminate. Therefore, it is certainly not certain that (2) is true even if it is true. Reject the Free Will Defense if you like, but I will no trouble showing that the premises you invoke in your rejection are not certain.
Pure ideologically-driven bluster, then, from an otherwise brilliant and creative philosopher.
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.
I would say that the ability to tolerate uncertainty without abandoning the quest for certainty is a mark of intellectual and spiritual maturity. A truth seeker who can tolerate uncertainty is one who will not seek false refuge in dogmas that provide pseudo-certainty. I cannot help but think of Islamo-terrorism in this connection. Had Muhammad Atta and the boys entertained some doubts about the bevy of black-eyed virgins awaiting them at the portals of paradise, they and three thousand others might still be alive.
The trick is to tolerate uncertainty without becoming either a skeptic or a dogmatist.
There is a difference between subjective and objective certainty. If subject S is subjectively certain that p, it does not follow that p is true. That would follow only if S were objectively certain that p. But objective certainty appears attainable only with respect to one's own mental states. I am both subjectively and objectively certain that I have a headache now. This is because the esse of the headache = its percipi. Its being is its being perceived. It therefore cannot be intelligibly supposed that I merely seem to have a headache now, while in reality I do not. With respect to a physical object or state, however, appearance and reality can come apart, and what is subjectively certain can turn out to be false: my seeming to see a mountain is no guarantee that there is a mountain. My seeming to feel elated, however, just is my being elated.
What about states of affairs that involve neither mental data nor physical objects? If S is subjectively certain that torture is always morally impermissible, and T is subjectively certain that torture is sometimes morally permissible, then one of the two must be wrong, which shows that subjective certainty is no proof of objective certainty.
What about this last proposition however, namely, the proposition that apart from mental states, subjective certainty does not entail objective certainty? Is its truth merely subjectively certain, or is it also objectively certain? It is objectively certain. One sees that subjective certainty can exist without objective certainty from the fact that two subjects, S and T, can be subjectively certain of contradictory propositions. Here the mind grasps a truth about a state of affairs transcendent of one's mental state and does so with objective certainty.
I conclude that there are some propositions the truth of which can be grasped with objective certainty even though these propositions are not about such mental data as pleasures and pains. The mind has the power to transcend its own states and not only to know, but to know with objective certainty, truths whose truth is independent of mind. That is amazing.
One some days, existence strikes me as the deepest and most fascinating of philosophical topics. On other days, I give the palm to time: "What, then, is time? If no one asks me, I know; if I want to explain it to someone who does ask me, I do not know." (Augustine, Confessions, Bk. 11, Ch. 14) But today, the honor goes to knowledge.
As Hilary Putnam once said, "It ain't obvious what's obvious." Or as I like to say, "One man's datum is another man's theory."
But is it obvious that it ain't obvious what's obvious?
It looks as if we have a little self-referential puzzle going here. Does the Hilarian dictum apply to itself? An absence of the particular quantifier may be read as a tacit endorsement of the universal quantifier. Now if it is never obvious what is obvious, then we have self-reference and the Hilarian dictum by its own say-so is not obvious.
Is there a logical problem here? I don't think so. With no breach of logical consistency one can maintain that it is never obvious what is obvious, as long as one does not exempt one's very thesis. In this case the self-referentiality issues not in self-refutation but in self-vitiation. The Hilarian dictum is a self-weakening thesis. Over the years I have given many examples of this. (But I am now too lazy to dig them out of my vast archives.)
There is no logical problem, but there is a factual problem. Surely some propositions are obviously true. Having toked on a good cigar in its end game, when a cigar is at its most nasty and rasty, I am am feeling mighty fine long about now. My feeling of elation, just as such, taken in its phenomenological quiddity, under epoche of all transcendent positings -- this quale is obvious if anything is.
So let us modify the Hilarian dictum to bring it in line with the truth.
In philosophy, appeals to what is obvious, or self-evident, or plain to gesundes Menschenverstand, et cetera und so weiter are usually unavailing for purposes of convincing one's interlocutor.
And yet we must take some things as given and non-negotiable. Welcome to the human epistemic predicament.
Some opponents of the death penalty oppose it on the ground that one can never be certain whether the accused is guilty as charged. Some of these people are pro-choice. To them I say: Are you certain that the killing of the unborn is morally permissible? How can you be sure? How can you be sure that the right to life kicks in only at birth and not one minute before? What makes you think that a mere 'change of address,' a mere spatial translation from womb to crib, confers normative personhood and with it the right to life? Or is it being one minute older that confers normative personhood? What is the difference that makes a moral difference -- thereby justifying a difference in treatment -- between unborn human individuals and infant human individuals?
Suppose you accept the general moral prohibition against homicide. And suppose that you grant that there are legitimate exceptions to the general prohibition including one or more of the following: self-defense, just war, suicide, capital punishment. Are you certain that abortion is a legitimate exception? And if you allow abortion as a legitimate exception, why not also capital punishment?
After all, most of those found guilty of capital crimes actually are guilty and deserving of execution; but none of the unborn are guilty of anything.
My point,then, is that if you demand certainty of guilt before you will allow capital punishment, then you should demand certainty of the moral permissibility of abortion before you allow it. I should add that in many capital cases there is objective certainty of guilt (the miscreant confesses, the evidence is overwhelming, etc.); but no one can legitimately claim to be objectively certain that abortion is morally permissible.
There is much popular confusion concerning the topic of relativism. One fallacy I exposed earlier, namely, the mistake of thinking that Einstein's Theory of Relativity implies either moral relativism or relativism about truth. Even more widespread, perhaps, is the notion that one who opposes relativism about truth must be a dogmatist. But there are two distinctions here and they must not be confused. One is the distinction between relativism and nonrelativism, and the other is the distinction between fallibilism and dogmatism. The first distinction has to do with the nature of truth, while the second pertains to the knowledge of truth.
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, and presumably without certainty.