Re: Existence, Self-identity and Uniqueness.

From: William Elliot <marsh@xxxxxxxxxxxxxxxxxx>
Date: Thu, 28 Dec 2006 21:33:45 -0800

On Thu, 28 Dec 2006, Jan Burse wrote:

William Elliot wrote:

More bother ensues with quantifies, to show the definition is
invariant over quantifiers or even for H(ixF(x), ixG(x)) that
the order of applying the definition to F and G grants identical
or equivalent results.

The order shouldn't matter so much, as
the preconds stack up via conjunctions,
which is associative, commutative and
indepodent...

It's all part of showing that ambuigity applying the definition makes no
difference. That the definition is robust as regards its fluid notation.
.

References:
- Existence, Self-identity and Uniqueness.
  - From: Owen
- Re: Existence, Self-identity and Uniqueness.
  - From: Jan Burse
- Re: Existence, Self-identity and Uniqueness.
  - From: William Elliot
- Re: Existence, Self-identity and Uniqueness.
  - From: Jan Burse
- Re: Existence, Self-identity and Uniqueness.
  - From: William Elliot
- Re: Existence, Self-identity and Uniqueness.
  - From: Jan Burse

Prev by Date: Re: Existence, Self-identity and Uniqueness.
Next by Date: Re: Existence, Self-identity and Uniqueness.
Previous by thread: Re: Existence, Self-identity and Uniqueness.
Next by thread: Re: Existence, Self-identity and Uniqueness.
Index(es):
- Date
- Thread

Relevant Pages

Re: Intuitionistic second order propositional logic: Any sources?
... Jan Burse says... ... with quantifiers that range over propositional ... f= forall p p ... Daryl McCullough ...
(sci.logic)
Re: Existence, Self-identity and Uniqueness.
... William Elliot wrote: ... invariant over quantifiers or even for H, ... the preconds stack up via conjunctions, ...
(sci.logic)