Philosophy is the search for the large patterns of the world and of the large patterns of experience, perceptual, theoretical, . . . , aesthetic, and practical - the patterns that, regardless of specific contents, characterize the main types of experience. In this book I carry out my search for the large patterns of practical experience: the experience of deliberation, of recognition of duties and their conflicts, of attempts to guide other person's conduct, of deciding to act, of influencing the (...) physical world with one's doings, and the like. This is the experience that makes possible our social life, the formulation of plans for teamwork, the building of institutions, the development of nations, and the adoption of the ideal of morality. Here I develop a network of theories about the most fundamental aspects of practical thinking: what is thought in such thinking; what makes that thinking correct; what makes it practical; and the structure of the doings that accrue to the world when such thinking is effective. I have attempted to build each theory in sufficient detail, so that it il luminates its subject matter with a certain degree of fullness. But I have also aimed at producing an harmonious system of theories, so that the grand pattern of practical thinking can be admired, not only for the beauty of the separate structures of its parts, but also for its architectonic unity. Chapter 1 gives the details of the many facets of this project and discusses some methodological techniques. (shrink)

It is the purpose of this paper to carry out a partial syntactical analysis of imperatives. Imperatives form a large body of linguistic expressions, appearing, e.g. in mathematical proofs be a continuous function!”), laws, moral injunctions, instruction, etc. For analytical purposes we distinguish between two forms of imperatives, the fiat and the directive. By a directive we mean an imperative which includes an indication of the agent who is to carry it out. For example, “Henry, don't forget to stop at (...) the grocery!” is a directive. By a fiat we mean an imperative which includes no reference to an agent who is to carry it out. For example, “Let there be light!” is a fiat. This is a distinction made in terms of meaning. If, however, proper symbolic devices were introduced for the formalization of imperatives, it could be made in a syntactical manner. Thus we could distinguish between imperatives which possess a certain operator—the directive operator formed by putting a name within square brackets—as “[Henry]!”, and imperatives which do not possess this operator, e.g. “Let it be the case that Henry does not forget to stop at the grocery!” In the following we pay attention only to fiats. This, of course, involves a great limitation of subject matter and excludes topics of great interest. (shrink)

This introduction to the basic forms of deductive inference as evaluated by methods of modern symbolic logic is de­signed for sophomore-junior-level stu­dents ready to specialize in the study of deductive logic. It can be used also for an introductory logic course. The inde­pendence of many sections allows the instructor utmost flexibility. The text consists of eight chapters, the first six of which are designed to intro­duce the student to basic topics of sen­tence and predicate logic. The last two chapters extend (...) the procedures of the first six to alethic modal logic, the logic of imperatives, and deontic logic. Throughout the text there is an attempt to relate symbolic techniques to issues in the philosophy of logic. (shrink)