-
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...
-
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...
-
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...
-
Chapter and Conference Paper
Teaching Propositional and Syllogistic Logic Using E-learning Tools
This paper is a study of the use of E-learning tools in a course on basic logic. It is a continuation of earlier studies involving practical experiments with students of communication using the Syllog system f...
-
Chapter and Conference Paper
Teaching Syllogistics Using E-learning Tools
This paper is a study of various strategies for teaching syllogistics as part of a course in basic logic. It is a continuation of earlier studies involving practical experiments with students of Communication ...
-
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...
-
Chapter and Conference Paper
Teaching Syllogistics Through Gamification and Interactive Proofs
This paper is a continuation of earlier studies involving experiments with Communication students using a Java-Applet running in the student’s browser, developed using the Prolog programming language as embodi...
-
Chapter and Conference Paper
Teaching Syllogistics Using Conceptual Graphs
It has for centuries been commonly believed that syllogistic reasoning is an essential part of human rationality. For this reason, Aristotelian syllogistics has since the rise of the European university been a...
-
Chapter and Conference Paper
Classical Syllogisms in Logic Teaching
This paper focuses on the challenges of introducing classical syllogisms in university courses in elementary logic and human reasoning. Using a program written in Prolog+CG, some empirical studies have been ca...
-
Chapter and Conference Paper
From Geocaching to Mobile Persuasive Learning – Motivating the Interest in the Life and Work of Danish Author Kaj Munk
This paper presents some of the initial steps taken towards digital mediation of the cultural heritage related to Danish author Kaj Munk and the impact these steps have had on the ongoing research on persuasiv...
-
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...
-
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 ...
-
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...
-
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...
-
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 ...
-
Chapter and Conference Paper
Jacob Lorhard’s Ontology: A 17th 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...
-
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...
-
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...
-
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 17th century. The idea termed in this manner was further studied within academic circles ...
-
Chapter and Conference Paper
A Priorean Approach to Time Ontologies
Any non-trivial top-level ontology should take temporal notions into account. The details of how this should be done, however, are frequently debated. In this paper it is argued that “the four grades of tense-...