substellingen

Substellingen is a Dutch term used primarily in logic, argumentation theory and related areas to refer to the component statements that make up a larger proposition. The idea is that a complex claim can be analyzed in terms of its smaller building blocks, or substatements, whose truth conditions together determine the truth of the whole.

In practice, substellingen occur whenever a sentence is built from simpler parts. For example, in the conjunction “P and Q,” the substellingen are P and Q; in the conditional “If P then Q,” both P and Q are substellingen of the overall claim. In more complex statements, there can be several levels of substellingen, resembling subformulas in formal languages.

In formal logic and proof systems, substellingen are important for parsing, evaluation and manipulation of statements. Rules of inference often operate on substellingen, such as replacing a substelling with an equivalent one (a substitution) or tracing how the truth of substellingen affects the truth of the whole statement. Understanding the structure of substellingen helps with tasks like determining entailment, contraries, and consistency within a set of premises.

In rhetoric and argument analysis, identifying substellingen aids in uncovering the logical architecture of an argument, separating premises from conclusions, and evaluating how changes to one substelling might affect the overall claim.

Note that substellingen is not a universally standardized term; occurrences and nuances can vary by author. It is related to, but distinct from, terms like stelling (claim), subformule (subformula), and substitution in formal contexts.