Ordinarily logic is divided into the examination of ideas, judgments, arguments, and methods. The two latter are generally reduced to judgments, that is, arguments are reduced to apodictic judgments that such and such conclusions follow from such and such premises, and method is reduced to judgments that prescribe the procedure that should be followed in the search for truth.