Abstract

In this paper we will translate the theory of evolution from a scientific framework to a philosophy of nature framework using formal logic. The purpose of this is to allow philosopher for philosophers that because of their view of science can not use the principle of evolution in their system. To translate, we use predicate logic with some logical vocabulary coming form interval base temporal logic, and we formalize a principle of recursion in one of our premise to simulate the passing of generations.