• Srap Tasmaner
    4.6k

    Sorry for the confusion -- I was formulating the negative, "Nothing comes from nothing."

    Yours is the negative of mine, so it's all good.
  • TheMadFool
    13.8k
    My logic is bad. I've read some up recently and I'm still quite shaky on the subject.

    Nihil ex nihilo = nothing comes from nothing.
    Nothing comes from nothing = everything comes from something = (Ax)(Ey)(x comes from y) = not the case that there exists an x such that it is false that there exists a y such that x comes from y
    = ~(Ex)~(Ey)(x comes from y).

    (1) ~(Ex)~(Ey)(x comes from y)

    Creatio ex nihilo = something comes from nothing.
    Something comes from nothing = there exists an x such that for all y, it's false that x comes from y = (Ex)(Ay)~(x comes from y).

    (2) (Ex)(Ay)~(x comes from y)

    Oh now I see it. Thanks. Had to write that down to understand it.

    (1) is the negation of (2). Am I right?
  • Srap Tasmaner
    4.6k

    Nailed it.

    You just have to get used to how quantifiers and negatives go together. "All" is the same as "There isn't one that isn't" and "There is" is the same as "Not all aren't".

    ¬∃¬ can be traded for ∀
    ¬∀¬ can be traded for ∃
123Next
bold
italic
underline
strike
code
quote
ulist
image
url
mention
reveal
youtube
tweet
Add a Comment