アリストテレス論理学の妥当な推論形式を暗唱するために考案された詞です。
　

現代のスコラ学者による次のような本もあります（未見）。

Thomas Gilby, Barbara Celarent: A Description of Scholastic Dialectic, London, Longmans & Green, 1949. (303 p.)

これらを定型文 ( categorical sentences ) と言います。

現代的にいえばアリストテレスの形式言語における論理式 (well-formed formula) ということになります。
　

• Ａ文：すべてのＳはＰである
• I 文：或るＳはＰである
• Ｅ文：すべてのＳはＰでない
• Ｏ文：或るＳはＰでない

中項を "M" とすれば、それが関連づける仕方は次の三通りです。そして、これらの並べ方によって推論の格が生じます。「ＳはＰである」は主語・述語の順番が変わって “Ｐ−Ｓ”と表記されています。

• 第１格　Ｐ−Ｍ−Ｓ
• 第２格　Ｍ−Ｐ−Ｓ
• 第３格　Ｐ−Ｓ−Ｍ

最初の前提は大項 (P) を含んでおり大前提と呼ばれ、二番目の前提は小項 (S) を含んでおり小前提と呼ばれます。

可能な推論形式は、それぞれの格で４の３乗通りあることになります。この中から妥当な形式として選びだされたものが暗唱詞に表されています。

1. 暗唱詞で最初の三母音は大前提、小前提、結論の文の形(A, I ,E, O) を示す。

2. 暗唱詞の最初の二行は第１格、三行目の baroco まで第２格、残りは第３格。

（第１格のうち上記暗唱詞イタリック部分は、大前提と小前提の位置を置き換えた上で後に第４格とされる型式 (modus) を示します。
アリストテレスはそれらの妥当性を認めていますが型式として認めていません。これらの型式への導入は、アリストテレスの弟子テオフラストスによるとされます。）

　　　第４格　　　 M−S、 P−M　├ P−S

1st, Barbara celarent darii ferio

4th, baralipton
Celantes dabitis faspesmo frisesomorum;

2nd, Cesare campestres festino baroco;

3rd, darapti
Felapton disamis datisi bocardo ferison.

ですから、barbara は、

ＡaＢ, ＢaＧ├ ＡaＧ

という型式を示しています。例えば、

celarent は、

ＡeＢ, ＢaＧ ├ ＡeＧ

を示しています。例えば、

Barbara celarent darii ferio [４格省略]

Cesare campestres festino baroco;

darapti Felapton disamis datisi bocardo ferison.

3. 先頭の子音 (b,c,d,f) は、その型式が同じ先頭子音をもつ第一格の型式 (barbara, celarent, darii, ferio) に還元されて、その妥当性が証明されることを示す。

4. "s" を含む文は、還元の過程で単純に換位される ( simpliciter converti　)。
"s" の直前母音に対応する文が換位される。
"s" が２回出現する場合は２回換位される。

5. "p" を含む文は 、還元の過程で付帯的に換位される ( per accidens converti )。
"p" の直前母音に対応する文が換位される。

6. "m" を挟む二母音に対応する二つの文は、大前提、小前提の位置が還元の過程で置き換え ( metathesis ) られる。

7. "c" が続く母音が示す文の前提は、
還元の過程で、その文の代わりに、
結論と矛盾する文が前提になることを示す
( duci ad impossible )。

＊換位規則（文の変形規則）

単純換位
ＡｉＢ　から　ＢｉＡ　またその逆
ＡｅＢ　から　ＢｅＡ　またその逆


付帯的換位
ＡａＢ　から　ＢｉＡ（アリストテレスの還元ではこちらのみ用いられる）
ＡｅＢ　から　ＢｏＡ