Re: [ FWD:Fwd: SUO: Re: Ontology ]
Cathy, Jay, John,
> > "Working on some suggestions of De Morgan, Perice
> > explored this new field,
> > and shortly after the publication of the
> > Begriffschrift he even produced
> > independently a doctrine of functions with a
> > notation adequate for
> > expressing all the principles formulated by Frege;
> > but he never reduced his
> > thoughts to a system nor set out a number of basic
> > principles like those
> > given [by Frege]. (P. 510, Kneale and Kneale, The
> > Development of Logic)
>
> Again, the "New Elements of Mathematics" gives the lie to this statement.
Check out Peirce's Existential Graphs, for instance.
I am neither a philosopher, a historian, nor a Peirce scholar, but just a
humble category-theorist. But as part of my project in the IFF to slowly
work through a rigorous and very modular axiomatization for unsorted first
order logic (FOL) [see the message
http://grouper.ieee.org/groups/suo/email/msg12161.html] I am currently
engaged with the theory of existential graphs, and have found it to be a
very elegant approach to predicate logic. This, together with my previous
comments [see the message
http://grouper.ieee.org/groups/suo/email/msg07908.html], supports the view
that Peirce had the intuitions of a first-rate mathematician.
Robert E. Kent
rekent@ontologos.org