different between sequent vs subsequently

English

Etymology

Borrowed from Old French sequent, itself borrowed from Latin sequentem, present participle of sequi (“to follow”).

Pronunciation

• (UK) IPA^(key): /?si?kw?nt/

Adjective

sequent (comparative more sequent, superlative most sequent)

1. (obsolete) That comes after in time or order; subsequent.
   • 1860, James Thomson (B.V.), Two Sonnets:

     Why are your songs all wild and bitter sad

     As funeral dirges with the orphans' cries?

     Each night since first the world was made hath had

     A sequent day to laugh it down the skies.

2. (now rare) That follows on as a result, conclusion etc.; consequent to, on, upon.
   • 1897, Henry James, What Maisie Knew:

     Maisie found herself clutched to her mother's breast and passionately sobbed and shrieked over, made the subject of a demonstration evidently sequent to some sharp passage just enacted.

3. Recurring in succession or as a series; successive, consecutive.

Related terms

• sequence

Translations

Noun

sequent (plural sequents)

1. Something that follows in a given sequence.
   • 1946, Bertrand Russell, History of Western Philosophy, I.30:

     The One is somewhat shadowy. It is sometimes called God, sometimes the Good; it transcends Being, which is the first sequent upon the One.

2. (logic) A disjunctive set of logical formulae which is partitioned into two subsets; the first subset, called the antecedent, consists of formulae which are valuated as false, and the second subset, called the succedent, consists of formulae which are valuated as true. (The set is written without set brackets and the separation between the two subsets is denoted by a turnstile symbol, which may be read "give(s)".)

   A sequent ${\displaystyle a,b\vdash c,d}$ could be interpreted to correspond to an Existential Graph, whose expression in Existential Graph Interchange Format would be
   ~[(a) (b) ~[(c)] ~[(d)]], which in ordinary language could be expressed as "a and b give c or d".

3. (obsolete) A follower.
4. (mathematics) A sequential calculus

Derived terms

• hypersequent
• sequent calculus

Translations

Related terms

References

Further reading

• sequent in Webster’s Revised Unabridged Dictionary, G. & C. Merriam, 1913.
• sequent in The Century Dictionary, New York, N.Y.: The Century Co., 1911.

English

Etymology

subsequent +? -ly

Pronunciation

• (UK, US) IPA^(key): /?s?b.s?.kw?nt.li/

Adverb

subsequently (not comparable)

1. Following, afterwards in either time or place.
   • 1832 — John Richardson, Wacousta, volume II, chapter 7

     It will be recollected that the ill-fated Halloway...distinctly stated the voice of the individual who had approached his post...to have been that of a female, and that the language in which they subsequently conversed was that of the Ottawa Indians.
2. Accordingly, therefore (implying a logical connection or deduction), consequently.

Usage notes

• Although subsequently is often used in a cause-and-effect relationship, it should be used when no cause is implied (logical fallacy post hoc ergo propter hoc).

Synonyms

• (afterwards in time): afterwards, yet; see also Thesaurus:subsequently
• (afterwards in sequence): ensuingly, followingly; see also Thesaurus:then
• (accordingly): as a result, whence; see also Thesaurus:therefore

Related terms

Translations