Contents: 1. History of logic : C.I. Lewis and C.H. Langford : Development of symbolic logic - W.C. and M.H. Kneale : Place of logic among the science - 2. Formal approach : H. Wang : Formalization - John R. Myhill : Ontological significance of the Löwenheim - Skolen theorem - E. Nagel and J.R. Newman : Gödel's proof - 3. Meaning and reference : Gottlob Frege : On sense and nominatum - Bertrand Russell : On denoting - P.F. Strawson : On referring - Russell on Strawson - 4. Theory of types : Russell : Mathematical logic - F.B. Fitch : Self-reference in philosophy - 5. Logic and ontology : W. van O. Quine : On what there is - Rudolf Carnap : Empiricism, semantics and ontology - A. Church : Need for abstract entities in semantic analysis - N. Goodman : World of individuals - 6. Modal logic : G. Ryle : Formal and informal logic - P.F. Strawson : Logical theory - W.V.O. Quine : Strawson on logical theory - Peter T. Geach on Strawson - 7. Modal logic : C. I. Lewis : Structure of the system of strict implication - W.V.O. Quine : Interpreting modal logic - F.B. Fitch : Morning star and evening star - R. B. Marcus : Modalities and intensional languages - 8. Deontic logic : G.H.von Wright : Deontic logic - And derived obligation - A.R. Anderson and O. K. Moore : Formal analysis of normative concept - 9. Many valued Logics