On 29/07/2013 5:30 PM, omd wrote:
I suppose it's appropriate to say that paraconsistent logic isn't an appropriate answer; unless the rules use language that expect us to work indirectly to determine the possibility of an action, it's necessary to go all the way to intuitionistic logic.
I am, as it happens, a mathematical constructivist. The reasoning is fully constructive (goes through in intuitionistic logic).
