Share
Time and Space in Formal Logic
Richard L. Epstein
(Author)
·
Advanced Reasoning Forum
· Paperback
Time and Space in Formal Logic - Epstein, Richard L.
Choose the list to add your product or create one New List
✓ Product added successfully to the Wishlist.
Go to My Wishlists
Origin: Colombia
(Import costs included in the price)
It will be shipped from our warehouse between
Wednesday, June 26 and
Tuesday, July 09.
You will receive it anywhere in United Kingdom between 1 and 3 business days after shipment.
Synopsis "Time and Space in Formal Logic"
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.
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
All books in our catalog are Original.
The book is written in English.
The binding of this edition is Paperback.
✓ Producto agregado correctamente al carro, Ir a Pagar.
