The Bare Operation of Inference
The bare operation of inference is reasoning considered as an act, distinguished from the propositions it uses or produces. This distinction lets the framework examine how reasoning operates while assessing the content and warrant of particular conclusions.
Operation and description
An act of inferring is not itself a proposition. A description of that act is a proposition: it can be accurate or inaccurate, well-supported or mistaken. Claims about inference therefore remain subject to self-application and the two marks, including the claims on this page.
The distinction prevents a category error in the Derived discipline. Using inference does not automatically install a privileged foundational proposition. Equally, calling inference an operation does not settle every question about the assumptions or validity of a particular argument. A reader can inspect its premises, rules, transitions, and conclusions.
Productive role
Inference connects claims, makes consequences explicit, and enables revision when a step fails. Its use supports the framework's reconstruction and further development. Descriptions of its reliability can be evaluated; no exemption is required for reasoning to work.
This is the same operation/formulation distinction developed in Frame Condition and Formulation. It keeps the act available while its accounts improve. The directional primitives are particular operators in the formal model; the present distinction concerns the reasoning used to formulate and examine that model.
Formal status
E: Derived, Exposition. This page explains the distinction between an operation and claims describing it. Its descriptions remain assessable; the operation's category does not exempt the exposition. A: aspires to distinguish acts, premises, inference rules, and conclusions accurately. Provenance: exposition of the kernel's operation/formulation distinction.
See also
Derived · Self-Application · Frame-Internal Tier · Frame Condition and Formulation · Two-Mark System