Kids, stay away from linguistic studies. Do drugs instead.
But yeah, I do agree with your conclusion that the study of formal semantics is only a study of the effects of formal semantics on formal semantics. I can't see it having much of a connection to reality(unlike maths). That's the main reason I dropped out of my masters last fall, I need real-world application in what I'm studying.
Bookmarks