Clement reaffirmed the infallibility of the pope, in matters of fact (1705), and, in 1713, issued the bull Unigenitus, condemning ioi Jansenistic propositions extracted from the Moral Reflections of Pasquier Quesnel.
Innocent, like his predecessor, hated heresy, and in the bull Summis desiderantes (5th of December 1484) he instigated very severe measures against magicians and witches in Germany; he prohibited (1486) on pain of excommunication the reading of the propositions of Pico della Mirandola; he appointed (1487) T.
Under him Avicenna read the Isagoge of Porphyry and the first propositions of Euclid.
Many of the propositions contained in his dissertation are general; but the demonstrations are not supplied for the case of seven squares.
Thus, 1 - x would represent the operation of selecting all things in the world except horned things, that is, all not horned things, and (1 - x) (1 - y) would give us all things neither horned nor sheep. By the use of such symbols propositions could be reduced to the form of equations, and the syllogistic conclusion from two premises was obtained by eliminating the middle term according to ordinary algebraic rules.