FOM: Challenge axioms

Neil Tennant neilt at mercutio.cohums.ohio-state.edu
Fri Jan 30 15:50:15 EST 1998

Previous message: FOM: Friedman on Realism/Philosophy (reply)
Next message: FOM: realism and bivalence
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Please clarify axiom 2:

2.  (f,g,h)(there exist A,B,C) [ (f:A-->B and g:B-->C) iff  
        (for some h)M(g,f;h)]

You have two quantifiers binding h; which seems wrong.

Neil Tennant

Previous message: FOM: Friedman on Realism/Philosophy (reply)
Next message: FOM: realism and bivalence
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the FOM mailing list