You certainly gave me the most-favorable interpretation. But I just goofed. I fixed it above. This is what I was thinking, but my mind wanted to put “black(x)” in there because that’s what you do with ravens in symbolic logic.
The new version is much clearer. My interpretation of the old version was that y was something like “attribute,” so you could say “Not every black thing has being a raven as one of its attributes” or “for every black thing, it does not have an attribute which is being a raven.” Both of those are fairly torturous sentences in English but the logic looks the same.
You certainly gave me the most-favorable interpretation. But I just goofed. I fixed it above. This is what I was thinking, but my mind wanted to put “black(x)” in there because that’s what you do with ravens in symbolic logic.
A) Not everything is a raven: !∀x raven(x)
B) Everything is not a raven: ∀x !raven(x)
The new version is much clearer. My interpretation of the old version was that y was something like “attribute,” so you could say “Not every black thing has being a raven as one of its attributes” or “for every black thing, it does not have an attribute which is being a raven.” Both of those are fairly torturous sentences in English but the logic looks the same.