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 | |||