You’ve never talked to anyone working in constructive logic? That’s a clear example of Law of Excluded Middle, which is not assumed there. It is a logical truth in classical logic.
Worse, I would not even agree that ‘Taylor Swift is or is not human’ is always short for ‘Either Taylor Swift is human or it’s not the case that Taylor Swift is human’, since I don’t think that (when we’re talking strictly) ‘not the case that Taylor Swift is human’ means exactly the same thing as ‘Taylor Swift is not human’. There are also forms of logic that formalize this difference.
I have taught logic classes at several universities. I am assuming that as I am using it in the post, “TS either is or is not human” is logically true. It doesn’t matter if there are viable interpretations of it that aren’t logically true. I thought it was clear that I was using the sentence to express a logical truth. All I need in the argument is the premise that it can express a logical truth. Almost everyone agrees with that premise, especially since “Taylor Swift” has a referent.
You’ve never talked to anyone working in constructive logic? That’s a clear example of Law of Excluded Middle, which is not assumed there. It is a logical truth in classical logic.
Worse, I would not even agree that ‘Taylor Swift is or is not human’ is always short for ‘Either Taylor Swift is human or it’s not the case that Taylor Swift is human’, since I don’t think that (when we’re talking strictly) ‘not the case that Taylor Swift is human’ means exactly the same thing as ‘Taylor Swift is not human’. There are also forms of logic that formalize this difference.
I have taught logic classes at several universities. I am assuming that as I am using it in the post, “TS either is or is not human” is logically true. It doesn’t matter if there are viable interpretations of it that aren’t logically true. I thought it was clear that I was using the sentence to express a logical truth. All I need in the argument is the premise that it can express a logical truth. Almost everyone agrees with that premise, especially since “Taylor Swift” has a referent.