RE: virus: Re: Social Metaphysics

David McFadzean (
Thu, 02 Oct 1997 15:39:37 -0600

At 10:13 AM 10/1/97 +0100, Robin Faichney wrote:

>item, so A=A is tautologous. I believe that makes it
>invalid as an axiom, but I have to admit I'm not well
>up on formal systems, and will welcome any comments.

Tautologies (statements that are necessarily true) are
valid axioms. For instance, the inference rules of a
logic system such as (A & B) -> ~(~A v ~B) are tautologous
axioms. Contradictions (statements that are necessarily
false) are invalid axioms.

David McFadzean       
Memetic Engineer      
Church of Virus