In this sense, e.g., the proposition [Kant is European] follows from the set {[Kant is a philosopher], [Every philosopher is German]} with respect to the idea [philosopher]. The conclusion follows, so to speak, “materially” from the premises, or is a “material” consequence of the premises, due to the fact that every German is European. This is not enough, of course, for an argument to be logically correct. In order to be logically correct, the conclusion \(s\) of an argument \(\langle \sigma , s