First of all, let me say I’m glad to see your name on a new post because I have fond memories of your LW posts from over 10 years ago. You write:
exists(X, implies([long logical form saying X is the prettiest girl in the county], wants(“Jamal”, marry(“Jamal”, X))))
Where you wrote “exists”, you meant “forall”.
Suppose Zelda is definitely not the prettiest girl in the county, then implies([long logical form saying Zelda is the prettiest girl in the county], wants(“Jamal”, marry(“Jamal”, X)))) == imples(False, …) == True, which makes the exists form True regardless of whom Jamal want to be married to. I.e., the formula as you have it now does not constrain the space of possibilities the way you want it to.
Another way to see it is that “For all x in X, x is green” gets formalized as forall(x, implies(x in X, x is green)), which in broad brush strokes is the form you want here.
First of all, let me say I’m glad to see your name on a new post because I have fond memories of your LW posts from over 10 years ago. You write:
Where you wrote “exists”, you meant “forall”.
Suppose Zelda is definitely not the prettiest girl in the county, then implies([long logical form saying Zelda is the prettiest girl in the county], wants(“Jamal”, marry(“Jamal”, X)))) == imples(False, …) == True, which makes the
existsform True regardless of whom Jamal want to be married to. I.e., the formula as you have it now does not constrain the space of possibilities the way you want it to.Another way to see it is that “For all x in X, x is green” gets formalized as forall(x, implies(x in X, x is green)), which in broad brush strokes is the form you want here.
You’re right. Thanks! It’s been so long since I’ve written conversions of English to predicate logic.