 Reasoning needs to be considered as independently as possible from any particular subject matter because logic examines the method of correct reasoning, which can then be taught and applied to all the other sciences (the syllogism simpliciter has matter, premises, and terms. In that sense, they can be replaced by transcendent matter, such as A, B, C; each particular science then replaces the terms with its own subject, properties, causes, and so on—DOS 452. In that sense also, the syllogism simpliciter is not productive of knowledge or belief—LPA prologue (see Thom 2013, 140).