Re: Foundations Of Mathematics Absconditus

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

FOMA.  Note 4 : Euthyphro and Proof and Peirce

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Re: Timothy Chow on "Euthyphro and Proof"
At: http://www.cs.nyu.edu/pipermail/fom/2009-January/013307.html

There is at least one conceptual framework I know of
that does not force us to make a dichotomous choice
between "objective" and "subjective" when it comes
to the grounds of validity for inference and proof.

A pragmatic-semiotic framework of the sort that C.S. Peirce
developed in his theories of signs and inquiry allows us to
view processes like computation and inference as species of
inquiry, in particular, as sign-transforming processes that
increase the clarity of information that signs convey about
their objective referents.

Jon Awbrey

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
inquiry e-lab: http://stderr.org/pipermail/inquiry/
mwb: http://www.mywikibiz.com/Directory:Jon_Awbrey
knol: http://knol.google.com/k/-/-/3fkwvf69kridz/1
mathweb: http://www.mathweb.org/wiki/User:Jon_Awbrey
planet math: http://planetmath.org/?op=userobjs;id=15246
proof wiki: http://www.proofwiki.org/wiki/User:Jon_Awbrey
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o