Very interesting, thanks. The idea of "supporting evidence" is murkier than it first appears. Also the _scope_ of a proposition is unclear; "all ravens are black" has a scope that is clearly constrained to ravens, but the logically equivalent proposition "all non-black things are not ravens" has a scope of all non-black things.