Not all claims of the form “all Xs are Ys” are false, and neither is every conclusion of the form “all Xs are Ys” a product of bad reasoning. Suppose your software were to replace “All electrons are negatively charged” with “All rabbits are highly educated”. How is the reviewer supposed to react? Is she supposed to conclude that the original statement is false? Why?
You are using the phrase “hasty generalization” in a highly non-standard way here. Philosophers classify hasty generalization as an informal fallacy. The “informal” means that the content matters, not just the formal structure of the argument. Also, a hasty generalization is an argument, not a single sentence. An example of a hasty generalization would be, “I was cut off by an Inuit driver on the way to work today. All Inuits must be terrible drivers.” The fallacy is that the evidence being appealed to (being cut off by one Inuit driver) involves much too small a sample for a reliable generalization to an entire population. But just looking at the formal structure of the argument isn’t going to tell you this.
There are formal fallacies, where the fallacy in the reasoning is subject-independent. An example would be “affirming the consequent”—arguing that since B is true and A implies B, A must also be true. You could build the kind of software you envisage for formal fallacies, but you’d need another strategy for catching and dealing with informal fallacies.
Not all claims of the form “all Xs are Ys” are false, and neither is every conclusion of the form “all Xs are Ys” a product of bad reasoning. Suppose your software were to replace “All electrons are negatively charged” with “All rabbits are highly educated”. How is the reviewer supposed to react? Is she supposed to conclude that the original statement is false? Why?
You are using the phrase “hasty generalization” in a highly non-standard way here. Philosophers classify hasty generalization as an informal fallacy. The “informal” means that the content matters, not just the formal structure of the argument. Also, a hasty generalization is an argument, not a single sentence. An example of a hasty generalization would be, “I was cut off by an Inuit driver on the way to work today. All Inuits must be terrible drivers.” The fallacy is that the evidence being appealed to (being cut off by one Inuit driver) involves much too small a sample for a reliable generalization to an entire population. But just looking at the formal structure of the argument isn’t going to tell you this.
There are formal fallacies, where the fallacy in the reasoning is subject-independent. An example would be “affirming the consequent”—arguing that since B is true and A implies B, A must also be true. You could build the kind of software you envisage for formal fallacies, but you’d need another strategy for catching and dealing with informal fallacies.