54 Result(s)

Chapter and Conference Paper

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

In this paper the focus is on the construction, use, pedagogical potential, and long-term sustainability of certain web-based tools designed for teaching logic. A series of web-based tools have been implemente...

Peter Øhrstrøm, Ulrik Sandborg-Petersen… in Scaling up Learning for Sustained Impact (2013)

Article

Preface

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

Article

From a logical angle

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

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)

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)

Article

Time and knowledge

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

Chapter and Conference Paper

Develo** Persuasive Technology for ASD Challenged Teenagers

The HANDS project suggests the use of Mobile Persuasion in order to support teenagers with an autism diagnosis and normal or high IQ. The paper offers a description of the HANDS toolset and its potential. The ...

Morten Aagaard, Peter Øhrstrøm in Persuasive Technology. Design for Health and Safety (2012)

Chapter

Towards a Common Language for the Discussion of Time Based on Prior’s Tense Logic

Time is not definable in terms of other concepts. On the other hand, it is generally accepted that Augustine was right in claiming that we as human beings have a tacit knowledge of what time is. But how can th...

Peter Øhrstrøm in Multidisciplinary Aspects of Time and Time Perception (2011)

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)

Chapter and Conference Paper

Branching Time as a Conceptual Structure

This paper deals with the history and the philosophy of some important conceptual structures of time and modality. In particular, the focus is on the historical and philosophical background of the introduction...

Peter Øhrstrøm, Henrik Schärfe, Thomas Ploug in Conceptual Structures: From Information to… (2010)

Reference Work Entry In depth

Time in Philosophical Logic

Peter Øhrstrøm, Per F. V. Hasle in Encyclopedia of Database Systems (2009)

Chapter and Conference Paper

Time and Logic: A.N. Prior’s Formal Analysis of Temporal Concepts

This paper deals with A.N. Prior’s analysis of the concepts of dynamic and static time, i.e., McTaggart’s so-called A- and B-concepts. The relations and mutual dependencies between these temporal concepts are ...

Peter Øhrstrøm in Formal Concept Analysis (2009)

Chapter and Conference Paper

Jacob Lorhard’s Ontology: A 17^th Century Hypertext on the Reality and Temporality of the World of Intelligibles

Jacob Lorhard published his ontology in 1606. In this work the term ontologia ‘ontology’ was used for the first time ever. In this paper, it is argued that Lorhard’s ontology provides a useful key to the understa...

Peter Øhrstrøm, Henrik Schärfe… in Conceptual Structures: Knowledge Visualiza… (2008)

Article

Ethical Problems Inherent in Psychological Research based on Internet Communication as Stored Information

This paper deals with certain ethical problems inherent in psychological research based on internet communication as stored information. Section 1 contains an analysis of research on Internet debates. In parti...

Peter Øhrstrøm, Johan Dyhrberg in Theoretical Medicine and Bioethics (2007)

Chapter and Conference Paper

Historical and Conceptual Foundation of Diagrammatical Ontology

During the Renaissance there was a growing interest for the use of diagrams within conceptual studies. This paper investigates the historical and philosophical foundation of this renewed use of diagrams in ont...

Peter Øhrstrøm, Sara L. Uckelman… in Conceptual Structures: Knowledge Architect… (2007)

Chapter and Conference Paper

Surveillance, Persuasion, and Panopticon

The surveillance in public and private places, both physically and digitally, is increasing for different reasons. In this paper we intend to discuss surveillance and persuasive technology in an ethical perspe...

Julie Leth Jespersen, Anders Albrechtslund, Peter Øhrstrøm… in Persuasive Technology (2007)

Article

Preface

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

Chapter and Conference Paper

What Has Happened to Ontology

Ontology as the study of being as such dates back to ancient Greek philosophy, but the term itself was coined in the early 17^th century. The idea termed in this manner was further studied within academic circles ...

Peter Øhrstrøm, Jan Andersen, Henrik Schärfe in Conceptual Structures: Common Semantics fo… (2005)