konsekvenslogik

Konsekvenslogik is a term used in Scandinavian languages to describe the logical study of consequences: the relationship between premises and the conclusions that follow them. It designates a family of logics and semantic frameworks that formalize entailment, the notion that certain conclusions follow from given premises under defined rules.

Classical konsekvenslogik treats consequence as monotonic: adding premises cannot invalidate previous conclusions. Many contemporary approaches explore non-monotonic or defeasible logics, where conclusions may be retracted or revised in light of new information, and paraconsistent logics that tolerate inconsistencies.

Formal treatments introduce a consequence relation, often denoted ⊢, and specify inference rules or semantic conditions (truth-conditions, Kripke or algebraic semantics) that determine what counts as a consequence.

Applications occur in knowledge representation, automated reasoning, legal and ethical argumentation, and natural language processing, where it is important to model how conclusions flow from premises and background rules.

Konsekvenslogik interacts with modal, deontic, and conditional logics, examining how obligations or hypothetical truths propagate from antecedents to consequents.

Historically, the term reflects the central idea of entailment in logic, with modern work drawing on formal semantics and proof theory to study different notions of consequence.

See also: entailment, consequence relation, non-monotonic logic, paraconsistent logic, defeasible logic, conditional logic.