• Rendsburggade 14, 6-209

    9000 Aalborg

    Denmark

  • Rendsburggade 14, 6-209

    9000 Aalborg

    Denmark

1975 …2019
If you made any changes in Pure these will be visible here soon.

Research Output 1975 2019

2019
94 Downloads (Pure)

Logic and Philosophy of Time: Further Themes from Prior, Vol. 2

Blackburn, P. R. (ed.), Hasle, P. (ed.) & Øhrstrøm, P. (ed.), 2019, 1 ed. Aalborg Universitetsforlag. 230 p. (Logic and Philosophy of Time, Vol. 2).

Research output: Book/ReportAnthologyResearchpeer-review

Open Access
File
Primacy
Arthur Prior
Tense
Philosophy of Time
Logic

Tro og kosmologi

Fynbo, J. P. U. & Øhrstrøm, P., 2019, Tro og videnskab. Øhrstrøm, P. (ed.). Forlaget CKT, p. 44-63

Research output: Contribution to book/anthology/report/conference proceedingBook chapterCommunication

Tro og tidslogik

Jakobsen, D. & Øhrstrøm, P., 2019, Forlaget CKT. 18 p.

Research output: Book/ReportAnthologyCommunication

Tro og videnskab: Principielt set

Christensen, K. & Øhrstrøm, P., 2019, Tro og videnskab. Øhrstrøm, P. (ed.). Forlaget CKT, p. 15-28

Research output: Contribution to book/anthology/report/conference proceedingBook chapterCommunication

Tro og videnskab

Øhrstrøm, P. (ed.), 2019, Forlaget CKT.

Research output: Book/ReportAnthologyCommunication

Tro og videnskab: Indledning

Øhrstrøm, P., 2019, Tro og videnskab. Øhrstrøm, P. (ed.). Forlaget CKT, p. 5-14

Research output: Contribution to book/anthology/report/conference proceedingPreface/Introduction/postscriptCommunication

2018

A.N. Prior's Logic

Øhrstrøm, P., Hasle, P. F. V. & Jakobsen, D., 2018, Internet Encyclopedia of Philosophy. (Internet Encyclopedia of Philosophy).

Research output: Contribution to book/anthology/report/conference proceedingEncyclopedia chapterResearchpeer-review

Open Access
2 Citations (Scopus)

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

Øhrstrøm, P., 2018, In : Synthese. 196, 1, p. 69–85

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access

Prior's Grappling with Peirce's Existential Graphs

Øhrstrøm, P., 3 Apr 2018, In : History and Philosophy of Logic. 39, 2, p. 158-163 6 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Existential Graphs
Logic
England
Philosophy
Charles Sanders Peirce

Richard of Lavenham's Analysis of the Future Contingency Problem Represented in Terms of Modern Tempo-Modal Logic

Øhrstrøm, P., 2018, Modern Views of Medieval Logic. Kann, C., Loewe, B., Rode, C. & Uckelman, S. L. (eds.). Leuven: Peeters, p. 219-231 13 p.

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

Thoughts on Time, Truth, and Transcendence

Øhrstrøm, P., 2018, God, Time, Infinity. Szatkowski, M. (ed.). Berlin/Boston: De Gruyter, p. 131-146 16 p. (Philosophische Analyse , Vol. 75).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

William of Ockham on Future Contingency

Øhrstrøm, P. & Jakobsen, D., 2018, In : KronoScope.

Research output: Contribution to journalJournal articleResearchpeer-review

contingency
formalization
suggestion
logic
Formalization
2017

C. S. Peirce

Øhrstrøm, P., 2017, The History of Philosophical and Formal Logic: From Aristotle to Tarski. Malpass, A. & Marfori, M. A. (eds.). New York: Bloomsbury Academic, p. 165-182 17 p.

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

In Celebration of Past, Present and Future

Jakobsen, D., Øhrstrøm, P. & Hasle, P., 2017, Logic and Philosophy of Time: Themes from Prior. Aalborg: Aalborg Universitetsforlag, p. 9-27 19 p. (Logic and Philosophy of Time, Vol. 1).

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

