Question

There is an old joke that goes something like this: “If God is love, love is blind, and Ray Charles is blind, then Ray Charles is God.” Explain, in the terms of first-order logic and predicate calculus, why this reasoning is incorrect. can someone explain this in more details?

Answer 1

I do not know the answer to this question the terms of first-order logic and predicate calculus.

In terms of the logic studied in Geometry, the matter has to do with valid reasoning patterns, syllogisms.

The two valid patterns are:

p-->q
p
------
Therefore, q


and

p -->q
~q
-------
Therefore, ~p.

Answer 2

The pattern posted goes like this:

GL --> LB
B
-------
therefore, no conclusion

The fallacy is in reasoning from the converse.

@jmh433

Answer 3

if ray Charles is blind and love is blind then ray charles is love