kategorisissa
Kategorisissa is a term that appears in some philosophical and logical contexts, particularly related to Aristotelian logic and its descendants. It refers to statements that assert or deny that a particular subject possesses a certain predicate. These are often contrasted with other types of propositions, such as hypothetical or disjunctive statements.
In classical logic, categorical propositions are typically understood to have a subject term and a predicate
Universal affirmative (A): All S are P.
Universal negative (E): No S are P.
Particular affirmative (I): Some S are P.
Particular negative (O): Some S are not P.
The study of categorical propositions was central to Aristotelian syllogistic logic, which explored the valid inferences