The Death of Logic

A hundred years ago, logic died: it was either logic
and a transcendent creator or neither, and not only
was atheism on the rise, the creator whose existence
was logically implied was less political than the God
of the embattled religions of those war-faring days.

Prima facie, logic took off at that time, thanks to Hilbert
and other mathematicians. There are now lots of formal logics,
so logic looks very scientific: formal logics are very mathematical.
So, they are as rigorously logical as mathematics. But is it logical
to redefine truth because of some linguistic puzzles? Is it logical
to have each number but not every number?

Suppose we get a really good string theory, S.
Should we use S to redefine all of our physical entities?
If the description of electrons in S was E then we could
say that "electron" named E. But would we?
Or do we know that electrons are electrons?

Arithmetic is a subset of the properties of possible objects:
one object and another object is one-plus-one objects, etc.
But 1 has become the name of {{}} in mathematics.
    Did Frege refute Mill's description of 1?
    Not only did he not, how could he have?
    Surely Mill (and Euler) knew what one is.
Set theory mimics mathematics well enough,
but does anyone believe that 1 is really {{}}?
Surely we all know (as Euler knew) what 1 is.
Mathematicians wanted to replace 1 with {{}}
because the logic of numbers is paradoxical.
    And because 1 was replaced, logic was too.

Logically, there was that paradoxical proof;
and although the Liar paradox now looks like
just another reason to replace truth and its logic
with something formal, that is not really scientific:
science pursues truth, and logic takes truths to truths
(where to say, of what is, that it is, is to speak the truth).
Logic takes truths to truths because logic just gives us part
of what we already had. How, then, could there be a logical
proof that there is a God? Because we already had a logical
paradox: we had to lose part of the contradiction
to get consistency. Did we have to lose the logical
possibility of there not being a God? Was there an
alternative? Yes: a hundred years ago, we lost logic
instead (because of Frege and Russell and Hilbert).