Posted by Bartholomew on January 18, 2002 at 20:06:52:
In Reply to: Re: I challenge you, Isaac posted by isaac on January 18, 2002 at 12:14:43:
: your error checking is done when you've checked everything. examine every premise for truth-value, and every argumetn for validity.
This is not possible. Every time one finds a part of the original argument valid, one is making the argument that that part is valid. As you say, all arguments must be checked for validity. This means that the argument that that part is valid must also be checked for validity.
This process generates another argument, the argument that the argument that the original part is valid is valid. And so on. Every error check is itself an argument that must be checked.