Logical Criticism Of Functionalism