Substructural Logic
Substructural logics are non-classical systems that alter or remove structural rules of…
Substitutional Quantifier
A substitutional quantifier ranges over expressions or names, not objects. It's crucial…
Subordinate Connective in Logic
A subordinate connective is a logical operator appearing within the scope of…
Subjunctive Conditional Statements
Explore hypothetical situations and their consequences with subjunctive conditionals. These statements describe…
Subject Term in Categorical Propositions
The subject term is the element in a categorical proposition about which…
Subcontrary: Understanding the Logic of Statements
Subcontrary statements share a unique logical relationship where they can both be…
Subcontraries in Traditional Logic
Subcontraries are two particular statements in traditional logic that cannot both be…
Subalternation in Logic
Subalternation describes how a universal statement's truth guarantees the truth of its…
Subaltern in Syllogistic Logic
In syllogistic logic, a subaltern relationship means a universal proposition's truth implies…
Structural Rule in Logic
A structural rule in logic, particularly proof theory, governs the manipulation of…