- rule of inference
- Lewis Carroll raised the Zeno-like problem of how a proof ever gets started. Suppose I have as premises (1)
*p*and (2)*p*→*q*. Can I infer*q*? Only, it seems, if I am sure of (3) (*p*&*p*→*q*) →*q*. Can I then infer*q*? Only, it seems, if I am sure that (4) (*p*&*p*→*q*& (*p*&*p*→*q*) →*q*) →*q*. For each new axiom (N) I need a further axiom (N + 1) telling me that the set so far implies*q*, and the regress never stops. The usual solution is to treat a system as containing not only axioms, but also rules of inference, allowing movement from the axioms. The rule modus ponens allows us to pass from the first two premises to*q*. Carroll's puzzle shows that it is essential to distinguish two theoretical categories, although there may be choice about which theses to put in which category.

*Philosophy dictionary.
Academic.
2011.*

### Look at other dictionaries:

**Rule of inference**— In logic, a rule of inference (also called a transformation rule) is a function from sets of formulae to formulae. The argument is called the premise set (or simply premises ) and the value the conclusion . They can also be viewed as relations… … Wikipedia**Inference**— is the act or process of deriving a conclusion based solely on what one already knows. Inference is studied within several different fields. * Human inference (i.e. how humans draw conclusions) is traditionally studied within the field of… … Wikipedia**Rule**— A rule is:* Rewrite rule, in generative grammar and computer science * Standardization, a formal and widely accepted statement, fact, definition, or qualification * Operation, a determinate rule ( method ) for performing a mathematical operation… … Wikipedia**inference**— The process of moving from (possibly provisional) acceptance of some propositions, to acceptance of others. The goal of logic and of classical epistemology is to codify kinds of inference, and to provide principles for separating good from bad… … Philosophy dictionary**inference**— in·fer·ence / in fə rəns/ n 1: the act or process of inferring; specif: the act of passing from one proposition, statement, or judgment considered as true to another whose truth is believed to follow logically from that of the former 2: something … Law dictionary**Inference engine**— In computer science, and specifically the branches of knowledge engineering and artificial intelligence, an inference engine is a computer program that tries to derive answers from a knowledge base. It is the brain that expert systems use to… … Wikipedia**Rule Interchange Format**— Le Rule Interchange Format (RIF ) est une recommandation du W3C. RIF fait partie de la feuille de route du web sémantique, avec principalement SPARQL, RDF et OWL. Bien que prévu initialement par beaucoup comme une couche de règles logiques pour… … Wikipédia en Français**inference on inference, rule of**— Means that one presumption or inference may not be based upon another. McManimen v. Public Service Co. of Northern Illinois, 317 Ill.App. 649, 47 N.E.2d 385 … Black's law dictionary**inference on inference, rule of**— Means that one presumption or inference may not be based upon another. McManimen v. Public Service Co. of Northern Illinois, 317 Ill.App. 649, 47 N.E.2d 385 … Black's law dictionary**Rule Interchange Format**— The Rule Interchange Format (RIF) is a W3C recommendation track effort to develop a format for interchange of rules in rule based systems on the semantic web. The goal is to create an interchange format for different rule languages and inference… … Wikipedia