Volume 2 provides an intensive account of the new vision in analytical philosophy initiated by Ludwig Wittgenstein's Tractatus Logico-Philosophicus, its assimilation by the Vienna Circle of Moritz Schlick and Rudolf Carnap, and the subsequent flowering of logical empiricism. With this "linguistic turn, " philosophical analysis became philosophy itself, and the discipline's stated aim was transformed from advancing philosophical theories to formalizing, systematizing, and unifying science. In addition to exploring the successes and failures of philosophers who pursued this vision, the book describes how the philosophically minded logicians Kurt Gödel, Alfred Tarski, Alonzo Church, and Alan Turing discovered the scope and limits of logic and developed the mathematical theory of computation that ushered in the digital era. The book's account of this pivotal period closes with a searching examination of the struggle to preserve ethical normativity in a scientific age.