Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

I Problems with Existential Instantiation

  1. Feb 10, 2017 #1
    Why is it required to use a "fresh name/variable"? And because of that requirement, Existential instantiation always precedes universal instantiation. What I am thinking is, If we are picking elements at random from our universe of discourse then why can't universal instantiation pick that random element first before existential instantiation does? I would understand the rule that we cannot existentially instantiate more than one element(which will need more than one name/variable) because we can never be sure there is more than one, but the reason EI precedes UI in picking a random element eludes me.
     
  2. jcsd
  3. Feb 10, 2017 #2

    FactChecker

    User Avatar
    Science Advisor
    Gold Member

    If you do universal instantiation first, how do you know that it did not pick an element, c, which does not satisfy the existential property? Also, it seems pointless to identify an element, c, for the universal property before an element which satisfies the existential property is identified.
     
  4. Feb 11, 2017 #3
    it all make sense now. was simply not used to reading symbolic logic. lol
     
  5. Mar 6, 2017 #4
    In non-presupposition-free logic the interpretation of the universal quantificational expression (∀x)[Px] as equivalent to the infinite conjunction (P1 Λ P2 Λ P3 ...) presupposes that every term designates, and the interpretation of the existential quantificational expression (∃x)[Px] as equivalent to the infinite disjunction (P1 V P2 V P3 ...) presupposes that something exists.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?
Draft saved Draft deleted



Similar Discussions: Problems with Existential Instantiation
  1. Megastat problems (Replies: 1)

  2. Combinatorics problem (Replies: 11)

Loading...