Open Access
602 Downloads (Pure)

Logic and Philosophy of Time: Themes from Prior, Volume 1

Hasle, P. (ed.), Blackburn, P. R. (ed.) & Øhrstrøm, P. (ed.), 2017, Aalborg Universitetsforlag. 252 p. (Logic and Philosophy of Time; No. 1).

Research output: Book/ReportAnthologyResearchpeer-review

Open Access
File
108 Downloads (Pure)

Teaching Basic Ideas in Logic Using E-learning Tools

Øhrstrøm, P., Sandborg-Petersen, U., Thorvaldsen, S. & Ploug, T., 2017, In : EAI Endorsed Transactions on e-Learning. 17, 13, 8 p., e3.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File

The Diodorean approach to time and modality from a historical and a philosophical perspective

Corpina, F. & Øhrstrøm, P., 2017, Logic and Philosophy of Time: Themes from Prior. Hasle, P., Blackburn, P. & Øhrstrøm, P. (eds.). Aalborg: Aalborg Universitetsforlag, p. 83-101 19 p. (Logic and Philosophy of Time, Vol. 1).

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

Open Access

The Prior-von Wright Debate on Anselm's Argument for the Existence of God

Jakobsen, D. & Øhrstrøm, P., 2017, On the Human Condition: Philosophical Essays in Honour of the Centennial Anniversary of Georg Henrik von Wright. Societas Philosophica Fennica, Vol. 93. p. 255-267 13 p. (Acta Philosophica Fennica).

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

2016
1 Citation (Scopus)

A.N. Prior's ideas on keeping track of branching time

Øhrstrøm, P. & Ploug, T., 1 Jan 2016, Time and Trace: Multidisciplinary Investigations of Temporality. Gross, S. & Ostovich, S. (eds.). Brill, p. 181-196 16 p. (Study of Time, Vol. 15).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

Branching Time
Arthur Prior
Presentist
Formalization
Totality

A. N. Prior’s Ideas on Keeping Track of Branching Time

Øhrstrøm, P. & Ploug, T., 2016, Time and Trace: Multidisciplinary Investigations of Temporality. Brill, p. 179-196 18 p. (The Study of Time, Vol. 15).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

Conceptual and Metaphysical Origins and Relevance of Temporal Logic

Jakobsen, D. & Øhrstrøm, P., 2016, PROCEEDINGS, 23rd International Symposium on Temporal Representation and Reasoning — TIME 2016. Dyreson, C., Hansen, M. R. & Hunsberger, L. (eds.). IEEE, p. 167-176 10 p.

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

Designing a New Tool for E-learning in Syllogistics

Øhrstrøm, P. & Sandborg-Petersen, U., 2016, Proceedings of the Fifth Conceptual Structures Tools & Interoperability Workshop (CSTIW 2016). p. 37-45 9 p. (CEUR Workshop Proceedings).

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

Open Access
45 Downloads (Pure)

Investigating Worldviews with Protégé

Bro Wormslev Jakobsen, T., Jakobsen, D. & Øhrstrøm, P., 2016, In : CEUR Workshop Proceedings. p. 28-36 9 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
Ontology

Philosophy and Psychology of Time

Mölder, B. (ed.), Arstila, V. (ed.) & Øhrstrøm, P. (ed.), 2016, Springer Publishing Company. (Studies in Brain and Mind, Vol. 9).

Research output: Book/ReportAnthologyResearchpeer-review

Preface

Albretsen, J., Hasle, P. & Øhrstrøm, P., 2016, In : Synthese. 193, 11, p. 3397-3399 3 p.

Research output: Contribution to journalEditorialResearchpeer-review

Open Access
97 Downloads (Pure)

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

Hasle, P. & Øhrstrøm, P., 2016, In : Synthese. 193, 11, p. 3401–3416 15 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File

Teaching Syllogistics Using E-learning Tools

