Personal profile

Research profile

"My research focuses on logic, particularly tense logic, and artificial intelligence. I am especially interested in the historical and conceptual discussions that led to the formalization of the dynamic view of time, also known as tense logic. Tense logic is fascinating as a language that can provide a rigorous formalization of the meaning of time in information systems. I am interested in the research of the founder of tense logic, Arthur Norman Prior (1914-1969), who was highly influential as both a philosopher and logician. I find it important and significant to focus on the impact that the development of tense logic has had on the discussion of philosophical problems concerning time. This includes, in particular, time and existence, where questions about the ontology of the present are crucial, but also the contingency of the future and human freedom. Together with Peter Øhrstrøm and Per Hasle, I lead the Arthur Norman Prior archive at Aalborg University, which houses his correspondence and published as well as unpublished articles. It can be found at nachlass.prior.aau.dk.

My latest research has focused on the use of generative artificial intelligence as an assistant for critical thinking. I am interested in developing and researching systems where generative artificial intelligence plays a role that makes it clear that it is the user who has the opportunity, and therefore the responsibility, to be the critical thinker."

Fingerprint

The fingerprint consists of automatically generated concepts related to the associated persons. It is updated automatically, when new content is added.
  • 1 Similar Profiles

Collaborations from the last five years

Dive into details by clicking on the dots.
  • Exploring Learning in Basic Logic Using Stored Log Data and Exam Data

    Jakobsen, D., Thorvaldsen, S. & Øhrstrøm, P., 2024, Innovative Technologies and Learning - 7th International Conference, ICITL 2024, Proceedings. Cheng, Y.-P., Pedaste, M., Bardone, E. & Huang, Y.-M. (eds.). Springer Science+Business Media, p. 109-119 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14785 LNCS).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • Tense-Logic and the Revival of Philosophical Theology

    Jakobsen, D., Oct 2024, In: Philosophies. 9, 5, 139.

    Research output: Contribution to journalJournal articleResearchpeer-review

    Open Access
    File
    4 Downloads (Pure)
  • A. N. Prior’s journey to ‘real’ freedom

    Jakobsen, D., 23 Oct 2023, In: Logic and Philosophy of Time. 5, 1, 35 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

    Open Access
    File
    21 Downloads (Pure)
  • Formal, Measurable Ontologies for Worldviews

    Jakobsen, D. & Graf, S. J., 1 Jan 2023, Measuring Ontologies for Value Enhancement: Aligning Computing Productivity with Human Creativity for Societal Adaptation - 1st International Workshop, MOVE 2020, Revised Selected Papers. Polovina, R., Polovina, S. & Kemp, N. (eds.). 1 ed. Springer, Vol. 1. p. 86-97 12 p. (Communications in Computer and Information Science).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • Fulfilling Russell’s Wish: A.N. Prior and the Resurgence of Philosophical Theology

    Jakobsen, D., 28 Feb 2023, Organon F. 1 ed. Slovakia: Filozofický ústav SAV, Vol. 30. p. 32-52 21 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    File
    1 Citation (Scopus)
    32 Downloads (Pure)