Substructural logics are non-classical systems that alter or remove structural rules of classical logic, like relevance and linear logic, impacting…
A substitutional quantifier ranges over expressions or names, not objects. It's crucial in theories of reference and meaning, offering a…
A subordinate connective is a logical operator appearing within the scope of another logical operator in a compound proposition. It…
Explore hypothetical situations and their consequences with subjunctive conditionals. These statements describe what would be true if a contrary-to-fact antecedent…
The subject term is the element in a categorical proposition about which something is stated. It forms the first part…
Subcontrary statements share a unique logical relationship where they can both be true but never both false simultaneously. Explore this…
Subcontraries are two particular statements in traditional logic that cannot both be false. They can both be true, but not…
Subalternation describes how a universal statement's truth guarantees the truth of its corresponding particular statement. It's a fundamental concept in…
In syllogistic logic, a subaltern relationship means a universal proposition's truth implies a particular proposition's truth, but not the reverse.…
A structural rule in logic, particularly proof theory, governs the manipulation of sequent components. It operates without regard to the…