In article <email@example.com>, Lester Zick <DontBother@nowhere.net> wrote:
> >Again, as has been questioned by another poster, what does "universal > >falseness", or "universally true" mean? > > I rather imagine universal self contradiction would be universally > false and tautological alternatives to universal self contradiction > universally true.
May one assume that "The universal self contradiction" would be something Like "P and not P".
If so then one "tautological alternative" would be the law of the excluded middle, i.e., "P or not P".
But there is a whole school of constructive math which rejects the law of the excluded middle. So it is not "universally true" to them.