SUO: Re: Logic & Programming Languages
> Danny, I think you have put your finger on the biggest problem with the
> notion that FOL was 'standardized by a higher authority'. Logic is based
> on identity; but identity is relative to the observer and the observer's
> context. Frequently the more detailed and precise we attempt to identify
> something, the more we realize its identity is dependant on our subjective
> evaluations and are not objectively on the thing itself.
Seth, you really ought to learn some logic before you start theorizing
about it. Be that as it may, (a) the theory of identity is only one small
(but important) part of predicate logic; to say logic is "based on"
identity is rather badly mistaken. And anyway, (b) you are not even
talking about the logical notion of identity but (near as I can tell) the
epistemological problem of identification.
Christopher Menzel # web: philebus.tamu.edu/~cmenzel
Philosophy, Texas A&M University # net: email@example.com
College Station, TX 77843-4237 # vox: (979) 845-8764