[FOM] Concerning Ancestral Logic (CORRECTION)
Richard Heck
rgheck at brown.edu
Sat Nov 4 22:49:32 EST 2006
Silly omission in my previous note, one people could probably see and
fix themselves, but....
=====
Given a formula \phi, *xy(\phi(x,y))(a,b) is a formula, where x and y
are variables and a and b are terms. It is true iff there is a finite
sequence x_1, ..., x_n such that \phi(x_i,x_{i+1}) AND a=x_1 AND b=x_n.
Etc.
--
==================================================================
Richard G Heck, Jr
Professor of Philosophy
Brown University
http://bobjweil.com/heck/
==================================================================
Get my public key from http://sks.keyserver.penguin.de
Hash: 0x1DE91F1E66FFBDEC
Learn how to sign your email using Thunderbird and GnuPG at:
http://dudu.dyn.2-h.org/nist/gpg-enigmail-howto
_______________________________________________
FOM mailing list
FOM at cs.nyu.edu
http://www.cs.nyu.edu/mailman/listinfo/fom
More information about the FOM
mailing list