metapremise

Metapremise is a term used in logic and argumentation to denote a premise about premises. It concerns the status, justification, or permissible use of other premises within an argument or theory, rather than about the conclusion itself.

As a meta-level component, a metapremise conditions how premises may be accepted, derived, or combined. It serves to regulate the framework of reasoning rather than to provide direct support for a conclusion.

In formal settings, metapremises appear as meta-rules or criteria for premise admissibility, such as requiring premises to be derivable from axioms, to be consistent with the system, or to comply with a standard of evidence. In defeasible or non-monotonic reasoning, metapremises may specify when premises can be defeated or withdrawn.

An example is a legal argument where a metapremise states that only premises admitted under a given evidentiary standard may be used. In mathematics, a metapremise might assert that all premises must have a constructive justification within the theory.

The term is relatively uncommon and is more often described in terms of meta-logic, metatheory, or argumentation theory. Some discussions treat metapremises as the premises of a higher-level argument about the premises themselves.

See also: premises, axioms, metatheory, meta-logic, argumentation theory.