... types¹

A. Hasnawi, Avicenna on the quantification of the predicate in TS. Rahman, T. Street, H. Tahiri eds. The unity of science in the Arabic tradition, Springer, New-York (2008)

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... Maritain²

J. Maritain, La quantification du Prédicat et la logique de l'école, Revue néoscolastique de philosophie, 25(97), p. 57-89 (1923)

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... Lull³

E.A. Peers, Ramon Lull : a biographyLondon (1929)

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... invention⁴

D. Urvoy, Les musulmans pouvaient-ils comprendre l'argumentation lullienne ? Estudi General 9, p. 159-170(1989)

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... (953-1029)⁵

R. Rashed, l'induction mathématique - Al Karaji et As Samaw'al Arch. Hist. Exact Sci. 9, p. 1-21 (1972)

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... Boole⁶

G. Boole, The mathematical analysis of logic, London (1847)

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.