text: Dwight Waldo criticized this man's reliance on Rudolf Carnap's logical positivism in a protracted debate inthe American Political Science Review.
full_question: Dwight Waldo criticized this man's reliance on Rudolf Carnap's logical positivism in a protracted debate inthe American Political Science Review. He developed a theorem on the existence of solutions to input-outputmatrices along with David Hawkins. With Allen Newell, this man won the Turing Prize for creating the LogicTheorist, potentially the first program of artificial intelligence. This author's major work proposes a "hierarchyof judgments" in which "value judgments" are above "factual judgments," and rejects the idea of an "economicman." In that book, Administrative Behavior, this man argued that when an optimal solution cannot bedetermined, decision-makers instead seek out the first solution that meets most needs at hand. For 10 points,name this polymath from Carnegie Mellon who theorized "bounded rationality" and "satisficing." 
first_sentence: Dwight Waldo criticized this man's reliance on Rudolf Carnap's logical positivism in a protracted debate inthe American Political Science Review.
raw_answer: Herbert Simon 