Proof of "Axioms" of Propositional Logic.

[talanum1]

They haven't done anything evil yet.

 

[EmmanuelGoldstein]

They haven't done anything evil yet.

are you sure? they chucked you down on the ground from the spaceship the other day. That must have been one heck of a bang on the head.

 

[talanum1]

The axiom means: "B and B exist if and only if the empty structure exist and we reasoned through a logical singularity." Is it sound?

 

[Brian_G]

They haven't done anything evil yet.

"yet" supposes you're expecting they may indeed do so. Which means you're either placing the science (and your status with them) values higher, or you're unstable.

What kind of science does a destructively focused group come up with... nothing worthy to the collective I imagine.
So no thanks.

 

[talanum1]

Unfortunately "B" is provable from "(B)-->--(C) (C)" if we allow left facing Attractor Introduction (A:AtI), and we shouldn't be able to. So we got to disallow it. But then we can also not prove "(notB)" from "(B)-->--(C) (notC)".

We could disallow it and prove the latter by contraposition and Modus Ponens.