Our aim in this book will be to set out and discuss artificial languages which can exhibit many if not all of the semantical features of natural languages. Such an aim will necessitate a very general definition of a wide class of languages. Part I of the book will prepare the way by studying the general form of the languages of propositional logic, particularly the languages of intensional logic.