Re: The name of the typeface

Sean wrote:
John J. Chew, III wrote:
Sean wrote:
How about "All true propositions that can be proven to be true are tautologies."
Yeah, that sounds like a tautology to me.
The proposition itself sounds like a tautology? It's like one of them a priori deals? Cool. 

I was being clever.  If you accept your own proposition, then calling
it a tautology is tantamount to accepting the possibility that it is
true and provable.  If you accept the converse of your proposition,
then of course I've just said that it's true.

Everything I've been taught is a taughtology. 

Was your teacher a tortoise?

John
--
John Chew (poslfit on MD) * jjchew@xxxxxxxxxxxxxxxx * http://www.poslfit.com
.

Relevant Pages

  • Re: Tautologies Then and Now
    ... > all tautologies are valid but not all valids are tautologies in pred. ... > properly be deemed ambiguous or confusing, ... To clarify: In prop. ... logic all tautologies are also valid but not the converse. ...
    (sci.logic)
  • Re: The name of the typeface
    ... John J. Chew, III wrote: ... If you accept your own proposition, then calling ... it a tautology is tantamount to accepting the possibility that it is ...
    (sci.lang.japan)