On 27 Jan 2014, at 22:48, LizR wrote:
On 28 January 2014 06:07, Bruno Marchal <[email protected]> wrote:
On 27 Jan 2014, at 17:18, John Clark wrote:
On Sun, Jan 26, 2014 Bruno Marchal <[email protected]> wrote:
> John should read the book by Jammer on Einstein's religion. 2/3
of that book is really informative about Einstein's religion.
Rather than read what Jammer had to say try reading what Einstein
himself had to say about God:
"it was, of course, a lie what you read about my religious
convictions, a lie which is being systematically repeated. I do not
believe in a personal God and I have never denied this but have
expressed it clearly. If something is in me which can be called
religious then it is the unbounded admiration for the structure of
the world so far as our science can reveal it."
This makes my point. Einstein illustrates that you can believe in a
non personal God.
After all my lessons in logic, I feel duty bound to point out that
Einstein only said that he didn't believe in a personal God. From
that, one cannot deduce that he thought you can believe in a non-
personal God (or god, if you prefer).
That is right.
But the premise is false. Einstein did not only said that he does not
believe in a personal God. Clark was quoting partially Einstein, out
of the context. Einstein said also that he believes in God.
(I would try to formalise this, something like ~p -> q =/= p -> ~q
but my expertise in meta-self-doubt assures me I'd probably mess it
up.)
~p -> q is indeed not equivalent with p -> ~q.
This means that ((~p -> q) <-> (p -> ~q)) is not a law.
But that does not mean that its negation is a law.
~((~p -> q) <-> (p -> ~q)) is not a law either.
Bruno
--
You received this message because you are subscribed to the Google
Groups "Everything List" group.
To unsubscribe from this group and stop receiving emails from it,
send an email to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/groups/opt_out.
http://iridia.ulb.ac.be/~marchal/
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/groups/opt_out.
