Originally published in 1966. Professor Rescher’s aim is to develop a "logic of commands" in exactly the same general way which standard logic has already developed a "logic of truth-functional statement compounds" or a "logic of quantifiers". The object is to present a tolerably accurate and precise account of the logically relevant facets of a command, to study the nature of "inference" in reasonings involving commands, and above all to establish a viable concept of validity in command inference, so that the logical relationships among commands can be studied with something of the rigour to which one is accustomed in other branches of logic.
Table of Contents
Preface 1. Introduction 2. Facets of a Command 3. Terminology and Symbolism 4. The Representation of Commands by ‘Programs’ 5. The Concept of Command Termination 6. Command Coverage and Decomposition 7. Validity and Invalidity 8. Validity in Mixed Cases 9. Logical Relations among Commands 10. Command Provisos 11. Conclusion. Index of Symbols. Index of Names. General Index