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