he Ostensive Reduction of Baroco also needs special explanation; for as
it used to be reduced indirectly, its name gives no indication of the
ostensive process. To reduce it ostensively let us call it Faksnoko,
where k means 'obvert the foregoing premise.' By thus obverting (k) and
simply converting (s) (in sum, contrapositing) the major premise, and
obverting the minor premise, we get a syllogism in Ferio, thus:

Baroco or Faksnoko. Ferio.
_contrap_
All P is M; -----------------------> No m (not-M) is P;

_obv_
Some S is not M: -----------------------> Some S is m (not-M):
.'. Some S is not P. .'. Some S is not P.

In Fig. III. the middle term is subject of both premises; so that, to
reduce its Moods to the First Figure, it may be enough to convert the
minor premise. This is the case with Darapti, Datisi, Felapton, and
Ferison. But, with Disamis, since the major premise must in the First
Figure be universal, we must transpose the premises, and then simply
convert the new minor premise; and, lastly, since the major and minor
terms have now changed places, we must simply convert the new conclusion
in order to verify the old one. Thus:

Disamis. Darii.

Some M is P; ----\ /---> All M is S;
\s./
\/
/\c.
/ \
All M is S: ----/ \---> Some P is M:

s.c.
.'. Some S is P. <------------- .'. Some P is S.

Bocardo, like Baroco, indicates by its name the indirect process. To
reduce it ostensively let its name be Doksamrosk, and proceed thus:

Bocardo or Doksamrosk. Darii.

Some M is not P; ----------\ /---------> All M is S;
\ /
\/
/\ _contrap_
/ \
All M is S: ----------/ \---------> Some p (not-P) is M:

_convert & obvert_
.'. Some S is not P. <------------------------- .'. Some p (not-P) is S.

In Fig. IV. the position of the middle term is, in both premises, the
reverse of what it is in the First Figure; we may therefore reduce its
Moods either by transposing the premises, as with Bramantip, Camenes,
and Dimaris; or by convertin