MichaelHoffmann/AGORA — Issue #153: change handling of conditional syllogism
Author: MichaelHoffmann
Created: 2011-10-20 09:12:23+00:00
State: open

Conditional syllogism works fine if you first enter your claim, then select "or do you want to start with a certain argument scheme" (see test-124-cond-syll). However, when you start with a given modus ponens, and then change the ArgScheme to conditional syllogism, an invalid argument is the result (see test-123).

What we need to do in this second case: original reason needs to be placed into the SECOND text box of the reason node; original claim needs to be placed into the FIRST text box of the reason node; second text box in the claim node needs to open up for new entry.