* Logicians as peaceniks: the early days
@ 2006-04-10 17:24 Vaughan Pratt
0 siblings, 0 replies; only message in thread
From: Vaughan Pratt @ 2006-04-10 17:24 UTC (permalink / raw)
To: categories list
This occurred to me this morning as I was contemplating the differences
between the formalist, algebraic, and categorial schools of mathematical
reasoning for an encyclopaedia article. Whereas Boolean logic is
certainly the logic of sets, Aristotelian logic, especially the
syllogisms Barbara and Celarent, would seem to be more that of
*-autonomous categories.
LOGICIANS AS PEACENIKS: The Early Days
Alexander lived a hearty life of dames and kings,
While his tutor Aristotle nattered on of names and things.
But while Alexander's military followed him to wars,
Aristotle's syllogisms followed from his laws.
Darius and Alexander fought a mighty war.
The likes of such an argument had not been seen before.
But by Barbara and Celarent did Aristotle swear
As the mistresses of argument that never hurt a hair.
Vaughan Pratt, 4/10/06
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2006-04-10 17:24 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2006-04-10 17:24 Logicians as peaceniks: the early days Vaughan Pratt
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).