[FOM] A first-order theory of relations

Allen Hazen allenph at unimelb.edu.au
Tue Apr 29 01:52:27 EDT 2008

First-order theory of relations, no, but vaguely similar idea: the version
of ramified type theory Fitch defined in his (one of the first few volumes
of the JSL) paper on the consistency of ramified Principia has
(higher-order) variables only for dyadic relations, so atomic formulas are
of the form mentioned.

Allen Hazen
Philosophy Administrative Subunit
University of Melbourne

On 28/4/08 2:28 AM, "T.Forster at dpmms.cam.ac.uk" <T.Forster at dpmms.cam.ac.uk>

> At the last cameleon meeting here in cambridge:
> www.dpmms.cam.ac.uk/~tf/nextmeeting.html
> a friend of mine gave a talk about a first order theory with equality and a
> single ternary relation whose intended meaning is ``$x$ relates $y$ to
> $z$''. This encompasses set theory and graph theory and untyped lambda
> calculus. It's rather cute. So cute in fact that somebody must have thought
> of this before. Can anyone point me at some literature on this subject..?
>        tf
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom

More information about the FOM mailing list