Description: Homepage of Koen Lefever
logic (493) philosophy of science (47) koen lefever (1) definability theory (1) definitional equivalence (1) logical synonymity (1) logical synonymy (1) first-order logic (1) logical interpretation (1) logical translation (1)
I am a voluntary research affiliate to the Centre for Logic and Philosophy of Science of the Vrije Universiteit Brussel . My main research interests are the use of methods from mathematical logic in philosophy of science and the formal axiomatization of scientific theories, in particular theories in physics (classical mechanics and relativity theories).
My work can be situated in the tradition of the Andréka–Németi School at the the Alfréd Rényi Institute of Mathematics in Budapest, which is inspired by David Hilbert's sixth problem Mathematical Treatment of the Axioms of Physics , by the logical empiricism of the Wiener Kreis , and by Alfred Tarski's initiative Logic, Methodology and Philosophy of Science .