Skip to main content

Linear Time: The System K l and Its Variants

  • Chapter
Temporal Logic

Part of the book series: LEP Library of Exact Philosophy ((LEP,volume 3))

  • 169 Accesses

Abstract

The standard picture of time is that of a linear series. This appears not only in ordinary conceptions but is assumed in a great portion of physics. The absolute time of Newtonian physics is a one-dimensional linear continuum; even in relativistic physics the ordering of “local” time series is linear. In terms of the relation U of temporal precedence, this means that the temporal order in such conceptions satisfies the requirement both of transitivity:

$$(Utt\prime \& Ut\prime t\prime \prime ) \supset Utt\prime \prime$$

and connectedness:

$$Utt\prime v t = t\prime v Ut\prime t$$

To conform to standard usage, we shall use < throughout this chapter instead of U, to indicate that the specifically linear case is involved, so that we can rewrite the above as:

$$t < t\prime v t = t\prime v t\prime < t$$

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 59.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

Copyright information

© 1971 Springer-Verlag/Wien

About this chapter

Cite this chapter

Rescher, N., Urquhart, A. (1971). Linear Time: The System K l and Its Variants. In: Temporal Logic. LEP Library of Exact Philosophy, vol 3. Springer, Vienna. https://doi.org/10.1007/978-3-7091-7664-1_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-7091-7664-1_8

  • Publisher Name: Springer, Vienna

  • Print ISBN: 978-3-7091-7666-5

  • Online ISBN: 978-3-7091-7664-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics