It is a strawman. And typically, this strawman wears a fedora. It's the classic "haha see I used your beliefs against you can you tell how superior I am?" argument you see from pseudo-intellectuals. In fact the argument presented by the previous poster is basically a textbook copy of the tired Euthyphro Dilemma.

Godel's incompleteness theorem might be a better approach to applying logic to faith. You can't prove the existence of God because we have no system above God from which to prove him with. You would think a famous logician like Bertrand Russell would understand this. Though, he did waste a large portion of his career trying to solve the crisis of foundation in mathematics. One would think this experience alone would provide some enlightenment on what faith actually is. Perhaps even geniuses aren't infallible.