The reductio ad absurdum(归谬法) against Strong A d eductio ad absurdum(Latin: "reduction to the absurd") is a form of argument in which a proposition is disproven by following its implications logically to an absurd consequence a( )If Strong Al is true, then there is a program for Chinese such that if any computing system runs that program, that system thereby comes to understand chinese (2)I could run a program for Chinese without thereby coming to understand Chinese (3)Therefore Strong Al is false eductio ad absurdum (Latin: "reduction to the absurd") is a form of argument in which a proposition is disproven by following its implications logically to an absurd consequence.  (1) If Strong AI is true, then there is a program for Chinese such that if any computing system runs that program, that system thereby comes to understand Chinese. (2) I could run a program for Chinese without thereby coming to understand Chinese. (3) Therefore Strong AI is false. The reductio ad absurdum (归谬法) against Strong AI