Pretty much.
His opening statement is:
| |
|
Start by accepting as fact that all machines ever observed have come from an intelligence.
|
This is a statement but it's not valid for use in propositional logic.
Statements as propositions need to be presented in a way for them to be true or false, but not both. And they certainly cannot be introduced by making a literal proposition which is what he did. This is usually done by use of the word "if" which is then followed by implications by use of the word "then".
There are further errors that he made later on in posts trying to back up his already existing errors but he won't admit to them. He's a bit of a bullshitter.