PEN-L
mailing list archive

Other Periods  | Other mailing lists  | Search  ]

Date:  [ Previous  | Next  ]      Thread:  [ Previous  | Next  ]      Index:  [ Author  | Date  | Thread  ]

re: Tautology



After thinking better of my sarcastic tone to Carrol's message. Let me
explain.

A tautology is a statement that is true by definition. That is, it is
always true.

A = A is a tautology.

A = B is not a tautology. That is, it might be false.

Similarly all true statements are not tautologies. I.e., A = B might be
true.

If all statements were tautologies, math and logic would be very easy.
Anything you write down would be true. No need to prove anything.

--
Rod Hay
rodhay@xxxxxxxxxx
The History of Economic Thought Archive
http://socserv2.mcmaster.ca/~econ/ugcm/3ll3/index.html
Batoche Books
http://Batoche.co-ltd.net/
52 Eby Street South
Kitchener, Ontario
N2G 3L1
Canada




Other Periods  | Other mailing lists  | Search  ]