Sure you can always use the total net of all possible proposition. But the set of all propositions is intractable. It may not even be sensibly enumerable.
For nested nets at least you can construct the net of the powerset of the nodes and that will do the job—in theory. In practive even that is horribly inefficient. And even though our brain is massively parallel it surely doesn’t do that.
Sure you can always use the total net of all possible proposition. But the set of all propositions is intractable. It may not even be sensibly enumerable.
For nested nets at least you can construct the net of the powerset of the nodes and that will do the job—in theory. In practive even that is horribly inefficient. And even though our brain is massively parallel it surely doesn’t do that.