MrStakhanovite wrote:Tarski wrote:Here is another silly "reduction" to modus ponens.
If my argument leading to conclusion C is sound then C
My argument leading to conclusion C is sound.
Therefore C.
Why is that silly? It’s a textbook example of MP.
Because it is useless. It can be put forward no matter what the argument was or who made it and does not contain, encapsulate, summarize, extend, add to, amplify, clarify, or help anything
whatever the argument was in any way. It is is unaffected by whether the argument referred to is valid, sound, or even nonsense. If you think this just
is the argument A then it is self referential.
It isn't the argument. It is "morally" the same as saying: My argument is that I have a good argument --QED
........
Didn't you say this?
Dawkin's own argument is a simple modus ponens.
A --> -G, A, .:. -G
If the ARGUMENT of this chapter is accepted, the factual premise of religion- the GOD HYPOTHESIS- is untenable (that means NEGATION).
This isn't Dawkins' argument. He is talking
about his argument or referring to his argument. He is not actually
making his argument in the form of a modus ponens.
A stands for a declarative sentence, in sentential logic, you just choose a variable from one of the key words in the statement. I picked the “A” from the word argument.
This letter choosing policy is a common practice but not part of the statement calculus itself.
But you would have done better to let "A" stand for "accepted" (do you know why?).
But in that case, I also already commented on the resulting modus ponens (if you insist).
The intention of the sentence was obviously other than to make a deduction despite its form. He only wants to remind people that if they agree that his arguments are strong then it would be irrational to not accept (psychologically) the conclusion (G is unlikely).
It is true that he did not actually say that. Instead he said in terse form:
if (argument is ACCEPTED), then (CONCLUSION of argument).
where CONCLUSION is "God is untenable".
This is silly and his actual argument (presumably found elsewhere in the book) would be unchanged if he had left it out.
Don't read like a machine or you will miss intent. In fact, let's hope that the problem here is that I am reading the quote of your words that Marg picked out in an uncharitably machine-like way. Of course, I am still not sure what the point was but I am becoming increasingly sure that there is little profit in going on about it.
Because, it isn't his argument.But you know already this because elsewhere you say his argument is best interpreted as a hypothetical induction, or a demonstrative induction. So lets talk about
that instead of this little quote that Marg brought up. She asked what I thought of it and I basically don't think it was so good for reasons I have given.
Let me ask you something. Suppose I come along and try to convince RayA that UFOs are not alien crafts.
Suppose I do this by taking one by one the reasons usually presented and calling them into question in various ways. I show that witnesses are often not credible or self consistent or I bring up the sketchy nature of the photos and videos. I bring up fakes and fabrications. I also argue about alternative plausible explanations etc. I also try to remove various motivations for believing in UFOs and show how much of what is said about UFOs leads to absurdities. I show that physics makes UFOs as described extremely implausible etc.
Suppose after a while Ray is convinced.
What have I done? Was this hammering away at the UFO idea from all these different angles an argument? Was it rational discourse?
Now what did Dawkins do? Something similar?
Did Dawkins bring up
anything that would tend to undermine a person's reasons or motivations for believing in God? Not one?
More than one? Many? Exactly the one's he promised to? How do we decide if he effectively brought up enough of these things that a person might change their mind
without thereby being irrational??
What if he brought up a whole hell of a lot of points that tend to undermine faith in God in its most common form?
Next, you have said that
you are an atheist. I assume you feel that you hold this position rationally. So what is
your argument and what precisely is its formal structure? How is the conclusion (even probabilistically) formally entailed on the basis of the formal principles of whatever type of logic you think you are using?
I am not so much interested in your pointing to someone else's famous argument. I would like to know how you personally understand the situation since this seems to have come down to who really knows what they are talking about.
Now I know you want to say that valid inductive reasoning is governed by form also. Well, there certainly must be form, there has to be some form to be even intelligible.
I think Marg was making the distinction that deductive validity was a matter of pure form in the sense of
syntax. She felt that in its widest sense, inductive reasoning is not governed by form in the sense that we can and do successfully reason inductively without being able to check for a syntactically specifiable notion of validity as we do in formal deductive systems. You have indeed uncovered the fact that she is unaware of various attempts to mathematize inductive reasoning ("logics" which employ Bayes' theorem one way or another).
But what do you think of this statement from the SEP?
It is now generally held that the core idea of Bayesian logicism is fatally flawed—that syntactic logical structure cannot be the sole determiner of the degree to which premises inductively support conclusions. A crucial facet of the problem faced by Bayesian logicism involves how the logic is supposed to apply to scientific contexts where the conclusion sentence is some hypothesis or theory, and the premises are evidence claims. The difficulty is that in any probabilistic logic that satisfies the usual axioms for probabilities, the inductive support for a hypothesis must depend in part on its prior probability. This prior probability represents how plausible the hypothesis is supposed to be based on considerations other than the observational and experimental evidence (e.g. perhaps due to relevant plausibility arguments).
Well, is inductive reasoning as actually practiced in science something we now know how to formalize in the ambitious way that we see attempted in Bayesian logicism or not?
It may be a hot topic for a certain group of logicians to study since it boils down to math but I think it neither realistically mirrors actual scientific inductive thinking nor do I think that inductive reasoning is exhausted by what can be fully formalized. Rationality is almost certainly not completely formalizable and we have learned this lesson in many ways; the failure of Hilbert's formalist approach to mathematical truth, Godel's theorem, some of the work of Gregory Chaitin, the failure to reach a consensus on the best philosophical foundation for the very notion of probability, Hume's problem of induction, and last but not least the consensus that Bayesian logicism is flawed.
By the way, this whole topic of inductive reasoning and the nature of probabilistic thinking is covered succinctly but nicely in the little book
Philosophy of Science: A Very Short Introduction by Samir Okasha.Either one finds Dawkins' points convincing or not. It boils down to that. Many people do.
I believe that in the end, there can never be a formula for truth nor a mechanical way of determining what is rational.
By the way, I am puzzled by the fact that you think there is something wrong with the fact that Dawkins references Dennett's book and that Dennett references one of Dawkin's earlier books on evolution? What in the world is wrong with that? Do you think this creates a logical circularity? It doesn't.
Far from being a rabbit hole the books are enlightening and I would describe it more like
emerging from the theological rabbit hole. The former is frank and clear while the latter is subject is turgid and mysterious. I never say that I have reached the end of the journey or that I might not be convinced to see things differently, but that is the feeling so far.
I also think unconsciously you have a problem with Dawkins' internet fans more than with Dawkins. But look, the fans of William Lane Craig are just as cultish and this goes for just about any popular thinker who touches on these ideologically charged topics (another example is Dembski and another is PZ Myers). You have to get over that.
when believers want to give their claims more weight, they dress these claims up in scientific terms. When believers want to belittle atheism or secular humanism, they call it a "religion". -Beastie
yesterday's Mormon doctrine is today's Mormon folklore.-Buffalo