Re: Existence as predicate

From: Kenneth Doyle (nobody_at_notmail.com)
Date: 09/01/04 

Date: Wed, 01 Sep 2004 01:53:13 GMT

"Witt" <oorionus@yahoo.com> wrote in
news:UdEYc.107903$UTP.80330@twister01.bloor.is.net.cable.rogers.com:

>
> "Robert Trypuz" <trypuz@poczta.enterpol.pl> wrote in message
> news:cgund7$dje$2@achot.icm.edu.pl...
> > Everybody knows that adding a predicate "exist" to Predicate Calculus
> > leads to CONTRADICTION.
> > (Proof is very simple).
>
> ???
> Can we see your very simple proof?
>

hmm... Can I have a go?

The predicate E is "does exist".
The predicate N is "has a number of predicates".

ForAll x (Ex iff Nx).
x exists if and only if it has at least one predicate. That seems
axiomatic if predicates are defined as modes of existence.

However, if x does not exist but has one predicate, namely ~E, then x
exists and does not exist. 

-- 
CodeCutter - good, fast and cheap; pick two.

Relevant Pages

  • Re: Penroses reply to Chalmers
    ... Yes, it's meaningful, but it isn't an instance of a predicate C. ... Kimplies G which implies not K ... so Kleads to a contradiction. ...
    (sci.logic)
  • Re: Question about proof by contradiction
    ... x is not a member of x} ... leads to a contradiction. ... In order to define a set via a predicate, you have to start with a ...
    (sci.math)
  • Re: OT/ America
    ... Alan S wrote: ... Hmm. ... I've known US vets who served as far back as the Spanish American War. ...
    (alt.support.diabetes)
  • Speak of the Devil
    ... "I am wondering that since HMM can be used to ... interpolate, why it can not be used to predicate the wavelet coefficients ...
    (sci.image.processing)
  • Re: How much intelligence?
    ... operations needed for the processing of logical statements with truth values. ... tautological mechanics and I see a lot of confusion using established ... cause any contradiction that didn't already exist in x. ... predicate or a truth value, the and'ing of them doesn't produce a predicate ...
    (comp.ai.philosophy)