The general unified theory of intelligence addresses the cognitive functions of thinking, reasoning, and problem solving. At an abstract level, this theory construes the intellective functions of humans and computers as, respectively, restricted and directed forms of the logic of implication. In other words, human intelligence operates according to production rules. Here, Wagman presents the central tenets and research elaboration of the general unified theory of intelligence that embraces both human and artifical intelligence across the cognitive domains of scientific discovery processes, inductive and deductive reasoning, and the mechanisms basic to analogical thinking and problem solving.