Is a computer conceivable that would cut down on Philosophers' work by immediately identifying logic mistakes in arguments? For example: you enter "The Ontological argument for God" or "David Hume's argument against Inductive Reasoning" (or, for that matter, scan in the entire text of Plato's Republic) into the machine, and it immediately uses its programming (which tells it to watch out for contradiction, and all those other logic laws, etc.) and spits out the mistakes in reasoning. Is the problem with this that it would be too difficult to program, or that the laws of logic are under respectable attack?
Read another response by Alexander George
Read another response about Logic, Philosophy