>>11434885You misunderstood what I'm saying, but whatever. I'm also not the guy you started the conversation with fyi.
Indeed, LEM is also just a formal statement. What I'm saying is that
>It's vacuously true that current king of France is bald and not baldsounds like you make a statement about the world by application of formal logic. I wouldn't leave the formal realm when discussing such things, even if it's just to get a point across.
Sure, in FOL, you can also prove
>there's a thing such that if it is a bird, everything is a birdbut plain FOL doesn't give the nicest theory of implication and Australian/Relevance logic has too complicated semantics for it to ever leave the Philosophy departments, sadly
