Karel Lambert is one of the founders of free logic, and the inventor
of both free description theory, and an integrationist theory of
scientific understanding. He is working on a book on definite
descriptions and, concurrently, in the logical foundations of computer
programming.
