About
8
Publications
1,183
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
46
Citations
Citations since 2017
Introduction
Koen Lefever is programme manager for BRAIN-be (Belgian Research Action through Interdisciplinary Networks) at Belspo (Belgian Science Policy Office).
He is a research affiliate to the Centre for Logic and Philosophy of Science (CLPS) at the Vrije Universiteit Brussel, using methods from mathematical logic (in particular Definition Theory) to study the foundations of theories in mathematics and physics.
He often co-operates with the Algebraic Logic Group of the Alfréd Rényi Institute for Mathematics. Koen is a member of the organizing committee of the "Logic, Relativity & Beyond" conferences.
Additional affiliations
January 2018 - present
October 2017 - December 2017
February 2016 - May 2017
Education
September 2011 - May 2017
Publications
Publications (8)
The aim of this dissertation is to present a new logic based understanding of the connection between special relativity and classical kinematics. We show that the axioms of special relativity can be interpreted in the language of classical kinematics. This means that there is a logical translation function from the language of special relativity to...
The aim of this paper is to present a new logic-based understanding of the connection between classical kinematics and relativistic kinematics. We show that the axioms of special relativity can be interpreted in the language of classical kinematics. This means that there is a logical translation function from the language of special relativity to t...
In the literature, there have been several methods and definitions for working out if two theories are "equivalent" (essentially the same) or not. In this article, we do something subtler. We provide means to measure distances (and explore connections) between formal theories. We define two main notions for such distances. A natural definition is t...
For simplicity, most of the literature introduces the concept of definitional equivalence only for disjoint languages. In a recent paper, Barrett and Halvorson introduce a straightforward generalization to non-disjoint languages and they show that their generalization is not equivalent to intertranslatability in general. In this paper, we show that...
The aim of this paper is to present a new logic-based understanding of the connection between classical kinematics and relativistic kinematics. We show that the axioms of special relativity can be interpreted in the language of classical kinematics. This means that there is a logical translation function from the language of special relativity to t...
In the literature, there have been several methods and definitions for working out if two theories are ``equivalent'' (essentially the same) or not. In this article, we do something subtler. We provide means to measure distances (and explore connections) between formal theories. We introduce two main notions for such distances. The first one is tha...
For simplicity, most of the literature introduces the concept of defini-tional equivalence only to languages with disjoint signatures. In a recent paper, Barrett and Halvorson introduce a straightforward generalization to languages with non-disjoint signatures and they show that their generalization is not equivalent to intertranslatability in gene...
For simplicity, most of the literature introduces the concept of definitional equivalence only to languages with disjoint signatures. In a recent paper, Barrett and Halvorson introduce a straightforward generalization to languages with non-disjoint signatures and they show that their generalization is not equivalent to intertranslatability in gener...
