Research Catalog

Details

Description

1. xi, 418 pages; 24 cm

Summary

1. Professor Koslow advances a new account of the basic concepts of logic. A central feature of the theory is that is does not require the elements of logic to be based on a formal language. Rather, it uses a general notion of implication as a way of organizing the formal results of various systems of logic in a simple but insightful way. The study has four parts. In the first two parts the various sources of the general concept of an implication structure and its forms are illustrated and explained. Part III defines the various logical operations and systematically explores their properties. A generalized account of extensionality and dual implication is followed by a substantial treatment of the extensionality of each of the operators, as well as the relation of negation and its dual, because of the novel results they yield. Part IV considers modal operators and examines their interactions with logical operators. By obtaining the usual results without the usual assumptions, this new approach allows one to give a very simple account of modal logic, minus the excess baggage of possible world semantics. The book is aimed at philosophers, logicians, mathematicians, linguists, and computer scientists. It will be accessible to advanced undergraduates and graduates in those fields.

Subject

1. Logic, Symbolic and mathematical
2. Implication (Logic)
3. Structuralism
4. structures (structural elements)
5. structures (single built works)
6. structuralism
7. Logic, Symbolic and mathematical
8. Structuralism
9. Logik
10. Mathematische Logik
11. Strukturalismus
12. Logica
13. Modale logica
14. Operatoren

Contents

1. pt. I. Background. 1. Introduction. 2. The program and its roots. 3. Introduction and Elimination conditions in a general setting. 4. The Belnap program -- pt. II. Implication relations. 5. The theory of implication relations. 6. Implications: Variations and emendations. 7. Familiar implication relations: Deducibility and logical consequence. 8. Implication relations: Direct and derived. 9. Implications from implications. 10. Implication relations and the a priori: A further condition? -- pt. III. The logical operators. 11. Hypotheticals. 12. Negations. 13. Conjunctions. 14. The disjunction operator. 15. The logical operators parameterized. 16. Further features of the operators. 17. The dual of negation: Classical and nonclassical implication structures.
2. 18. The distinctness and relative power of the logical operators. 19. Extensionality. 20. Quantification. 21. Identity. 22. Special structures I: Logical operators on individuals: Mereology reconstituted. 23. Special structures II: Interrogatives and implication relations. 24. Completeness -- pt. IV. The modal operators. 25. Introduction. 26. Modality. 27. Modals: Existence and nonextensionality. 28. Special modals. 29. The possibility of necessity-style modals. 30. Modals revisited I. 31. Quantification and modality. 32. Modals revisited II. 33. Knowledge, truth, and modality. 34. The comparative strength of modals. 35. Kripke-style systematization of the modals without possible worlds. 36. Model functions, accessibility relations, and theories. 37. Migrant modals.
3. Appendix A: An implication relation for the integers in the programming language BASIC -- Appendix B: Symmetric sequents as products of implication relations and their duals -- Appendix C: Component-style logical operators and relevance.

Bibliography (note)

1. Includes bibliographical references (p. [410]-413) and index.