I don’t know much about first order logic—can someone who does tell me whether the two intuitive models in the post on Propositional Graphs are standard or not, and if not why one might want to use them?
The proposition graph is non standard as far as I know. The syntax tree is kind of standard, but a bit unusual. You might want to use them if I show how to use them for logical counterfactuals. (Which I haven’t finished yet)
I don’t know much about first order logic—can someone who does tell me whether the two intuitive models in the post on Propositional Graphs are standard or not, and if not why one might want to use them?
The proposition graph is non standard as far as I know. The syntax tree is kind of standard, but a bit unusual. You might want to use them if I show how to use them for logical counterfactuals. (Which I haven’t finished yet)
Thanks!