-
Article
Open AccessThe representation, quantification, and nature of genetic information
Current genetics studies often refer to notions from information science. The purpose of this paper is to summarize and structure the different notions of information used in biology, as a step towards develop...
-
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
Ockhamistic Inspiration in Modern Tense-Logic
The logic and philosophy of William of Ockham (ca. 1285–1347) was a very important inspiration to the founding father of modern tense-logic, A. N. Prior (1914–69). This paper offers a discussion of four aspect...
-
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...
-
Article
A critical discussion of Prior’s philosophical and tense-logical analysis of the ideas of indeterminism and human freedom
This paper is a critical discussion of A.N. Prior’s contribution to the modern understanding of indeterminism and human freedom of choice. Prior suggested that these ideas should be conceived in terms of his t...
-
Reference Work Entry In depth
Time in Philosophical Logic
-
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 ...
-
Article
Preface
-
Article
Open AccessPrior’s paradigm for the study of time and its methodological motivation
A. N. Prior’s writings should obviously be studied already for historical reasons. His inventions of modern temporal logic and hybrid logic are clearly important events in the history of logic. But the endurin...
-
Book
-
Living Reference Work Entry In depth
Time in Philosophical Logic
-
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
The Concept of Time: A Philosophical and Logical Perspective
As pointed out by St. Augustine we cannot give a proper definition of time as such. Furthermore, conceiving time as a literal object would be highly problematic. It is, however, possible to establish a concept...
-
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
What William of Ockham and Luis de Molina Would have said to Nuel Belnap: A Discussion of Some Arguments Against “The Thin Red Line”
According to A. N. Prior the use of temporal logic makes it possible to obtain a clear understanding of the consequences of accepting the doctrines of indeterminism and free choice. Nuel Belnap is one of the m...
-
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...