Øhrstrøm, P., Sandborg-Petersen, U., Thorvaldsen, S. & Ploug, T., 2016, E-Learning, E-Education, and Online Training: Third International Conference, eLEOT 2016, Dublin, Ireland, August 31 - September 2, 2016, Revised Selected Papers. Springer, p. 103-110 8 p. (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, Vol. 180).

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

electronic learning
Teaching
argumentation
teaching method
learning

The Concept of Time: A Philosophical and Logical Perspective

Øhrstrøm, P., 2016, Philosophy and Psychology of Time. Mölder, B., Arstila, V. & Øhrstrøm, P. (eds.). Springer Publishing Company, p. 9-27 18 p. (Studies in Brain and Mind, Vol. 9).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

The Interpretation of Branching Time Diagrams

Jakobsen, D. & Øhrstrøm, P., 2016, Graph-Based Representation and Reasoning. Haemmerlé, O., Stapleton, G. & Zucker, C. F. (eds.). Springer, p. 31-39 9 p. (Lecture Notes in Artificial Intelligence : Subseries of Lecture Notes in Computer Science, Vol. 9717).

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

2015

En persuasiv model for digitalisering af kulturarven: Kaj Munks værker som eksempel

Øhrstrøm, P., 2015, In : Munkiana. 19, 57, p. 26-30

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access

Future Contingents: First published Thu Jun 9, 2011; substantive revision Tue Dec 8, 2015

Øhrstrøm, P. & Hasle., P. F. V., 2015, In : Stanford Encyclopedia of Philosophy. 2015, 28 p.

Research output: Contribution to journalJournal articleResearchpeer-review

4 Citations (Scopus)

Issues in robot ethics seen through the lens of a moral Turing Test

Gerdes, A. & Øhrstrøm, P., 2015, In : Journal of Information, Communication and Ethics in Society. 13, 2, p. 98-109

Research output: Contribution to journalJournal articleResearchpeer-review

På vej mod en indeterministisk tidslogik med sand fremtid: Et molinistisk svar

Øhrstrøm, P., 2015, Mening med tiden. Ploug, T. (ed.). Aalborg Universitetsforlag, p. 185-201

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

2 Citations (Scopus)

Teaching Syllogistics Through Gamification and Interactive Proofs

Øhrstrøm, P., Sandborg-Petersen, U., Thorvaldsen, S. & Ploug, T., 2015, Design for Teaching and Learning in a Networked World: 10th European Conference on Technology Enhanced Learning, EC-TEL 2015, Toledo, Spain, September 15-18, 2015, Proceedings. Conole, G., Klobučar, T., Rensing, C., Konert, J. & Lavoué, É. (eds.). Springer, p. 609-612 4 p. (Lecture Notes in Computer Science; No. 9307).

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

Tid, logik og etik - forbundne grundbegreber i Priors metafysik

Øhrstrøm, P. & Ploug, T., 2015, Mening med tiden. Ploug, T. (ed.). Aalborg Universitetsforlag, p. 7-24

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

Tidslogiske argumenter i debatterne om tilblivelse

Øhrstrøm, P., 2015, Mening med tiden. Ploug, T. (ed.). Aalborg: Aalborg Universitetsforlag, p. 203-213 11 p.

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

2014

Kaj Munk og livssynsdebatten i 1920'erne

Øhrstrøm, P., 2014, Kaj Munk og teologien. Dosenrode, S., Iversen, H. R. & Lodberg, P. (eds.). København: Nyt Nordisk Forlag Arnold Busck, p. 45-69 25 p.

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

On Prior's First Things in Logic

Øhrstrøm, P. & Hasle, P., 2014, First Things in Logic. Aalborg: Aalborg Universitetsforlag, p. 4-5 2 p.

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

Slutscenen i Han sidder ved Smeltediglen

Øhrstrøm, P. & Sandborg-Petersen, U., 2014, In : Munkiana. 2014, 55, p. 38-42 5 p.

Research output: Contribution to journalJournal articleResearchpeer-review

3 Citations (Scopus)

Teaching Syllogistics Using Conceptual Graphs

