I was wondering what generalisation and instantiation were exactly because my notes claim it to be: Generalisation: "from elementary to complex propositions" Instantiation: "from complex to elementary propositions" I cannot really understand complex and elementary in this context and thought generalisation was more like moving from particular to general (argument-form). To put in other words material to formal logic. What do you think?
Instantiation: from a general statement to an individual case.
Example: "Every human being is a Philosopher"; therefore "Socrates is a Philosopher".
Generalization: the "inverse" inference. From an "generic" individual case to a general statement.
Example: "A human being is a Philosopher"; therefore "Every human being is a Philosopher".
Thus, you are right: it is not complex vs simple but general vs particular.