A study of various central and connected topics in philosophical logic and the theory of meaning. There are important sections on the relation between linguistic and abstract entities, on necessity and convention, on meaning, sense and reference, and on entailment.