My question is two-fold: What is the actual telos of a proposition?
Propositions have no goal per se, unless you consider them as independant willing agents. People use propositions to achieve some goals just like any tool. If someone change its goal, the way she use the tool may also change.
Should it be centered on logical consistency and truth-value or the formalizing structures of interpretative matrices?
What do you want to do with your logical discourse? For example, you may use constructivist logic to produce a software whom validity is proven, hopefully making it bugfree.