About Logic and Proving things... an example
Suppose that someone wants to assert that
If God exists, then there will be water on earth. (Water, is a good thing for people...)
We could symbolize this as:
G: God exists
W: Water exists on earth
the entire assertion is
G ==> W
In formal logic, the way to prove a material implication (logical causality)
is using the syllogism that is called Conditional Proof. The form of this is:
to prove A ==>B
assume A
prove B
Therefore A ==> B. (by the rule Conditional Proof)
So, to apply this method
to prove G ==> W
assume G
prove W
Therefore, we have proved that G ==> W
Note, that from our shared reality, we observe that there is water on earth.
So W is TRUE.
??? Is it proper to infer that G ==> W is TRUE????
---------- ----------
Analysis of this argument...
Remember the problem space that a truth table lays out:
A. B. (for any logical proposition A and B)
---------
T. T. 1
T. F. 2
F. T 3
F. F. 4
Applied to this proof, using the propositions G and W...
We see that line 1 of the truth table is TRUE for G and W, so Modus Ponens holds
We know that line 4 of the truth table MUST HOLD, if G ==> W
BUT, we have no way to verify that (NOT W ==> NOT G)
because we do not have a world in which there is no water.
So we cannot prove Modus Tollens, with regard to the supposition G ==> W.
Even if we appeal to the Bible's assertion that "God exists",
from formal logic we still cannot demonstrate G ==> W.
WARNING! WARNING!
This proof is faulty, because it can only demonstrate 1 of the requirements of
logical causality between G and W (that of Modus Ponens). But it cannot
demonstrate that Modus Tollens is also true of the supposition G ==> W.
We could say from this proof, that the existence of water on earth is
COMPATIBLE with the supposition that G ==> W. But the existence
of water on earth does not demonstrate that God exists (given this
group of Assumptions/initial Premises.
---------- ----------
Note that if we use the approach of Reductio ad Absurdam, to prove
that G ==> G, then we would assume the negation of what we want to
prove, and try to demonstrate a logical contradiction exists.
So, to prove G ==> W
Assume NOT(G ==> W). this is NOT (NOT God OR W) which is (God exists AND water does not exist on earth)
try to demonstrate a contradiction
note that we could NEVER prove that NOT W, because water DOES exist on earth
So, we can never prove this contradiction
So, reductio ad absurdam shows us that we can never have the information
needed to prove the supposition G ==> W.
---------- ----------
General observation from this example:
If our argument includes a proposition that ONLY has one possible value,
(which we observe in our shared reality),
then it is impossible to demonstrate that any ONE cause could cause this
value. Because, we cannot reason about all the possible values of this
proposition.
---------- ----------
Consider these arguments:
If God is good, then there would be no evil in this world.
G ==> NOT e
There is evil in this world.
Therefore, God is not good.
Note that from our shared reality, there is "evil" in the world.
This means that we cannot directly reason, using our shared reality,
about conditions in which evil would not exist.
Note that an infinite number of arguments could also be asserted,
but none of them would prove to be demonstrable. For example...
If we all ate only vegan food, then there would be no evil in the world.
There is evil in the world.
Therefore, we do not all eat vegan food.
If Donald Trump were president, then there would be no evil in the world.
There is evil in the world.
Therefore, Donald Trump is not president.
If there were 45 gender assignments then there would be no evil in the world.
There is evil in the world.
Therefore there are not 45 gender assignments.
---------- ----------
BIG observation:
Although there are fixed truths in our shared reality (Propositions that can ONLY
have one value), these must be asserted as facts in our proofs.
If we want to demonstrate logical causation (material implication), then we need
to be able to reason about BOTH TRUE and FALSE situations in the tail of the
supposed material implication. (The tail of an implication is the proposition at
the head of the arrow).
As far as the hard sciences use logic, they can often created miniature environments
(experiments) in which there are different values to the different components involved
in the experiment, in order to observe the outcome. In this way, both Modus Ponens
and Modus Tollens conditions could be tested, with regard to supposed causality.
But, even with the hard sciences, there are certain conditions which are global
constants. And reasoning about the cause of these definitively, is almost impossible.
It is possible to reason that these global constants follow logically from SOME
of the models of the natural world (or do not). That is, some experiments support
some models, and disprove other models.
Christians need to be very careful, in their application of formal logic in apologetics.
Often, logic can support some assertions in the Bible, or logic is unable to confirm
some assertions in the Bible.
Formal logic can support some models that Christians use, or contradict them, or
have nothing to say about them.