Using the formalization system I wrote of earlier, let's take a look at this famous question. First we should note that this is a yes/no question which is different from the questions that I have earlier formalized. The earlier questions sought to identity a certain individual, but yes/no questions do not. Instead they ask whether something is the case or not. So this time I cannot use the (x=?) question phrase from earlier, since there is no individual to identify similarly to the earlier cases. One idea is to simply add a question mark at the end. Like this:
“Do you still beat your wife?” formalized
“Do you still beat your wife?” formalized
“Do you still beat your wife?” formalized
Using the formalization system I wrote of earlier, let's take a look at this famous question. First we should note that this is a yes/no question which is different from the questions that I have earlier formalized. The earlier questions sought to identity a certain individual, but yes/no questions do not. Instead they ask whether something is the case or not. So this time I cannot use the (x=?) question phrase from earlier, since there is no individual to identify similarly to the earlier cases. One idea is to simply add a question mark at the end. Like this: