I have been reading on propositions for both propositional grammar and propositional logic. Think:
- What Is Meaning? by Scott Soames
- New Thinking About Propositions by Jeffrey C. King, Scott Soames and Jeff Speaks
As is usual, the resources use two formats ... brackets and tree structure. Example of brackets: [prop [arg John] [pred BELIEVE] [arg [prop [arg 0] [pred Redness]. I would like to see the sentence diagrams function expanded to generate a tree diagram from the brackets notation (see http://mshang.ca/syntree/ ) and, ideally, creating the brackets format from a tree (think all the clause visualization resources).
This would allow one to modify the syntax trees/propositional grammar et.al. to show the effect of alternative readings/parsings of the text ... a huge help for language teachers, language students, students learning to analyze the text, and those muddling around in the original languages when important for determining meaning.
It's been quite a while since we've had an upgrade of language visualizations, isn't it time. Note that it could easily be expanded to support text flow and arcing flow type visualizations.