A System of Logic – Introduction