Re: Exception to the rule? (Tarski´s T-scheme)

From: G. Frege (no_spam_at_aol.com)
Date: 06/24/04 

Date: Thu, 24 Jun 2004 10:26:41 +0200

On 23 Jun 2004 22:00:40 -0700, paulholbachSPAMBAN@freenet.de (Paul
Holbach) wrote:

> >
> > But certainly you can't have the T-scheme, since it requires that at least
> > two things exist.
> >
>
> Right. - Thanks to you, I'm now well aware of this fact. :-)
>

This is only a fact if our meta logic is classical. There we already
assume that our domain is not empty (requires that at least one thing
exists). T h e n the T-Scheme requires that at least two things exist.
(Actually, two different wffs.) With other words, the domain of wffs is
not empty.

F.