Time and Space in Formal Logic

by Richard L. Epstein

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,...

• Format: Paperback
• Language: English
• ISBN: 193842168X
• ISBN13: 9781938421686
• Release Date: September 2022
• Publisher: Advanced Reasoning Forum
• Length: 304 Pages
• Weight: 1.07 lbs.
• Dimensions: 0.6" x 6.7" x 9.6"