Hello, rvw, sorry for my slow reply ... I got frightened to answer to your huge question ... I'm not qualified yet! ... so please bear in mind this is only some of my personal, shortsighted ideas.
Can I rephrase your question as: why do we need this formal language? We can pose arguments, communicate, express, discuss without it. (This way of presenting the question is not beautiful, but...)
This is actually one of frequent asked questions, and I can understand the feeling of embarrassment of questioners. It's very easy ... they say ... to understand the
meaning of some expressions. Why on earth do we need completely another formal language to understand our everyday-used natural language?
I think we DO need some elaborated tool to analyze the meaning, because the meaning itself is very, very vague, unidentifiable thing. It's flexible and fragile, so we need some keen tool to analyze its structure.
(Just like ... we cannot cut a tomato with another tomato. If we want to know the inner structure of it, we need some keen tool.)
There's another reason. D.R.Dowty once wrote:
| ... the goal of formalization in linguistic research is to enable subsequent researchers to see the defects of an analyses as clearly as its merites; only then can further progress be made efficiently. |
|
I have experienced when I read some paper written in formal approach I can understand the author's point, very clearly. It was a kind of surprise for me. This is, too, one of reasons why I use formal methods.