This document discusses reasoning and inference. It defines reasoning as a mental process of inferring the agreement or disagreement of two ideas based on their relation to a common third idea. There are two methods of reasoning: induction and deduction. Inference refers to drawing conclusions from given propositions. There are two types of inference - immediate and mediate. Immediate inference draws directly from one proposition to another. Mediate inference involves reasoning through multiple steps. The document also discusses various logical rules and relationships between categorical propositions like conversion, obversion, and opposition.