
- 303 pages
- English
- PDF
- Available on iOS & Android
Time and Space in Formal Logic
About this book
Time and Space in Formal Logic begins with an analysis of assumptions about how logic and language relate. Then in the first section, times are taken to be established by true propositions, and those are related as before and after with temporal propositional connectives. In the second section, times are treated as things that can be picked out and counted, leading to a predicate logic that allows for quantification over times. In the third section, locations in space are also treated as things that can be picked out and counted, leading to a predicate logic that allows for quantification over both times and locations. Many applications of the formal systems to formalizing ordinary language propositions and inferences clarify better the assumptions we make in reasoning taking account of time and space by making those precise in the formal systems. Appendices on events, branching times, intentions, and descriptive names add to the scope of the work.
Frequently asked questions
- Essential is ideal for learners and professionals who enjoy exploring a wide range of subjects. Access the Essential Library with 800,000+ trusted titles and best-sellers across business, personal growth, and the humanities. Includes unlimited reading time and Standard Read Aloud voice.
- Complete: Perfect for advanced learners and researchers needing full, unrestricted access. Unlock 1.4M+ books across hundreds of subjects, including academic and specialized titles. The Complete Plan also includes advanced features like Premium Read Aloud and Research Assistant.
Please note we cannot support devices running on iOS 13 and Android 7 or earlier. Learn more about using the app.
Information
Table of contents
- Table of Contents
- Preface
- Cast of Characters
- Logic and Language
- Relative Times
- Temporal Propositional Connectives
- Quantifying over Relative Times
- Times and Locations as Things
- Space in Predicate Logic
- Metaphysical Bases of Logics of Time and Space
- Appendices
- Bibliography
- Index of Examples
- Index of Symbols
- Index