Belief is holding that something is true. One can believe that something is true for all sorts of reasons, or for no reason at all. Rational folk will try to believe stuff that is true, and so will use arguments and evidence and such, and ground their beliefs.
Faith is more than just holding that something is true. Faith requires that one believe even in the face of adversity. Greater faith is had by those who believe despite the arguments and the evidence.
So those with the greatest faith would be the ones convinced by logical arguments that god does not exist, and yet who believe despite this.
The most faithful will be seeking to disprove that god exists. — Banno
There is one point in the OP, reflected in the above, on which I have agreed from the start. Anselm and Aquinas were trying to be logical and create knowledge; they were NOT doing a lot of other things, like they were not being poetic creating verses (unless we all abuse some tacit definition of poetry), or they were not giving a eulogy for a friend, or providing a news bulletin, or preaching an article of faith.
They were building syllogisms, arguments.
Their arguments, in my logical estimation, failed for various reasons (but that is another conversation, on which we might agree as well). If you asked Anselm "why do you believe God exists?" he should say, "I don't believe God exists, I know God exists and I can prove it to you." He should say this, because he was trying to convince others of, in his estimation, a logical conclusion based on evidence.
So, hopefully recognizing my general spirit of agreement with the basic point of the OP, I think you guys are throwing the baby of belief out with the bathwater of faith, or at least Banno is more expressly. And to all of our detriment.
We have to be more careful to protect "belief" and about where we find reasoning.
Or faith is the antithesis of rationality. — Banno
These polar oppositions are distorting both sides, weakening the perfectly reasonable basic point of the OP.
If I put a square on one pole and circle on the other, and say all things in between are square-circles and circle-squares, depending on how far towards one or the other pole one goes, have I said anything at all? The instant you move off the square towards the circle, you have something other than a square, AND other than a circle, something nothing at all like either one. And in fact, nothing at all, because what the hell is a square-circle?
Pitting faith as a circle and reasoning as the square does the same thing. They aren't opposites. Just two different things. (that you rightly point out Anselm and Aquinas were squarely in on the reason side of things, not talking about faith at all, and therefore failing at both!)
But in the process you say things that make it seem like there is no room in the reasonable world for people to believe in things they do not yet know are true through reason. Action in the real world between the poles of knowledge and ignorance, reason and chaos, is impossible.
We need to take all of these terms off of the simple polarizing measuring sticks. There are many more things besides faith and reason to hold in tension to see any of them. Faith is not the opposite of reason, any more than poetry is the opposite of reason, or eulogies are the opposite of reason.
So let's quickly redefine our terms a bit.
If X, then Y.
If Y, then Z.
So if X, then Z.
Roll with me, you know what I mean. This is a syllogism.
What should we make of the first "if" in this syllogism? Can we say instead:
Believing X is the case, Y must follow.
Now holding Y to be necessary, Z must follow.
So once believing X, Z must follow.
I'm trying to breath some life into the "if" in the first form of the argument. In order for the possibility of a logical syllogism to begin, when we say "if X..", in a more naive but just as productive way, we can say "in order for you to follow my logic, take as true, X." Or just, "believe X with me and let's see what logically follows."
Belief is holding that something is true. — Banno
100%. Important for my argument. Important to make a first premise.
How about we clarify "holding that something is.." a bit: Let's say that, what is held, the something we are holding when we are holding a belief true, is knowledge. I'm NOT saying all beliefs are knowledge; I'm saying a belief is a bit of knowledge that we also hold true, I'm just clarifying "something" in "holding that something is" part of Banno's perfectly reasonable assessment of belief.
So the board pieces (which we should resist from placing as polar opposites a bit longer), so far, are at least belief and knowledge. Now let's find what we mean by "reason" in the mix.
Reasoning lies
within the syllogism, not before its premises or after its conclusions.
Saying "If X" isn't giving an argument, It isn't reasoning. It's right at the start of the syllogism; it's needed to start it, but no reasoning is yet applied. It's just positing "X". "If X..." or "If you believe X exists..."
We need to set that pole "X" to launch into "then...."
"Then", which refers back to X also compels one to "Y" (if soundly referred and validly compelled). This referring back and compelling forward from X to Y is where the reasoning lives. If Anselm and Aquinas had been a little more careful with their reasoning, their logical steps referring and compelling this X (perfection) with that Y (God), they would have seen that the ontological proof makes a category error, and so their conclusion is not compelled, there is no necessity to thinking "God exists", and the argument collapses.
That is reasoning - something like that. The motivating engine of the syllogism. It lives inside the argument.
Then there is faith.
We don't even need to talk about faith or define it for the OP point to be made. Anselm and Aquinas were trying logical reasoning, did it poorly, and so built nothing of the sort. They did NOT build something to believe in (like a faith), or something to recite as poetry or at a funeral - they built a bad syllogism.
So again, that specific point of the OP as regards whether a person trying to prove God exists was refuting the need for faith in God,
if the only article of faith was "God exists", then yes, knowledge (not reason, but knowledge as the result of a reasoned argument), is the anti-thesis of faith.But is faith only about the existence of God? If you know for sure God exists, will you never need faith again for anything? No, there is way more to it, like poetry has more to it than a simple antithesis: "not-syllogistic argument".
What is faith?
To simplify this, let's look at faith as believing. Like we can look at reason more clearly as the motivating engine in the argument called "reasoning", we should look at faith more as another type of engine called "believing".
You are standing on the edge of a cliff wearing a newly designed parachute. Someone wearing the same parachute says "look it's safe" and jumps off the cliff and safely floats to the gorge floor below. Then another person says "look, we've done the math, tested this 1,000 times before, and here, I have a parachute, I'll give you some more assurance" and jumps landing safely. You look at all of the calculations and tolerances and wind conditions, etc., and look at all the test results with 1,000 samples, and you can see with your own eyes and common senses the two jumpers and say "understanding that knowledge isn't perfect, I know enough to say 'I know I will be safe when I jump.'"
What does what you know matter anymore in the instant you jump? Do you actually jump because of what you know? Or what you believe?
To jump, in the moment one acts, it is because you believe your own knowledge. Faith is the engine of action. You might make other people jump to demonstrate all that you know from your calculations and test results, and say "I know you will be safe so you should jump" but when it comes your turn to actually jump, when you take that leap,
it is only because of what you believe is true that you act; If you don't want to die, only because you believe you will make it safely, would you yourself, jump. Never because you can know the calculations and test results are sound and validly ordered.
We act out of belief in something true. We act out of belief that something we know is true. When knowing, knowing is complete in the knowledge. When believing, the belief is complete in the truth, and the bridge between the belief and the truth is how one acts. We make the bridge to the truth by acting on the belief, and believing is bridging. Believing is holding something over there as true here in me. It's what I believe as is testified to in words and deeds.
When we act, we may be wrong in our knowledge, or we may be right in our knowledge. That occurs during reasoning after positing the "If....then...therefore..." There is where reasoned knowledge sits.
Every time we honestly mean the statement "therefore..x" we are saying "we believe X." We believe the reasoning is done, and we believe we know our conclusion can be called knowledge. If someone believes the argument is false, we would either look to the premises and conclusions to re-support the conclusion, or we could simply say "Prove it then, because I believe my proof is done." We can call upon them to prove our conclusion again, but the act of "concluding" is a judgment that "the argument is over, it needs no more or less" and in that moment we "are knowing" we call this knowledge because we are believing there is no more need for argument.
Once it is time to act, (even the act of knowing) all the reasoning and knowledge is literally placed behind you and you are now believing it is true because you are acting on that belief. Your reasoning and knowledge support and uphold the moment of action, but that act is not taken unless you also believe something to be true. How else could you aim a gun and hit a target unless you believed that what you know was true?
Faith is tied up with that. We all have faith in our beliefs that we all have, and believe some of the things we know are true. If we didn't, every act would either be compelled by necessity, or utterly random (again another can of worms for another conversation.)
Believing isn't just about whether something exists. It most fully arrives in this mix somewhere outside of the reasoning (again, agreement with the OP), but so close, it is tied to the "If X..." at the beginning, and more completely just after the conclusion, when one acts on that conclusion, and in the acting, the believing enough reasons exist to leap into the unknowable (until the experiment is over and the shoot failed and we all get to know his calculations missed a few variables, he should not have believed they were true, and should not have jumped...)
So...
...faith is the antithesis of rationality. — Banno
...is just not the dialectical picture you needed to draw, or should draw, to draw what I agree with in the OP, namely and to paraphrase, "proof God exists precludes the ability to call the phrase "God exists" an article of faith." This is because, as I would add: faith (believing something as an act of consent) has nothing to do with proof (proving, reasoning)."
And besides, do you mean to say anyone who believes in God should try not to use reason and when they talk about God they are unable to be reasoning? That's the gist of some of this. That's silly rubbish.