Orange Seeds
playing with cymbals
A story:
For my symbolic logic class, students are required to answer simple quizzes online and submit the quizzes for grades. When we submit the quizzes we get to see what we got wrong. Simple.
So one set of quizzes had four options for answers, and we were tasked to pick all the correct answers. One of the answers is:
I somehow got it into my head that this was a highly ambiguous answer. It could mean two separate things. Accusing a logic professor of ambiguous language is pretty much an accusation of complete vocational incompetence; not realizing this, I went and asked my prof about it. He laughed, gave a simple(/insufficient) explanation and stormed off.
Me being myself, can't rest until someone convinces me that it is not ambiguous. So answer me:
Is
For my symbolic logic class, students are required to answer simple quizzes online and submit the quizzes for grades. When we submit the quizzes we get to see what we got wrong. Simple.
So one set of quizzes had four options for answers, and we were tasked to pick all the correct answers. One of the answers is:
which can be shortened without relevant loss to:4. These are not semantically equivalent in the TARSKI blocks language on every interpretation of the non-logical symbols, whether the standard interpretation or a nonstandard one
not semantically equivalent on every interpretation
I somehow got it into my head that this was a highly ambiguous answer. It could mean two separate things. Accusing a logic professor of ambiguous language is pretty much an accusation of complete vocational incompetence; not realizing this, I went and asked my prof about it. He laughed, gave a simple(/insufficient) explanation and stormed off.
Me being myself, can't rest until someone convinces me that it is not ambiguous. So answer me:
Is
ambiguous?not semantically equivalent on every interpretation
Spoiler :
It seems to me that it can mean:
1. Equivalent on no interpretation
-or-
2. There is some interpretation that it is not equivalent
1. Equivalent on no interpretation
-or-
2. There is some interpretation that it is not equivalent