Abstract
Rudolf Carnap is principally renowned for stating with remarkable precision and rigor a rich variety of philosophical doctrines — doctrines which, thanks mainly to Carnap’s meticulous formulations, the philosophical world now holds to be clearly and fundamentally mistaken. Thus, it is Carnap who, in Meaning and Necessity (Carnap 1947), presents in detail the linguistic doctrine of logical truth and the semantic underpinnings of the analytic/synthetic distinction, providing thereby the grist for the mill of Quine’s highly influential and important attacks on precisely these doctrines. Again, it was Carnap who, more than any other, precisely delineated the program of inductive logic. This program is now, thanks largely to Goodman’s (1983) New Riddle of Induction, also considered hopeless. Carnap is now firmly associated with a bewildering variety of discredited views: reductionism and the unity of science; the verification criterion of meaning; logic as an uninterpreted calculus; Russellian logicism even in the face of Gödel’s devastating incompleteness results; etc.