Projects per year
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
- 1 Similar Profiles
Collaborations from the last five years
Projects
- 2 Finished
-
Educational and Entrepreneurial co-operation in Future City
Jakobsen, D. (Project Participant), Svarre, T. (Project Participant), Jensen, T. (Project Participant), Christensen, B. A. (Project Participant) & Gram-Hansen, S. B. (Project Participant)
01/09/2021 → 01/12/2023
Project: Other
File -
Building Educational Co-operation in Smart City
Jakobsen, D. (Project Participant) & Øhrstrøm, P. (Supervisor)
01/08/2018 → 01/12/2019
Project: Other
-
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 proceeding › Article in proceeding › Research › peer-review
-
Tense-Logic and the Revival of Philosophical Theology
Jakobsen, D., Oct 2024, In: Philosophies. 9, 5, 139.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile4 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 journal › Journal article › Research › peer-review
Open AccessFile21 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 proceeding › Article in proceeding › Research › peer-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 proceeding › Article in proceeding › Research › peer-review
Open AccessFile1 Citation (Scopus)32 Downloads (Pure)
Prizes
-
Best Paper Award
Jakobsen, D. (Recipient), Øhrstrøm, P. (Recipient), Ploug, T. (Recipient), Thorvaldsen, S. (Recipient) & Sandborg-Petersen, U. (Recipient), 25 Nov 2020
Prize: Conference prizes
File
-
Dispelling the Freudian Spectre
Jakobsen, D. (Lecturer)
20 Nov 2019Activity: Talks and presentations › Conference presentations
File -
Arthur Norman Prior's diskussion af tro, tvivl og ondskab
Jakobsen, D. (Lecturer)
5 Oct 2019Activity: Talks and presentations › Guest lecturers
-
Letters between Mary and Arthur Prior in 1954: Topics on Metaphysics of Time
Jakobsen, D. (Lecturer)
19 Mar 2019 → 21 Mar 2019Activity: Talks and presentations › Conference presentations
File -
The Metaphysics of Time: Themes from Prior
Jakobsen, D. (Organizer), Øhrstrøm, P. (Organizer) & Hasle, P. (Organizer)
19 Mar 2019 → 21 Mar 2019Activity: Attending an event › Conference organisation or participation
Press/Media
-
Debat: Vi bliver mere og mere efterladt i provinsen
12/02/2025
1 item of Media coverage
Press/Media: Press / Media
-
-
70-årig professor udgiver bog om tro og videnskab
Øhrstrøm, P., Søndergaard, B. D. & Jakobsen, D.
17/03/2019
2 items of Media coverage
Press/Media: Press / Media
-
-