SINOPSIS DEL LIBRO

Time and Space in Formal Logic begins with an analysis of assumptions about how logic and language relateThen in the first section times are taken to be established by true propositions and those are related as before and after with temporal propositional connectivesIn 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 timesIn the third section locatio...Seguir leyendo