Prior and temporal sequences for natural language.

*(English)*Zbl 1396.03075Summary: Logics of discrete time are, in Arthur Prior’s words, “applicable in limited fields of discourse in which we are concerned with what happens in a sequence of discrete states,” independent of “any serious metaphysical assumption that time is discrete.” This insight is applied to natural language semantics, a widespread assumption in which is that time is, as is the real line, dense. “Limited fields of discourse” are construed as finite sets of temporal propositions, inducing bounded notions of temporal granularity that can be refined to expand the discourse. The construal is developed in line with Prior’s view of what is “metaphysically fundamental”.

##### MSC:

03B65 | Logic of natural languages |

03B44 | Temporal logic |

03A05 | Philosophical and critical aspects of logic and foundations |

Full Text:
DOI

##### References:

[1] | Allen, JF, Maintaining knowledge about temporal intervals, Commun. ACM, 26, 832-843, (1983) · Zbl 0519.68079 |

[2] | Areces, C; Blackburn, P; Artemov, S (ed.); etal., Reichenbach, prior and montague: A semantic get-together, 77-88, (2005), London · Zbl 1279.03051 |

[3] | Bennett, M., & Partee, B. (1972). Towards the logic of tense and aspect in English. Bloomington: Indiana University Linguistics Club. |

[4] | Blackburn, P, Arthur prior and hybrid logic, Synthese, 150, 329-372, (2006) · Zbl 1108.03001 |

[5] | Comrie, B. (1976). Aspect. Cambridge: Cambridge University Press. |

[6] | Davidson, D; Rescher, N (ed.), The logical form of action sentences, 81-95, (1967), Pittsburgh |

[7] | Dowty, D. R. (1979). Word meaning and Montague grammar. Dordrecht: Reidel. |

[8] | Emerson, EA; Leeuwen, J (ed.), Temporal and modal logic, No. B, 995-1072, (1995), Cambridge · Zbl 0900.03030 |

[9] | Fernando, T. (2013). Dowty’s aspect hypothesis segmented. In Proceedings of the 19th Amsterdam colloquium (pp. 107-114). |

[10] | Galton, A; Galton, A (ed.), The logic of occurrence, 169-196, (1987), San Diego |

[11] | Hamblin, CL, Instants and intervals, Studium generale, 24, 127-134, (1971) |

[12] | Johnson-Laird, PN, The history of mental models, 179-212, (2004), New York |

[13] | Kahneman, D. (2011). Thinking, fast and slow. London: Penguin. |

[14] | Kamp, H. (2013). The time of my life. Retrieved August 10, 2014, from http://lucian.uchicago.edu/blogs/elucidations/2013/08/07/an-essay-by-hans-kamp/. |

[15] | Kamp, H., & Reyle, U. (1993). From discourse to logic. Dordrecht: Kluwer. · Zbl 0865.03018 |

[16] | Klein, W; Klein, W (ed.); Li, P (ed.), How time is encoded, 39-81, (2009), Berlin |

[17] | Montague, R; Hintikka, KJJ (ed.); etal., The proper treatment of quantification in ordinary English, 221-242, (1973), Dordrecht |

[18] | Nishimura, H, Interval logics with applications to study of tense and aspect in English, Publications Research Institute for Mathematical Sciences, 16, 417-459, (1980) · Zbl 0446.03012 |

[19] | Øhrstrøm, P; Hasle, P, A.N. prior’s rediscovery of tense logic, Erkenntnis, 39, 23-50, (1993) |

[20] | Pratt-Hartmann, I, Temporal prepositions and their logic, Artificial Intelligence, 166, 1-36, (2005) · Zbl 1132.03334 |

[21] | Prior, A. N. (1967). Past, present and future. Oxford: Clarendon Press. · Zbl 0169.29802 |

[22] | Prior, AN, Egocentric logic, Noûs, 2, 191-207, (1968) |

[23] | Reichenbach, H. (1947). Elements of symbolic logic. New York: Random House. · Zbl 0034.00301 |

[24] | Taylor, B, Tense and continuity, Linguistics and philosophy, 1, 199-220, (1977) · Zbl 0394.03008 |

[25] | van Lambalgen, M., & Hamm, F. (2004). The proper treatment of events. Oxford: Wiley-Blackwell. |

This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.