Consequences

…Medieval logic was established in the 13th century by Peter Hispanus in his “Instituts Logico”, but was not fully developed until the 14th century by William of Ockham in his “Elements of Logico”. This work absorbed the ancient Aristotelian syllogism, but included a type of logic that did not exist in ancient Greece, namely, the logic of inference (consequentia). The theory of inference is a type of logical form such as “It is valid to infer from a disjunctive affirmative proposition to a conjunctive negative proposition whose part is contradictory to that proposition”, that is, “You are either running or moving. …

*Some of the terminology explanations that mention "consequentia" are listed below.

Source | Heibonsha World Encyclopedia 2nd Edition | Information

…中世論理学は13世紀にペトルス･ヒスパヌスによって書かれた《論理学綱要》でいちおうの成立を遂げるが，その完成は14世紀にオッカム(オッカムのウィリアム)によって書かれた《論理学要論》を待って行われる。ここでは古代のアリストテレスの三段論法も吸収されてはいるが，古代ギリシアになかった種類の論理学，つまり推断(コンセクエンティアconsequentia)の論理学が含まれている。推断の理論とは〈選言的な肯定命題から，その命題の部分と矛盾的に対立する部分からなる連言的な否定命題への推断は妥当である〉といったたぐいの論理形式，つまり〈君は走っているかあるいは動いている。…

※「consequentia」について言及している用語解説の一部を掲載しています。

出典｜株式会社平凡社世界大百科事典 第２版について | 情報