MichaelHoffmann/AGORA — Issue #183: Restore option to defend enabler by a modus ponens argument
Author: MichaelHoffmann
Created: 2012-01-27 11:33:27+00:00
State: open

In the course of solving issue #160, we removed the option to defend an enabler by a modus ponens argument. This is an important option. We spent some time on figuring out how a node with two text boxes can be combined so that they show up as one in another node. That was done to create the option to defend an enabler by modus ponens. I think this option will be more often required than using conditional syllogism to defend an enabler.

The problem is that if we allow both options, then we will encounter exactly the same problem again that is described in #160 and other issues. When user moves mouse across all these options, there will be more boxes produced in a node when he moves over conditional syllogism than are available in modus ponens, and these changes (only in the client) cannot be reversed when moving back to modus ponens. I wished we could find a solution for that, at least a warning in a pop-up that this will happen and what can be done (re-open the map). Have a look at "test-145 conditional syllogism." It shows that whatever you do, you can defend a conditional statement only with a conditional statement, and that is not good.