Re: What isn't a tautology?



Chris Menzel wrote:
> On 18 Jul 2005 04:33:33 -0700, Michael De <mikejde@xxxxxxxxx> said:
> > Actually, I am thinking up a subtle proviso to make it valid.
>
> You mean you want to talk about a *different* schema? If a schema is
> invalid, no proviso will undo it.

You would be surprised what a privso can do. Look at all the
nonstandard axiomatizations coming out of the 1950s from Mostowski,
Hailperin, Leonard, Quine. Create a free logic with one proviso to
Quine's axioms!

.

Relevant Pages

  • Re: What isnt a tautology?
    ... the schema in question is invalid. ... But a proviso can still make an invalid schema ... > It is most definitely a redefinition of validity. ...
    (sci.logic)
  • Re: What isnt a tautology?
    ... the schema in question is invalid. ... But a proviso can still make an invalid schema ... It is most definitely a redefinition of validity. ... I take it this is not the "proviso" you had in mind for rendering the ...
    (sci.logic)
  • Re: What isnt a tautology?
    ... You mean you want to talk about a *different* schema? ... no proviso will undo it. ... Prev by Date: ...
    (sci.logic)
  • Re: What isnt a tautology?
    ... >> Chris Menzel wrote: ... no proviso will undo it. ... the schema in question is invalid. ... But a proviso can still make an invalid schema ...
    (sci.logic)
  • Re: What isnt a tautology?
    ... I am thinking up a subtle proviso to make it valid. ... no proviso will undo it. ... the schema in question is invalid. ...
    (sci.logic)