Skip to main content

and
  1. No Access

    Chapter and Conference Paper

    Learning Analytics Based on Streamed Log Data from a Course in Logic

    This paper describes the analysis of streamed log data generated from the use of two specific e-learning tools in the context of a basic logic course taught and evaluated at Aalborg University, Denmark, during...

    Peter Øhrstrøm, Steinar Thorvaldsen, David Jakobsen in Innovative Technologies and Learning (2023)

  2. No Access

    Chapter and Conference Paper

    Formal, Measurable Ontologies for Worldviews

    Formal ontology has been used in a variety of projects in the humanities. Most interesting from our perspective is the work carried out to develop an ontology of Wittgenstein’s Nachlass since we want to take the ...

    David Jakobsen, Simon Graf in Measuring Ontologies for Value Enhancement… (2022)

  3. No Access

    Chapter

    Ockhamistic Inspiration in Modern Tense-Logic

    The logic and philosophy of William of Ockham (ca. 1285–1347) was a very important inspiration to the founding father of modern tense-logic, A. N. Prior (1914–69). This paper offers a discussion of four aspect...

    Peter Øhrstrøm, David Jakobsen in Ockhamism and Philosophy of Time (2022)

  4. No Access

    Chapter and Conference Paper

    The Use of E-learning Tools in a Basic Logic Course During the COVID-19 Lockdown

    This paper describes a study of the development and use of e-learning tools in the context of a basic logic course that was taught during the COVID-19 lockdown in 2021. The tools were used to compensate for le...

    Peter Øhrstrøm, Steinar Thorvaldsen in Innovative Technologies and Learning (2021)

  5. No Access

    Chapter and Conference Paper

    The Use of E-learning Tools and Log Data in a Course on Basic Logic

    This paper is a study of the use of e-learning tools and log data in evaluating and further develo** a course on basic logic. It is a continuation of earlier studies involving practical experiments with stud...

    Peter Øhrstrøm, Steinar Thorvaldsen in Innovative Technologies and Learning (2020)

  6. No Access

    Article

    An illusion close to life

    Recently scholars have discovered a diary entry of Arthur Norman Prior dated the 25 March 1942 (Prior in The Nachlass of A.N. Prior, 2014a), in which Prior is reflecting on his own views and attitudes towards the...

    David Jakobsen in Synthese (2016)

  7. No Access

    Chapter and Conference Paper

    The Interpretation of Branching Time Diagrams

    The use of branching time diagrams in tense logic was originally suggested in 1957 by Saul Kripke. During the following years, A.N. Prior (1914–1969) developed models with forwards branching and backwards lin...

    David Jakobsen, Peter Øhrstrøm in Graph-Based Representation and Reasoning (2016)

  8. No Access

    Article

    An introduction to ‘faith, unbelief and evil’

    David Jakobsen in Synthese (2012)

  9. No Access

    Chapter

    A.N. Prior’s Notion of the Present

    This paper presents a fresh look at A.N. Prior’s Notion of The Present (1970), in order to cast light on the article through Prior’s own notes from the Bodleian library. This will be done in order to evaluate two...

    David Jakobsen in Multidisciplinary Aspects of Time and Time Perception (2011)

  10. No Access

    Chapter and Conference Paper

    A.N. Prior’s Ideas on Tensed Ontology

    A.N. Prior’s work with Peirce’s philosophy and investigations into the formalisation of temporal ontology give rise to some important questions regarding time and existence. Some answers to these questions are...

    David Jakobsen, Peter Øhrstrøm in Conceptual Structures for Discovering Know… (2011)