MichaelHoffmann/AGORA — Issue #184: bug in expanded modus ponens
Author: MichaelHoffmann
Created: 2012-01-27 11:53:06+00:00
State: open

if a modus ponens is expanded (more than one reason provided), then the list of language forms must be reduced, because it causes logical problems when you say, for example, "the streets get wet and people stay at home only if it rains." Therefore, for expanded arguments only the language forms if-then, whenever, and provided that are available for modus ponens (for expanded modus tollens only "only if" is available).

The problem is now: it is possible to create a simple modus ponens (one reason) with "implies." When the argument is completed, and user clicks on "add" under therefore, another reason node will be created, text can be entered BUT this second reason does not appear in the enabler. See AGORA map "test 144." The same happens when "only if," "sufficient" and "necessary condition" is used.

Solution: If there is a modus ponens formulated with "implies," "only if," "sufficient" or "necessary condition," then clicking on "add" under therefore must lead to the error message "CannotAddReason" (already in translation.xml).