Skip to main content

and
  1. Article

    Open Access

    The representation, quantification, and nature of genetic information

    Current genetics studies often refer to notions from information science. The purpose of this paper is to summarize and structure the different notions of information used in biology, as a step towards develop...

    Steinar Thorvaldsen, Peter Øhrstrøm, Ola Hössjer in Synthese (2024)

  2. No Access

    Article

    A critical discussion of Prior’s philosophical and tense-logical analysis of the ideas of indeterminism and human freedom

    This paper is a critical discussion of A.N. Prior’s contribution to the modern understanding of indeterminism and human freedom of choice. Prior suggested that these ideas should be conceived in terms of his t...

    Peter Øhrstrøm in Synthese (2019)

  3. Article

    Preface

    Jørgen Albretsen, Per Hasle, Peter Øhrstrøm in Synthese (2016)

  4. Article

    Open Access

    Prior’s paradigm for the study of time and its methodological motivation

    A. N. Prior’s writings should obviously be studied already for historical reasons. His inventions of modern temporal logic and hybrid logic are clearly important events in the history of logic. But the endurin...

    Per Hasle, Peter Øhrstrøm in Synthese (2016)

  5. Chapter

    What William of Ockham and Luis de Molina Would have said to Nuel Belnap: A Discussion of Some Arguments Against “The Thin Red Line”

    According to A. N. Prior the use of temporal logic makes it possible to obtain a clear understanding of the consequences of accepting the doctrines of indeterminism and free choice. Nuel Belnap is one of the m...

    Peter Øhrstrøm in Nuel Belnap on Indeterminism and Free Action (2014)

  6. No Access

    Article

    Preface

    Peter Øhrstrøm, Per F. V. Hasle, Ulrik Sandborg-Petersen in Synthese (2012)

  7. No Access

    Article

    From a logical angle

    Peter Øhrstrøm, Per F. V. Hasle in Synthese (2012)

  8. No Access

    Article

    Branching time, indeterminism and tense logic

    This paper deals with the historical and philosophical background of the introduction of the notion of branching time in philosophical logic as it is revealed in the hitherto unpublished mail-correspondence be...

    Thomas Ploug, Peter Øhrstrøm in Synthese (2012)

  9. No Access

    Article

    Prior’s defence of Hintikka’s theorem. A discussion of Prior’s ‘The logic of obligation and the obligations of the logician’

    In his paper, The logic of obligation and the obligations of the logician, A.N. Prior considers Hintikka’s theorem, according to which a statement cannot be both impossible and permissible. This theorem has been ...

    Peter Øhrstrøm, Jörg Zeller, Ulrik Sandborg-Petersen in Synthese (2012)

  10. No Access

    Article

    Time and knowledge

    Peter Øhrstrøm, Lasse Burri Gram-Hansen, Ulrik Sandborg-Petersen in Synthese (2012)

  11. No Access

    Article

    Preface

    Torben Braüner, Per Hasle, Peter Øhrstrøm in Synthese (2006)

  12. No Access

    Chapter

    A. N. Prior’s Ideas on the Relation between Semantics and Axiomatics for Temporal Logic

    Temporal reasoning is captured in one manner by tense logic i.e. the logic of primitive tense-operators, and in another manner by the logic of instants (or dates) i.e. the earlier-later calculus. In terms of M...

    Peter Øhrstrøm in Perspectives on Time (1997)

  13. No Access

    Chapter

    A New Tempo-Modal Logic for Emerging Truth

    It was always true that what is true in the present was to be in the future. But as the truth of a proposition regarding the present is a created truth, so is that of a proposition regarding the future. Theref...

    Mogens Wegener, Peter Øhrstrøm in Perspectives on Time (1997)