[FOM] Euthyphro and Proof
jawbrey at att.net
Tue Jan 20 22:20:09 EST 2009
Tim & All,
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. Perice
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.
More information about the FOM