Friday, March 15, 2019

Diagramming Syllogisms

Ruggero Pagnan, in two articles ["A Diagrammatic Calculus of Syllogisms", Journal of Logic, Language, and Information, Vol. 21, No. 3 (Summer 2012), pp. 347-364; "Syllogisms in Rudimentary Linear Logic, Diagrammatically", Journal of Logic, Language, and Information, Vol. 22, No. 1 (Winter 2013), pp. 71-113], develops a very nice diagrammatic system for syllogisms. It's particularly handy in that, unlike most of the other good diagrammatic systems, it can easily be typed.

First, for the basic categorical propositions:

All X is Y
X → Y

No X is Y
X → • ← Y

Some X is Y
X ← • → Y

Some X is not Y
X ← • → • ← Y

All of these are commutative; you can do them backwards (this helps for putting them together). So, for instance, you can always change X → Y to Y ← X.

We add two principles that let you add new premises in any argument:

X → X

X ← • → X

We need to be able to link diagrams by terms. For instance, starting with the premises,

X → Y
Y → Z

You can get

X → Y → Z.

In essence, we just overlap the Y's. And last, we need a rule that lets us delete mediating terms, so that by deleting Y and collapsing the arrows we can change this to

X → Z.

The major restriction is that we cannot delete bullets.

Given this, we can establish the Barbara syllogism:

1: M → P
2: S → M
S → M → P (by concatenation)
S → P (by deletion)

And so on with all the others.

No comments:

Post a Comment

Please understand that this weblog runs on a third-party comment system, not on Blogger's comment system. If you have come by way of a mobile device and can see this message, you may have landed on the Blogger comment page, or the third party commenting system has not yet completely loaded; your comments will only be shown on this page and not on the page most people will see, and it is much more likely that your comment will be missed.