Claim: Bertrand Russell's work has had a lot of influence on logic.
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.