Teacher:In this task you will be given a text passage from a trivia quiz. You should choose the category this question belongs to from these categories: History, Science, Social Science, Fine Arts, Literature. You can only choose one category, so if in doubt, please choose the closest match.
Teacher: Now, understand the problem? Solve this instance: One paper by this author rejects Meinong's theory that all grammatically correct phrases stand for real objects. This philosopher examined the truth value of statements about non-existent objects with the sentence "The present King of France is bald." This philosopher introduced the "theory of types" to solve the problem of whether the set of all sets that are not members of themselves contains itself, a paradox named for this author of On Denoting. With an older philosopher, he wrote a work that attempted to derive mathematics using symbolic logic. For 10 points, name this English philosopher who collaborated with Alfred North Whitehead on Principia Mathematica.
Student:
Social Science