SINOPSIS DEL LIBRO

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 l...Seguir leyendo