|
The German language is very richer than the English one in this terms. In German, you have n different words for the inference: »Deduktion«, »Folgerung«, »Schluss«, »Schlussfolgerung«, »Konklusion« and, rearly used »Inference«. The later is just used in mathematical or formal circumstances.
The English speaker is reduced to »deduction«, »inference« and »conclusion«.
In symbolical logic, the German can use »Folgerung« for the semantic or model theoretical part and »Schlussfolgerung« for the syntactical transformation.
|
