Starting with statement or statements, argument {inference, logic} can derive further statements.
If an object belongs to a class and has probability of having a property, other class objects have probability of having the property {ampliative inference} {abductive inference} {abduction, logic}. Ampliative inference goes from one or more examples to abstraction {hypothesis, ampliative inference} that explains evidence. From observations and theoretical assumptions, abduction infers best explanation.
Inference can rely upon suppressed premise {enthymeme} {enthymematic}. Shortened categorical syllogism has two premises but no conclusion, because conclusion is obvious.
From one premise, inferences {immediate inference, logic} can be "All a are b" implies "No a are no b", "All a are b" entails "Some a are b", and "No a are b" entails "Some a are not b".
Outline of Knowledge Database Home Page
Description of Outline of Knowledge Database
Date Modified: 2022.0225