Immediate Inference


Also found in: Wikipedia.

Immediate Inference

 

in traditional logic, an inference from one premise or, in Aristotelian logic, a conclusion drawn from axioms or a premise “to which no other is prior.” The theory of immediate inference in any of the above senses did not fall directly within the scope of syllogistics, but it was believed that the theory must in some sense be prior to syllogistics. Moreover, it was in precisely this area that traditional logic proved to be “insufficiently formal”: the rules of immediate inference often were justified by reference to (intuitive) “self-evidence,” and concepts such as the “latent meaning of a proposition” played a significant role in the “theory of immediate inference.”

From the standpoint of contemporary formal (mathematical) logic, the number of premises of an inference cannot be a significant characteristic of the inference, inasmuch as any (finite) number of premises can always be replaced by one formula—their conjunction. An inference whose premises and conclusion are connected by a single application of some rule of inference, that is, by a relation of “immediate deducibility,” is sometimes called an immediate inference in contemporary logic. But even this concept cannot be considered essential for logic, inasmuch as the length of an inference (even with fixed premises and a fixed conclusion) is not an “invariant” of the inference: it depends on the method used to define the given logical calculus, although even this method of definition would not affect the deductive strength of the calculus.

IU. A. GASTEV

References in periodicals archive ?
One immediate inference is that the extensive engagement between the two sides after the announcement of the regional strategy, which had deeply upset Pakistan, has failed to change the way Washington looks at the country that is so crucial to its endeavours in Afghanistan.
Lawes was substituted on 53 minutes in yesterday's Hurricanes draw, with the immediate inference that boss Gatland withdrew the 28-year-old to keep him fresh for the weekend.
The Hindu, one of India's largest dailies, said, "The immediate inference one can draw is that these are pressure tactics by Tehran, peeved by India's increasing crude imports from Iraq.
It is very puzzling, therefore, why Fodor can't see that it is the immediate inference that saves both humans and computers, but to the Fodor-phile, the answer is available.
The threat to an immediate inference to realism is of course the underdetermination thesis, but de Regt argues that, since 'it is not clear whether it is possible, at any given time, to generate infinitely many ontologically interesting incompatible yet empirically equivalent (or even evidentially) equivalent alternatives' (p.

Full browser ?