Leibniz’s two labyrinths | L1 Labyrinth of the Infinity | L2 Labyrinth of the subjective behavior | ||||

Actual | Potential | “Law” | “Freedom” | |||

Kant’s four antinomies | “The Mathematical antinomies”: A1 and A2 | “The Dialectical antinomies”: A3 and A4 | ||||

A1 Finite or infinite Cosmos in time or space | A2 Finite or infinite divisibility of matter | A3 Either law or freedom | A4 Existence or not of a necessary being | |||

The two dichotomies | D1 Kind of Infinity | D2 Kind of Organization | ||||

Potential | Actual | Classical Logic | Intuitionist Logic | |||

Constructive Mathematics | Classical Mathematics | Deductive theory | Problem-based | |||