Øhrstrøm, P., Sandborg-Petersen, U., Thorvaldsen, S. & Ploug, T., 2014, Graph-Based Representation and Reasoning: Proceedings of the 21st International Conference on Structures. Hernandez, N., Jäschke, R. & Croitoru, M. (eds.). Springer Publishing Company, p. 217-230 14 p. (Lecture Notes in Computer Science).

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

3 Citations (Scopus)

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

Øhrstrøm, P., 2014, Nuel Belnap on Indeterminism and Free Action. Müller, T. (ed.). Springer, p. 175-190 16 p. (Outstanding Contributions to Logic, Vol. 2).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

2013

Case Study: Kaj Munk: Using Persuasive Learning

Sørensen, C. G., Gram-Hansen, S. B. & Øhrstrøm, P., 3 Sep 2013, Proceedings of the International Workshop on EuroPLOT Persuasive Technology for Learning, Education, and Teaching. Behringer, R. & Sinclair, G. (eds.). 2 ed. EuroPLOT, p. 45-53 8 p.

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

5 Citations (Scopus)

Classical Syllogisms in Logic Teaching

Øhrstrøm, P., Sandborg-Petersen, U., Thorvaldsen, S. & Ploug, T., 2013, Conceptual Structures for STEM Research and Education: 20th International Conference on Conceptual Structures, ICCS 2013, Mumbai, India, January 10-12, 2013. Proceedings. Pfeiffer, H. D., Ignatov, D. I., Poelmans, J. & Gadiraju, N. (eds.). Springer Publishing Company, Vol. 7735. p. 31–43 13 p. (Lecture Notes in Computer Science).

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

Darwin's Perplexing Paradox: Intelligent Design in Nature

Thorvaldsen, S. & Øhrstrøm, P., 2013, In : Perspectives in Biology and Medicine. 56, 1, p. 78-98 21 p.

Research output: Contribution to journalJournal articleResearchpeer-review

From Geocaching to Mobile Persuasive Learning: Motivating the Interest in the Life and Work of Danish Author Kaj Munk

Gram-Hansen, L. B., Gram-Hansen, S. B. & Øhrstrøm, P., 18 Sep 2013. 2 p.

Research output: Contribution to conference without publisher/journalPosterResearchpeer-review

595 Downloads (Pure)

Persuasive Design in Teaching and Learning

Behringer, R. & Øhrstrøm, P., 2013, In : International Journal of Conceptual Structures and Smart Applications. 1, 2, p. 1-5 5 p.

Research output: Contribution to journalJournal articleResearchpeer-review

File
241 Downloads (Pure)

Preliminary Reflections on a Moral Turing

Gerdes, A. & Øhrstrøm, P., 2013, ETHICOMP 2013 Conference Proceedings: The possibilities of ethical ICT. Syddansk Universitetsforlag, p. 167-174 8 p.

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

File
8 Citations (Scopus)

Teaching Logic through Web-Based and Gamified Quizzing of Formal Arguments

Øhrstrøm, P., Sandborg-Petersen, U., Thorvaldsen, S. & Ploug, T., 2013, Scaling up Learning for Sustained Impact: 8th European Conference, on Technology Enhanced Learning, EC-TEL 2013, Paphos, Cyprus, September 17-21, 2013. Proceedings. Springer Publishing Company, p. 410-423 14 p. (Lecture Notes in Computer Science, Vol. 8095).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

2012

Argumentationen i Det Etiske Råds redegørelser

Øhrstrøm, P., 2012, Praksisformernes etik: bidrag til anvendt etik. Kjærsdam Telléus, P. & Pahuus, M. (eds.). Aalborg: Aalborg Universitetsforlag, p. 103-124 22 p. (Applied Philosophy / Anvendt Filosofi, Vol. 3).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

16 Citations (Scopus)

Branching time, indeterminism and tense logic

Ploug, T. & Øhrstrøm, P., 1 Oct 2012, In : Synthese. 188, 3, p. 367-379 13 p.

Research output: Contribution to journalJournal articleResearchpeer-review