Claim: Artificial intelligence benefits a great deal from Bertrand Russell's work.
Evidence: His work has had a considerable influence on mathematics , logic , set theory , linguistics , artificial intelligence , cognitive science , computer science -LRB- see type theory and type system -RRB- , and philosophy , especially the philosophy of language , epistemology , and metaphysics.